作FG⊥BC于G,
则EFGD是矩形,FG=ED,
作EH⊥AB于H,
易得RT△BHE≌RT△BDE[AAS,证明略]
EH=ED
∴EH=FG,
∠HAE+∠ABC=90°
∠ABC+∠C=90°
∠HAE=∠C
∠AHE=∠FGC=90°
RT△AHE≌RT△CGF[AAS]
AE=CF
作FG⊥BC于G,
则EFGD是矩形,FG=ED,
作EH⊥AB于H,
易得RT△BHE≌RT△BDE[AAS,证明略]
EH=ED
∴EH=FG,
∠HAE+∠ABC=90°
∠ABC+∠C=90°
∠HAE=∠C
∠AHE=∠FGC=90°
RT△AHE≌RT△CGF[AAS]
AE=CF