Hipótesis: Sea ABC un triángulo isósceles tal que AB = AC y es el punto medio de BC.

Tesis:
Demostrar que

Demostración.

P1.
Construimos AA´. Por lo tanto, AA´es un lado común de los triángulos y

P2.
Por hipótesis, tenemos que
AB
= AC y BA´ = CA´.

P3.
Por la Proposición I.8, criterio de congruencia LLL, los triángulos y son congruentes. Es decir, .

Q.E.D.