Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Foundations of Geometry
7 r
ASSIOMI DI INCIDENZA
Gli esempi
che mi p
fattila mostrano che CP è indipendente da III CID cioè
nè sua negazione sono una conseguenza di III CIV
Mostriamo ora che tutti e quattro
gli assiomi sono indipendenti
a B
Esempio tt AB L aB soddisfa III CIO
e CP ma non soddisfa I 3
Esempio I A Bc Le AB Ac Bc A
soddisfa III CI 3 e CP ma non III
B
A
Esempio tt ABc I soddisfa CIN CI3 P
B o ci
ma non CI 1 o
caso2 AB o allineati
sia m la retta su cui giacciono e siano D E come nel caso2
B
della primaparte della dimostrazione
E
cessa deduce Are
sopra si a
a
l
segue che etc altrimenti is
per
transitività si avrebbe Arci
e
Dal caso1 applicato a te B c
segue e RB e quindi per transitività a r B
AI.ae AI se A
abbiano le posizioni rispetto al riportate nello
schema Segue
AIatte Io
sia f t.ci Mostriamo che AI atte
D Atf p
Utilizzando Di Atf il fatto
che D è intenso a Banc e che D B piene
Been m E AI dm A
abbiamo le posizioni rispetto alla
m
setta m riportate nello schema
AIIA
Segue Ats Ee
Correludiamo quindi che nn EE Per Bn deve essere
secessoriamente nn è 6
B
BT.ci Ragionando ancora sulla retta m
visto che BT non c vediamo che
Atina m
at a BT p
Possiamo
quindi concludere che getta Bc 0
alla
se
II
a
R i
c E
si a semiretta AI
B n semiretta con
origine in B contenuta
in AB e che non contiene A
a pesca 7 E er t.o.BE ed Definiamo quindi
AI ED io te
Mostriamo che la somma appena definita induce un'operazione ben definita
sulle classi di congruenza di segmenti
Imposizione siamo AI Ted ATI ED segmenti t.o.AI.AT e cieca
Allora AI ED Atri ED e
n
Dim DI acts BE CI siE
E
B AJ.it Te FB ED Ate po
A
a
Per CUI FE EBT Utilizzando cc essendo FB ATI
otteniamo che
AI ATE o
FB Ed AI Ed CI cats tricotomia
h d
chiaramente ha d è l'unica soluzione
Fin
2 Immediata
C
Cs dca.CI heh Fm B
A
htm tetti
h
di A B d Bc
B
4 Dati Btc DÌ e scelto
e
uso dei semi nei quali
f DF divide il
piani 7 DÌ
piano
i contenuta in tale semipianet.ci
C D
e If Btc
Cs la congruenza di angoli è una relazione di equivalenza
Cs Dati due triangoli AIC e Def se AI e DÌ Atei e Btc e Eff
B e
allora ABE e DÈE cioè
i D
a 1 e i BT.net AIB e DÈE e ABI e DÈI
f
0 X o i
in tl µ X il µ i È
D A C D A C
A 9 D f
c
Le 13 a tricotOMAI
p p LL
le dimostrazioni sono analoghe a quelle viste per i segmenti utilizzando
la seguente B
B in B
D A B D A B
I4 Sostituita da Ccd
I 5 La dimostrazione di Euclide va bene in un piano di Hilbert
prestando attenzione alle posizioni reciproche degli oggetti e uscendo
assiomi
opportunamente
gli
A
e AI eat Abc e AIB
B E Per BZ I D t c A B
Da E
Per Di BZ e cct 7E t.ci A C E e.EE E BI
Per Cs at a te
Per Coco ADÌ e teB In particolare AID e AIE e Afc e AIB
Per co Dèe e EEB In particolare DIB e Epic
1È isoscele
Attenzione Non si può dimostrare l'esistenza del triangolo isoscele
considerando due angoli
congruenti in A in B
e
perché nn è detto che
Inizia Inizieresti
Con i triangoli isosceli possiamo dimostrare le CI.si CI.nl
riformulate in termini esistenziali
I 9 Bisettrice
Per cui esistono Be e sui lati
dell'angolo t.ci AJ e At
Sia BED ionale di baseBT con D
B dalla parte opposta di A rispetto a Bc
D
n Allora AI è la bisettrice
A n La giustificazione è la stessa di Euclide
I 10 PUNTO MEDIO
I 11 PERPENDICOLARE A una
Retta DA UNPUNTO DI ESSA
Presi B e c sn l t.ci B a c e
D
AI AT si costruisce un triangolo
e isoscele BDI La bisettrice di Bic
n
a
giace sulla retta cercata
B c e
Giustificazione come in Euclide
È 7 lo t 5 f D della stessaparte
B Ac
Segue che f è interno a AID e quindi
BAC Atf e AID O
La CI.li fallisce per la stessa ragione per cui fallisce la CI.it non
è detto che due circostanze utilizzate nella costruzione si
taglino
valgono significa con i dovuti accorgimenti come visto nelle Proposizioni
che abbiamo riesaminato
la II 31 è la costruzione della parallela a una netta data
passante per un punto esterno che in un piano di Hilbert si
traduce in un enunciato esistenziale
li
la dissertazione di Euclide li
utilizza il trasporto dell'angolo
che viene sostituito da Ichi il
A e
OI Ogni retta l
passante per 0 interseca ma cinoferenza M di centro o
esattamente due
in punti
Infatti se ott è il raggio di M per cui esistono esattamente due
punti ce c da genti opposte rispetto ad 0 t.ci ottone ott
c 0 D segue o O d
ca o
e
opta e oÀB I OI sta
Dim Per assurdo supponiamo che 0,0 e A non siano allineati Sia
H la proiezione ortogonale di A su cio e sia B il punto della setta
AH t.ci A ti B e ftp.FA
a
palco Artù e BÌO
i In particolare AI epici quindi Bet
o ò Analogamente Atto e BÌO In particolare
i
at.IO quindi Bet
B Benni una contraddizione
O A 0
B cene srl
caso precedente
e possiamo assumere Bf 00
Per s abbiamo
if n
g
Abbiamo studiato intersezioni di rette e circonferenze assumendo che esse
si tagliassero ma in un piano di Hilbert non c'è nulla che ci assicuri
che due circonferenze lo usa alta e una circonferenza che dovrebbero
tagliarsi lo forniamo effettivamente Se vogliamo che accada è necessario
introdurre un nuovo assioma
M A
c
I CA ATI
1 B FBI
a ad Ae 1 A intenso a M è il centro
consideriamo la perpendicolare A e
ad l passante per 0 che
taglia l in B e il punto ci
0 t.ci 0 13 0 e 073topo n.mn
B
Per I 19 ott c ott c r
quindi B è interni a M
C 0 B 0T coI c r
B 0
c interni at
c 0 0 quindi
OT coI 2 In entrambi i casi possiamo
applicare lei e ottenere che inApo
C interno a µ
sia E e nnA Mostriamo Eel Poiché ce io
Pertanto tal
E e
4 0
DI Un piano euclideo è un
piano di Hilbert cit si nel quale
valgono i seguenti assiomi
P ta et te eh 7 al più una setta in mille ma A
E e CPI
mi
È A
m P.am mi 11 l e pesanti
per A
µ Per f 29 eÀB E DÀB
N CÀ B E EÀ B
B c e
Quindi DÀI e EÀB
a ni dip c 2k
m
B
I 23 trasportiamo 2 in A an n
Q Q BÈE
Ai i
E B F
Pt Q P è
C D G g
C D C D
A
Pio Ate u Cda PIÙ Biff o cfg
ASSIOMA DI ARCHIMEDE
A HAI CI 7 me IN te AI AI AI ED
n volte
E indipendente dagli altri assiomi
4 Mi t tn IR
tt sto
4 eP 7 to E IR to qui o
qlti.at t n o kn EIN
cioè t n km e IN e quindi Fm è antimideo
Come conseguenza ttf nn è orehimedeo
Enunciamo il risultato
più importante di questasezione che andremo
a dimostrare successivamente
A e
1
c
rigidi
AI Gia ATI e 0CAIOCBI A CBI
Per l'unicità in cui si ha 0lb B Sia c OGGI
se c e ci stanno da parti opposte rispetto ad A'B sia
0 e con un movimento scambia i lati di A'B
che
Se c e ci
rigido
stanno dalla stessa parte di AB poniamo se Id
Poiché c'e
ricci stanno dalla stessa parte della retta AI per
l'unicità in casi si ha qlc E AI
Da A'Noi haired eat eat perl'unicità in cui si ha qlci.ci
Abbiamo dunque costruito un movimento
D
rigido
è Da ciò segue
µ t.o.qlh.it
µ LB NICO
DI età A'Èc'e AIC A'ftp.AEB
cioè ABI e A'Ìo provando co o
co Cern
Possiamo
quindi concludere che se valgono Cal cosi la parte
relativa all'unicità in cui occhi e Cerri allora volgerei
C1 CCD chi Ics e co
ARITMETICA DEI SEGMENTI
Ore Addiesempio
e una
non
retta
si puòparlare di rapporto di un segmento
ma sn B me nd
ma in B me end
ma cn B ma cn D
Io In I
i ma
I
Noi definiamo somma e prodotto tra le classi mostreremo
di congruenza
di scoperti in un di Hilbert
piano ordinato con IP e che è
possibile costruire un campo i cui elementi positivi sono le
classi di congruenza dei segmenti
Già i segmenti le loro classi di equivalenza diventeranno
i numeri
SOMMA
a atto è la classe di AT
b
B
c
Premiati
1 E'ben definita
2 E commutativa
3 E associativa
4 Date due classi a ab vale una e una sola tra
deb 7C t.ci Atc b Io t.ci bici a
I a Seguendiamonepresentarti
diversi
a
io
b B o
B e
Per visto che
o
È Atenei
la somma è commutativa
at e aib
A f
q a a
B b o a E
p
ci
ea te lo DAI Ieebeteadfeb.in
Essendo BT e te Atto e ET 63 at e DÌ
la somma è associativa Catholic a baci
b te
Atea Bicep D t.ci A E DE
feteabjegT.TN
e c'Dec ateo
a b a
5haET È
c o
B a
c B
d Ccd
Mtb e a btc H
cit Deh che conclude la dimostrazione
Tricotomia
Atea su ATI sia C l'unico punto t.c.AT e b
Se B.ci a b
A B a
a
Btc
c B
a Cb
b sa
à à i c
III
E o classe 0
di EB
Prodotto
a ab
Id r la f
A 1 B D b E
Proprietà
1 È ben definito
2 d 1 faa
3 e commutativai
4 E associativo
5 fa 7 b te ab 1
6 Distribuisce rispetto a t
f
Dim c
e
a A'Èc'e ABC d'ÈF DÈI
a 1 B
Tper 4 I
b
t per II 26
di E
e il prodotto è ben definito
2 e
ai DÌ e AIC per CI.ro In particolare
la M EI BT e a
D 1 E
AB nel piano t.ci A B dalla stessa parte rispetto
Leva c D
alla retta cd allora A B GD amichi IN circonferenza
che li contiene se e solo se CÀD cibo
3 abeba
B Per il lemma i punti
p ABED aver conciclici
da
sa ba Segue le DÀ a CIE
1p 1 c ab e
BEE CI e ba
b DÈE c'E e ab
4 alba Cable
a C
IL t it r
1 1
B
1 AB D E suo annichiai
ab
a na er d'b Segue che DÀE DÈE
Ip b alibi E
BEE CI e club
cb top ED E chi
DÈE CI E dilob
2
D
albo a Ccb club lab C
f
c f
L
5 a l
B a b ab
il r la r
A 1 B p T DI b e
e
per ao DÈE e t'È'D
In particolare ab 1
6 a b c ab ac
ABE BT e ab
ac
B e BÈ DE E ac
E a
ab ab AfD atea bici
12 am t
A e 0
b e
F P a b n ca b a b d b
Somma a b c d a te b d
Se la b reca b e co d o d Calici b d1 a c bad
d c b di D d a e
la somma è ben definita
d b c d at b c d
hi
a b c d e Ca b c di
ae b'd a'd b'c ac bd ad be
d'cab'd ad be d'd
ibc.iacxbdc.ca
dConti
1b fatto dla't c
mi
b
È associativo
Elemento neutro Ita a
Ita a c d c ac ad d ad ac c d
a ateo d d
fetta 1
tatted Italiane
1
L'inverso di Cbtc b è d d
Distributiva Vale
P F come sottoinsieme dei positivi
4 P F
d a b b
Pcf ha le proprietà scimmie per essere l'insieme dei positivi
in un ordinamento del campo
B 14 i i Iii ci
a C B a
se
f È
eh y hey t.kz a ha behb c ho o
A
Per t.si
1 È triangolo B età c'EAT B ii c'o
B'c'pre
È È a
B e
III 0
7
Per ipotesi queste saperlo è onde uguale
atea
ai Per 1 c D o
aII'ci
In particolare basso
hanno gli stessi angoli Quindi ABE
stessi angoli e simili per Sim AAA
e
Erge III 35 ab ad
µ Per sin AAA AE'D aceto
ab cd
A
d
f.bg
E
a
c b
B
C
là cd
Per LE.ro apIciBDc
B Per SIM Ata ABI n ADÌ
ed In particolare
b
l
D
È I
c 1 da cui lo cd o
d
A
COORDINATE
di Aristotele B
F P
deaf ad tt A M
C
G
A e
Prolungando et la c B
la distanza tra AB e CD
tagliano
e passaste qua
parallele
r
a B
7 i
Papi Dato ABCD quadrilatero di Scuderi A B
Fa a BI a aiuto
Fa a BJ a netto
Fa a BI a ottusi P
D
Poi ED E
Dim oÌ
3 E C Fa t.ci QI e BI e i i
7 m r
perché È è esterna a B o
a DÈA
3E
Farà
e ceti t.o.ae a BJ e
VÌTA i
e i
AI LATI
I M M r
A a F B B
È È r
È
m
a mediare
Ef e AB
di Q
ar
Cm riflessione in m
te riflemen in 1
f
si µ
c ch'µ e Ff HH sono quadrilateri di Sacchi
G ch'ti ha la stessa medicina di ABCD quindi p è
acuto
Triangoli
il 7 triangolo euclideo
un
Iii tutti i triangoli sono euclidei
civil 7 un rettangolo
c Se esiste un triangolo un difetto negativo allora
tutti i triangoli hanno difetto negativo
Parallele
P
Per II 31 data 1 e Pell
7 nn m 111 ma P
Potrebbe non essere a e
unica
Vogliamo formalizzare l'idea della push più vicina
Questo ometto deve essere espresso in termini di semiretta
semiretta con origine in A che
notazione 1a giare sulla retta a
con la scelta di un lato di A
Aa 111 Bb
i
B b
Vogliamo mostrare che 111 è una relazione di equivalenza
iI
A Aa
fieno
L.info kiinc
perché tu IlBb i
B b
A nn AI Io per Cunha quindi
per 4341 deve tagliare Ec
A
Abbiamo mostrato che t'a 111Bb
B E Bb
B Bb
i
Una semiretta intensa a
B'Aia
B
si
è intensa a Baia
Una semiretta interne ci piace e ATI è interna a BA'a v
oppure è n'sterza a B À b e taglia B b per il Cunha 0
A B
A
a
r
I
B B io a
B
Di b
c
A BAC A
e An intona a CÀ a
n B
In tagliata perdé
Applicando Bn
Ann Bb
al
i triangolo ABB e a cc
g
GEOMETRIA NEUTRALE ARCHIMEDEA
cosi Ia Per II 26 Éd e 0 13
In particolare tifo
Per II to 57ps E Per II 19 ÉD I FI acid
Per la matti AI Fan matti AI
In tre
1
TEOREMA Scuderi Legendre Un piano di Hilbert antiradar non
può essere semiellittici
Dim P.A 7 ABI te 5 CARICO cioè E angoli interni 212
E angoli interni 212 E
B E
B µ di ADÌ E È
per Ccd
ii µ SCALI NABIL
D
a
µ
ar
p
c
Abbiamo sostituito i conti
che ha lo stesso difetto e un
angolo e
I 25 E 3
zii
la somma degli angoli interni di Ta è 2kt E ma
te E contraddicendo I 171 0
A la proiezione ortogonale di t
on l
B dalla gente di tt nella quale m'è dalla parte di l
rispetto ad m Sia a AIP e sia n tale che
mp a
Il triangolo PABn ha un
P m
BD CD
E A B E E F Atc
Fa
Il triangolo AEI contiene ABI e BED In particolare
SIAE z 25 AIC
se It fosse semirigerbolico Scarto o
fra i If o ttf o
Ore L'inversione
fr è involontaria cioè prof Idee o
Imposizione sia A interni at sia l la netta perpendicolare a ott
Ato
passaste per A sicuro P Q i punti di lui
Allora le targati tip e ta a M in Pe Q si incontrano
in A finta P
hip
Dim sia A il punto di intersezione a
A
di tip e ta o I
off ÈA
e 0 CRASS ta
In particolare È è la bisettrice
di pòQ e quindi A c ott
p
I triangoli Ofa e ottP suo e
simili per SIM AAA
In particolare o ti ci À
a
E
II of
Quindi ott ott ott ott ri cioè pria A o
Costruzione con
riga e congresso delle inversioni circolari
P
A interno a M
n
A È A fatti
P
io
A esterno a M
A
fa la
Bel B O'Bnl
e
Vogliamo dissestare che B falbi
I triangoli otto e
copia
sono simili per SIM AAA Segue che
OI.oti.oa.oa.ie
È fate
quindi È quiB 0
Se contiene A e allora
LEMMA 1 1
2 Se
una circonferenza
allora
gia yin
giri pmCpi p
Dim m r _a
a 1 Se A fritti ott ott ri OP
p
Per cesti ott è target a p quindi
per orso ortogonali
2 Per III 36 n ott.oa.ca quindi t'agiti o
Peposizione Sia y una circonferenza 0 allora presi p con pi
cirrosferenza gia 0
ott K ott
Caso 2 o intorno a
y
a r t.BE p A B immagini via po
A B altre intersezioni di ott e 013 un
B B B p
a
Per CHI35 ott ott JB JB c
a
Isotta O'A eta òB TB si
A
ott L'ott
I punti di si si ottengono dai punti di p applicando prima
una simmetria e poi una dilatazione quindi j è una circostanza 0
p Ci è tangente a
pi in P cioè
in pii 1
Segue che ci spii 1 cioè sono tangenti L'angolo tra cieli
in P è l'angolo tra le tangenti a
y e pi in P
Il risultato segue quindi dal lemma 2
Per Esercizio o
0A 0A _0A op op op A op
0A 0A OP op op 0A
0A A'P Opi ap
At
Atp OP
da
II III
otteniamo
e
II
Da
ì airone im
algebrici
3 Rette per 0
7 circonferenze ortogonali aM
A B c un PD A D è un If
B se Ae si e BES EBay lo
a sa segue dal fattoche in Te vale le
se A e B stanno dalla stessaparte allora
tbnp.IO Altrimenti visto che due P sette
8 si al più in un gusto uso dei
tagliano
due punti dovrebbe essere inteso a g e
si è altro esterno o
Definiamo le nozioni di congruenza per
segmenti ed angoli
Altrimenti q è l'inversione B
circolare inpn Visto che tip
allora giri Inoltre l'interno
di M viene mandato in se stesso
quindi cfr PD PD è biunivoca
9g manda rette e circonferenze in rette e circonferenze
ed è conforme quindi conserva l'ortogonalità
Segue che fr manda P sette in p rette
fr preserva l'ordinamento
Allora 0 n I
pi ore of
è il movimento cercato
rigido 0
io c Poi
Rts
Quindi 0T e i
1 IÌ
e con semplicipassaggi algebrici ciò accade
se e solo se
y s èccoti 0
se Q E Fo la parallela limite
è contenuta in AQ n PD
B
Imposizione I 17L In un triangolo limite la somma dei due angoli
è misera di due angoli retti
Per CASALI da ta N Bb
segue 1 a INBb app e
b B b
Ma Aa e 1ci
parallele limite
sono
di e giacenti sulla stessa retta contraddicendo c o
Esercizio 34.12
TEOREMA siamo l ed m rette parallele ma non parallele limite
Allan esiste un'unica setta ortogonale a entrambe
Dim Se tale retta esiste allora è unica
una
perché se non lo fosse esisterebbe un
M H
e
F H
E A
e
0 O X
I i
N r Na r
D G B k
Per co Deaf BÈH In particolare DIEBI
tibie
e
perdifferenza
f 56 e Per col fisco e NIK In particolare
FI e HI e BkH è retto
LEMMA HAD Dati due triangoli limite atto e ciarlò se aÀB e a'ÀB
e BIA e b'Ia allora AB Atti A
Oss Se Aa 111Bb e
vi è un movimento rigido e vitalità sfibbiati
allora t'à 111B'b
ai
a Segue dal lemma
a CASALI
B
B
TEOREMA Dato angolo esiste una retta 1
un parallela limite di
entrambi i lati dell'angolo
2
Dim ott e otto
a
mi
È Èsimi
O
Aa e Bb le bisettrici degli angoli
e apip
B pta
la riflessione nell'asse di AI
manda A in B in Ba per
B ap
l'osservazione e tu in Bb
Vogliamo dimostrare Aa Il Bb ma Aa Bb
d
anime
5 maIe
A
femmine
a a
fa I triangoli limite Acp e Bcp sono
ja congruenti per il lemma lasci
Se Aa IN Bb a
Infingimenti ÌÌÌÌo
Etesie
Abbiamo che fa Il Bb B
quindi concluso ma
Aa Bb
a
È à
e se è termine di l posso
13 non
e DP
IILngiafanwmi.IE
I triangoli limite Atp e Btp
P sono congruenti per il lemma casi
In.pt Yo pIEI
contraddice I 16L
omneo
D
III weibo.me 7
entrambi estremi ciò
gli perché
a
porterebbe a una contraddizione
con l'assioma CL
o
e
intimi
o
i
in particolare cita e Otp quindi
questi angoli sono retti p 0
sina.EE ietaYia a
all'altro
ad a t.ci EI e FB
E el e intorno
o na m
fe
la perpendicolare mail.in E D e
incontra ott per Bnl CI ortogonali a of
Il quadrilatero dice è di Lambert quindi l'angolo in c
è acuto Per il lemma 1 della sezione 34 Ed et o