题干
已知矩形ABCD中，AB=4，BC=7．∠BAD的平分线AE交BC于E点，EF⊥DE交AB于F点，则EF的长为____．
答案(点此获取答案解析）
5
， 