M mij.[AB]=>AM=MB
AO=BO
PO=QO=R
AO=AP+PO=AP+R
BO=BQ+QO=BQ+R
AO=BO =>AP+R=BQ+R=>AP=BQ
AO=BO =>ΔOAB->isoscel=>m(∡BAO)=m(∡OBA)
In patrulaterul APQB , m(∡BAP)=m(∡ABQ) si AP=BQ=> APQB trapez isoscel
Daca intr-un trapez unghiurile alaturate unei baze sunt congruente atunci trapezul este isoscel (Teorema reciproca)