ta có `Oz` là tia phân giác của `hat(mOn)`
`=>hat(mOz)=hat(nOz)`
ta có `hat(xOm)+hat(mOz)=hat(xOz)`
`hat(yOn)+hat(nOz)=hat(yOz)`
mà `hat( xOm)=hat(yOn) (g t);hat(mOz)=hat(nOz) (cmt)`
`=>hat(xOz)=hat(yOz)`
mà `hat(xOz)+hat(yOz)=hat(xOy)=180^o`
`=>hat(xOz)=1/2 hat(xOy)`
`=>hat(xOz)=1/2 180^o`
`=>hat(xOz)=90^o`
do đó `Oz⊥xy (đpcm )`