Question

已知：如圖，在△ABC中，∠C=90°，點E在AC上，且AE=BC，ED⊥AB于點D，過A點作AC的垂線，交ED的延長線于點F．
求證：AB=EF．

Answer 1

證明：∵AD⊥EF，
∴∠ADE=∠ACB=90°；
∴∠DAE+∠DEA=∠DAE+∠B=90°，
即∠DEA=∠B；
∵AD⊥EF，FA⊥AC，
∴∠FAE=∠C=90°，
在△AFE和△CAB中
∵

∠FAE=∠C AE=BC ∠DEA=∠B

，
∴△AFE≌△CAB（ASA）．
∴AB=EF．