Ip. [AO]≡[OB]
[CO]≡[OD]
Cl.a) [AC]≡[BD]
b) ∡OAD≡∡OBD
Dem. ΔCOA≡ΔBOD (L.U.L.)
din ip. [AO]≡[OB]
[CO]≡[OD]
∡COA≡∡BOD ca unghiuri op. la varf
din rel. de mai sus ⇒[AC]≡[BD]
Dem. ΔAOD≡ΔCOB (L.U.L.)
[AO]≡[OB]
[CO]≡[OD]
∡AOD≡∡COB ca op. la varf
din rel. de mai sus ⇒∡OAD≡OBC