Vì `Ot` là tia phân giác của `hat {xOy}`
`=> hat {tOy} = 1/2 hat {xOy} = 1/2. 60^o = 30^o`
mà `hat {t'Oz} = 30^o`
`=> hat {tOy} = hat {t'Oz}(**)`
Vì `Ot` và `Ot'` là `2` tia đối nhau
`=> hat {t'Oz}` và `hat {zOt}` là `2` góc kề bù
`=> hat {t'Oz} + hat {zOt} = 180^o
mà `hat {tOy} = hat {t'Oz}`
`=> hat {tOy} + hat {zOt} = 180^o`
`=> hat {yOz} = 180^o`
`=> Oy` và `Oz` là `2` tia đối nhau
`=> Ot; Ot'` và `Oy; Oz` là `2` cặp tia đối nhau `(***)`
Từ `(**)` và `(***) => hat {t'Oz}` và `hat {tOy}` là `2` góc đối đỉnh