Om là phân giác của góc xOy
=>\(\widehat{xOm}=\dfrac{\widehat{xOy}}{2}\)
On là phân giác của góc xOt
=>\(\widehat{xOn}=\dfrac{\widehat{xOt}}{2}\)
\(\widehat{xOy};\widehat{xOt}\) là hai góc kề bù
=>\(\widehat{xOy}+\widehat{xOt}=180^0\)
=>\(2\left(\widehat{xOm}+\widehat{xOn}\right)=180^0\)
=>\(2\cdot\widehat{mOn}=180^0\)
=>\(\widehat{mOn}=90^0\)
=>Om\(\perp\)On