Nel linguaggio di tutti i giorni spesso diciamo che due biciclette sono [i]uguali[/i] se queste sono dello stesso modello, ma evidentemente [i]non sono la stessa bicicletta[/i]. Delle volte diciamo pure che in una coppia di gemelli le due persone sono [i]uguali[/i] quando in realtà sono [i]molto simili[/i].[br]Quando abbiamo parlato di insiemi abbiamo detto che[br][quote]Due insiemi si dicono [b]uguali[/b] quando hanno [i]esattamente[/i] gli stessi elementi.[/quote][br]Poi abbiamo detto che le figure geometriche sono degli insiemi di punti. Utilizzando la definizione di uguaglianza appena ricordata potremmo dire che[br][quote]due figure geometriche sono [b]uguali[/b] quanto sono composte [i]esattamente[/i] dagli stessi punti.[/quote][br]Se scriviamo che due figure sono uguali, in simboli [math]F_1=F_2[/math], stiamo intendendo che sono fatte dagli stessi punti e quindi [i]sono la stessa figura[/i].
Per quanto abbiamo appena letto, le due figure qui sopra [math]F_1[/math] e [math]F_2[/math], si possono definire [i]uguali[/i], o dire che [math]F_1=F_2[/math]?
Per descrivere la somiglianza che c'è tra le due figure [math]F_1[/math] e [math]F_2[/math] appena viste, dobbiamo inventarci una nuova parola: [b]congruenza[/b].[br]Il concetto di congruenza lo prendiamo come concetto primitivo e non lo definiamo, ma possiamo descrivere a parole cosa intendiamo quando diciamo che due figure sono congruenti: sono [i]una la copia dell'altra[/i] e se potessi spostare una figura senza deformarla riuscirei a sovrapporla perfettamente all'altra.[br]In simboli scriverei:[br][math]F_1\cong F_2[/math][br]che si legge: [i][math]F_1[/math]è congruente a [math]F_2[/math][/i]
[quote]La relazione di congruenza fra le figure del piano gode delle seguenti proprietà:[br][list=a][*]ogni figura è congruente a se stessa [i](proprietà riflessiva)[/i];[/*][*]se la figura [math]F_1[/math] è congruente alla figura [math]F_2[/math], allora [math]F_2[/math] è congruente a [math]F_1[/math][i](proprietà simmetrica)[/i];[/*][*]se la figura [math]F_1[/math] è congruente alla figura [math]F_2[/math] e la figura [math]F_2[/math] è congruente a [math]F_3[/math], allora anche [math]F_1[/math] ed[math]F_3[/math] sono congruenti [i](proprietà transitiva)[/i].[/*][/list][/quote]
Possiamo pensare intuitivamente che i punti si possano sempre sovrapporre tra loro. Anche le rette dopo qualche rotazione si possono sempre sovrapporre tra loro, pure le semirette, i piani e i semipiani. Allora possiamo prendere come assioma questo:[br][quote]Tutti i punti sono congruenti fra loro. La stessa cosa vale per le rette, le semirette, i piani e i semipiani.[/quote][br]Nota bene: tutti i semipiani sono congruenti tra loro; significa che gli [i]angoli piatti siano tutti congruenti tra loro[/i].
Altri due assiomi descrivo la possibilità di individuare in modo univoco segmenti e angoli congruenti:[br][list=1][*]Dato un segmento [math]AB[/math] e una semiretta [math]r[/math] di origine [math]O[/math], esiste un unico punto [math]P[/math], sulla semiretta, tale che [math]AB[/math] è congruente a [math]OP[/math][/*][*]Dato un angolo [math]\angle aOb[/math] e una semiretta [math]a'[/math] di origine [math]O'[/math], su ognuno dei due semipiani individuati dalla retta cui appartiene la semiretta [math]a'[/math] esiste una unica semiretta [math]b'[/math], di origine [math]O'[/math], tale chea [math]\angle a'O'b'[/math] è congruente ad [math]\angle aOb[/math] [/*][/list]
[quote]Un poligono che ha tutti i [i]lati congruenti[/i] e tutti gli [i]angoli congruenti[/i] si dice [b]regolare[/b].[/quote][br]Ad esempio ogni quadrato è un quadrilatero regolare, oppure ogni triangolo equilatero è un triangolo regolare