OC=OD
AO=OB
m(<BOC)=m(<AOD)
ΔBOC si ΔAOD sunt congruente ⇒ AD=BC
b.ptr ΔBOC si ΔAOD sunt congruente ⇒ m(<BCO)=m(<ODA)
m(<CBO)=m(<OAD) ⇒ CB II AD
Δ ACD congruent cu Δ BDC caz LUL
BC=AD
CD=latura comuna
m(<BCO)=m(<ODA)
c.Δ ADB congruent cu ΔBCA caz LUL
BC=AD
AB=latura comuna
m(<CBO)=m(<OAD)