Xét △ABH và △ACK vuông tại H và K có:
AB = AC (do △ABC cân tại A);
Aˆ chung;
⇒ △ABH=△ACK (cạnh huyền – góc nhọn);
⇒ BH = CK (hai cạnh tương ứng).
b) Theo phần a) AH = AK;
Xét △AHI và △AKI vuông tại H và K có:
AI chung;
AH = AK (cmt);
⇒ △AHI=△AKI (hai cạnh góc vuông);
⇒ A1ˆ=A2ˆ.
⇒ AI là tia phân giác của góc A (đpcm);
hết....