AB≡AC ⇒ punctul A este egal departat fata de capetele segmentului BC ⇒A se afla pe mediatoarea segmentului BC
ΔABC este isoscel cu AB≡AC ⇒ ∡ABC≡∡ACB (1)
∡ABD≡∡ACD=90 (2)
Din 1 si 2 ⇒ ∡DBC≡∡DCB ⇒ ΔBDC isoscel cu BD≡CD ⇒ punctul D este egal departat fata de capetele segmentului BC ⇒ D se afla pe mediatoarea segmentului BC
Punctele A si D apartine de mediatoarea segmentului BC ⇒ AD este mediatoarea segmentului BC
