∆AKE vuông tại K => ∠AEK + ∠EAK = 900 => ∠EAK = 900 - ∠EAK (1)
∠BAE + ∠EAK = 900 => ∠BAE = 900 - ∠EAK (2)
Từ (1) ; (2) => ∠AEK = ∠BAE (3)
Vì AB = BE (gt) => ∆ ABE cân tại B => ∠BAE = ∠BEA (theo định lý) (4)
Từ (3) ; (4) => ∠AEK = ∠BEA (5)
Xét ∆AHE và ∆AKE có :
∠AHE = ∠AKE = 900 (gt)
Cạnh AE chung
∠AEK = ∠BEA ( theo (5) )
=> ∆AHE = ∆AKE (CH - GN)
=> AK = AH (cạnh T/Ư)
Vậy AK = AH