ta có \(Om\) là phân giác của \(\widehat{aOt}\) => \(\widehat{mOt}=\frac{\widehat{aOt}}{2}\)
tương tự ta có \(\widehat{nOt}=\widehat{\frac{bOt}{2}}\)
=> \(\widehat{mOt}+\widehat{nOt}=\frac{\widehat{aOt}+\widehat{bOt}}{2}=\widehat{\frac{aOb}{2}}\)
mà \(Ot\) nằm giữa \(Om\) và \(On\)
=> \(\widehat{mOn}=\widehat{mOt}+\widehat{nOt}=\widehat{\frac{aOb}{2}}\) (ĐPCM)