Xét `△AIB` và `△AIC` có :
`AI` cạnh chung
`Ci = IB`
`AB = AC`
`=> △AIB = △AIC`
`=>` \(\widehat{CAI}=\widehat{BAI}\)
`=>AI` là tia phân giác \(\widehat{A}\)
_______________________________
Xét `△ABC` cân tại `A` có :
`AI` là đường phân giác
`=> AI` là đường trung trực của `BC`