Vì tia Oz nằm trong `hat{xOy}`
`=>` Tia Oz nằm giữa hai tia Ox và Oy
`=> hat{XOZ}`+`hat{ZOY}`=`hat{XOY}`
`=> hat{XOZ}`+`45^o` = `135^o`
`=> hat{XOZ}`=`135^o-45^o`
`=> hat{XOZ}`=`90^o`
Mà tia OZ kề với tia OX và `hat{XOZ}`=`90^o`
Vậy `OZ` vuông góc với `OX`