Chứng minh
`hat{xOy}` và `hat{yOz}` là 2 góc kề bù
`⇒ hat{xOy} + hat{yOz}=180^o` `(1)`
Do `Ot` là tia phân giác của `hat{xOy}`
`⇒ hat{yOt} = 1/2 hat{xOy}`
`⇒ hat{xOy} = 2 hat{yOt}` `(2)`
Do `Ot'` là tia phân giác của `hat{yOz}`
`⇒ hat{yOt'} = 1/2 hat{yOz}`
`⇒ hat{yOz} = 2 hat{yOt'}` `(3)`
Thay `(2)` và `(3)` vào `(1)` ta được :
`⇒ 2 hat{yOt} + 2 hat{yOt'}=180^o`
`⇒ 2 (hat{yOt} + hat{yOt'}) = 180^o`
`⇒ hat{yOt} + hat{yOt'} = (180^o)/2`
`⇒ hat{yOt} + hat{yOt'} = 90^o`
mà `hat{yOt} + hat{yOt'}=hat{tOt'}`
`⇒ hat{tOt'}=90^o (đpcm)`
