`a,` Xét Tam giác `AIB` và Tam giác `AIC` có:
`AB = AC (g``t)`
AI chung
`IB = IC (g``t)`
`=>` Tam giác `AIB =` Tam giác `AIC (c-c-c)`
`b,` Vì Tam giác `AIB =` Tam giác `AIC (a)`
`=>` \(\widehat{AIB}=\widehat{AIC}\) (2 góc tương ứng)
Mà 2 góc này ở vị trí kề bù
`=>` \(\widehat{AIB}+\widehat{AIC}=180^0\)
`=>` \(\widehat{AIB}=\widehat{AIC}=\) \(\dfrac{180}{2}=90^0\)
`=>` \(AI\perp BC\)
Tam giác `ABC` có `IB = IC`, \(AI\perp BC\)
`=> AI` là đường trung trực của `BC (đpcm)`