Vì AH ┴ BC và DE ┴ BC
=> AH // DE
Kẻ DK // BC
=> DK = HE [tính chất đoạn chắn]
Cụ thể tính chất đoạn chắn như sau: Nếu hai đường thẳng song song cắt hai đường thẳng song song thì các cặp cạnh tương ứng bằng nhau.
Vì DK // BC mà BC ┴ AH
=> DK ┴ AH
Xét ∆ABH và ∆KDA vuông, ta có:
- AB = AD [gt]
- \(\widehat{BAH}=\widehat{ADK}\) [cùng phụ góc \(\widehat{KAD}\)]
=> ∆ABH = ∆KDA [ch-gn]
=> AH = DK
===> HA = HE