Explicație pas cu pas:
a) [OA]=[OB] si [AC]=[BD]
=> OD = OB + BD = OA + AC = OC
din: OD ≡ OC, OA ≡ OB și ∢AOD ≡ ∢BOC
=> ΔAOD ≡ ΔBOC
b) din ΔAOD ≡ ΔBOC
=> ∢ODA ≡ ∢OCB <=> ∢ODM ≡ ∢OCM
OD ≡ OC și OM latură comună:
=> ΔODM ≡ ΔOCM => ∢DOM ≡ ∢COM
=> [OM este bisectoarea unghiului XOY