Vì Ot là tia phân giác của ^xOy, mà M thuộc Ot=>Om là tia phân giác của ^AOB

   a) xét tam giác  OAM và tam giác OBM có:

OM:cạnh chung

^AOM=^BOM( vì OM là tia phân giác của ^AOB)

=>tam giác....=tam giác...(ch-gn)

=>OA=OB(cặp cạnh t.ứ)

=>tam giác OBA cân tại O ( dấu hiệu nhận biết)

b)xét tam giác OAI=tam giác OBI(ch-gn)=>IA=IB

Vì OM là tia phân giác của ^AOB, mà I thuộc OM

=>OI là tia phân giác của ^AOB

Xét tam giác OBA cân tại O có:OI là tia phân giác của ^AOB

=>OI cũng là đg trung trực của AB

=>OM là đg trung trưc của AB

=>OM _|_ AB