Vì góc xOy và góc x'Oy' là hai góc đối đỉnh nên:
góc xOy = góc x'Oy' (1)
Vì Ot là tia phân giác của góc xOy nên:
góc xOt = \(\frac{1}{2}\)góc xOy (2)
Từ (1) và (2), suy ra: góc x'Ot' = \(\frac{1}{2}\)góc x'Oy' (3)
Từ (3), suy ra: Ot' là tia phân giác của góc x'Oy'
Vậy Ot' là tia phân giác (đccm)