Xét tam giác ABC vuông tại A:
BI; IC là đường phân giác (gt).
BI cắt CI tại I (gt).
\(\Rightarrow\) AI là tia phân giác góc BAC.
Tam giác ABC có BI; CI là các đường phân giác giao nhau tại I
=> I là tâm đường tròn ngoại tiếp
=> AI là phân giác
Xét tam giác ABC vuông tại A:
BI; IC là đường phân giác (gt).
BI cắt CI tại I (gt).
⇒⇒ AI là tia phân giác góc BAC.