Giả thiết:

- Hai góc xOy, x'Oy' là hai góc đối đỉnh.

- Ou là tia phân giác của góc xOy, Ou' là tia đối của tia Ou.

Kết luận: Ou' là tia phân giác của góc x'Oy'.

Chứng minh:

Ta có xOu^=xOu^ vì là hai góc đối đỉnh, yOu^=yOu^ vì là hai góc đối đỉnh.

xOu^=yOu^ do Ou là tia phân giác của góc xOy, suy ra xOu^=yOu^, tức là Ou' là tia phân giác của góc x'Oy'.