\(\widehat{yOm}=\dfrac{\widehat{xOy}}{2}\)
\(\widehat{nOy}=90^0-\widehat{yOm}=\dfrac{180^0-\widehat{xOy}}{2}=\dfrac{\widehat{yOz}}{2}\)
=>\(\widehat{yOn}< \widehat{yOz}\)
Trên cùng một nửa mặt phẳng bờ chứa tia Oy, ta có: \(\widehat{yOn}< \widehat{yOz}\)
nên tia On nằm giữa hai tia Oy và Oz
mà \(\widehat{yOn}=\dfrac{1}{2}\widehat{yOz}\)
nên On là phân giác của góc yOz