LA NUOVA COLLANA DI LE SCIENZE DEDICATA AI GRANDI TEOREMI MATEMATICI.4° VOLUMETEOREMI DI EUCLIDE E PRIMO LIBRO DEGLI ELEMENTIGli Elementi di Euclide, scritti intorno al 300 a.C., compendiano e organizzano assiomaticamente gran parte dei risultati matematici (geometrici, aritmetici e algebrici) degli studiosi dei tre secoli precedenti. La loro caratteristica più importante è che, inizialmente, si assumono, senza dimostrarle, alcune proposizioni, dette usualmente proposizioni primitive o assiomi. E alcuni termini indefiniti, come «un punto è ciò che non ha parte» e «una linea è una lunghezza senza larghezza». Procedendo da questi termini, Euclide definì ulteriori concetti come angoli, cerchi, poligoni, le loro proprietà nonché le relazioni fra essi.Negli Elementi si trova quindi tutto ciò che sarebbe servito allo sviluppo della geometria nei secoli successivi, fino alla nostra epoca. Tra i numerosi teoremi, spiccano i due che hanno per oggetto i triangoli rettangoli: «In un triangolo rettangolo il quadrato costruito su un cateto è equivalente al rettangolo che ha come lati l’ipotenusa e la proiezione del cateto sull’ipotenusa» (dal quale deriva il teorema di Pitagora) e «In un triangolo rettangolo il quadrato costruito sull’altezza relativa all’ipotenusa è equivalente al rettangolo che ha come lati le proiezioni dei cateti sull’ipotenusa». I due teoremi, oltre a rappresentare due punti fermi nello studio della geometria piana, hanno introdotto le nozioni di equivalenza, proporzionalità tra segmenti e tra figure piane, e hanno permesso di sviluppare entità matematiche come sezione aurea e rettangolo aureo, e le proprietà del pentagono regolare, da cui discende il concetto di numeri irrazionali.

LA NUOVA COLLANA DI LE SCIENZE DEDICATA AI GRANDI TEOREMI MATEMATICI.7° VOLUMETEOREMA EGREGIUM DI GAUSSIl teorema Egregium di Gauss riguarda il modo in cui si misura quanto una superficie si curvi nell’intorno di un suo punto. Il teorema afferma che questo modo di considerare la curva di una superficie, cioè la curvatura gaussiana, può essere determinato interamente misurando angoli, distanze e le loro velocità su una superficie, senza riferimento al modo particolare in cui la superficie è incorporata nel nostro spazio euclideo tridimensionale. E dimostra che la curvatura gaussiana di una superficie non cambia malgrado tutte le deformazioni di flessione e torsione che la superficie possa subire, purché non venga stirata. Quindi la curvatura gaussiana è un’invariante intrinseca di una superficie. Di conseguenza, lo spazio non è più una parola che individua le tre dimensioni della nostra esperienza quotidiana, ma un catalogo infinito di forme tra cui scegliere quelle più adatte allo studio del problema – sia esso fisico o puramente matematico – che si voglia studiare. Poiché la superficie di una sfera non può essere dispiegata su un piano piatto senza allungare o restringere le distanze, nessuna mappa piatta della Terra può essere perfetta, nemmeno per una porzione della superficie terrestre, e ogni proiezione cartografica distorce necessariamente almeno alcune distanze.

LA NUOVA COLLANA DI LE SCIENZE DEDICATA AI GRANDI TEOREMI MATEMATICI.11° VOLUMETEOREMA DEI QUATTRO COLORISviluppato in modo informale e non accademico a metà Ottocento, più che altro come una curiosità, il teorema dei quattro colori è diventato un capitolo a sé nel mondo della matematica. Il suo enunciato è semplice: ogni mappa nel piano è colorabile con soli quattro colori, in modo che regioni adiacenti abbiano colori differenti. La ricerca di dimostrazioni iniziò subito, facendo ricorso ai più diversi strumenti matematici, compresa la teoria dei grafi, ma solo nel 1976 i matematici Appel e Haken sono giunti a una dimostrazione che al momento è giudicata soddisfacente solo da una parte della comunità scientifica. Parte di essa infatti richiede l’uso di un supercalcolatore. Tanto che, per alcuni studiosi, più che di un teorema bisognerebbe parlare di congettura.Se inizialmente fu la cartografia ottocentesca a giovarsi del teorema, oggi le applicazioni e le sue ramificazioni (che non riguardano più i colori in quanto tali, ma la distribuzione combinatoria di diversi elementi tra i più eterogenei) si estendono nei campi più diversi: dalla determinazione di fasce orarie all’allocazione di risorse, alla gestione del traffico.

LA NUOVA COLLANA DI LE SCIENZE DEDICATA AI GRANDI TEOREMI MATEMATICI.15° VOLUMETEOREMA DI LAGRANGE O DEL VALOR MEDIOIl teorema del valor medio di Lagrange si applica a funzioni di variabile reale abbastanza regolari e afferma, dal punto di vista geometrico, che dato il grafico di una funzione tra due estremi, esiste almeno un punto in cui la tangente al grafico è parallela alla secante passante per gli estremi. In termini puramente matematici, afferma che data una funzione continua in un intervallo chiuso e limitato e derivabile nei punti interni esiste almeno un punto interno a questo intervallo tale che la sua derivata prima equivalga al rapporto incrementale negli estremi dell’intervallo. Il teorema di Lagrange, come tutta la ricerca matematica sul calcolo e sull’analisi differenziale, ha dovuto fare i conti con i concetti di infinito e di infinitesimo. All’epoca di Lagrange, il calcolo differenziale non era ancora maturo e rigoroso, quindi il matematico per ricavare i propri risultati fece riferimento alla serie di Taylor. Utilizzò la formula dello sviluppo in serie col resto, che oggi chiamiamo “Formula di Taylor col resto di Lagrange”. Tuttavia, l’ossessione di Lagrange per il rigore dei fondamenti indicò ai matematici che era non solo necessario ma anche possibile fondare il calcolo differenziale su basi rigorose. Cauchy ne fu fortemente influenzato e, finalmente, nel secondo ventennio dell’Ottocento, pose i mattoni fonda-mentali che risolsero il millenario problema di usare in modo appropriato l’infinito e l’infinitesimo. Il teorema del valore medio nella sua forma moderna fu enunciato e dimostrato, sempre da Cauchy, nel 1823. Il teorema di Lagrange ha molti corollari; per esempio, se la derivata è nulla in tutto l’intervallo la funzione esaminata è costante in tutto l’intervallo

LA NUOVA COLLANA DI LE SCIENZE DEDICATA AI GRANDI TEOREMI MATEMATICI.21° VOLUMETEOREMA DEI NUMERI PRIMII numeri primi hanno affascinato fin dall’antichità, spingendo già Eratostene (III-II secolo a.C.) a formulare un algoritmo (il famoso crivello) per individuarli. Ma come si distribuiscono i numeri primi nell’insieme infinito dei numeri? Fu Eulero, nel Settecento, a occuparsi della loro frequenza, tenendo presente che a mano a mano che questi diventano più grandi, risultano anche meno comuni. Nell’Ottocento, Gauss e Lagrange formularono congetture sull’ordine di grandezza della funzione che conta i numeri primi fino a una certa soglia N, quando si fa tendere N all’infinito; fu in pratica la prima formulazione del teorema dei numeri primi. Il tentativo di dimostrare queste congetture attraversa l’intero XIX secolo. Ma fu Berhard Riemann, con un lavoro pionieristico e rivoluzionario, a porre le basi per una dimostrazione del teorema che prese una strada del tutto inattesa. Infatti, Riemann scoprì che i numeri primi sono intimamente collegati con una certa funzione, poi detta funzione zeta di Riemann, introdotta da Eulero un secolo prima; il fatto sorprendente scoperto da Riemann è che per capire veramente come sono distribuiti i numeri primi bisogna studiare questa funzione nel campo dei numeri complessi, e in particolare conoscere la posizione dei suoi zeri complessi. Grazie a ciò, nel 1896 Jacques Hadamard e Charles Jean de la Vallée Poussin riuscirono a dimostrare il teorema. Le applicazioni del teorema restano confinate nell’ambito della matematica, dove le idee della dimostrazione hanno generato nuove parti di questa scienza che si occupano di crittografia e teoria dei numeri.

LA NUOVA COLLANA DI LE SCIENZE DEDICATA AI GRANDI TEOREMI MATEMATICI.22° VOLUMETEOREMA DI FOURIERI grandi matematici Daniel Bernoulli e Leonhard Euler avevano già studiato alcune proprietà delle serie infinite, ma nessuno aveva mai avuto l’ardire di affermare, come fece in modo così audace Fourier nel 1822, che ogni funzione potesse essere espressa come somma di una serie di funzioni trigonometriche. In particolare, una serie di Fourier è la rappresentazione di una funzione periodica mediante una combinazione lineare di funzioni sinusoidali. Fino a quell’epoca, infatti, una funzione era identificata o dal suo grafico o dalla sua espressione analitica data da una composizione di funzioni elementari: somme, prodotti, potenze, esponenziali, funzioni trigonometriche e iperboliche, radici, logaritmi. L’idea che una funzione ?(x) qualunque, anche non derivabile o addirittura discontinua, potesse essere scritta come una serie di funzioni tra le più regolari che esistono, in quanto derivabili infinite volte, come quelle trigonometriche, sembrava un’assurdità. Anche se oggi sappiamo che la serie di Fourier non è vera nella sua generalità perché occorrono delle condizioni minimali su ? affinché questo possa accadere, il lavoro del matematico francese resta un cardine fondamentale di qualunque scienza, dall’analisi chimico-fisica delle sostanze come spettroscopia e spettrometria, all’indagine delle onde di ogni tipo emesse dai corpi celesti o da dispositivi terrestri, fino al campionamento e alla compressione dei segnali analogico-digitali (musica, immagini fisse e in movimento).

LA NUOVA COLLANA DI LE SCIENZE DEDICATA AI GRANDI TEOREMI MATEMATICI.25° VOLUMETEOREMA DI CANTORNell’Ottocento alcuni tra i maggiori matematici cercarono di sistematizzare i problemi che coinvolgono considerazioni su quantità infinitesimali e sui concetti di base impiegati. In quest’ambito, Georg Cantor si occupò di problemi sui numeri reali trascendenti (numeri che non sono soluzione di nessuna equazione a coefficienti interi) che lo condussero a sviluppare metodi per confrontare la “grandezza” di due insiemi, introducendo il concetto di corrispondenza biunivoca. Grazie a questo, giunse a enunciare, e a dimostrare, il teorema che prende il suo nome, secondo il quale esiste un’infinità di infiniti. Prima di lui, si tendeva a ritenere l’infinito un concetto assoluto, irraggiungibile, al di fuori dell’universo matematico. Dopo di lui, David Hilbert, un grandissimo matematico dell’inizio del XX secolo, arrivò a dichiarare: «Nessuno potrà cacciarci dal paradiso che Cantor ha creato per noi». E a tutt’oggi i matematici lavorano in quel paradiso.