Comments
Transcript
I tre problemi classici della Geometria Greca
I problemi classici della Geometria Greca di Carmelo Di Stefano Perché nasce la geometria? Essenzialmente due ipotesi. I sacerdoti mi dicevano che questo re [Sesostri, che regnò dal 1874 al 1841 a.C] distribuì la terra a tutti gli Egiziani, assegnando a ciascuno un ugual lotto quadrangolare, e che trasse le sue rendite da questa fonte: col prescrivere che si versasse un’imposta annuale. Che se il fiume portava via a qualcuno una parte del suo lotto, questi si recava da lui, gli comunicava ciò che era avvenuto, ed egli mandava a controllare e misurare di quanto fosse diminuito il terreno, affinché in avvenire il versamento fosse proporzionato all’imposta prescritta. E così io credo che sia stata scoperta e introdotta nell’Ellade la geometria.» Erodoto (485 a.C. - 425 a.C ), Storie «è logico che, essendo state scoperte numerose arti, le une dirette alle necessità della vita e le altre al benessere, si siano sempre giudicati più sapienti gli scopritori di queste che non gli scopritori di quelle, per la ragione che le loro conoscenze non erano rivolte all’utile. Di qui, quando già si erano costituite tutte le arti di questo tipo, si passò alla scoperta di quelle scienze che non sono dirette né al piacere né alle necessità della vita, e ciò avvenne dapprima in quei luoghi in cui gli uomini dapprima furono liberi da occupazioni pratiche. Per questo le arti matematiche si costituirono per la prima volta in Egitto: infatti là era concessa questa libertà alla casta dei sacerdoti.» Aristotele(384 a.C. – 322 a.C.) Metafisica Quali che siano le motivazioni della nascita della Geometria, in ogni caso fra i greci essa diviene un sistema ipotetico-deduttivo, come la definirà molto più tardi Mario Pieri (1860 – 1913). Pertanto essa è basata, in Euclide, su Definizioni, Postulati e Nozioni comuni. Le Definizioni sono spesso modi per indicare l’idea che l’Autore ha di certi oggetti geometrici, spesso primitivi, cioè non dimostrabili, come punto, retta, piano, … I Postulati sono i risultati base del sistema, quelli che condizionano la sua struttura futura. Le Nozioni comuni, sono invece verità in qualche modo innate, come le proprietà dell’uguaglianza. Sono proprio i Postulati che condizionano la costruibilità degli oggetti geometrici. Postulati del Libro I degli Elementi di Euclide (?325 a.C.- ?265 a.C.) « I. Risulti postulato: che si possa condurre una linea retta da un qualsiasi punto a ogni altro punto; II. E che una retta terminata si possa prolungare continuamente in linea retta; III. E che si possa descrivere un cerchio con qualsiasi centro e ogni distanza; IV. E che tutti gli angoli retti siano uguali fra loro; V. E che, se una retta venendo a cadere su due rette forma gli angoli interni e dalla stessa parte minore di due retti, le due rette prolungate illimitatamente verranno ad incontrarsi da quella parte in cui sono gli angoli minori di due retti.» «Sebbene alcuni dei maggiori traguardi che ha raggiunto la mente umana siano posti in forma negativa, è eccessivamente pericoloso discuterne i limiti in modo categorico. Tali traguardi sono che non vi è un moto perpetuo, che la velocità della luce non può essere superata, che il cerchio non può essere quadrato con riga e compasso, che analogamente un angolo non può essere trisecato e così via. Ognuno di questi risultati è il culmine di grandi sforzi intellettuali. […] Sebbene siano negazioni, queste e altre scoperte sono successi positivi e grandi contributi alla conoscenza.» Oscar Morgenstern, 1963 Duplicazione del cubo Il problema viene spesso posto come leggendario. Secondo alcuni si narra che durante la peste di Atene del 430 a.C., fu chiesto all’oracolo di Delo come far finire il flagello. Fu risposto raddoppiando l’altare di Apollo. Pertanto si costruì un altare le cui dimensioni erano doppie di quello attuale e la peste non cessò, poiché in tal modo il volume dell’altare era 8 volte quello iniziale. Il problema, noto per tale motivo come problema deliano, è perciò quello di costruire un cubo di volume 2, cioè un 3 segmento di lato 2 Trisezione dell’angolo Il problema probabilmente nasce per costruire poligoni regolari i cui lati siano multipli di 9. Infatti già Antifone (Atene 480 a.C.; Atene 411 a.C) prima e Brisone (Heraclea 450 a.C., ? 390 a.C.) dopo di lui, cercando di determinare un valore approssimato di quello che attualmente si chiama , avevano utilizzato per primi il cosiddetto metodo di esaustione, inscrivendo e circoscrivendo poligoni regolari in un cerchio. Così lo stesso Archimede (Siracusa 287 a.C., Siracusa 212 a.C.) determinò il suo famoso valore di 3,14 proprio partendo da un triangolo equilatero e raddoppiandone i lati aveva inscritto e circoscritto poligoni di 96 lati. Trisecando l’angolo quindi si poteva passare dal triangolo al poligono di 9 lati, di 27 e così via. Quadratura del cerchio Proprio le questioni accennate sul calcolo di , hanno portato in modo naturale alla ricerca di una procedura per costruire un quadrato, quindi il suo lato, avente la stessa area di un cerchio. Il che equivale a costruire un segmento lungo appunto . Il problema era molto popolare, come testimoniato dal seguente estratto da Aristofane (450 a.C., 385a.C.) da Gli uccelli (414 a.C.) METONE: Sono fra voi... GABBACOMPAGNO: Malanno come sopra! A far che cosa, tu? Con che proposito? Con che disegno? Che t'indusse a fare questo viaggio? METONE: Misurar vo' l'aria, e spartirvela a iugeri! GABBACOMPAGNO: Perdio! E tu chi sei? METONE: Chi sono io? Metone, conosciuto per l'Ellade e a Colono! GABBACOMPAGNO (Accennando ai suoi strumenti): E dimmi un po': che roba è mai codesta? METONE: Son misure per l'aria. Hai da sapere che l'aria, su per giú, somiglia a un forno. Dunque, prima ci adatto questa squadra, dall'alto punto poi questo compasso... Capisci? GABBACOMPAGNO: Niente affatto! METONE: E poi spartisco con la squadra diritta, affinché il circolo ti risulti quadrato, e in mezzo resti la piazza, e in questa sbuchino le vie diritte, proprio verso il centro... come si vede in una stella: essa è rotonda, e dritti vibra d'ogni parte i raggi! GABBACOMPAGNO: Ma quest'uomo è un Talete! Duplicazione del cubo Archita (Taranto 428 a.C: - ? 350 a.C.) 375 a.C. Duplica il cubo usando superfici tridimensionali Duplicazione del cubo Menecmo (Alopeconesso 380 a.C. - ? 320 a.C.) Duplica il cubo con sezioni coniche. Con una parabola e un’ellisse Duplicazione del cubo Menecmo (Alopeconesso 380 a.C. - ? 320 a.C.) Duplica il cubo con sezioni coniche, con due parabole. Duplicazione del cubo Con analoghe considerazioni ma con strumenti molto più potenti, anche René Descartes (La Haye 31/03/1596 – Stoccolma 11/02/1650) nel 1637, ne La Geométrie, duplica il cubo con sezioni coniche, con una parabola e una circonferenza. Duplicazione del cubo Gregorio di Saint Vincent (Bruges 8/09/1584 – Gand 27/01/1667), nel 1647 in Opus geometricus quadraturae circuli et sectionum coni decem libris comprehensum, usa un’iperbole e una circonferenza. Duplicazione del cubo Diocle (Karisto 240 a.C. - Eubea 180 a.C.), studia una particolare curva, detta cissoide, che serve anche per quadrare il cerchio, oltre che per duplicare il cubo. TRISEZIONE DELL’ANGOLO In effetti i Greci riescono a trisecare l’angolo, ma con una procedura non permessa, ossia con l’inserzione di misure, o come essi la chiamano con una neiuseis. Si mostra che il problema equivale a risolvere un’equazione algebrica di III grado. Ippia (Elide 460 a.C. - 400 a.C.) usa una strana curva, per trisecare l’angolo. Ovviamente questa curva non è costruibile con riga e compasso. Archimede (Siracusa 287 a.C. - Siracusa 212 a.C.) costruisce anch’egli una curva dinamica, una spirale, che fra le altre cose serve per trisecare l’angolo. Nicomede (? 280 a.C. – 210 a.C.) 230 a.C: scrive Sulle concoidi in cui presenta una curva che serve per quadrare il cubo e per trisecare l’angolo. Pappo (Alessandria 290 – 350) circa nel 320 nelle sue Collezioni matematiche, triseca l’angolo come intersezione di una circonferenza e di un’iperbole di eccentricità 2. Trisezione dell’angolo Étienne Pascal (Clermont Ferrand 02/05/1588 – Parigi 24/09/1651), padre del più noto Blaise, nel 1637 scopre una curva, chiamata poi Lumaca di Pascal, che può servire a trisecare l’angolo. Trisezione dell’angolo Colin Mac Laurin (Kilmodan Febbraio 1698 Edimburgo 14/06/1746) Nel 1724 in Geometria organica sive descriptio linearum curvarum universalis determina una curva che può servire per trisecare gli angoli. Ippocrate (Chio 470 a.C. - ? 410 a.C.) 440 a.C. scrive i primi Elementi di Geometria, a noi non pervenuti. Da un frammento della Storia della Geometria di Eudemo (Rodi 350 a.C. - ? 290 a.C.), sappiamo che riesce a quadrare delle figure a contorno non rettilineo: le lunule. Qualcuno dice che il secondo esempio per Ippocrate era la dimostrazione che anche il cerchio potesse quadrarsi, dato che avevamo espresso la sua area come differenza di un trapezio quadrabile e delle lunule quadrabili. Ciò è ovviamente falso poiché in questo modo non abbiamo quadrato le tre lunule. E’ stato dimostrato, ma solo nel 1766, che vi sono esattamente 5 lunule quadrabili. Ci sono anche costruzioni bene approssimate di segmenti che sono lunghi circa . Per esempio la seguente è del gesuita polacco Adam Kochansky e si trova in Observationes Cyclometricae ad facilitandam Praxin accomodatae, articolo pubblicato nel 1685 su Acta Eruditorum 4, 394-398. Dinostrato (? 390 a.C. - ? 320 a.C.) usa la curva di Ippia che abbiamo già visto, perché questa permette anche di quadrare il cerchio. Soluzioni (negative) dei problemi Costruire con riga e compasso, dal punto della geometria analitica significa determinare le intersezioni fra una retta e una circonferenza, cioè risolvere un sistema di secondo grado, quindi costruire numeri soluzioni di equazioni di II grado. Soluzioni (negative) dei problemi Con riga e compasso possiamo costruire numeri interi, razionali e anche irrazionali quadratici. In generale possiamo costruire tutti e soli i numeri del tipo a b k In cui a, b e k sono numeri costruibili. Così possiamo costruire per esempio: 2 3 5 1 2 4 1 3 2 5 2 Soluzioni (negative) dei problemi Gauss (Brunswick 30/04/1777 Göttingen 23/02/1855) aveva congetturato che i problemi della duplicazione del cubo e della trisezione di un angolo non sono risolvibili con riga e compasso, ma senza dimostrazione. Charles Sturm (Ginevra 29/09/1803 - Parigi 18/12/1855) lo dimostrò ma non lo pubblicò. Pertanto è Pierre Laurent Wantzel (Parigi 05/06/1814 Parigi 21/05/1848) che nel 1837 pubblica il teorema secondo il quale i problemi della duplicazione del cubo e della trisezione dell’angolo non possono essere risolti con riga e compasso. Ossia che Un’equazione algebrica di III grado a coefficienti razionali ha radici costruibili se e solo se ha almeno una radice razionale. Soluzioni (negative) dei problemi Carl Louis Ferdinand von Lindemann (Hannover 12/04/1852 Monaco 06/03/1939), nel 1882 in Über die Zahl prova che π è trascendente, quindi non si può costruire con riga e compasso un quadrato che ha la stessa area di un dato cerchio. Ovviamente con la simbologia moderna è facilissimo costruire infinite curve che risolvono i problemi della duplicazione del cubo e della quadratura del cerchio.