Question

如图，在矩形ABCD中，点E是BC上一点，AE=AD，DF⊥AE，垂足为F．线段EF与图中哪一条线段相等？先将你的猜想出的结论填写在下面的横线上，然后再加以证明．
即EF=______．

Answer

根据矩形的性质：在矩形ABCD中，AD=BC，AD∥BC．又可找出AD=AE，即得出△ADF≌△EAB，由此容易得出EF=EC．
证明：在矩形ABCD中，AD=BC，AD∥BC．
在△ADE中，∠AFD=∠B，∠DAF=∠AEB，AD=AE，
∴△ADF≌△EAB．
∴AF=BE，
又∵AE=AD=BC，
∴EF=EC．