Chứng minh:
Vì Om là tia phân giác của góc xOz nên xOm^=mOz^=xOz^2(1)
Vì On là tia phân giác của zOy^ nên zOn^=nOy^=zOy^2 (2)
Từ (1) và (2) ta có: mOz^+zOn^=12(xOz^+zOy^)
Suy ra mOz^+zOn^=12×180∘=90∘ (vì xOz^ và zOy^ là hai góc kề bù) hay mOn^=90∘