do I là trung điểm của MN
⇒I là trung trực của MN
⇒I⊥MN
⇒∠OIM=90⇔∠OIA=90
xét tứ giác ABIO có ∠OBA=∠OIA=90
⇒ABIO nội tiếp
⇒∠BIA=∠AOB (cùng chắn \(\stackrel\frown{AB}\)) (1)
xét tứ giác ACOI có ∠OIA=∠OCA=90
⇒ACOI nội tiếp
⇒∠AIC=∠AOC (cùng chắn \(\stackrel\frown{AC}\)) (2)
xét tứ giác ABOC nội tiếp đường tròn ; AB=AC
⇒∠AOB=∠AOC (chắn 2 cung = nhau) (3)
từ (1);(2);(3) ⇒∠BIA=∠AIC
⇒IA là tia phân giác ∠BIC