Dato il triangolo
[math]hat{ABC}[/math]
e un punto
[math]O[/math]
esterno, si unisca
[math]O[/math]
con i vertici del triangolo e si prolunghi ciascun segmento in modo che
[math]\bar(OA)~=\bar(OA'), \bar(OB)~=\bar(OB'), \bar(OC)~=\bar(OC')[/math]
.
Dimostrare che il triangolo
[math]hat{ABC}[/math]
è congruente a
[math]hat{A'B'C'}[/math]
.

Ipotesi
[math]\bar(OA)~=\bar(OA')[/math]
[math]\bar(OB)~=\bar(OB')[/math]
[math]\bar(OC)~=\bar(OC')[/math]
Dimostrazione
Tesi:
[math]hat{ABC}~=hat{A'B'C'}[/math]
.
I triangoli
[math]hat{ABC}[/math]
e
[math]hat{A'B'C'}[/math]
sono congruenti, infatti per il primo criterio si ha
[math]\bar(OA)~=\bar(OA')[/math]
per costuzione
[math]\bar(OC)~=\bar(OC')[/math]
per costuzione
[math]Aha OC~=A'ha OC'[/math]
perchè opposto al vertice
di conseguenza
[math]\bar(AC)~=\bar(A'C')[/math]
.
Analogamente
[math]hat{ABO}~=hat{A'BO}[/math]
quindi
[math]\bar(AB)~=\bar(A'B')[/math]
Analogamente
[math]hat{BOC}~=hat{B'OC'}[/math]
quindi
[math]\bar(BC)~=\bar(B'C')[/math]
In conclusione i triangoli
[math]hat{ABC}[/math]
e
[math]hat{A'B'C'}[/math]
sono congruenti per il terzo criterio.