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