# Geometria per scuola elementare/Il teorema di congruenza lato-lato-lato
## Introduzione

In questo capitolo, inizieremo a parare di congruenza e di teoremi di congruenza.
Diciamo che due triangoli sono congruenti se hanno forma uguale. I triangoli $\triangle ABC$ e $\triangle DEF$ sono congruenti se e solo se sussistono tutte le seguenti condizioni:
* Il lato ${\overline {AB}}$ è uguale a ${\overline {DE}}$.
* Il lato ${\overline {BC}}$ è uguale a ${\overline {EF}}$.
* il lato ${\overline {AC}}$ è uguale a ${\overline {DF}}$.
* L'angolo $\angle ABC$ è uguale a $\angle DEF$.
* L'angolo $\angle BCA$ è uguale a $\angle EFD$.
* L'angolo $\angle CAB$ è uguale a $\angle FDE$.
Notare che l'ordine dei vertici è importante. Può anche succedere che $\triangle ABC$ e $\triangle ACB$ non siano congruenti anche se si tratta dello stesso triangolo.
I criteri di congruenza servono a fornire un insieme di condizioni più ridotto, ma ugualmente sufficiente a poter dire che due triangoli sono congruenti.
Il primo criterio di congruenza di cui parleremo è il teorema lato-lato-lato.

## Il criterio di congruenza lato-lato-lato

Dati due triangoli $\triangle ABC$ e $\triangle DEF$ con i lati uguali, in modo che:
* Il lato ${\overline {AB}}$ sia uguale a ${\overline {DE}}$.
* Il lato ${\overline {BC}}$ sia uguale a ${\overline {EF}}$.
* Il lato ${\overline {AC}}$ sia uguale a ${\overline {DF}}$.
Allora i triangoli sono congruenti e i loro angoli sono anch'essi uguali.

## Metodo dimostrativo

Per provarlo abbiamo bisogno di un nuovo postulato. Questo nuovo postulato ci dice che possiamo spostare, girare o capovolgere una figura geometrica senza cambiarla. In particolare, ci permette di spostare un triangolo senza modificarne i lati e gli angoli.
Bisogna fare attenzione al fatto che questo postulato è vero nella geometria piana ma non lo è in generale. Se si considera la geometria su una superficie curva, il postulato non è più vero.
Una volta che abbiamo a disposizione il postulato, mostreremo come possiamo muovere un triangolo su un altro fino a farli coincidere. Grazie a questo i due triangoli sono uguali.

### La costruzione

* Copia il lato ${\overline {AB}}$ sul punto D.
* Disegna il cerchio $\circ D,{\overline {AB}}$.
* Il cerchio $\circ D,{\overline {AB}}$ e il segmento ${\overline {DE}}$ si intersecano nel punto E: così abbiamo una copia di ${\overline {AB}}$ che coincide con ${\overline {DE}}$.
* Costruisci un triangolo con ${\overline {DE}}$ come base, ${\overline {BC}}$, ${\overline {AC}}$ come lati e con il vertice dalla stessa parte del vertice F. Chiamiamo questo triangolo $\triangle DEG$

### Affermazione

I triangoli $\triangle DEF$ e $\triangle ABC$ sono congruenti.

### Dimostrazione

* I punti A e D coincidono.
* I punti B e E coincidono.
* Il vertice F è un punto di intersezione di $\circ D,{\overline {DF}}$ and $\circ E,{\overline {EF}}$.
* Il vertice G è un punto di intersezione di $\circ D,{\overline {AC}}$ e $\circ E,{\overline {BC}}$.
* Sappiamo in partenza che ${\overline {DF}}$ è uguale a ${\overline {AC}}$
* e anche ${\overline {EF}}$ è uguale a ${\overline {BC}}$.
* Quindi, $\circ D,{\overline {DF}}$ è uguale a $\circ D,{\overline {AC}}$ e $\circ E,{\overline {EF}}$ è uguale a $\circ E,{\overline {BC}}$.
* Tuttavia, due cerchi con centri diversi hanno al massimo un punto di intersezione da un lato del segmento che unisce i loro centri.
* Quindi, i punti G e F coincidono.
* Per due punti passa una sola linea retta, quindi ${\overline {EG}}$ coincide con ${\overline {EF}}$ e ${\overline {GD}}$ coincide con ${\overline {DF}}$.
* Perciò, il triangolo $\triangle DEG$ coincide con $\triangle DEF$ e i due sono congruenti.
* Grazie al postulato $\triangle DEG$ e $\triangle ABC$ sono uguali e quindi congruenti.
* Quindi, $\triangle DEF$ e $\triangle ABC$ sono congruenti.
* Da cui, $\angle ABC$ è uguale a $\angle DEF$, $\angle BCA$ è uguale a $\angle EFD$ e $\angle CAB$ è uguale a $\angle FDE$.

## Nota

Il teorema di congruenza lato-lato-lato compare negli Elementi come proposizione 8 del I Libro . La dimostrazione che ne abbiamo data è svolta nello stesso spirito di quella originale. Nell'originale Euclide afferma che i vertici F e G devono coincidere senza però spiegarne il perché.
Noi abbiamo usato la proprietà secondo cui:
    Cerchi con centri diversi hanno al massimo un punto di intersezione da un lato del segmento che unisce i loro centri.
L'assunzione è valida nella geometria piana ma può essere ricavata dai postulati originali di Euclide. Siccome Euclide stesso ne ha dovuto far uso abbiamo preferito dare una dimostrazione più dettagliata, nonostante l'assunzione di questa proprietà extra.