Vẽ IH vuông góc AB, IK vuông góc AC, IE vuông góc BC (bạn đặt tên khác cũng được nhưng kẻo nhầm lẫn)
Xét 2 tam giác vuông BIH và BIE có:
BI chung
Góc HBI = góc EBI (BI là phân giác góc B)
=> Tam giác BIH = tam giác BIE (cạnh huyền - góc nhọn)
=> IH = IE (2 cạnh tương ứng) (1)
Xét 2 tam giác vuông KCI và ECI có:
IC chung
Góc KCI = góc ECI (IC là phân giác góc C)
=> Tam giác KCI = tam giác ECI (cạnh huyền - góc nhọn)
=>IK = IE (2 cạnh tương ứng) (2)
Từ (1),(2) => IH = IK (= IE)
Xét 2 tam giác vuông AIH và AIK có:
AI chung
IH = IK (cmt)
=> Tam giác AIH = tam giác AIK (cạnh huyền - cạnh góc vuông)
=> Góc HAI = góc KAI (2 góc tương ứng)
=> AI là tia phân giác góc A