Theo đề ta có:
\(\widehat{tOx}+\widehat{t'Oy'}+\widehat{xOy'}=\dfrac{1}{2}\widehat{xOy}+\dfrac{1}{2}\widehat{x'Oy'}+\widehat{xOy'}\)
Mà \(\widehat{xOy}=\widehat{x'Oy'}\) (hai góc đối đỉnh)
Suy ra biểu thức trên bằng \(\widehat{xOy}+\widehat{xOy'}=180^o\) (hai góc kề bù)
Hay \(\widehat{tOx}+\widehat{t'Oy'}+\widehat{xOy'}=\widehat{tOt'}=180^o\)
Từ đó suy ra tt' là một góc bẹt, hay tia Ot và tia Ot' là hai tia đối nhau