Di seguito analizzeremo i teoremi e gli assiomi.
Da sapere:
Intorno al 300 a.C., un matematico greco di nome Euclide decise di raccogliere tutto il suo sapere matematico in una serie di libri che verranno chiamati gli “Elementi”. Essi rappresentano la base di quella che viene chiamata geometria euclidea.
Nella geometria euclidea tutto va dimostrato rigorosamente a partire da un insieme di assiomi. Gli assiomi sono delle proposizioni matematiche considerate vere senza bisogno di una dimostrazione (vedremo più avanti perché non si possono dimostrare).
Negli “Elementi” Euclide enuncia 5 assiomi:
Il quinto assioma viene più comunemente formulato in una maniera diversa riconducibile allo stesso significato:
Dei cinque assiomi il più usato è sicuramente il primo, quindi è bene tenerlo sempre a mente.
Usando questi cinque assiomi possiamo dimostrare tutti i teoremi della geometria euclidea, ma cos'è una dimostrazione e cos'è un teorema?
Una dimostrazione è un processo di deduzione che, partendo da delle affermazioni considerate vere chiamate ipotesi, determina la necessaria validità di un'altra affermazione chiamata tesi.
Talvolta la dimostrazione viene chiamata “prova”. Quindi la dimostrazione dimostra che qualcosa (tesi) è vero partendo dalla validità di qualcos'altro (ipotesi).
L'ipotesi sono dunque gli assiomi con i quali dimostriamo l’enunciato dei teoremi, ovvero la tesi. Un teorema è quindi un'affermazione, detta enunciato, che è stata dimostrata.
Per questo gli assiomi non possono essere dimostrati. Per dimostrarli ci sarebbe bisogno di qualche ipotesi ancora più basilare degli assiomi, ma non c'è niente di più basilare di essi che li dimostri.
Quando abbiamo parlato della proprietà degli elementi fondamentali infatti, non abbiamo fornito alcuna prova perché si trattavano di postulati. (potete trovare qui la lezione sugli enti fondamentali della geometria).
Il quinto assioma di Euclide è molto più complesso dei primi quattro. Non è qualcosa di estremamente ovvio e logico e viene per questo chiamato postulato invece che assioma. Per millenni si è provato a dimostrare il quinto postulato di Euclide, cercando qualcosa di ancora più basilare in grado di provarlo, ma ancora non c'è riuscito nessuno.
Postulato e assioma sono quindi sinonimi o sono cose diverse? Effettivamente una piccola differenza c’è, ma vengono solitamente usati come sinonimi.
Si usa assioma quando ci si riferisce a qualcosa riguardante la logica mentre postulato per qualcosa di geometrico. Inoltre, un assioma è qualcosa di vero perché estremamente ovvio e logico, mentre il postulato è qualcosa di logico ed ovvio che però non si riesce a dimostrare perché troppo basilare.
Infine il lemma è un teorema con “minor importanza”, solitamente usato per dimostrare un teorema “più importante”, mentre il corollario è la conseguenza diretta di un teorema (o di un assioma).