Ta có: `\hat{xOm}` + `\hat{mOn}` + `\hat{yOn}` = $180^o$
Mà Oz là tia phân giác của `\hat{mOn}`
⇒ Oz nằm giữa Om và On
⇒ `\hat{mOz}` = `\hat{nOz}` = $\frac{\hat{mOn}}{2}$
Mà `\hat{xOm}` = `\hat{nOy}`
⇒ 2`\hat{xOm}` + 2`\hat{mOz}` = $180^o$
⇒ `\hat{xOm}` + `\hat{mOz}` = $\frac{180^o}{2}$
⇒ `\hat{mOz}` = $90^o$
⇒ Oz ⊥ xy