(Hình bạn tự vẽ)
Ta có: \(\widehat{xOy}=\widehat{x'Oy'}\) (đối đỉnh)
Mà OM là tia phân giác của góc xOy, ON là tia phân giác của góc x'Oy' nên 2 góc xOM và x'ON bằng nhau
Mặt khác: \(\widehat{x'ON}+\widehat{NOy'}+\widehat{xOy'}=180^o\)
=> \(\widehat{xOM}+\widehat{xOy'}+\widehat{NOy'}=180^o\)
hay góc MON là góc bẹt => M, O, N thẳng hàng