Xét tam giác HBA và tam giác ABC:
Có góc B chung
Góc BHA = góc BAC = 90 độ (vì AH là đường cao)
⇒ Tam giác HBA đồng dạng với tam giác ABC (góc-góc)
Tỉ số đồng dạng:
AB/BH = BC/BA = AC/HA
b) Chứng minh tam giác HBA đồng dạng với tam giác HAC. Suy ra AH² = HB·HC.
Xét tam giác HBA và tam giác HAC:
Góc BHA = góc AHC = 90 độ
Góc HBA = góc HAC (cùng phụ với góc C)
⇒ Tam giác HBA đồng dạng với tam giác HAC (góc-góc)
Từ đồng dạng suy ra:
HB/HA = HA/HC
⇒ AH² = HB × HC (đpcm)
c) Chứng minh góc BKI = 90 độ
Vì BK = BA ⇒ tam giác BAK cân tại B
⇒ góc BAK = góc BKA (1)
Tứ giác BHDK nội tiếp vì:
Góc BHD = 90 độ (AH ⊥ BC)
Góc BKD = 90 độ (Cx ⊥ IB)
⇒ B, H, D, K cùng thuộc đường tròn đường kính BD
⇒ góc BKH = góc BDH (2)
Từ (1) và (2):
Góc BAK + góc BKI = 90 độ
Mà góc BAK = góc BKA
⇒ góc BKI = 90 độ (đpcm)