Có: MN // Ox (GT)
=> \(\widehat{MNO}=\widehat{NOx}\) (2 góc so le trong) (1)
Có: Ox // PQ (GT)
=> \(\widehat{OQP}=\widehat{xOQ}\) (2 góc so le trong) (2)
Lại có: \(\widehat{MNO}=\widehat{OQP}\left(GT\right)\left(3\right)\)
Từ (1); (2) và (3) => \(\widehat{NOx}=\widehat{xOQ}\)
=> Ox là tia phân giác của \(\widehat{NOQ}\)