Teorema

Derivante dal latino theorema, la parola teorema consiste in una proposizione che può essere dimostrata logicamente da un assioma o da altri teoremi dimostrati in precedenza. Questo processo di dimostrazione viene effettuato per mezzo di certe regole di inferenza.

Il teorema, quindi, può essere descritto come un'affermazione di importanza. Ce ne sono altri di rango inferiore, come il lemma (che appartiene a un teorema più lungo), il corollario (che segue immediatamente il teorema) o la proposizione (un risultato che non è associato a nessun teorema specifico).

Si noti che, finché l'enunciato non è dimostrato, è definito come ipotesi o congettura. Infatti, spesso ci vogliono molti anni, o addirittura decenni o più, per trovare una prova convincente. In alcuni casi, quando si tratta di teoremi che descrivono situazioni impossibili da risolvere senza l'aiuto dell'informatica, data la loro complessità o che coprono un gran numero di combinazioni, le risposte sono spesso molto discutibili, poiché si deve fare affidamento su un computer.-- ad -->

Uno dei teoremi più noti è il cosiddetto Teorema di Talete, che afferma che, segnando una linea in un triangolo che è parallela a uno dei suoi lati, si crea una coppia di triangoli simili (cioè, due figure con angoli identici e lati proporzionali).

Un altro teorema popolare è il teorema di Pitagora, che afferma che il quadrato dell'ipotenusa (cioè il lato più lungo opposto all'angolo retto) in un triangolo rettangolo è identico alla somma dei quadrati delle gambe (cioè la coppia di lati minori del triangolo rettangolo). Le sue applicazioni sono innumerevoli, sia nel campo della matematica che nella vita quotidiana.

In effetti, è uno dei teoremi più facili da usare e può risolvere molti problemi senza bisogno di conoscenze tecniche o avanzate. Prendere misure su superfici diritte, come pavimenti o muri, è molto più semplice che estendere un metro da un punto all'altro tracciando una linea obliqua nell'aria, specialmente se la distanza è tale da richiedere diversi passi.

Supponiamo di dover conoscere la distanza tra il tetto di un capannone e un punto su un muro di fronte, per montare una tenda da sole. Una possibilità è quella di estendere il metro da un'estremità all'altra, il che non sarebbe molto conveniente; l'altra è quella di misurare le due gambe (la distanza tra le due pareti e la differenza di altezza tra il tetto e il punto sull'altra parete) e applicare il teorema di Pitagora per ottenere il numero esatto in pochi secondi.

Lontano dal terreno popolare, il teorema dei quattro colori afferma che qualsiasi mappa geografica con regioni confinanti può essere dipinta usando solo quattro tonalità diverse, in modo che due aree non condividano lo stesso colore. Questa scoperta fu fatta da uno studente di matematica e botanica di nome Francis Guthrie nel 1852, e la sua veridicità fu verificata più di 100 anni dopo da due scienziati: Kenneth Appel e Wolfgang Haken. Nonostante non sia di dominio pubblico, questo teorema è stato studiato innumerevoli volte, e il fatto che richieda un computer per analizzarne la precisione è stato fonte di controversie.

D'altra parte, "Teorema" è il nome di una rivista spagnola specializzata in filosofia che fu fondata dal professor Manuel Garrido nel 1971. La rivista è stata pubblicata ininterrottamente fino al 1986, per poi riprendere la pubblicazione nel 1996. Attualmente, "Teorema" viene pubblicato ogni quattro mesi e, ogni anno, presenta un supplemento intitolato "Limbo".