如图，在矩形ABCD中，E是BC上一点且AE=AD，又DF⊥AE于点F，证明：EC=EF．
问题描述：
如图，在矩形ABCD中，E是BC上一点且AE=AD，又DF⊥AE于点F，证明：EC=EF．
答
证明：如图，连接DE，
∵四边形ABCD是矩形，
∴AD∥BC，
∴∠DAF=∠AEB，
∵DF⊥AE，
∴∠AFD=∠B=90°．
又∵AD=AE，
∴Rt△ABE≌Rt△DFA．
∴AB=CD=DF．
又∵∠DFE=∠C=90°，DE=DE，
∴Rt△DFE≌Rt△DCE．
∴EC=EF．