Kẻ IH⊥AC tại H, IM⊥AB tại M; IK⊥By tại K
Xét ΔOHI vuông tại H và ΔOKI vuông tại K có
OI chung
\(\hat{HOI}=\hat{KOI}\)
Do đó: ΔOHI=ΔOKI
=>IH=IK
Xét ΔAHI vuông tại H và ΔAMI vuông tại M có
AI chung
\(\hat{HAI}=\hat{MAI}\)
Do đó;ΔAHI=ΔAMI
=>IH=IM
mà IH=IK
nên IM=IK
Xét ΔBMI vuông tại M và ΔBKI vuông tại K có
BI chung
IM=IK
Do đó: ΔBMI=ΔBKI
=>\(\hat{MBI}=\hat{KBI}\)
=>BI là phân giác của góc yBA
mà BC là phân giác của góc yBA
và BI,BC có điểm chung là B
nên B,I,C thẳng hàng