Vì `\hat{xOy}` và `\hat{yOz}` là hai góc kề bù
`=> \hat{xOy} + \hat{yOz} = 180^o`
Lại có : `\hat{AOy}= 1/2 . \hat{xOy}` (do `OA` là tia phân giác của `\hat{xOy}`)
`\hat{BOy} = 1/2 . \hat{yOz}` (do `OB` là tia phân giác của `\hat{yOz}`)
`=> \hat{AOy} + \hat{BOy} = 1/2 . \hat{xOy} + 1/2 . \hat{yOz}`
`=> \hat{ AOB} = 1/2 (\hat{xOy} + \hat{yOz})`
Mà `\hat{xOy} + \hat{yOz} = 180^o` (cmt)
`=> \hat{AOB} = 90^o`
`=> OA \bot OB`
