Xét 2 ΔABD và ΔACE có :
AC = AB (GT)
Góc A chung => ΔABD = ΔACE (c.g.c)
AD = AE (GT)
=> CE = BD (2 cạnh tương ứng) và góc B1 = góc C1
Xét 2 ΔAIC và ΔAIB có :
AC = AB
AI chung => ΔAIC = ΔAIB (c.g.c) [X]
góc AIC = góc AIB
=> CI = BI (2 cạnh tương ứng )
Xét 2 ΔBIE và ΔDIC có :
IC = IB (cmt)
góc I1 = góc I2 => ΔBIE = ΔDIC (g.c.g)
góc B1 = góc C1 (cmt)
Từ chứng minh [X] ta cũng suy ra
góc CAI = góc BAI
mà AI nằm trong góc BAC
=> AI là phân giác của góc BAC