daca A si B sunt pe cerc ,inseamna ca OA=OB si sunt raze,triunghiul OAB isoscel si ∧OAB=∧OBA
din ipoteza,OM=ON si ∧OMA=∧ONB (din tr isoscel)
atunci in ΔOMA si ΔONB avem
-OM=ON
OA=OB
∧MAO=∧OBN( prin diferenta de unghiuri congruente)
atunci ΔOMA≡ΔOBN si deci MA≡BN