`a.` Xét `ΔABI` và `ΔACI`

`AI` chung

`AB=AC(` giả thiết `)`

`hat(AIB)=hat(CIA)``(AI` là phân giác `hat(BAC)` `)`

`=>ΔABI=ΔACI(c-g-c)`

`b.` Ta có `:ΔABI=ΔACI(` CMT `)`

`=>IC=IB(` Cặp cạnh tương ứng `)`

Mà `AB=AC(` giả thiết `)`

`=>I;A∈` đường trung trực `BC`

`=>AI` là đường trung trực của `BC`

`=>AI` `bot` `BC(` Định nghĩa `)`