Ta có A O B ^ = A O C ^ (đề bài cho) mà B O C ' ^ = C O B ' ^ (hai góc đối đỉnh) nên A O B ^ − B O C ' ^ = A O C ^ − C O B ' ^ .
Do đó A O C ' ^ = A O B ' ^ . (1)
Mặt khác, tia OA nằm giữa hai tia O B ' và . (2)
Nếu từ (1) và (2) ta được tia OA là tia phân giác của góc B ' O C '