Ta có hình vẽ:
a) Vì \(Oa\perp Ox\Rightarrow xOa=90^o;Ob\perp Oy\Rightarrow yOb=90^o\)
Ta có: xOa + aOy = xOy
=> 90o + aOy = xOy (1)
Lại có: xOb + bOy = xOy
=> xOb + 90o = xOy (2)
Từ (1) và (2) => aOy = xOb
b) Vì Om là phân giác của aOb nên \(bOm=mOa=\frac{aOb}{2}\)
Lại có: aOy = xOb (theo câu a)
=> aOy + mOa = bOm + xOb
=> mOy = xOm
=> Om là tia phân giác của aOb (đpcm)