Giả sử: \(\widehat{xOy}\) và \(\widehat{x'Oy'}\)là 2 góc đối đỉnh
Om là tia phân giác của \(\widehat{xOy}\)
On là tia phân giác của \(\widehat{x'Oy'}\)
C/m On và Om là 2 tia đối nahu
Vì \(\widehat{xOy}=\widehat{x'Oy'}\)( 2 góc đối đỉnh )
Mà \(\widehat{O_1}=\frac{1}{2}\widehat{xOy}\)( Om là tia phân giác của \(\widehat{xOy}\))
\(\widehat{O_3}=\frac{1}{2}\widehat{x'Oy'}\)( On là tia phân giác của \(\widehat{x'Oy'}\))
\(\Rightarrow\widehat{O_1}=\widehat{O_3}=\frac{1}{2}\widehat{xOy}\)
\(\Rightarrow\widehat{O_1}+\widehat{O_3}=\widehat{xOy}\)
Ta có: \(\widehat{xOy}+\widehat{O_2}=180^o\)( 2 góc kề bù )
Mà \(\widehat{O_1}+\widehat{O_2}+\widehat{O_3}=\widehat{mOn}\)
=> \(\widehat{mOn}=180^o\)
=> Om và On là 2 tia đối nhau