a) Do I \(\in\) đg trung trực của BE
=> IB = IE
I \(\in\) đg trung trực của AC
=> IA = IC
Xét tg AIB; tg CIE:
IB = IE (c/m trên)
IA = IC (c/m trên)
AB = CE (gt)
=> tg AIB = tg CIE (c.c.c)
b) Vì tg AIB = tg CIE
=> g BAI = g ECI
Lại do IA = IC => tg IAC cân tại I
=> g ECI = g IAC
Khi đó: g BAI = g IAC.
=> AI là tia pg của g BAC.