`a,` Viết giả thuyết, kết luận

 \begin{array}{|c|c|c|}\hline \text{GT}&\text{xOy , yOz kề bù}\\\hline \text{}&\text{Om là phân giác xOy}\\\hline \text{}&\text{On tia phân giác yOz}\\\hline \text{KL}&\text{C/m rằng Om vuông góc với On}\\\hline \end{array}

`b,`

Vì `hat{xOy}` và `hat{yOz}` kề bù (g.t)

`=> hat{xOy} + hat{yOz} = 180^@`

Vì `on, om` lần lượt là tia phân giác của góc `hat{yOz}` và `hat{xOy}`

`@ hat{yOz}/2 =   hat{zOn} =  hat{nOy}` (t/c)

`@ hat{yOx}/2 =  hat{yOm} =  hat{mOx}` (t/c)

`=> hat{nOy} +   hat{yOm} =  hat{zOn} +  hat{mOx}`

Suy ra ta có :

`=>  hat{nOy} + hat{yOm} = 180^@/2`

`=>  hat{nOy} +  hat{yOm} = 90^@`

Mà `hat{nOm} = hat{nOy} + hat{yOm}  = 90^@`

`=> Om` vuông góc `On`