`a)
`text(Ta có :)`
`hat(xOn) và hat(yOm)` `text(bằng nhau vì chúng có số đo là )` `90^o` `text(.Chúng cùng nằm trong )` `hat(xOy)` `text(Và tại hai góc đó đều nhau)`
`b) `
`text(Vì tia Ot là tia phân giác của)` `hat(xOy)` `text(nên ta có:)`
`hat(xOt) + hat(tOy) = hat(xOy)`
`text(Mà 2 góc)` `hat(xOn) và hat(yOm)` `text(tạo thành một góc ở giữa là)` `hat(mOn)` `text(nên suy ra Ot cũng là tia phân giác của)` `hat(mOn)`