Una, nessuna e centomila (parallele)

Notte dei ricercatori, Parma 27 settembre 2013
Una, nessuna e centomila
(parallele)
Alberto Saracco
Dipartimento di
Matematica e Informatica
Università di Parma
Approvato
dalla rete!
Il V postulato (1)
Dati r e P,
quante parallele
a r per P?
Nessuna
Una
Infinite
Il V postulato (2)
Una! E’ il famoso V postulato di Euclide! (sarebbe l’ assioma di Playfair)
I primi IV postulati…
I
• Per due punti passa una retta
II
• Una retta finita si può prolungare
indefinitamente
III
• Dati un centro e un raggio si può
descrivere un cerchio
IV
• Angoli retti sono uguali tra loro
e il V
Se una retta incidente
ad altre due rette forma
due angoli interni la cui
somma sia minore di
due retti
Le due rette prolungate
indefinitamente si
incontreranno dalla
parte dei due angoli
minori di due retti
ALLORA
Cosa non va nel V postulato?
1
• Non piaceva ad Euclide
• Le prime 28 proposizioni (e la 31) non lo usano
2
• Sembra un teorema
• Il suo inverso è la Prop. 17
3
• La Proposizione 32 implica le proposizioni 16 e 17
• Perchè Euclide le enuncia?
La geometria assoluta
Occorre
dimostrare
il V
postulato
Oppure
sostituirlo
con un altro
assioma
Studiare la
geometria
assoluta,
dove valgono
I, II, III e IV
Teoremi della geometria assoluta
17
31
• In ogni triangolo la somma
di due angoli è minore di
due retti
• Dati un punto P e una retta
r non passante per P, esiste
(almeno) una parallela a r
passante per P
Almeno una!
Dati r e P,
quante parallele
a r per P?
Nessuna
Una
Infinite
Proprietà equivalenti a V
P teorema della
g. euclidea
P=V
V teorema della
g. assoluta + P
Proprietà equivalenti a V
Rette parallele alla
stessa retta sono
parallele
Luogo dei punti
equidistanti da una
retta: retta
Esiste una coppia
di rette
equidistanti
Esistono due
triangoli simili ma
non congruenti
Somma degli
angoli interni di un
triangolo: 180°
Esiste un triangolo
con somma degli
angoli interni 180°
Esiste un
rettangolo
Per un punto
esterno a una retta
passa una e una
sola parallela
…
Girolamo Saccheri
Euclides ab omni
naevo vindicatus
(1733)
Geometria
assoluta
non V
ASSURDO!
Nei quadrilateri birettangoli isosceli
gli altri due angoli
sono acuti
• Equivalente a infinite parallele
sono retti
• Equivalente a 1 parallela (V postulato)
sono ottusi
• Equivalente a nessuna parallela
Le ipotesi
Dell’angolo
acuto
Dell’angolo
retto
Dell’angolo
ottuso
L’ipotesi dell’angolo ottuso
Ipotesi dell’angolo ottuso
V postulato
Assurdo!
L’ipotesi
dell’angolo
ottuso distrugge
sé stessa
L’ipotesi dell’angolo acuto
Ipotesi dell’angolo acuto
Esistono rette
asintotiche
Non bello
(???)
L’ipotesi
dell’angolo
acuto ripugna
all’idea di linea
retta
La geometria iperbolica
Saccheri aveva semplicemente trovato la
geometria iperbolica
Geometria assoluta +
Negazione V postulato =
Geometria iperbolica
Nella geometria iperbolica
Ci sono infinite
parallele ad r
passanti per P
Esistono rette
asintotiche
Somma degli
angoli interni di un
triangolo: <180°
Somma degli
angoli interni di un
triangolo: non
costante
Triangoli simili
sono congruenti
Somma degli
angoli interni +
area del triangolo
= costante!
L’area dei triangoli
è limitata
Esistono rette
incidenti parallele
alla stessa retta
…
Un modello del piano iperbolico
Piano = disco aperto D
Rette = diametri e
circonferenze
perpendicolari al bordo
di D
Angoli tra rette = angoli
tra le tangenti
Distanza = complicata.
Man mano che ci si
avvicina al bordo la
distanza tra punti
aumenta
Limite del cerchio,
M. C. Escher
Altre geometrie…
Negando il V postulato
• Abbiamo ottenuto la geometria iperbolica
Cosa succede se cambiamo altri
postulati?
• Si trovano altre geometrie…
La geometria sferica
Piano = sfera S
Rette =
circonferenze
massime
Angoli tra rette =
angoli tra le
tangenti
Distanza = misurata
sulle circonferenze
come nella
geometria euclidea
Geometria sferica
Vale il V postulato
Somma degli
angoli interni di un
triangolo: >180 °
Somma degli
angoli interni di un
triangolo: non
costante
Triangoli simili
sono congruenti
Somma degli
angoli interni area del triangolo
= costante!
L’area dei triangoli
è limitata
Vale l’ipotesi
dell’angolo ottuso
…
Tutte le rette si
intersecano
E l’assurdo?
Qualcosa non torna, ma cosa?
• Nella geometria sferica non vale il I
postulato (se interpretato come “per due
punti passa una e una sola retta”) e non
vale il II postulato (le rette sono finite)
• Nella geometria sferica dati tre punti su
una retta non ha senso chiedersi quale sta
tra gli altri due
I postulati non postulati
Euclide usa anche delle
“verità” che non
enuncia esplicitamente
Per parlare
correttamente di
“geometria euclidea”,
dovremmo enunciare
tutti gli assiomi
Gli assiomi di Hilbert (20)
Assiomi di
collegamento
Assiomi di
ordinamento
Assiomi di
congruenza
Assioma delle
parallele
Assiomi di continuità
•
•
•
•
•
•
•
Due punti distinti dello spazio individuano una retta.
Ogni coppia di punti di una retta individua tale retta.
Tre punti non allineati dello spazio individuano un piano.
Qualsiasi terna di punti non allineati di un piano individua tale piano
Se due punti di una retta giacciono su un piano tutti i punti della retta giacciono su quel piano
Se due piani hanno un punto in comune avranno almeno un secondo punto in comune
Ogni retta contiene almeno due punti, ogni piano contiene almeno tre punti non allineati, ed esistono almeno quattro punti non complanari
•
•
•
•
Se un punto A sta tra B e C, A sta anche tra C e B, ed i tre punti sono allineati
Dati due punti distinti A e B, esistono un terzo e un quarto punto C e D sulla retta passante per A e Btali che A sta tra C e B e B sta tra A e D
Dati tre punti distinti e allineati, ce n'è esattamente uno che giace tra gli altri due
Assioma di Pasch: siano dati tre punti A, B e C non allineati, contenuti in un piano p, ed una retta dcontenuta in p non contenente nessuno dei tre punti A, B, C: se d contiene un punto del
segmento AB, allora contiene anche un punto di uno dei due segmenti AC e BC. (Intuitivamente l'assioma potrebbe essere espresso così: se una retta entra in un triangolo attraverso un lato, allora
deve uscirne da uno degli altri due.)
• Se A, B sono due punti di una retta a ed inoltre A' è un punto sulla stessa retta ovvero su un'altra a', si può sempre trovare un punto B', da una data parte della retta a' rispetto ad A', tale che il
segmento AB sia congruente, ovvero uguale, al segmento A'B'. In simboli: AB ≡ A'B'.
• La relazione di congruenza tra segmenti è transitiva, cioè se A′B′ e A′′B′′ sono congruenti ad AB, alloraA′B′ ≡ A′′B′′.
• Siano AB e BC segmenti su una retta r privi di punti interni comuni, e siano A′B′ e B′C′ segmenti su una retta r′ privi di punti interni comuni. Se AB ≡ A′B′ e BC ≡ B′C′, allora AC ≡ A′C′.
• Sia ABC un angolo e B'C' una semiretta, esistono e sono uniche due semirette B'D e B'E, tali che l'angolo DB'C' è congruente all'angolo ABC et l'angolo EB'C' è congruente all'angolo ABC.
• La relazione di congruenza tra angoli è transitiva, cioè se A′B′C′ e A′′B′′C′′ sono congruenti ad ABC, allora A′B′C′ ≡ A′′B′′C′′.
• Se per due triangoli ABC e A′B′C′ si ha che AB ≡ A′B′, AC ≡ A′C′, e l'angolo BAC ≡ all'angolo B′A′C′, allora tutto il triangolo ABC ≡ al triangolo A′B′C′.
• (Postulato di Playfair): Dati una retta r, un punto A non in r, ed un piano p contenente entrambi, esiste al più una retta in p contenente A e non contenente nessun punto di r.
• (Assioma di Archimede). Se AB e CD sono due segmenti qualsiasi, allora esiste sulla retta contenenteAB una famiglia di punti A₁, A₂, …,An tali che i segmenti AA₁, A₁A₂, A₂A₃, …, An-1An, sono congruenti
a CD e tali che B giace tra A e An.
• (Assioma di completezza ). Ad un sistema di punti, rette e piani è impossibile aggiungere altri elementi geometrici in modo che il sistema così generalizzato formi una nuova geometria obbediente a
tutti i venti assiomi precedenti. In altre parole gli elementi della geometria formano un sistema che non è suscettibile di estensione, ammesso che si considerino validi i venti assiomi del sistema
assiomatico di Hilbert.
E quindi?
Dati r e P,
quante parallele
a r per P?
Una,
nessuna
e centomila!
(geometria
euclidea)
(geometria
sferica)
(geometria
iperbolica)
Sitografia / Bibliografia
• www2.unipr.it/~saralb74/divulgazione
• Wikipedia
• http://lcalighieri.racine.ra.it/pescetti/ricerca_geo
metrie_non_euclidee_2004_05/somm_none/sec
onda_parte.htm
• http://www.dmf.unicatt.it/~bibsoft/provatesi/mo
dello_iperbolico.htm
• Le geometrie non euclidee, D. Palladino e C.
Palladino
• Geometrie non euclidee, S. Benvenuti