Cho I là giao điểm của AH và EF.
Ta có:AF⊥AE
EH⊥AE
⇒AF//EH⇒ góc AFE = góc FEH.
Xét △AEF và △HFE có:
góc EAF = góc EHF(=90)
góc AFE = góc FEH(CMT)
EF là cạnh chung.
Nên:△AEF = △HFE (cạnh huyền-góc nhọn).
⇒AF = EH.
Xét △FAE và △HEA có:
góc EAF = góc AEH.
AF = EH.
AE là cạnh chung.
Nên:△FAE = △HEA(c-g-c)
⇒EF = AH.
Vậy:EF = AH.