1. Unim C cu O si avem: ΔCAO=ΔCOB (caz L.L.L.: AC=BC, CO comuna, AO=OB) ⇒
<AOC=<BOC=90 grade, deoarece sunt suplementare ⇒ CO este mediatoare, mediana, inaltime si bisectoare;
2. Consideram M si N de o parte si de alta a segmentului AB astfel incat: MA=MB, NA=NB. Unim M cu N : ΔMAN=ΔMBN (L.L.L.: MA=MB, NA=NB, MN comuna) ⇒ <AMN=<BMN. Fie P pct de intersectie al MN cu AB; avem ΔAMP=ΔBMP (L.U.L.: MA=MB, MP comuna, <AMP=<BMP) ⇒ AP=PB adica MN injumatateste AB dar <APM=<BPM=90 deoarece sunt suplementare ⇒ MP(MN) este mediatoare pt AB.