证明：
过点E作EG⊥HC于G 则EG∥AH
由∠ABE=∠GBE ∠BAE=∠BGE=90º得：AE=EG
∵ ∠ADE=∠BDH=90º-∠DBH ∠AEB=90º-∠ABE
∵ ∠ABE=∠DBH
∴ ∠ADE=∠AEB ∴AD=AE ∴ AD=AE =EG
又∵ DF∥DC ∴∠AFD=∠C ∠ADF=∠EGC=90º AD=EG
∴⊿ADF≌⊿EGC ∴AF=EC ∴AE=FC