Ta có: `AB=BE=>ΔABE` cân tại B
`=>\hat{BAE}=\hat{BEA}` (1)
Mà `AB⊥AC` và `EK⊥AC`
`=>AB`//`EK`
`=>\hat{BAE}=\hat{AEK}` (2)
Từ (1) và (2) `=>\hat{BEA}=\hat{AEK}`
Xét 2 tam giác ΔAHE vuông tại H và ΔAKE vuông tại K ta có:
`AE` là cạnh chung
`\hat{BEA}=\hat{AKE}`
`=>ΔAHE=ΔAKE` (cạnh chuyền -góc nhọn)
`=>AH=AK` (2 cạnh t-ứng)