Kẻ: ID⊥AB, IE⊥BC, IF⊥AC
Xét hai tam giác vuông ΔIBD và ΔIEB, ta có:
∠(DBI) =∠(EBI) (gt)
∠(IDB) =∠(IEB) =90o
BI cạnh chung
Suy ra: ΔIDB= ΔIEB(cạnh huyền, góc nhọn)
Suy ra: ID = IE ( hai cạnh tương ứng)
Xét hai tam giác vuông ΔIEC và ΔIFC, ta có:
∠(ECI) =∠(FCI)
∠(IEC) =∠(IFC) =90o
CI cạnh huyền chung
Suy ra: ΔIEC= ΔIFC(cạnh huyền góc nhọn)
Suy ra: IE = IF (hai cạnh tương ứng) (2)
Từ (1) và (2) suy ra: ID = IF
Xét hai tam giác vuông ΔIDA và ΔIFA, ta có:
ID=IF
∠(IDA) =∠(IFA) =90o
AI cạnh huyền chung
Suy ra: ΔIDA= ΔIFA(cạnh huyền.cạnh góc vuông)
Suy ra: ∠(DAI) =∠(FAI) (hai góc tương ứng)
Vậy AI là tia phân giác góc A