过B点作平行线BF'交FD的延长线于F'点
∵D是AB的中点
∴DF=DF'
∴DE是FF'的垂直平分线
∴EF=EF'
而且可以证明AF=BF'(因为△AFD≌△BF'D),BF'⊥BE
∴EF'=BE²+BF'²
∴EF²=BE²+AF²