Bổ sung đề: Chứng minh Om⊥On
Om là phân giác của góc aOt
=>\(\hat{aOt}=2\cdot\hat{tOm}\)
On là phân giác của góc bOt
=>\(\hat{bOt}=2\cdot\hat{tOn}\)
Ta có: \(\hat{aOt}+\hat{bOt}=180^0\) (hai góc kề bù)
=>\(2\left(\hat{tOm}+\hat{tOn}\right)=180^0\)
=>\(2\cdot\hat{mOn}=180^0\)
=>\(\hat{mOn}=90^0\)
=>Om⊥On