已知,如图,在矩形ABCD中,E为BC上的一点,且AE＝BC,DF⊥AE于点F,求证,EF＝EC.

已知,如图,在矩形ABCD中,E为BC上的一点,且AE＝BC,DF⊥AE于点F,求证,EF＝EC.
已知,如图,在矩形ABCD中,E为BC上的一点,且AE＝BC,DF⊥AE于点F,求证,EF＝EC.

已知,如图,在矩形ABCD中,E为BC上的一点,且AE＝BC,DF⊥AE于点F,求证,EF＝EC.
连接DE
∵AE=BC,BC=AD
∴AE=AD
∠ADE=∠AED
又∵AD∥BC
∴∠ADE=∠DEC
∴∠AED=∠CED
又DE=DE
∠DFE=∠DCE
∴△DFE≌△DCE
∴EF=EC