Để chứng minh rằng on là tia phân giác của góc x'oy', ta cần chứng minh rằng on chia góc x'oy' thành hai góc bằng nhau.

Gọi A là giao điểm của tia om và tia x'oy'. Ta cần chứng minh rằng góc x'OA = góc Aoy'.

Vì om là tia phân giác của góc xoy, nên góc xOA = góc Aoy.

Vì x'oy' là góc đối đỉnh của góc xoy, nên góc x'OA = góc Aoy.

Do đó, góc x'OA = góc xOA = góc Aoy = góc Aoy'.

Vậy ta có thể kết luận rằng on là tia phân giác của góc x'oy'.