Có xOy < xOz (40o<120o)

=> Oy nằm giữa Ox,Oz

=> xOy + yOz = xOz => yOz = 80o

Om là p/g của xOy

=> xOm = mOy = xOy/2 = 20o

On là p/g của xOz 

=> xOn = zOn = xOz/2 = 60o

Vì zOn < zOy (60o < 80o)

=> zOn + nOy = zOy 

=> nOy = 20o

Có : Oy nằm giữa Ox và Oz

=> Ox và Oz nằm trên 2 nửa MP đối bờ Oy (1)

Mà : Om là p/g xOy => Om nằm giữa...

        On là p/g xOz   => On nằm giữa...    (2)

Từ (1),(2) => Om và On nằm trên 2 nửa MP đối bờ Oy

=> Oy nằm giữa Om,On

=> nOy + yOm = mOn => mOn = 40o

Có mOn = 40o ; nOy = 20o; yOm = 20o => nOy = yOm = mOn/2 => đpcm