`->` `bbĐbbúbbnbbg`

 Ý chính của bài như sau:

`-` Dùng đường trung trực `=>` các cặp đoạn bằng nhau:

`+` `IA = IB, OA = OB`

`+` `KA = KC, OA = OC`

`-` Chứng minh:

`+` `ΔOIA = ΔOIB` `=>` `\hat{OAI} = \hat{OBI}` `(1)`

`+` `ΔOAK = ΔOCK` `=>` `\hat(OAK) = \hat(OCK)` `(2)`

`+` `OB = OC` `=>` `ΔOBC` cân `=>` `\hat(OBI) = \hat(OCK)` `(3)`

`-` Từ `(1), (2), (3)`

`=>` `\hat(OAI) = \hat(OAK)`
`=>` `AO` là tia phân giác của góc `\hat(IAK)`