13, ca e mai clasica
AD≡BC (ipoteza, ABCD trap.isoscel)
mas∡DAB=mas∡CBA (ipoteza, ABCD trap.isoscel)
AB≡AB
din acestea rezulta, caz LUL, ΔDAB≡ΔCBA⇒mas ∡DBA=mas∡CAB⇔ΔOAB isoscel (1)
dar mas ∡ODC=mas ∡DBA (alterne interne)
si mas∡DCO=mas ∡OAB (asolterne interne)
decoimas ∡ODC=mas ∡OCD⇔ΔDOC isoscel (2)
b) din (1)⇒AO≡OB
din (2)⇒OD≡)C
mas ∡DOB=mas∡COB ( opuse la varf)
din cele 3 rezulta (caz LUL)ΔAOD≡ΔBOC
