ABC este triunghi isoscel cu AB congruent cu AC.
Daca <BAP ≡ <CAP rezulta ca AP este bisectoarea unghilui A.
Aceasta bisectoare este si inaltime si mediana si mediatoarea segmentului [BC].
Mediatoarea unui segment are proprietatea ca orice punct de pe mediatoare este egal departat de capetele segmentului.
⇒ [SB] ≡ [SC]
