Gọi Om là tia phân giác của góc xOy Chứng minh Om là tia phân giác của góc tOv.

Có xOv^=tOy^  (cmt)

Có xOm^=yOm^ (vì Om là tia phân giác xOy^)

⇒xOm^−xOv^=yOm^−yOt^⇒vOm^=tOm^

⇒Om là tia phân giác của góc tOv.