Sei sulla pagina 1di 49

GEOMETRIE NON EUCLIDEE GEOMETRIE NON EUCLIDEE

Silvia Benvenuti Silvia Benvenuti

Corso di Perfezionamento Corso di Perfezionamento Insegnare Matematica e Fisica oggi Insegnare Matematica e Fisica oggi
Universit di Camerino - Dicembre 2008 Universit di Camerino - Dicembre 2008

Gli Elementi di Euclide Il problema del V postulato La negazione del V postulato e le geometrie non euclidee La geometria iperbolica La geometria ellittica Le tre geometrie Un vero viaggio di scoperta

Silvia Benvenuti Geometrie non euclidee Universit di Camerino Dicembre 2008

Gli Elementi di Euclide Il problema del V postulato La negazione del V postulato e le geometrie non euclidee La geometria iperbolica La geometria ellittica Le tre geometrie Un vero viaggio di scoperta

Silvia Benvenuti Geometrie non euclidee Universit di Camerino Dicembre 2008

Manuale di gioco

Silvia Benvenuti Geometrie non euclidee Universit di Camerino Dicembre 2008

Sistema assiomatico
Termini (primitivi e definiti) Assiomi e postulati Teoremi

Silvia Benvenuti Geometrie non euclidee Universit di Camerino Dicembre 2008

Termini

Silvia Benvenuti Geometrie non euclidee Universit di Camerino Dicembre 2008

Postulati

Silvia Benvenuti Geometrie non euclidee Universit di Camerino Dicembre 2008

Assiomi

Silvia Benvenuti Geometrie non euclidee Universit di Camerino Dicembre 2008

Proposizioni
Le prime 28 e la 31 sono indipendenti dal V Proposizione 17: Proposizione In ogni triangolo la postulato 29: Se r e s somma di due angoli, formano con una sono parallele, allora comunque Dipendono dalV postulatoretti. supplementari, trasversale t angoli coniugati interni le altre, tra presi, minore di due tutte cui la 29, alterni interni e angoli corrispondenti uguali. angoli la 32, la 27: (Teorema di Pitagora) Proposizione 47 LaProposizione 32: delSe una retta chelinversa 17 linversa V, la 29 venga In ogni triangolo, se si prolunga uno dei gli a cadere su altre due rette forma lati, dellalangoloangoli alterniimplica la 16dei due angoli 27 e 28, la 32 interni uguali tra loro, esterno uguale alla somma e 17
interni ele due rette la somma dei treparallele. opposti, e saranno tra loro angoli interni del triangolo uguale a due retti.
Silvia Benvenuti Geometrie non euclidee Universit di Camerino Dicembre 2008

Digressione

Silvia Benvenuti Geometrie non euclidee Universit di Camerino Dicembre 2008

Gli elementi di Euclide Il problema del V postulato La negazione del V postulato e le geometrie non euclidee La geometria iperbolica La geometria ellittica Le tre geometrie Un vero viaggio di scoperta

Silvia Benvenuti Geometrie non euclidee Universit di Camerino Dicembre 2008

Silvia Benvenuti Geometrie non euclidee Universit di Camerino Dicembre 2008

Formulazioni equivalenti

Silvia Benvenuti Geometrie non euclidee Universit di Camerino Dicembre 2008

Elenco di enunciati sostitutivi

Silvia Benvenuti Geometrie non euclidee Universit di Camerino Dicembre 2008

La geometria assoluta

Silvia Benvenuti Geometrie non euclidee Universit di Camerino Dicembre 2008

Gli elementi di Euclide Il problema del V postulato La negazione del V postulato e le geometrie non euclidee La geometria iperbolica La geometria ellittica Le tre geometrie Un vero viaggio di scoperta

Silvia Benvenuti Geometrie non euclidee Universit di Camerino Dicembre 2008

Dalla pallavolo al beach volley: il punto di vista del matematico moderno

Silvia Benvenuti Geometrie non euclidee Universit di Camerino Dicembre 2008

Dati una retta r e un punto P non appartenente ad r, esiste una e una sola retta passante per P e parallela ad r Playfair
N1 N2

Data una retta r e un punto P non appartenente ad r, esiste pi di una retta passante per P e parallela ad r

Data una retta r e un punto P non appartenente ad r, non esiste nessuna retta passante per P e parallela ad r

Silvia Benvenuti Geometrie non euclidee Universit di Camerino Dicembre 2008

In un triangolo la somma degli angoli interni uguale a 180 Saccheri


N1 N2

In un triangolo la somma degli angoli interni minore di 180

In un triangolo la somma degli angoli interni maggiore di 180

Silvia Benvenuti Geometrie non euclidee Universit di Camerino Dicembre 2008

Geometria o geometrie?

Silvia Benvenuti Geometrie non euclidee Universit di Camerino Dicembre 2008

Libert!

Silvia Benvenuti Geometrie non euclidee Universit di Camerino Dicembre 2008

La rivoluzione non euclidea


Immanuel Kant (1724-1804)

Carl Friedrich Gauss (1777-1855)


Silvia Benvenuti Geometrie non euclidee Universit di Camerino Dicembre 2008

Kant e i Munduruku

Silvia Benvenuti Geometrie non euclidee Universit di Camerino Dicembre 2008

Come violette a primavera


Due giuristi: Schweikart (1780-1859) e Taurinus (1794-1874)

un militare Bolyai (1802-1860)

e un matematico Lobaevskij (1793-1856)

Silvia Benvenuti Geometrie non euclidee Universit di Camerino Dicembre 2008

Letteratura

Silvia Benvenuti Geometrie non euclidee Universit di Camerino Dicembre 2008

Geometrie diseducative?
Giornale di matematiche ad uso degli studenti PRO
Giuseppe Battaglini (1826-92) Eugenio Beltrami (1835-1900)

CONTRO
Giusto Bellavitis (1803-80) Angelo Genocchi (1817-89) Luigi Cremona (1830-1903) Francesco Brioschi (1824-97)

geometrie del soprasensibile o da della a causa delle sue implicazioni filosofiche linsegnamento sono il i tentativi di rinnovamento radicale dei principi manicomio geometria non euclideadello spirito critico, e quando si riveler molto utile alla giovent. portato naturale sieuclidei hanno una comprensione oscura e i geometri non Infatti, essa dilatacome frutto di investigazioni coscienziose e delle nostre idee, dar luogo presentano il confine e linsegnamento e pu geometria a menti ingannevoli, della la ragione elevate e feconde di fare un po di pubblicit alla meditazioni che impone il dovere di convinzioni sincere il dovere degli uomini di scienza geometriaimmaginaria o e elucubrazionideliranti dipressantescuole non euclidea, questobbligo tanto pi un nelle in la geometria non nelle universit e professore racconti di fate,non euclidea euclidea non pu procurare agli di darebbe origine animo sereno, tenendosi lontano discuterli con a una razza di studenti arrogante e sciocca, quantouniversitariostudenti al rango di nuove verit sovrumane, per lItalia, divenuta felicemente Nazione, particolarmente solougualmente dallentusiasmo stanchezza, vuotezza, arroganza unincredibileelevate altro che e la societ ignoranza pu spingere a cheche la sua compromettere correnteimpedirne lo studio potrebbe megalomania, dal disprezzo. interessata a della e stupidit sia al sua giovent dellininterrotto merito progresso delle scienze esatte.
Silvia Benvenuti Geometrie non euclidee Universit di Camerino Dicembre 2008

Libert: linfluenza sullarte moderna


se si desiderasse collegare lo spazio dei pittori a qualche geometria, bisognerebbe fare riferimento ai sapienti non euclidei, meditare su certi [loro] teoremi Du cubisme (1912), Albert Gleizes e Jean Metzinger Lobaevskij ha fatto esplodere lassolutismo di Euclide. Con Un quadro egli ha distrutto il rigido spazio euclideo. constata Gauss e Riemann larte di far incontrare due linee, di cui siTutti geometricamente il parallelismo, su una sono gli oggetti matematici che essi hanno stabilitotela, davanti ai nostri occhi, nella inaccessibili Herbert George Lo schiudersi della inimmaginabili e Wodehouse, alla sensazione. Wells, Oscar Wilde, Pelham Grenville realt di un mondo trasfigurato che segua nuove condizioni e possibilit nuova epoca, Ford Madox Ford, Marcel Proust, Gertrude Joseph Conrad,annunciata dalla costruzione di nuovi mondi Stein Tristan Tzara (1896-1963) matematici, portava con s una tentazione, e gli artisti non hanno saputo resistere alla sua forza seduttrice. [] Noi abbiamo deciso Alexander Scriabin, Edgar Varse, George Antheil di accettare come evidenti e necessarie le concezioni che i nostri predecessori hanno considerato come inconcepibili e che, in effetti, essi erano incapaci di concepire. Eliezer El Lissitzky (1830-1941)
Silvia Benvenuti Geometrie non euclidee Universit di Camerino Dicembre 2008

Coerenza logica e modellizzazione


Costruire dei modelli di geometria non euclidea allinterno di quella euclidea: 1. interpretare gli enti primitivi della geometria non euclidea in termini degli enti primitivi di quella euclidea; 2. tradurre gli assiomi della geometria non euclidea nei corrispondenti enunciati euclidei; 3. dimostrare che gli enunciati euclidei cos ottenuti sono tutti teoremi validi. la coerenza del sistema modellizzato segue immediatamente da quella del sistema ospite
Silvia Benvenuti Geometrie non euclidee Universit di Camerino Dicembre 2008

Gli elementi di Euclide Il problema del V postulato La negazione del V postulato e le geometrie non euclidee La geometria iperbolica La geometria ellittica Le tre geometrie Un vero viaggio di scoperta

Silvia Benvenuti Geometrie non euclidee Universit di Camerino Dicembre 2008

Caccia allintruso

??? ???

Silvia Benvenuti Geometrie non euclidee Universit di Camerino Dicembre 2008

Che cos un segmento? Che cos una retta?

Segmento AB = il pi breve tra


tutti i percorsi che congiungono A e B

Silvia Benvenuti Geometrie non euclidee Universit di Camerino Dicembre 2008

Le rette del mappamondo

Silvia Benvenuti Geometrie non euclidee Universit di Camerino Dicembre 2008

e le rotte degli aerei

Silvia Benvenuti Geometrie non euclidee Universit di Camerino Dicembre 2008

e le rotte degli aerei

Silvia Benvenuti Geometrie non euclidee Universit di Camerino Dicembre 2008

Caccia allintruso - seguito

Silvia Benvenuti Geometrie non euclidee Universit di Camerino Dicembre 2008

Infinito vs illimitato

Nozione topologica metrica

Nozione

Silvia Benvenuti Geometrie non euclidee Universit di Camerino Dicembre 2008

Formalizzando: modello della sfera - S2 (geometria ellittica doppia)

Silvia Benvenuti Geometrie non euclidee Universit di Camerino Dicembre 2008

Geometria dello sputo

Silvia Benvenuti Geometrie non euclidee Universit di Camerino Dicembre 2008

Teoremi immediati della geometria sferica tutte le rette hanno la stessa lunghezza finita 2; il piano della geometria sferica ha area finita 4; le perpendicolari a una stessa retta s si incontrano in due punti, tra loro antipodali, che chiamiamo poli della retta s;

Silvia Benvenuti Geometrie non euclidee Universit di Camerino Dicembre 2008

Triangoli gonfi

Silvia Benvenuti Geometrie non euclidee Universit di Camerino Dicembre 2008

Triangoli gonfi

Silvia Benvenuti Geometrie non euclidee Universit di Camerino Dicembre 2008

Niente similitudini!
Teorema delleccesso di Gauss:

Area (

)= + + -

Silvia Benvenuti Geometrie non euclidee Universit di Camerino Dicembre 2008

Calcolo dellarea di un triangolo sferico

Silvia Benvenuti Geometrie non euclidee Universit di Camerino Dicembre 2008

Silvia Benvenuti Geometrie non euclidee Universit di Camerino Dicembre 2008

E Pitagora?

Silvia Benvenuti Geometrie non euclidee Universit di Camerino Dicembre 2008

Luniverso di Riemann

Silvia Benvenuti Geometrie non euclidee Universit di Camerino Dicembre 2008

e quello di Dante!

Silvia Benvenuti Geometrie non euclidee Universit di Camerino Dicembre 2008

Prospettiva sferica

Silvia Benvenuti Geometrie non euclidee Universit di Camerino Dicembre 2008

Modello della semisfera - B2 (geometria ellittica singola)

Silvia Benvenuti Geometrie non euclidee Universit di Camerino Dicembre 2008