La nascita delle geometrie non-euclidee

Presentazione sul tema: "La nascita delle geometrie non-euclidee"— Transcript della presentazione:

1 La nascita delle geometrie non-euclidee
Crisi dei fondamenti La nascita delle geometrie non-euclidee

2 Il metodo assiomatico classico

3 Postulati 1-4 Si può condurre una ed una sola retta da un qualsiasi punto ad ogni altro punto Una retta finita si può prolungare continuamente in linea retta Si può descrivere un cerchio con qualsiasi centro ed ogni raggio Tutti gli angoli retti sono uguali fra loro

4 Il V postulato Se una retta, venendo a cadere su due rette, forma gli angoli interni e dalla stessa parte minori di due retti, allora le due rette prolungate illimitatamente vengono ad incontrarsi da quella parte in cui sono gli angoli minori di due retti

5 Le “anomalie” del V postulato
Il V postulato è utilizzato molto avanti nel testo La proposizione inversa è un teorema Con il V postulato le proposizioni 16 e 17 diventano superflue

6 Analisi della “anomalie”
Proposizione 16: in un triangolo, se si prolunga uno dei lati, l’angolo esterno è maggiore di ciascun dei due angoli interni ed opposti

7 Proposizione 17: in ogni triangolo la somma di due angoli, comunque presi, è minore di due retti (oppure: se due rette r ed s, tagliate dalla trasversale t, si incontrano, allora la somma degli angoli che formano con t dalla parte del punto di intersezione è minore di due retti = = inverso del V postulato) In genere, quando valgono sia una proposizione che la sua inversa, si riesce a dimostrare entrambe partendo dalle stesse premesse

8 Proposizione 27: se due rette r ed s formano con una trasversale t due angoli coniugati interni la cui somma è due retti, allora r ed s sono parallele Proposizione 29: se r ed s sono parallele, allora formano con una trasversale t angoli coniugati interni uguali (interviene il V postulato) Proposizione 32: in ogni triangolo, se si prolunga uno dei lati, l’angolo esterno è uguale alla somma dei due angoli interni ed opposti, e la somma dei tre angoli interni è uguale a due retti (interviene la proposizione 29)

9 La terza anomalia Con la proposizione 32 le proposizioni 16 e 17 diventano superflue

10 Tentativi di dimostrare il V postulato
Unicità della parallela: per un punto esterno ad una data retta passa al più una retta che non incontra la retta data Postulato dell’obliqua: una perpendicolare ed un’obliqua ad una stessa retta si incontrano dalla parte in cui l’obliqua forma con la retta un angolo acuto

11 Teoremi derivati dal V postulato
La somma degli angoli interni dei poligoni La similitudine fra triangoli Il teorema di Pitagora e il suo inverso

12 L’opera di Saccheri Ipotesi dell’angolo acuto (C=D<retto)
Ipotesi dell’angolo retto (C=D=retto) Ipotesi dell’angolo ottuso (C=D>retto)

13 La confutazione dell’ipotesi dell’angolo ottuso
Saccheri dimostra che nell’ipotesi dell’angolo ottuso e in quella dell’angolo retto vale il postulato dell’obliqua Ipotesi dell’angolo ottuso => postulato dell’obliqua => V postulato => ipotesi dell’angolo retto L’ipotesi dell’angolo ottuso distrugge sé stessa

14 Presunta confutazione dell’ipotesi dell’angolo acuto
Per un punto esterno ad una retta data passano infinite rette che non intersecano la retta data L’ipotesi dell’angolo acuto è falsa perché ripugna alla natura della linea retta

15 Geometria iperbolica Per un punto P esterno ad una retta data passano due rette che incontrano la retta data ad una distanza infinita senza intersecarla (rette parallele) Esistono infinite rette comprese fra quelle parallele che non incontrano la retta data (rette iperparallele)

16 La geometria euclidea è un’approssimazione
Le retta parallele formano con AB due angoli acuti uguali, detti angoli di parallelismo Si può dimostrare che l’ampiezza dell’angolo è funzionale alla lunghezza di AB e viceversa Se AB tende a 0 l’angolo tende all’angolo retto In zone “piccole” del piano iperbolico vale la geometria euclidea

17 Triangoli iperbolici I lati sono determinati dagli angoli
La somma degli angoli interni è minore di due retti e varia da triangolo a triangolo A=K(2R-S) è determinata dagli angoli quindi è superiormente limitata Amax=k 2R

18 Modello di Klein Si dimostra la coerenza della nuova geometria

19 Modello di Poincaré Si elimina il difetto grafico

20 Geometria sferica (ellittica)
Corrisponde all’ipotesi dell’angolo ottuso!

21 Come si può accettare l’ipotesi dell’angolo ottuso?
Per un punto esterno ad una retta data non passano rette parallele alla retta data Se viene negato solo il V postulato si crea una geometria contraddittoria Quindi per due punti passano almeno due rette (polo nord e polo sud) Le rette non hanno lunghezza infinita Modificando il primo e il secondo postulato si può costruire una geometria non contraddittoria

22 Particolarità della geometria sferica
La somma degli angoli interni di ogni triangolo è maggiore di due retti Tutte le rette hanno la stessa lunghezza finita Tutte le perpendicolari ad una stessa retta si incontrano in due punti In zone piccole della geometria sferica valgono le leggi di Euclide

23 La misura dei segmenti è determinata dagli angoli al centro della circonferenza

24 Il metodo assiomatico moderno
Distinzione fra sintassi e semantica È un procedimento ipotetico-deduttivo Necessita solo di correttezza formale, non di applicabilità nel mondo materiale I postulati non sono veri “di per sé” ma solo nell’ambito della teoria Ogni teoria, coerente e formalmente corretta, viene accettata

25 Qual è la geometria vera?
Poincaré: questa domanda non ha senso. E’ come chiedersi se è vero l’ordinamento delle coordinate cartesiano o l’ordinamento di quelle geografiche. Non esistono geometrie vere o false, ma solo più comode o meno comode Sono più comode le geometrie non-euclidee per descrivere fenomeni fisici della relatività di Einstein Per lo studio del nostro sistema di riferimento è più comoda quella euclidea Comunque si giungerebbe alle stesse conclusioni

26 La seconda rivoluzione scientifica
Lo spazio come lo percepiamo noi non è più assoluto, come pensavano Euclide, Newton e Kant, ma varia da regione a regione dell’universo