在矩形ABCD中,AB=4,BC=7,如果角BAD的平分线交BC于E,EF垂直于ED交AB于F,求EF的长度

画图，连结FD得直角三角形FED，易得BE=4，ED=5，设AF=x，则BF=4－x，在直角三角形FBE中使用勾古定理得，FE^2=4^2＋(4－x)^2，在直角三角形AFD中使用勾古定理得，FD^2=x^2＋7^2，在直角三角形FED中再次使用勾古定理(其中FE^2，FD^2可用x的代数式表示)，可解出x=1，故所求EF=5.不知道你能不能看懂。