Professional Documents
Culture Documents
David Hilbert Osnove Geometrije PDF
David Hilbert Osnove Geometrije PDF
XIV
Urednik
akademik RADIVOJE KAANIN
Upravnik matematikog instituta SAN
D. HILBERT
OSNOVE GEOMETRIJE
PREVEO SA OSMOG NEMAKOG IZDANJA
. GARAANIN
Primljeno na
XI
BEOGRAD
1957
1953. g.
P R E D G O V O R
Ovaj novi otisak Hilbertovih Osnovi geometrije nije neka prava nova
prerada. Upravo uinjene su samo neke ispravke i manje dopune.
U dopuni
II
V I.
Dopuna
III
je u sutini ponavljanje
II
I X
I V.
Od dodatka
karaktera, tj.
U zavisnosti
Schmidt).
Arnold
II .
Za ovu nje-
404-414.
Cirih, marta 1956.
Hilberts
Hilbertovim Saku-
P. Bernajs
Sadraj
Uvod
Prva
g l a v a.
Pet
grupa
aksioma
I : Aksiome veze
II : Aksiome rasporeda
III :
Aksiome podudarnosti
IV : Aksioma paralelnih
V : Aksiome neprekidnosti
D r u g a g l a v a. N e p r o t i v u r e n o s t i u z a j a m n a n e z a v i s n o s t
aksioma
9. Neprotivurenost aksioma
10. Nezavisnost aksiome paralelnih (ne - euklidska geometrija)
11. Nezavisnost aksioma podudarnosti
12. Nezavisnost aksioma neprekidnosti
Trea
g l a v a. U e nj e
(ne-arhimedska geometrija)
propor ijama
g l a v a. U e nj e
povrinama
ravni
g l a v a. D e z a r g o v
stav
darnosti
23. Nemogunost dokaza Dezargovog stava u ravni bez aksioma podudarnosti
24. Uvodjenje segmentnog rauna bez upotrebe aksioma podudarnosti
na osnovi Dezargovog stava
25. Komutativni i aso
ijativni zakon sabiranja u novom segmentnom
raunu
26. Aso
ijativni zakon mnoenja i dva distributivna zakona u novom
segmentnom raunu
27. Jednaina prave na osnovu novog segmentnog rauna
28. Ukupnost dui shvaena kao kompleksni brojni sistem
29. Izgradjivanje prostorne geometrije pomou Dezargovog brojnog
sistema
g l a v a. P a s k a l o v
stav
g l a v a.
Geometrijske
konstruk ije
na
osnovu
I IV
Celokupno ljudsko saznanje poinje sa opaajima, odatle ide ka pojmovima i zavrshava se idejama.
K a n t, Kritika istog uma
Uenje o elementima, deo 2, odeljak 2.
U v o d
Za potpuno izgradjivanje geometrije isto kao i aritmetike potreban
je samo mali broj prostih osnovnih stavova. Ovi osnovni stavovi nazivaju se
aksiomama
Euklida
to
prostiji
Prva glava
prvog
A, B, C, ...; stvari d r u g o g
i oznaavamo ih sa a, b, c, ...; stvari t r e e g sisoznaavamo ih sa , , ,...; take se nazivaju i
I
II
III
IV
V
I:
Aksiome veze
Aksiome ove grupe postavljaju vezu izmedju gore navedenih stvari: taaka,
pravih i ravni i glase:
I 1.
Za dve take
dveju taaka
I 2.
A, B ,
A, B .
A, B , ne
taaka A, B .
Za dve take
svakoj od dveju
razliite
takama odn.
take odn.
prave,
ravni.
Umesto pripadati upotrebljavaemo i druge naine izraavanja, npr.
lei na
ravan
I 5.
A, B, C
lei
; A
j e taka ravni
lei u ravni
A, B
prave
A, B, C .
prava
lei
ravni
I 8.
lee u ravni
I 7.
itd.
I 6.
A,
itd.
B.
I7
Aksioma
aksioma
I8
Aksiome
aksioma
I 1-8
I 4-8
I 1-8
za razliku od
I.
Dve prave koje lee u istoj ravni imaju ili jednu zajedniku
taku, ili nemaju nijednu zajedniku taku; dve ravni ili nemaju nijednu
zajedniku taku, ili imaju zajedniku pravu i osim toga nijednu drugu zajedniku taku; ravan i prava koja ne lei u ovoj ravni ili nemaju nijednu
zajedniku taku ili imaju jednu zajedniku taku.
S t a v 2. Kroz pravu i taku koja ne lei na ovoj pravoj, kao i kroz dve
razliite prave sa zajednikom takom, prolazi uvek jedna i samo jedna ravan.
3. Grupa aksioma
II :
Aksiome rasporeda
II 1.
Ako taka
take prave i
A i C,
A.
A, B, C
tri razliite
II 3.
onda su
na pravoj
taaka
Posmatramo na pravoj
zvaemo du i oznaavati sa
AC
BC ,
Da prava
moe se dokazati.
II slede stavovi:
A i C postoji najmanje
A i C.
i
S t a v 3. Za dve take
AC
jedna taka
na pravoj
E
C
A
D
G
aksiomi
II 2
postoji na pravoj
D o k a z. Neka
pravoj
taku
G
E
F
D
A
S t a v 5.
i takodje izmedju
i takodje izmedju
D o k a z.
Neka su
A, B, C, D
g.
Dokazaemo najpre
ovo:
F
E
G
H
A
S moe
S,
lei izmedju R i S ,
lei izmedju P i R i u isto
lei izmedju P i Q,
lei izmedju Q i S .
lei izmedju
ili
P
S
S
P
ili
ili
ili
S.
II 3, lei
II 3 i
vreme
izmedju
S,
Prve etiri mogunosti pruaju pretpostavke pod 2, a poslednju pretpostavke pod 1. Time je stav 5 dokazan.
S t a v 6 (uoptenje stava 5). Ako je dat ma koji konaan broj taaka na
E, ..., K
izmedju
A, B, C
s jedne strane i
E, ..., K
C D
Osim ovog naina oznaavanja postoji jo samo jedan obrnuti nain oznaavanja
K, ..., E, D, C, B, A
koje ne lee na toj pravoj u dve oblasti sledeeg svojstva: svaka taka
jedne oblasti sa svakom takom
a;
AB
u ijoj
i da take
AiB
lee u ravni
a.
A
a
A, A , O, B
D e f i n i i j a.
Sistem dui
ABCD...KL. Take koje lee u unutranjosti dui AB, BC, CD, ...KL, kao
i take A, B, C, D, ..., K, L nazivaju se sve zajedno takama izlomljene linije.
D e f i n i
i j a. Ako su sva temena poligona razliita i nijedno teme poligona ne lei na jednoj njegovoj strani i ako ma koje dve strane poligona
nemaju nijednu zajedniku taku, taj se poligon naziva prostim.
Pomou stava 8 doi emo sada bez znatnih teskoa do sledeih stavova:
S t a v 9. Svaki prosti poligon koji lei u ravni razdvaja one take ravni
koje ne pripadaju poligonu na dve oblasti, unutranju i spoljanju, sa ovim
svojstvom: ako je A taka unutranje oblasti (u n u t r a nj a t a k a), a B
taka spoljanje oblasti (s p o lj a nj a
i vezuje take
poligonom.
A
B
Pri podesnom izboru naziva za obe oblasti postoje uvek prave u ravni
p r os t o r n a
aksioma grupe
II .
10
5. Grupa aksioma
III :
Aksiome podudarnosti
III
1.
Ako su
A, B
taka na
istoj ili na drugoj pravoj a , onda se moe uvek nai takva taka B prave
A B ,sto
AB = A B
Ova aksioma zahteva mogunost prenoenja dui. Jednoznanost takvog
prenoenja bie do
nije dokazana.
Du je bila denisana prosto kao sistem dveju taaka i oznaena sa
ili
BA.
AB
Poredak ovih taaka nije u deni iji uzet u obzir; zato formule
AB = A B , AB = B A
BA = A B , BA = B A
imaju isto znaenje.
i
AB = A B .
Na osnovu toga dobija se dalje, primenom aksiome III2 , da podudarnost
du
AB A B ,
onda je i
ako je
i
A B AB ,
AB A B
A B A B
onda je i
AB A B .
11
Na osnovu simetrije podudarnosti dui moe se rei: dve dui su medjusobno podudarne .
III3 .
pravoj a koje isto tako nemaju zajednikih taaka; ako je AB A B
i
BC B C i bie uvek i AC A C .
Neka su
Prenoenje
uglova bie isto tako ispitano kao i prenoenje dui. Osim mogunosti prenoenja uglova svakako se mora aksiomatiki zahtevati jo jednoznanost;
naprotiv, tranzitivnost i aditivnost mogu se dokazati.
D e f i n i
i j a.
Neka je
u ravni
i pripadaju raznim
proizvoljna ravan, a
h, k
neka su dve ma
h, k
naziva se temenom
ugla.
Poloeni i ispupeni uglovi iskljueni su ovom deni
ijom.
I i II
du koja vezuje dve take u unutranjosti ugla, uvek
ela lei u unutranjosti
ugla.
na
polazi iz take
na
k,
to ela du
HK
HK .
Ako je
taka
linija koja vezuje taku A sa A i niti prolazi kroz taku O niti kroz ijednu
od taaka polupravih h i k .
i
lei
ili ela lei u unutranjosti ugla ili ela lei van tog ugla;
D e f i n i i j a.
III4 .
i prava
u ravni
kao i
prave a koja polazi iz take O ; onda u ravni postoji jedna i samo jedna
12
poluprava
tako da ugao 6 (h, k ) podudaran ili jednak uglu 6 (h , k ) i u isto
vreme sve unutranje take ugla 6 (h , k ) nalaze se na datoj strani od prave
a ,
6 (h, k )
6 (h , k ).
6 (h, k )
6 (h, k )
6 (h, k )
6 (h , k ),
6 (h, k )
6 (k , h ),
6 (k, h)
6 (h , k ),
6 (k, h)
6 (k , h )
A,
C,
a na drugom taka
oznaava se i sa 6
ABC
ili kratko, sa 6
III5 .
ABC
A B C
vae podudarnosti
ABC 6 A B C
III13
III5
III .
Aksioma
dui i uglova.
B
C
Aksiome
III4 i III5
B B
III .
III5
take
B .
AB moe preneti na
A na dva naina, naime do take B i do
C van prave A B i dobiemo kongruen
ije
Pretpostavimo da se du
13
A B A B , A C A C , 6 A B C 6 B A C
dakle, prema aksioma
III4
A C B 6 A C B
6
III4 .
6. Posledi
e aksioma podudarnosti
D e f i n i
i j a.
ABC
III5
III4 .
A B C ,
ako su podudarnosti
AB A B , AC A C , BC B C
6 A 6 A , 6 B 6 B , 6 C 6 C
sve zadovoljene.
S t a v 12 (prvi stav o podudarnosti trouglova). Trougao
daran trouglu
A B C ,
ABC
je podu-
ABA B , ACA C , 6 A6 A .
C
III5
D o k a z. Prema aksiomi
postoje podudarnosti
B6 B , 6 C6 C ,
BCB C .
Pret-
postavimo suprotno, naime da BC nije podudarno sa B C i odredimo na
B C taku D tako da je BCB C . Tada se, primenom aksiome III5 na
trouglove ABC i A B C , dobija da je 6 ABC 6 A B D . Bio bi, dakle,
ugao 6 BAC kongruentan kako uglu 6 B A D , tako i uglu 6 B A C ; ovo je
14
III4
ABC
kongruentan trouglu
A B C .
sledei stav.
S t a v 13 (drugi stav o podudarnosti trouglova).
daran je drugom trouglu
A B C
ABC
podu-
A B C
bie i
Trougao
AB A B , 6 A 6 A , 6 B 6 B .
ABC podudaran drugom uglu
CBD podudaran uporednom uglu
C B D
D A
D o k a z. Izaberimo take
A , C , D
tako da bude
AB A B , CB C B , DB D B .
Iz stava 12 tada sledi da je trougao
ABC
podudaran trouglu
A B C
tj. vae
podudarnosti
AC A C
BAC 6 B A C .
i 6
CDC D
i 6
ADC 6 A D C ,
BCD i B C D
prema aksiomi
III5 ,
CBD 6 C B D .
podudarnost.
OA
od take
15
A
C
ODDO. Prema
III5 sledi da je 6 ODB 6 ODC .
S t a v 15. Neka su h, k, l sa jedne strane i h , k , l sa druge strane po tri
6 (h, l)
6 (h , l ) i 6 (k, l)
6 (k , l ),
onda je uvek i
6 (h, k )
6 (h , k ).
6 (k, l) ili
l,
h lei u
h lei u
uglu
uglu
du
KL
u taki
H.
K
k
h
O
Uzmimo taku
glovima
OLH
H
l
na polupravoj
h
l
tako da bude
i O L H , kao i u trouglovima
OLK
OH O H .
OLH 6 O L H , 6 OLK 6 O L K ,
LH L H , LK L K
i najzad
OLK 6 O L K
U trou-
i O L K na osnovu stava
16
III4 ,
H i K ,
prema pret-
mou aksiome
III5
do ove injeni e:
podudaran uglu 6 (h , k )
i samo jedna poluprava l koja polazi iz temena ugla 6 (h , k ) i prostire se u
S t a v 16. Neka je ugao 6 (h, k ) koji je u ravni
6 (h , k )
6 (h , k ) 6 (k, l)
6 (k , l ).
XY Z2 .
X
Z1
Z2
XZ1 Z2 6 XZ2 Z1 i 6 Y Z1 Z2 6 Y Z2 Z1 .
Zato iz stava 15 sledi podudarnost: 6 XZ1 Y 6 XZ2 Y . Naroiti sluajevi
kad X odnosno Y lee na Z1 Z2 reavaju se jo prostije. Iz poslednje podudarnosti i pretpostavljenih podudarnosti XZ1 XZ2 i Y Z1 Y Z2 sledi
prema aksiomi III5 tvrdjenje:
D o k a z. Prema stavu 11 je 6
XY Z1 6 XY Z2 .
ABC
i A B C odgovarajue strane podudarne, onda su trouglovi podudarni.
C
B
B
B0
17
je A B AB . Prema stavu 12 bie BC B0 C i isto tako BC B C . Iz
dui, dovoljno je dokazati da je trougao
III2
dobijamo podudarnosti
A B A B0 , B C B0 C
i
A B A B , B C B C .
A B C i A B0 C
tako isto i za oba trougla A B C i A B C , tj. ugao 6 B A C podudaran je
6
6
kako uglu B0 A C , tako i uglu B A C . No kako se, prema aksiomi III4 ,
Pretpostavke stava 17, dakle, vae kako za oba trougla
svaki ugao moe samo na jedan nain preneti na datu polupravu sa date
postavljenih podudarnosti dui sledi, prema stavu 12, tvrdjenje nae teo-
rame:
S t a v 19. Ako su dva ugla 6 (h , k ) i 6 (h , k ) podudarna treem uglu
Neka su take
O , O
Odaberimo
tako da bude
pretpostavke
O B OB i O B OB .
6 (h , k )
6 (h, k ) i 6 (h , k )
6 (h, k )
A B AB i A B AB .
Prema aksiomi
i
A B O
6 (h , k )
6 (h , k ).
ako je 6
III2 ,
onda su uglovi 6
i 6
medju
18
S t a v 20. Neka su data ma koja dva ugla 6 (h, k ) i 6 (h , k ). Ako se tada
pri prenoenju ugla 6 (h, k ) na polupravu
polupravu
sa strane na kojoj je
i obrnuto.
l
k
l k
l
h
Prema pretpostav
i i zbog simetrije kongruen
ije uglova vai 6 (h, l )6 (h , l ),
poluprava k padne u unutranjost ugla 6 (h , l ), onda kaemo da je ugao
6 (h, k ) manji od ugala 6 (h , k ), a piemo: 6 (h, k ) < 6 (h , l ); ako li se pak
pri tome dobije spoljanja poluprava, onda emo rei: ugao 6 (h, k ) je vei
od ugla 6 (h , l ), a pisati: 6 (h, k ) > 6 (h , l ).
Vidimo da za dva ugla i uvek postoji jedna i samo jedna od ove tri
pri emu su
mogunosti:
> , > ;
2.
> , ;
3.
, >
sledi
> .
Uporedjivanje veliina dui sa analognim svojstvima neposredno sledi iz aksioma
II
III1
19
D o k a z.
Prav ugao je, prema deni iji, takav ugao koji je podudaran
, i neka je i . Pretpostavimo,
suprotno tvrdjenju stava 21, da ugao nije podudaran uglu . Tada se,
Neka su uglovi
l ,
6 (h, l )
< , , <
ili u untran-
vailo bi:
6 (k, l ).
6 (h, l )
<
, ,
6 (k, l ),
a iz toga sledi
6 (h, l )
6 (k, l ).
< 6 (k, l ).
U sluaju da
lei u untranjosti
21.
D e f i n i
i j a. Ugao koji je vei od svog uporednog ugla odnosno vei od
pravog ugla, naziva se tupim uglom; ugao koji je manji od svog uporednog
ugla, odnosno manji od pravog ugla, naziva se otrim uglom.
Osnovni stav, koji je jo kod Euklida igrao vanu ulogu, iz koga sledi niz
injeni
a, jeste stav o spoljanjem uglu.
D e f i n i
i j a.
ABC
Uglovi 6
ABC ,
6
BCA
i 6
CAB
Neka je ugao 6
odabere tako da je
CAD spoljanji
AD CB .
ugao trougla
ABC .
Neka se
20
CAD | 6 ACB .
6
bio podudaran uglu
ACB . A to, kao to je gore dokazano, nije mogue.
Dakle, ostaje jo samo mogunost: 6 CAD < 6 ACB .
No, takodje ne moe biti 6
spoljanjeg ugla 6
CAD
ABC ,
vei od ugla
ABC
A B C
postoje podudarnosti
AB A B , 6 A 6 A
i 6
C 6 C
21
22, bilo:
lei izmedju
AE EB .
Kao neposredna posledi
a iz stavova 11 i 26 sledi injeni
a: svaki se ugao
moe prepoloviti.
Pojam podudarnosti moe se sada proiriti i na proizvoljne gure.
D e f i n i
i j a. Ako su take
A, B, C, D, ..., K, L
na pravoj
i take
A i A , B i B ,..., L i L
A, B, C, ..., K, L
B lei izmedju A s jedne
strane i C, D, ..., K, L s druge strane, taka C izmedju A, B s jedne strane
D, ..., K, L s druge strane, itd. onda su take A , B , ..., K , L na isti nain
to se vidi iz stavova 14 i 27, imaju ova svojstva: ako tri take neke gure
lee na jednoj pravoj, onda e u svakoj podudarnoj guri odgovarajue take
leati isto tako na jednoj pravoj. Raspored taaka u odgovarajuim ravnima
u odnosu na odgovarajue prave isti je u podudarnim gurama; to isto vai i
za poredak odgovarajuih taaka na odgovarajuim pravima. Najoptiji stav
o podudarnosti za ravan i za prostor izraava se na ovaj nain:
22
take koje ne lee na jednoj pravoj, konstruk
ija take P je samo na jedan
gure moe nai taka
nain mogua.
(A, B, C, ..., L) najmanje etiri take koje ne lee u jednoj ravni, onda je
konstruk
ija take
Stav 29 izraava vaan razultat da su sve prostorne injeni
e podudarnosti, a samim tim i svojstva kretanja u prostoru uraunavi tu i grupe
aksioma
II
Aksioma paralelnih
i A taka u
toj ravni koja lei van prave a. Povu
imo u ravni pravu c koja ide kroz
taku A i prese
a pravu a, a zatim u ravni pravu b kroz taku A tako
da prava c prese
a prave a, b pod jednakim saglasnim uglovima. Tada se
iz stava o spoljanjem uglu (srav 22) lako zakljuuje da prave a i b nemaju
nijednu zajedniku taku, tj. u ravni kroz taku A van prave a moe se
povui prava koja ne prese
a pravu a.
Neka je
IV :
IV
proizvoljna prava i
i ne prese a
i takom
A,
a.
i ne prese a pravu
Uvodjenje aksiome paralenih znatno uproava osnove i olakava izgradjivanje geometrije. Ako, naime, dodamo aksiomama podudarnosti aksiomu
paralelnih, onda lako dolazimo do poznatih injeni
a:
S t a v 30. Ako su dve paralelne prave preseene treom pravom, onda su
saglasni uglovi i naizmenini uglovi podudarni, i obrnuto: iz podudarnosti
saglasnih ili naizmeninih uglova sledi da su prave paralelne.
S t a v 31. Uglovi trougla ine zajedno dva prava ugla.
23
, onda se ukup, za koje su dui M A jedna drugoj kongruentne, naziva krugom; taka M se naziva sredite kruga.
Na osnovu ove deni
ije lako se izvode pomou grupa aksioma III -IV
D e f i n i
i j a. Ako je
u ravni
poznati stavovi o krugu, naroito mogunost konstuk
ije kruga ma kroz koje
tri take koje ne lee na jednoj pravoj, kao i stav o podudarnosti svih periferijskih uglova nad isto tetivom i stav o uglovima u tetivnom etvorouglu.
8. Grupa aksioma
V1
A
jedno za
preko take
V2
Aksiome neprekidnosti
AB i CD ma koje
postoji neki takav broj n, da kad se du CD prenese n puta
drugim po polupravoj koja prolazi kroz taku B prelazi se
V:
B.
I -III ,
V1 .
II13 i u stavu
III13 formulisane
I3
II4 ),
ima bar dve take, pri svakom proirenju sama po sebi ouvana, a druga,
da za dve take prave uvek postoji taka koja lei izmedju njih, posledi
a je
nemogunosti proirenja sistema taaka neke prave. Da aksioma potpunosti
bude ispunjena, bitno je uslovljeno time to se u njoj, medju aksiomama ije
se odranje zahteva, sadri Arhimedova aksioma. Ustvari moe se pokazati:
nekom sistemu taaka na pravoj, koji zadovoljava maloas nabrojane aksiome i stavove rasporeda i kongruen
ije, moe se uvek dodati jo taaka
na taj nain, da u ovako proirenom sistemu pomenute aksiome takodje
vae; to znai, aksioma potpunosti, u kojoj bi se zahtevalo samo odranje
pomenutih aksioma i stavova, ali ne i Arhimedova ili njoj odgovarajua aksioma, ukljuivala bi prtivurenost. Obe aksiome neprekidnosti su linearne
aksiome.
injeni
e:
S t a v 32 (stav o potpunosti).
take, prave i
ravni) obrazuju sistem, koji, kad se zadre aksiome veze, rasporeda i kongruen
ije i Arhimedova aksioma, a pogotovo kad se zadre sve aksiome, ne
doputa vie nikakvo proirenje pomou taaka, pravih i ravni.
D o k a z.
N.
24
Prama aksiomi
ravni.
I8
A, B, C, D
A, B, N
pravoj.
Obe ravni
aksiomi
I7 ,
ABN
ACD,
lei na pravoj
AB ,
jo i zajedniku taku
E.
Taka
ne
je
lei u
L
K
U sluaju da je
FH
ili
GH ;
IK .
u sluaju pak da je
staroj pravoj
potpunosti.
lei na
I7 .
javaju aksiome
I V,
I7 ,
I7 ;
to znai,
I IV
Descartes)
(R.
punosti - mada ova aksioma ne sadri nikakav iskaz o pojmu konvergen ije uspeva nam da dokaemo egzisten iju grani e koja odgovara Dedekindovom
(Dedekind)
(B. Bolzano)
zgunjavanja, ime se tada naa geometrija pokazuje kao identina Dekartovoj geometriji.
Pomou predhodnog razmatranja zahtev neprekidnosti je razloen na
dva bitno razliita dela, naime na Arhimedovu aksiomu koja ima ulogu da
25
26
Druga glava
Da bismo
konaan broj puta primene etiri raunske opera
ije: sabiranje, oduzimanje,
mnoenje, deljenje i peta opera
ija
| 1 + 2 |,
gde
broj koji je ranije postojao pomou pomenutih pet opera ija. Par brojeva
(x, y)
podruja
(u : v : w)
ma koja
u sluaju da
(u : v : w);
Brojevi podruja
tada
II
x1 , x2 , x3 ,...
ili
y1 , y2 , y3 ,...
(x , y )
C(a, b)
O(0, 0)
(x, y)
E(1, 0)
x = x + a
y = y + b
daje paralelno pomeranje dui i uglova, a transforma
ija oblika
27
x = x
y = y
y = 0. Dalje, ako se taka (0,0) oznai sa O, taka
(a, b) sa C , tada iz proizvoljne take (x, y) taka
obrtanjem za ugao 6 COE , ako je O stalna taka obrtanja,
(x , y )
i proizvoljna taka
proizilazi
x =
y =
a
x a2b+b2 y
a2 +b2
b
x + a2a+b2 y
a2 +b2
Poto broj
III14
III5 , tako
a2 + b2 = b 1 + ( ab )2
kongruen ije
trouglova
i Arhimedova aksioma
V1 .
Aksioma potpunosti
V2
nije
zadovoljena.
Svaka protivurenost u posledi
ama iz linearnih aksioma i aksioma ravni
I IV , V1
od
AB
manji od
n-tog
dela
AB
manja od dui
AC ,
onda je i
n-ti
deo
AC .
g,
deli pravu
25).
II13 , III13 , V1 ,
N.
aksiomi, sadri i takve take koje postoje pre proirenja - ove poslednje emo
nazvati starim takama.
Dakle, taka
na
x = mt + n,
y = pt + q ,
u kojoj parametar
Kao to je poznato, za takav presek vai: ili prva klasa odredjena pomou
njega ima poslednji element, ili druga klasa ima prvi element. Neka na pravoj
28
A.
Tada izmedju
ne lei ni jedna
stara taka.
Naprotiv, postoji takva stara taka
B,
da
A i B . Dalje,
n-1 razliitih
C1 C2 ,..., Cn2 D
lei izmedju
N, C1 , C2 , ..., Cn2 , D,
tako da su
AB
na
dui
AN ,N C1 ,
A i D.
lei izmedju
C1
N
W
Podelimo tada du
take. Neka je
Cn2
C2
D
B
n podudarnih delova.
A.
Iz, na poetku
AW
manja od
lei izmedju
dodati taka
N,
N.
AN ,
jer je
AB
manja od
AD.
moe
je do protivurenosti.
Dakle, u ravnoj Dekartovoj geometriji vae sve linearne aksiome i aksiome
ravni
I V.
I V
I IV , V1 ,
V2 .
bitni sastavni deo pomenutih grupa aksioma ne moe izvesti pomou logikog
zakljuivalja iz prethodnih grupa aksioma.
Najpre, to se tie pojedinih aksioma grupa
I , II
III
lako je dokazati
II
grupa aksioma
to se na poznati
nain najprostije ovako pokazuje: kao elemente prostorne geometrije odaberimo take, prave i ravni obine (Dekartove) geometrije konstruisane u 9
ukoliko lee u unutranjosti neke stalne lopte, a podudarnosti ove geometrije
deniimo takvim linearnim transforma
ijama obine geometrije koje stalnu
29
IV ;
PZ
X, Y
OP Z
P.
tako da je
XOY 6 Y OZ .
Tada je
XY < Y Z .
Z
OX
od take
na pravu
OZ :
OX OX .
Iz stavova 22 i 23 sledi da taka
aksiome
III5
lei na dui
OZ ,
a pomou stava 22 i
dobija se:
X ZY < 6 OY X 6 OY X < 6 Y X Z .
2r
Pri tome
jenog
puta.
<
ponovl-
30
2.
2.
U sluaju da je
U sluaju, pak, da je
>
r =
2 spustimo na drugi njegov krak normalu koja prese a ovaj krak u nekoj
n,
V1
BC
u nekoj taki
da je
nBD > BC .
Preneemo ugao
strane.
Moe nastupiti sluaj da slobodni krak ugla dobijen najkasnije pri
n-tom
vai
m >
2.
E
C
Otuda sledi
n >
2.
31
Neka je za
n <
2r1 .
odn.
n sa . Uglovi 2r1
i r mogu se
2
prirodni broj
Oznaimo ugao
odn.
>
2r1 > m sledi nejednaina 2r1
= ,
Stoga na
2r
< .
BC
ima taku
B = , 6 C =
tako da vai
koja je polovi.
A = ;
druga
Prema stavu 26 du
Produimo du
E.
AD
ADC
EDB
do take
15), aksioma
III5
se
, ,
trougla
ABE
rela ije
+ = , = + .
Prema tome, trougao
Iz nejednaine
ABE
,
Za svaki trougao
ABC .
ABC
a odatle
r,
2 ili jednak sa 2 , i
+ + = 2 + ,
32
gde
prav ugao.
tako, da bude
2r
< .
, ,
2r
< .
U ovom trouglu je
+ > 2,
to protivurei stavu 22. Time je dokazan prvi Leandrov stav.
Ako etvorougao
BCN 6 ADN .
AM N D i BM N C su podudarni.
ABCD sva etiri ugla prava, onda noriz neke take E prave CD na suprotnu stranu AB stoji
Dakle, etvorouglovi
EF
sputena
normalno i na
CD.
D
E1 C
E2
F1 B
F2
33
i ako tu normalu
AD
na
BC .
onda se
P.
E1 F1 i E2 F2 su,
EF . Take F1 i F2 ,
isto tako kao i taka F , lee na AB ; take E1 i E2 kao i taka E , lee na
CD. Pretpostavke prvog dela stava 36 su tane za etvorouglove EF F1 E1 ,
EF F2 E2 i E1 F1 F2 E2 , a odatle sledi jednakost etiri ugla sa temenima u
takama E, E1 , E2 . Prema tome kod jedne od ovih taaka nastaju dva jednaka uporedna ugla (u gornjoj guri kod take E1 ); tj. ta etiri jednaka ugla
Oglednimo du
EF
P ,
Ogledalske slike
su prava.
S t a v 38.
ABCD
Neka je
A B C D
etvorougao
A B C D
AB1 C1 D1 ,
podudaran
D
D1
U sluaju da se taka
A, B, D.
Konstruiimo
etvorouglu
se poklapa sa uglom
etvorougla
ABCD.
C
F
C1
B1
D1
izmedju
D,
Stav 37
ugao.
A, B, B1 i A, D, D1 .
Pomou stava 38 moe se dokazati drugi Leandrov stav.
S t a v 39 (drugi Leandrov stav). Ako je ma u kom trouglu zbir uglova
jednak dvama pravim, onda je zbir uglova svakog trougla jednak dvama
pravim.
34
D o k a z.
ABC
Svakom trouglu
2w
sa zbirom uglova
moemo dodeliti
etvorougao koji ima tri prava ugla, a iji je etvrti ugao jednak
w.
Radi
ili 6
nije tup.
Ako iz sredine dui
FG
podignemo normalu
AKJF
svaki od ova dva etvorougla ima tri prava ugla, a etvrti uglovi su jednaki,
tj.
F AB 6 GBA.
6
Stoga se dobija
F AB w,
D1
V2 .
etvorougao
V1
AKJF
D2 .
Dodelimo im etvorouglove
V2
V2
V1
III5 ne moe se
I, II, III14 , IV i V .
Izabraemo take, prave i ravni obine geometrije za elemente nove prostorne geometrije i denisaemo prenoenje uglova na isti nain kao i u obinoj
geometriji, npr.
x2 , y2 , z2 ;
A1
A2
x1 , y1 , z1
35
A1 A2
A1 A2 i A1 A2
treba
zvati podudarnim ako one u gore ustanovljenom smislu imaju jednake duine.
Neposredno je jasno da u tako izgradjenoj prostornoj geometriji vae
aksiome
III5 ).
pravu
x = t + ,
y = t + ,
z = t + ,
u kojima je
, , , , ,
parametar, a
(t1 t2 )|p( + )2 + 2 + 2 |,
(t2 t3 )|p( + )2 + 2 + 2 |,
(t1 t3 )| ( + )2 + 2 + 2 |,
A1 A2
III5 .
III5
A2 A3
A1 A3 .
Odatle se
z=0
etiri take
O sa koordinatama x = 0, y = 0,
A sa koordinatama x = 1, y = 0,
B sa koordinatama x = 1, y = 0,
C sa koordinatama x = 0, y = 12 .
taku
taku
taku
taku
Dui
COB
OA, OB
OC
AOC 6 COB ,
OA OC ,
OC OB .
C(0,
)
2
1
1
B(1, 0)
O(0, 0)
A(1, 0)
AOC
36
III5
OAC
uglovi 6
OCB
i 6
2 , a du
2
BC
AC
2 . Takodje ne
2
2+
AOC i COB .
III5 ,
V5
(Ne-arhimedska geometrija)
Da bismo dokazali nezavisnost Arhimedove aksiome
V1 ,
moramo kon-
V.
od
U ovom
ilju konstruiimo podruje (t) svih onih algebarskih funk
ija
t koje se dobijaju iz t primenom pet raunskih opera
ija: sabiranja, oduz-
mnoina elemenata
t,
- je isto kao i
(t)
t.
broj vrednosti od
(t)
t,
(t);
alge-
ma
koja dva razliita broja ovog kompleksnog brojnog sistema, rei emo da je
a vei ili manji od b, i pisati: a > b ili a < b, prema tome da li je razlika
c = a b, kao funk
ija od t uvek pozitivna ili uvek negativna za dovoljno
velike pozitivne vrednosti od t. Ako se ovako uzme, moemo rasporediti
broj
jednaina
n t,
> 0.
n<t
t,
nit
podruja
(t),
poto razlika
t.
37
nain: brojevi 1 i
(t),
podruja
koja su oba
> 0,
imaju to svojstvo da
(t)
izgraditi geometriju
postojanje jednaine
ux + vy + wz + r = 0
(x, y, z)
izraava da taka
lei u ravni
(u : v : w : r)
v : w.
u :
aksiome.
Da je aksioma potpunosti
sioma
I IV, V1 ,
V2
(M. Dehn)
I III .
je
p r a v a,
to
jednom
jednak
vai
za
ma
sa
kom
dva
trouglu
prava
ili
zbir
m a nj i
uglova
od
dva
vei
od
p r a v a,
s v a k i t r o u g a o.
pretpostavke
beskonano
mnogo
da
se
kroz
paralelnih
jednu
taku
prema
moe
datoj
povui
pravoj
ne
38
s l e d i,
ako
uglova
se
i s k lj u i
trouglu
s t r a n e,
postoji
se
kojoj
kroz
Arhimedova
m a nj i
od
dva
a k s io m a,
p r a v a.
g e o m e t r i j a (n e-l e a n d r o v s k a
jednu
taku
prema
da
je
U p r a v o,
jednoj
zbir
jedne
g e o m e t r i j a),
pravoj
moe
R i m a n o v e (e l i p t i n e)
g e o m e t r i j e.
g e o m e t r i j a (p o l u e u k l i d s k a
beskonano
mnogo
druge
g e o m e t r i j a),
paralelnih
kroz
strane
kojoj
jednu
taku
da
je
zbir
uglova
trouglu
vei
od
dva
uvek
p r a v a.
Primetiu na kraju da se, ako se doda Arhimedova aksioma, moe aksioma paralelnih zameniti zahtevom da zbir uglova u trouglu treba da bude
jednak dvama pravim uglovima.
39
Trea glava
v e z e (1-6):
1. Od broja
a+b=c
2. Ako su dati brojevi
a i b,
ili
c = a + b.
a+x=b
tako da je
odn.
y + a = b.
- tako da je za svako
istovremeno
a + o = a i o + a = a.
4. Od broja
i broja
c;
u zna ima:
ab = c
5. Ako su
ili
c = ab.
ax = b
odn.
ya = b.
istovremeno
a 1 = a i 1 a = a.
Raunska
pravila
(7-12):
a, b, c proizvoljni brojevi,
a + (b + c) = (a + b) + c
a+b=b+a
a (bc) = (ab) c
a(b + c) = ab + ac
(a + b)c = ac + bc
ab = ba.
Ako su
7.
8.
9.
10.
11.
12.
Stavovi
13. Ako su
rasporeda
aib
(13-16):
a)
40
a > b i b < a.
Ni za jedan broj
14. Ako je
15. Ako je
ne vai
a > a,
16. Ako je
a > b i c > 0,
onda je uvek i
ac > bc.
Stavovi
neprekidnosti
17. (A r h i m e d o v
onda je uvek mogue
bude vea od
b.
(17-18):
s t a v). Ako su
a>0ib>0
a + a + . . . + a > b.
18. (s t a v o p o t p u n o s t i). Nemogue je ovom sistemu brojeva dodati
kao brojeve drugi sistem stvari, tako da su u sistemu ovako proireni svi
stavovi 1-17 zadovoljeni pri odravanju odnosa izmedju brojeva; ili krae:
brojevi obrazuju sistem stvari, koji, kada se svi odnosi i svi navedeni stavovi,
ne dozvoljava vie nikakvo proirenje.
Sistem stvari koji ima samo jedan deo svojstava 1-18, nazvaemo kompleksni brojni sistem. Kompleksni sistem brojeva nazvaemo arhimedskim
ili nearhimedskim, prema tome da li on zadovoljava ili ne zadovoljava zahtev
17.
Neka od izloenih svojstava 1 - 18 su posledi
e ostalih. Nastaje zadatak
da se ispita logika zavisnost ovih svojstava.
U estom odeljku 32 i 33
odgovoriemo na dva odredjena pitanja takve vrste zbog njihovih geometrijskog znaaja, a ovde emo samo ukazati na to da svakako zahtev 17 nije
nikakva posledi
a prethodnih svojstava, poto, na primer, kompleksni brojni
sistem, posmatran u 12, zadovoljava sva svojstva 1-16, ali ne i svojstvo 17.
Uostalom, to se tie stavova neprekidnosti (17-18) vae primedbe kakve
smo uinili u 8 o geometrijskim aksiomama neprekidnosti.
14. Dokaz Paskalovog stava
U ovom i narednom odeljku poi emo u naem ispitivanju od aksioma
ravni svih grupa, tj. aksioma
aksoime.
U tom
ilju emo najpre dokazati injeni
u koja je spe
ijalan sluaj poznatog Paskalovog stava iz uenja o konusnim prese
ima i taj emo stav
ubudue kratko nazvati Paskalovim stavom. Taj stav glasi:
41
S t a v 40 (P a s k a l o v
sa AB .
B
A
C
i uglom
izmedju
a i c;
a jednoznano
odredjena hipotenu-
staviemo kratko,
a = c,
tako da simbol
du, a
proizvoljno data
jednainom
a = c.
Neka sada
c c
i da se, stoga, simboli
42
D
B
c = AB i prenesimo na
i . Zatim, spustimo iz take
B na druge krake ovih uglova normale BC i BD, spojimo taku C i D i
spustimo, najzad, iz take A normalu AE na CD .
Poto su uglovi 6 ACB i 6 ABD pravi, etiri take A, B, C, D lee na
krugu i zato su oba ugla 6 ACD i 6 ABD , kao periferijski nad istom tetivom,
podudarni. Medjutim, s jedne strane, ugao 6 ACD zajedno sa 6 CAE ini
pravi ugao, a s druge strane, 6 ABD zajedno sa 6 BAD ini takodje pravi
ugao pa su stoga i uglovi 6 CAE i 6 BAD jedan drugom podudarni,tj.
Da bismo dokazali ovo tvrdjenje, uzmimo du
CAE
6
i zato
DAE .
6
c AD, c AC ,
c (AD) AE , c (AC) AE ,
a odatle sledi tanost podudarnosti za koju smo maloas tvrdili da postoji.
Vratimo se sada guri Paskalovog stava i oznaimo presenu taku pravih
b
a
l
n
l
n
m
O
43
normale na
l, m , n;
neka normala na
(1) b c,
(2) a c,
(3) a b.
Poto, prema pretpostav
i, treba
da bude paralelno sa
l i m paralelno
m, poklopiti
(4) c b,
(5)
c a.
i uzmemo
a b.
Uzmemo li u ovoj podudarnosti u obzir, levo, podudarnost (2), a desno,
podudarnost (4), dobiemo
c c
ili
c a.
Iz ove poslednje podudarnosti, na osnovu osobine naih simbola navedene
na str. 44, odmah zakljuujemo:
(6)
b a,
a odatle
b a.
Ako uoimo normalu sputenu iz take
iz taaka
B,
na
n = AB stoji normalno
je paralelna sa n. Time je dokazan
ni
prema tome
Paskalov stav.
Za zasnivanje uenja o propor
ijama u daljem izlaganju koristiemo se
iskljuivo onim spe
ijalnim sluajem Paskalovog stava u kome vai podudarnost dui
44
OC OA ,
a otuda vai i podudarnost
OA OC
i u kome take
A, B, C
O.
U ovom
spe
ijalnom sluaju izvodi se dokaz naroito prosto, naime na ovaj nain:
Prenesimo na
OA
BD paralelna prema
O
AC .
od take
CA i
du
OB
do take
D ;
B
D
A
OC B i OAD
bie
OC B 6 OAD .
CB i BC
je
OAD 6 OB C ;
6
OD C 6 OAB .
(3+) i (4+)
OD C 6 OBA ;
zakljuujemo
OD C
OAB 6 OBA ,
OBA
takodje
45
Paskalov stav.
Ako je data ma koja prava, taka van nje i ma koji ugao, moe se
oigledno, prenoenjem ovog ugla i povlaenjem paralelne nai prava koja
prolazi kroz datu taku i prese
a datu pravu pod datim uglom. Imajui u
vidu ovu okolnost, moemo, najzad, u dokazu optijeg Paskalovog stava primeniti prost postupak, za koji imam da zahvalim jednom saoptenju s druge
strane.
Povu
imo kroz taku
OA
u nekoj taki
(1 )6 OCA 6 OD B ;
tada je, prema poznatom stavu iz uenja o krugu,
CBD A
tetivni etvor-
ougao i zato, prema stavu podudarnosti periferijskih uglova nad istom tetivom,
vai podudarnost 6
OBA 6 OD C .
D
C
B
A
O
Poto su prave
CA
AC ,
to je
(3 ) 6 OCA 6 OAC ;
iz
(1 ) i (3 )
sledi podudarnost:
6
a tada je i
BAD C
OD B 6 OAC ;
tetivni etvorougao.
(4 ) 6 OAD 6 OC B .
Dalje, poto je, prema pretpostav
i, prava
CB
paralelna sa
takodje
(5 ) 6 OB C 6 OC B ;
BC ,
imaemo
46
iz
(4 ) i (5 )
izvodimo podudarnost
OAD 6 OB C .
6
CAD B
tetivni etvor-
(6 ) 6 OAB 6 OD C .
Iz
(2 ) i (6 )
sledi:
OBA 6 OAB ,
i Paskalov stav.
Ako se taka
taaka
A, B, C
uoava.
15. Segmentni raun na osnovu Paskalovog stava
Paskalov stav, dokazan u prethodnom paragrafu, omoguava nam da
uvedemo u geometriju segmentni raun (raun duima), u kome vae bez
promene sva pravila rauna sa realnim brojevima.
Umesto rei podudarno i znaka
duima reju jednak i znakom
=.
b
c=a+b
Ako su
emo
onda
c = a + b.
Govoriemo da su dui
aib
manje od
i to emo oznaiti sa
a < c, b < c;
du
se naziva veom od
a i b,
u zna ima:
c > a, c > b.
Iz linearnih aksioma podudarnosti
III13
a + (b + c) = (a + b) + c
kao i komutativni zakon
47
a + b = b + a.
Da bismo geometrijski denisali proizvod dui
i dui
b,
posluiemo se
ab
a
1
O du 1, a
b; prenesimo, dalje, na drugi krak ugla du
a. Spojimo krajnje take dui 1 i a pravom i povu
imo prema ovoj pravoj
paralelnu kroz krajnju taku dui b; neka ona odse
a na drugom kraku du
c; tada emo ovu du c nazvati proizvodom dui a sa dui b i oznaiemo je
Prenesimo sad na jedan krak pravog ugla od njegovog temena
du
sa
c = ab.
Dokazaemo pre svega da za mnoenje dui koje smo sada denisali vai
komutativni zakon
ab = ba.
U tom
ilju konstruiimo prvo na gore ustanovljeni nain du
ab.
b
ab
a
a 1
b,
a,
na
drugom kraku i povu
imo paralelnu prema ovoj pravoj kroz krajnju taku
dui
ba
ba;
ustvari, kao
ab
48
u naem raunu duima, da sigurno vai spe
ijalan sluaj Paskalovog stava
navedenog na str. 46 za takve gure, u kojima poluprave
OA i OA
obrazuju
prav ugao.
Da bismo za nae mnoenje dui dokazali aso
ijativni zakon
a(bc) = (ab)c,
prenesimo na jedan krak pravog ugla od njegovog temena
drugi krak, isto tako od temena
dui
d = ab i e = cb
dui 1 i
b,
a na
e=cb
ae=cd
d=ab
c
a
1
ae
cd,
ae = cd
ili
a(cb) = c(ab),
takodje
a(bc) = (ab)c.
Kao to se vidi, mi smo u prethodnom dokazu kako komutativnog, tako
i aso
ijativnog zakona mnoenja, iskoristili iskljuivo onaj spe
ijalni sluaj
Paskalovog stava iji smo dokaz uspeli da dobijemo na naroito prost nain,
primenjujui samo jedanput stav o tetivnom etvorouglu.
Rezimirajui ova izlaganja, dolazimo do narednog zasnivanja zakona mnoenja u raunu duima, koje mi izgleda najprostije od svih dosad poznatih
naina zasnivanja.
Neka se na jedan krak pravog ugla prenesu temena O
b = OB , a na drugi krak jedinina du 1 = OC . Krug,
take A, B, C , prese
a drugi krak jo u taki D . Taka D se
dui
a = OA
postavljen kroz
dobija lako, bez
C.
OC
49
ab = ba
A
B
b
OCA
i 6
OBD,
OD = ab;
a zbog jednakosti uglova 6
ODA
i 6
OBC
OD = ba.
Komutativni zakon mnoenja
ab = ba
koji odavde sledi, dokazuje sad, prema primedbi na str. 50, da na str. 46
navedeni spe
ijalni sluaj Paskalovog stava vai za krake pravog ugla, a otuda
opet ( v. str. 50) sledi aso
ijativni zakon mnoenja
a(bc) = (ab)c.
Najzad, u naem raunu duima vai i distributivni zakon:
a(b + c) = ab + ac.
Da bismo njega dokazali, konstruiemo dui
tada kroz krajnju taku dui
ab, ac i a(b + c)
a(b + c)
ac
a
ab
O
i povu imo
b 1
b+c
50
bic
se oznaava sa
c
b i naziva se kolinikom od
sa
tako da je
c = ab;
b.
a, b, a , b
a : b = a : b
ne treba nita drugo da znai do segmentnu jednainu
ab = ba .
D e f i n i
i j a.
uglovi podudarni.
S t a v 41. Ako su
a, b i a , b
a : b = a : b .
D o k a z. Posmatraemo najpre naroiti sluaj, gde su uglovi zahvaeni
stranama
a, b i a , b
uneta u jedan i isti pravi ugao. Prenesimo sada od temena na jedan krak
du 1 i povu
imo kroz krajnju taku ove dui 1 pravu paralelnu obema
hipotenuzama; ova prava odse
a na drugom kraku du
e;
tada je prema
b = ea, b = ea ;
stoga imamo
ab = ba ,
tj.
a : b = a : b .
Vratimo se sada optem sluaju. U svakom od oba slina trougla konstruiimo presenu taku
odnosno
ac
bc
b
b
e
O
ba
1
r S
r
ca
ab
cb
51
ab , ac , bc , ba , ca , cb
odnosno sa
ab , ac , bc , ba , ca , cb .
Maloas dokazani spe
ijalni sluaj naeg stava daje sad propor
ije
ab : r = ab : r , bc : r = bc : r ,
ac : r = ac : r , ba : r = ba : r ;
iz ovih pomou distributivnog zakona zakljuujemo
a : r = a : r , b : r = b : r ,
a odatle
b ar = b ra , a br = a rb .
Iz ovih se jednaina dobija pomou komutativnog zakona mnoenja
a : b = a : b .
Iz stava 41 lako je izvesti osnovni stav uenja o propor
ijama, koji glasi:
S t a v 42. Ako dve paralelne prave odse
aju na kra
ima proizvoljnog ugla
dui
a, b
odnosno.
a , b ,
a : b = a : b .
Obrnuto, ako etiri dui
a, b, a , b
a, b
odnosno
Du
AB ,
a,
U ovom proirenom raunu sa duima vae tada sva pravila rauna 1-16
za stvarne brojeve, koja su izloena u 13. Istaiemo sledee injeni
e:
Uvek je:
52
a=a
a=
0.
ab =
0, onda je ili
a:b=x:y
ili
bx - ay =
kao jednainu prave
du
c,
l.
x-c;
Ako je prava
sa dui
bx - ay
bc =
0.
Y
l
y
b
C
a x
Iz ovih izlaganja moemo lako zakljuiti, nezavisno od Arhimedove aksiome, da se svaka prava moe predstaviti linearnom jednainom po koordinatama
x, y
pri emu su koe
ijenti te jednaine dui koje pripadaju datoj geometriji.
Analogni rezultati u prostornoj geometriji dobijaju se veoma lako.
Dalje izgradjivanje geometrije moe se odsad izvoditi metodom, koja se
obino primenjuje u analitikoj geometriji.
Dosad u ovom treem odeljku nismo nigde iskoristili Arhimedovu aksiomu; pretpostavimo li sad da vai ta aksioma, moemo takama proizvoljne
prave u prostoru dodeliti realne brojeve i to na ovaj nain:
53
1
1
1
2 , dalje oznaimo sredinu dui 0 2 sa 4 itd.; posle
n-tostrukog
1
2n .
1
Prenesimo sad du 0 n od take 0 kako na stranu take 1, tako i na drugu
2
izvodjenja ovog postupka, doi emo do take kojoj treba dodeliti broj
stranu na primer
brojne vrednosti
m
m
2n odnosno - 2n . Iz Arhimedove aksiome moe se lako za-
A, B, C
B lei izmedju A i C ,
<< ili >> .
to ovi
V2
ili ne.
Naprotiv, ako se u nekoj geometriji pretpostaviti da vai samo Arhimedova aksioma, uvek je mogue sistem taaka, pravih i ravni tako proiriti
ira
ionalnim" elementima, da na svakoj pravoj tako konstruisane geometrije
svakom sistemu triju realnih brojeva koji zadovoljava jednainu prave bez
izuzetka odgovara jedna taka. Odgovarajuom postavkom moe se istovremeno postii da u proirenoj geometriji vae
s v e
aksiome
I V.
Ova
V2 .
54
etvrta glava
I13 i II IV .
ma kojom
izlomljenom linijom koja ela lei u unutranjosti tog poligona i koja ne sadri
P1 i P2 ,
P ; u tom sluaju emo
na P1 i P2 , i l i P1 i P2
se raspada na
sastavljaju
P1
P2 ,
i l i
je razloeno
P.
D e f i n i i j a.
razloiti u konaan broj trouglova koji su dva i dva medju sobom podudarna.
D e f i n i
i j a. Dva prosta poligona
Q nazivaju
se dopunski jednakim
ako se njima moze dodati konaan broj takvih po dva i dva razlozivo jed-
i Q + Q + Q + . . . + Q budu razloivo
poligona P + P + P + . . . + P
nakih poligona
jednaka.
P
Q
P
Q
P
55
P2
12
7 8
4 9 10 11
6
13
12
14
15
16
P1
13
7
1
4
16
5
11 8
10
9
15
14
1
4
3
5
7 8
11
9
16 15 10
12
14
13
P3
P3 ,
P1
P2
P2
P3 ,
P1
P1
tako i
P2 .
P3
P1 i P2 ;
po dva i dva medju sobom podudarna trougla i zato su oni, prema deni
iji,
medju sobom razloivo jednaki.
Dokaz drugog iskaza stava 43 dobija se sad bez tekoa.
Denisaemo na obian nain pojmove: pravougaonik, osnovi
a i visina
paralelograma, osnovi
a i visina trougla.
56
Svaki trougao
ABC
pa se du
medju sobom su
d o p u n s k i
j e d n a k a.
razloivo
j e d n a k a. Primetimo
ipak da ovaj dokaz nije mogu bez upotrebe Arhimedove aksiome; ustvari, u
svakoj ne-arhimedskoj geometriji (jedna takva se moe videti u drugoj glavi
12) mogu se navesti dva trougla koja imaju jednake osnovi
e i visine i otuda
su, shodno stavu 46,
j e d n a k a.
dopunski
razloivo
57
1
2
3
2
3
6
8
odnos
n e a.
AD u njenim krajnjim takama normale AC i DC
ABC i ABC , prema stavu 46, dopunski su jednaki. Iz
Podignimo na dui
duine
e.
Trouglovi
stava 23 sledi da je zbir dveju strana trougla vei od tree strane, gde zbir
dveju strana treba razumeti u smislu segmentnog rauna uvedenog u treoj
glavi.
e
e B
D
a
Tako je -BC
< e + e = 2e.
neprekidnou, ovaj stav: du, koja
ela lei u unutranjosti trougla, manja
je od njegove najvee strane.
trougla
ABC
manja od
2e.
k,
ABC
ABC
ABC
na
ABC ,
od 2e.
6ke.
Razlaganje trouglova
ABC
AC , tj. mora vaiti: AC < 6ke, i stoga, prema stavu 23, tim
pre vai: q<6ke. Ovo protivurei naoj pretpostav
i u odnosu na dui e i a.
58
s v i
Sa
o oo o o o
pomou aksioma
AB
njoj u dve oblasti taaka. Za jednu od ovih oblasti rei emo da lei desno
AB
59
ABC
AB, BC, CA ili levo od strana CB, BA, AC . U prvom sluaju emo rei:
ABC (ili BCA ili CAB ) je pozitivni smer obilaenja, a CBA (ili BAC ili
ACB ) je negativni smer obilaenja trougla; u drugom sluaju emo rei:
CBA je pozitivan, a ABC je negativan smer obilaenja trougla.
D e f i n i
i j a. Ako u trouglu ABC sa stranama a, b, c konstruiemo dve
visine ha = AD i hb = BE , onda iz slinosti trouglova BCE i ACD , po
stavu 41, sledi propor
ija
a : hb = b : ha ,
tj.
aha = bhb ;
prema tome je u svakom trouglu proizvod osnovi
e i njoj odgovarajue visine
nezavisan od toga koja se strana trougla uzme za osnovi
u. Dakle, polovina
proizvoda osnovi
e i visine jeste neka za trougao
ABC
karakteristina du
a.
C
D
a
b
E
ha
A
hb
c
Pozitivnu
du
OA i BC
D.
60
C
D
A
= [ODB + [DAB ,
[OAB
[OBC
= -[OCB = -[OCD
- [ODB ,
= [OCD + [CAD.
[OCA
O, na slian nain
k ,
Ako se trougao
ABC
ABC
pri pozi-
ABC
D o k a z. Neka je na primer
ABC
i neka je
trougla
DEF
DE du u unutranjosti
DEG naeg razlaganja.
trougla
ABC ,
O
C
Bm
C1
D
F
E
B1
Cm
A A1
Al
61
Tada za
svaku
du
DE ,
ABC ,
sa desne
strane jednaine otpada mera povrine [ODE . Ako oznaimo take, iskorie-
= [ABC .
D e f i n i
i j a.
pozitivnom smeru obilaenja kao zbir mera povrina svih trouglova sa pozitivnim smerom obilaenja na koje se raspada dati poligon pri nekom odredjenom razlaganju, onda, na osnovu stava 50, doznajemo slinim nainom zakljuivanja koji smo primenili u 18 pri dokazu stava 43 da je mera povrine
[P nezavisna od naina razlaganja poligona u trouglove i stoga se jednoznano odredjuje samo poligonom.
Iz ove deni
ije zakljuujemo pomou stava 50 da r a z l o iv o j e d n a k i
poligoni
imaju
jednake
mere
[P
+ P + . . . + P = [Q + Q + . . . Q
[P
= [Q
.
.
.
[P
= [Q
62
lako zakljuujemo da je
[P
= [Q,
tj. d o p u n s k i j e d n a k i p o l i g o n i i m a j u j e d n a k e m e r e p o v r i n e.
21. Dopunska jednakost i mera povrine
Nali smo u 20 da dopunski jednaki poligoni uvek imaju jednake mere
povrine.
g,
Naime,
odgovarajue visine sa
h i h
1
2 gh
i posle deoba sa
= 12 gh
1
2g
h = h ;
ovo je tvrdjenje stava 48.
Sada se moe takodje obrnuti iskaz uinjen na kraju 20. Ustvari, neka
su
iE
- poligonu
Q.
P,
da i trouglovi
dopunski jednaki.
Obe injeni
e nadjene u ovom i prethodnom paragrafu obuhvatiemo u
sledeem stavu:
S t a v 51. Dva dopunski jednaka poligona imaju uvek istu meru povrine,
a dva poligona sa istom merom povrine uvek su medju sobom dopunski
jednaka.
Naroito dva dopunski jednaka pravougaonika koji imaju jednu zajedniku stranu moraju imati i druge strane jednake. Otuda sledi stav:
S t a v 52. Ako se pravougaonik razloi pomou pravih u vie trouglova i
ako se izostavi samo jedan od ovih trouglova, onda se pravougaonik ne moe
vie ispuniti ostalim trouglovima.
Ovaj su stav uzeli
aksiomu, a
F. u r
Dezolt
(De
V. K i l i n g
Zolt) i O.
Killing )
(W.
tol
(O.
Stolz )
kao
su ga dokazali pomou
63
Paskalovom stavu (stav 40) ili tanije, na spe
ijalnom sluaju (str. 46) ovog
stava, to se pokazuje da je Paskalov stav najvaniji element za izgradnju
uenja o povrinama.
Lako doznajemo da se i obrnuto Paskalov stav moe dobiti iz stavova
46 i 48.
CB
C B
B
A
O
OAA i OBB
dopunski jednaki, to se
Dalje, lako uvidjano da poligon koji
eo lei u unutranjasti drugog poligona uvek ima manju meru povrine no ovaj drugi i zato, prema stavu 51, ne
moe biti njemu dopunski jednak. Ova injeni
a sadri stav 52 kao spa
ijalan
sluaj.
Sa ovim smo zasnovali bitne stavove uenja o povrinama u ravni.
Jo je G a u s (K.
F . Gauss)
64
P. Sydler)
J. P. S i d l e r
65
Peta glava
Dezargov stav
22. Dezargov stav i njegov dokaz u ravni
pomou aksioma podudarnosti
Od aksioma postavljenih u prvoj glavi, sve aksiome grupa
su linearne, a delom aksiome ravni; aksiome 48 grupe
II V
delom
su jedine prostorne
ravna
I48 .
U ovoj i narednoj glavi neemo se uopte koristiti aksiomama podudarnosti. Usled toga ovde se mora za osnovu uzeti aksioma paralelnih
IV
IV
Neka je
proizvoljna
prava i
takom
66
I, II ,IV ;
prema ovoj
nu an
I , II , IV .
I13
II IV ,
v : w),
pri emu
u, v
(x, y)
(u :
ux + vy + w = 0
predstavlja uslov in
iden
ije take i prave.
matriji obrazuje, prema 17, brojno podruje, za koje vae svojstva 116
nabrojana u 13; i zato moemo pomou ovog brojnog podruja konstruisati prostornu geometriju slino onome to je uradjeno u 9 ili 12 pomou
brojnih sistema
(t);
(u, v, w, r),
u kome
u, v, w
(x, y, z)
nisu is-
tovremeno jednake nuli, pretstavlja ravan, dok bi prave bile denisane prese
i
dveju ravni; pri tome linearna jednaina
ux + vy + wz + r = 0
izraava da taka
(x, y, z)
lei u ravni
(u : v : w : r).
poreda taaka na pravoj ili rasporeda taaka ravni u odnosu na pravu u njoj
ili, najzad, rasporeda taaka u odnosu na ravan u prostoru, on se odredjuje
pomou nejednaina medju duima na slian nain kako je to uradjeno u 9
za ravan.
Poto unoenjem vrednosti
z = 0
IV .
I13 , II
rezultata:
S t a v 54. Postoji ravna geometrija u kojoj su zadovoljene aksiome
tj.
67
aksiome podudarnosti
III5 ,
Dezargov
stav se, prema tome, ne moe izvesti samo iz pomenutih aksioma; za njegov
dokaz neophodne su ili prostorne aksiome ili aksioma
III5
o podudarnosti
trouglova.
D o k a z. U obinoj ravnoj Dekartovoj geometriji, iju smo mogunost
ve dokazali u drugoj glavi 9, primeniemo deni
iju pravih linija i uglova
na ovaj nain. Uzmimo ma koju pravu Dekartove geometrije kao osu i razlikujmo na ovoj osi pozitivni i negativni smer, kao i pozitivnu i negativnu
poluravan u odnosu na ovu osu.
Uzmimo sada kao pravu nae nove geometrije osu i svaku prema njoj
paralelnu pravu Dekartove geometrije, zatim svaku pravu Dekartove geometrije, ija poluprava koja lei u pozitivnoj poluravni obrazuje sa pozitibnim smerom ose prav ili tup ugao, i, najzad, svaki sistm dveju polupravih
h, k
h,
a produenje
poluprave
k , koja lei
tako da
u
u
tan
= 2.
tan
Raspored taaka i duine dui i na onim pravima koje se u Dekartovoj
ravni pretstavljaju kao sistem dve poluprave deniu se na oigledan nain,
kao i obino. U tako denisanoj geometriji, to se lako uvidja, vae aksiome
jednu taku jednostruko pokrivaju ravan. Osim toga u jednoj geometriji vae
i aksiome
V.
poz.
Osa
neg.
nijedan
poluprava
u novoj
krak polupravu k mesto h (videti prethodnu sliku). Ovaj postupak denisanja za dva para uporednoh uglova pokazuje gura levo. Na osnovu nae
68
III4 ;
(l, m)
vai:
Osa
Osa
stav
novoj
ravnoj
geometriji
ne
v a i.
Osim
toga, isto je tako lako na
rtati guru koja pokazuje da ni Paskalov stav ne
vai.
Ovde izloena ravna nedezargovska geometrija slui istovremeno kao
primer ravne geometrije, u kojoj vae aksiome
I13 , II , III14 , IV , V
I13 , II, IV
, tj.
sve
O,
i u daljim
ije krajnje take proizvoljno lee na jednoj od ovih dveju stalnih pravih. I
samu taku
smatrajmo kao du
O,
a+b, C
1, E
a, A
O
A
A
a
E
1
B C
b a+b
69
OO = 0
Neka su
kroz taku
O;
ili
0 = OO.
OE i OE
OE = OE = 1
ili
1 = OE = OE .
Pravu
EE
kratko nazivamo j e d i n i n o m
p r a v o m. Dalje, ako su
OA = OA
ili
OA = OA.
a = OA i b = OB ,
koje lee na
OE ,
Ove e se dve paralelne sei u nekoj taki A . Najzad, povu imo kroz taku
ili
a + b = c.
C,
A
A
OA
A
a
B
b
C
a+b
i A
Radi dokaza pretpostavimo da su kako take A i A tako i take A
dobivene na navedeni nain i da je taka C na pravoj OA tako odredjena, da
paralelno
prava CA bude paralelna prema AA . Treba dokazati da je i C A
Odaberimo na pravoj
paralelnu prema
ma koju taku
70
sa
AA .
Trouglovi
AA A
CA A
varajua temena tih trouglova paralelne, a poto su, sem toga, odgovarajue
strane dvaju parova, naime
A A
A A
kao i
AA
CA ,
paralelne, to su
AA
C A
ab, C
1, E
a, A
A
a
E
1
B
b
a = OA
i dui
b = OB ,
posluiemo
se potpuno istom konstruk ijom datom u 15, samo emo ovde uzeti umesto
OE
pisati:
c = ab
ili
ab = c.
I13 , II, IV
Dezargov stav.
Pokazaemo pre svega, da za sabiranje dui denisano u 24 vai k o m u t at i v n i zakon
a + b = b + a.
Neka je
a = OA = OA ,
b = OB = OB ,
BB paralelne jedininoj
pravoj. Konstruiimo sad take A i B , povlaei A A i B B paralelno
AA
71
C
b, B
a, A
D
A
A
a
B
b
C
a+b=b+a
AB i A A sa F , a presenu
trougli OAA i
OA
OA
DA ,
AA
B A
paralelne. Is-
asosijativni
zakon sabiranja:
a + (b + c) = (a + b) + c.
Neka su na pravoj
OE
date dui
a + b = OG, b + c = OB , (a + b) + c = OG
OE
D
i spojimo je sa takama A i B . Pravu povuenu paralelno kroz taku D
prema OA prese
aju obe paralelne prema OD , povuene kroz take B i
C , u po jednoj taki F odn. D . Prave povuene paralelno kroz taku F
prema AD odn. kroz taku D paralelno prema BD prese
aju sada pravu
OA u gore pomenutim takama G odn. B ; dalje, prava povuena kroz
taku
72
F
H
H
O
A
a
B G
C
c
b a+b
B G
b+c (a+b)+c=a+(b+c)
GF H
G F paralelna prema
GF ,
G F H
AD.
a(bc) = (ab)c.
Neka su na prvoj od dveju stalnih pravih kroz taku
1 = OA, b = OC, c = OA ,
a(bc)=(ab)c, D
bc, B
ab, D
b, B
a, G
O
F
F
A
1
C A
b c
C
bc
a = OG i b = OB.
Da bismo, prema pravilu u 24. redom konstruisali dui
bc = OB i bc = OC ,
date dui
73
ab = OD,
(ab)c = OD ,
A B paralelno sa AB, B C paralelno sa BC , CD paralelno sa
AG, kao i A D paralelno sa AD; kako se odmah vidi, tada se nae tvrdjenje
svodi na to da i CD mora biti paralelno sa C D . Oznaimo li sada presenu
CDF
C D F
CD
paralelno sa
C D .
Najzad emo dokazati u naem raunu duima na osnovu Dezargovog
stava oba distributivna zakona
a(b + c) = ab + ac
(b + c)a = ba + ca.
Radi dokaza prvog distributivnog zakona
a(b + c) = ab + ac
pretpostavimo da su na prvoj od dveju stalnih pravih date dui:
a = OA.
Prave koje su povuene paralelno prema pravoj
prese
aju pravu
OA u po jednoj taki, D
odn.
F.
EA
kroz take
o mnoenju (23),
OD = ab, OF = ac.
prema optijem pravilu sabiranja u 24 zbir
OH = b + c
dobivamo ako povuemo kroz taku
paralelnu prema
OD
u nekoj
i kroz
par-
OC , pa zatim kroz presenu taku G ovih dveju pravih parBD, koja prese
a pravu OC u ve pomenutoj taki H i pravu
taki K . Poto je OH = b + c, na osnovu pravila o mnoenju
alelnu prema
alelnu prema
OD
vai
OK = a(b + c).
74
a(b+c)=ab+ac, K
ac, F
ab, D
a, A
E
1
B C
b c
H
b+c
OE
OE
Dakle, vai
OK = ac + ab,
a otuda se pomou komutativnog zakona sabiranja izvodi prvi distributivni
zakon.
Najzad, da bismo dokazali drugi distributivni zakon, pretpostavimo da
su na prvoj od dveju stalnih pravih date dui:
1 = OE, a = OA,
a na drugoj stalnoj pravoj dui:
b = OB, c = OC.
Prava
AB
paralelna prema
EB
i prava
AC
paralelna prema
EC
odredjuju
dui
OB = ba, OC = ca.
Konstruiimo dui
OF = b + c, OF = ba + ca
opet na stalnoj pravoj
OB
75
(b+c)a=ba+ca, F
ca, C
ba, B
b+c, F
c, C
b, B
E
1
A
a
OA
D,
prema
OE
i kroz taku
prema
OC .
EB ,
koju
F.
taki D ; kroz ovu taku povu
imo paralelnu prema AB , koju OA prese
a
u pomenutoj taki
F .
pravoj.
EDF
AD F
i uvideti da su prave
AF i EF
zaista paralelne.
x, y ,
x, y
Y,
nazvaemo
paralelne
P.
Na osnovu novog segmentnog rauna i pomou Dezargovog stava dospevamo do naredne injeni e:
76
S t a v 55.
Koordinate
x, y
ax + by + c = 0;
a, b sa leve strane od koordinata x, y ;
nula, i c je proizvoljna du.
a, b
D o k a z. Aps isa
ma koje take
na osi
pretstaviti u obliku:
x = c.
Dui
c odgovara
du
c,
tako da je
c + c = 0,
a stoga vai i
x + c = 0.
l
Y -osi
S.
koja prese a
X -osu
Y-
Q.
u taki
Y
S
ax, R
l
a
O
1 Q
x
na
kroz taku
otse a
OR = ax,
a du, koja
P na l. Neka
gde je
take
je
ordinata od
P.
l,
a ne zavisi od izbora
Y -ose,
du
OS
ax + y .
ax + y = c
Du
OS = c je
du
77
sledi
ax + y + c = 0,
c opet du koja je odredjena jednainom c+c = 0. Poslednja jednaina
prave ax + y + c = 0 ima zahtevani oblik.
Lako se vidi da koordinate one take koja ne lei na pravoj l ne zadovogde je
mentna jednaina
a x + b y + c = 0,
u kojoj dui
a i b
b = 0, sleva
= 1, u sluaju
bb = 1. Tada
xa + yb + c = 0,
u kojoj dui
a = OA
v e a od dui
b = OB ;
iza
B,
rei emo da je du
u zna ima:
a>b
Lako uvidjamo da su sad u naem segmentnom raunu, na osnovu aksiome
II ,
zliitih dui obrazuje kompleksni brojni sistem, za koji vae zakoni 111,
1316 i 13, tj. sva pravila osim komutativnog zakona mnoenja i stavova
78
da
izgradimo
z a d o v o lj e n e
prostornu
sve aksiome
I, II, IV
D;
ovaj
nam
g e o m et r i j u,
sistem
u
kojoj
(x, y, z) Dezargovog brojnog sistema D kao taku, a sistem ma koja etiri broja (u : v : w : r)
sistema D , od kojih prva tri nisu istivremeno 0, kao ravan; ali, neka sistemi
(u : v : w : r) i (au : av : aw : ar), gde a znai ma koji broj razliit od 0 u
sistemu D , pretstavljaju istu ravan. Neka postojanje jednaine
Da bismo ovo uvideli, zamislimo sistem ma koja tri broja
ux + vy + wz + r = 0
izraava da taka
(x, y, z)
lei u ravni
au = u , av = v , aw = w .
Rei e se da taka
(x, y, z)
[(u : v : w : r ), (u : v : w : r )],
(u : v : w : r ) i (u : v : w : r ).
Smatra
D,
I i IV
zadovoljene.
Neka su
[(u : v : w : r ), (u : v : w : r )];
rei emo da taka
(x2 , y2 , z2 )
(1)
(2)
(3)
79
Ako napr. vai jedna od dveju dvostrukih nejednaina (1), lako zakljuujemo
da mora vaiti ili
da isto tako vai
u xi + v yi + w zi + r = 0,
u xi + v yi + w zi + r = 0,
i = 1, 2, 3
sa podesno izabranim brojevima sistema
D,
koji su
6= 0,
i zatim sabirajui
u xi + v yi + r = 0
(4)
(i = 1, 2, 3).
Ovde sigurno koe
ijent
brojeva
x1 , x2 , x3 .
U sluaju da je
u = 0,
dobiva se
y1 = y2 = y3 .
Ako je pak
u 6= 0,
onda iz
nije 0, imamo
II13 .
80
lee na jednoj odn. drugoj strani date prave. Tada treba dokazati da je ova
postavka jednoznana i da je u saglasnosti sa postavkom na str. 8. Ovaj se
dokaz moe lako izvesti.
Tako smo doznali da su zadovoljene sve aksiome
I, II, IV
u ovoj pros-
D.
I13 , II, IV ;
II , IV ;
I13 ,
vai i Dezargov stav, moe se, prema 24, uvesti raunu duima;
tada elementi ovog rauna duima obrazuju, pri podesnoj postav
i rasporeda,
uvek Dezargov brojni sistem.
30. Znaaj Dezargovog stava
Kad su u nekoj ravnoj geometriji zadovoljene aksiome
I13 , II, IV
i,
osim toga, vai Dezargov stav, onda je, prema poslednjem stavu, uvek mogue
u ovoj geometriji uvesti segmentni raun, za koji vae pravila 111, 1316 u
13. Posmatraemo dalje, ukupnost ovih dui kao kompleksni brojni sistem
i od njega emo izgraditi, prema izlaganjima u 29, prostornu geometriju, u
kojoj vae sve aksiome
I, II, IV .
(x, y, 0)
i one prave na kojima lee samo takve take, dobiemo ravnu ge-
ometriju.
II , IV ;
I13 ,
I, II, IV .
Tako se Dezargov stav za ravnu geometriju moe u izvesnom smislu karakterisati kao rezultat elimina
ije prostornih aksioma.
Nadjeni rezultati takodje nam omoguavaju da uvidimo da se svaka prostorna geometrija, u kojoj su zadovoljene sve aksiome
I, II, IV ,
moe uvek
81
shvatiti kao deo neke geometrije od proizvoljno mnogo dimenzija; pri tome
treba da se pod geometrijom sa proizvoljno mnogo dimenzija razume ukupnost taaka, pravih i ravni i jo drugih elemenata, za koje su zadovoljene na
odgovarajui nain proirene aksiome veze, rasporeda, kao i aksioma paralelnih.
82
esta glava
Paskalov stav
31. Dva stava o mogunosti dokaza Paskalovog stava
Kao to je ve pomenuto, Dezargov stav (stav 53) se moe dokazati iz
aksioma
I, II ,IV ,
tj.
upotreba
a k s i om a
III ,
ak ako se
n e p r e k i d n o s t i.
II IV ,
I13 ,
ne
koristei
se
i s k lj u e nj e
Arhimedove
a k s i o m e.
V1
I, II, IV ,V1 ,
tj.
Arhimedovu aksiomu.
S t a v 58. Paskalov stav (stav 40) se ne moe dokazati na osnovu aksioma
I, II, IV ,
U formula
iji ova dva stava, na osnovu opteg stava 56, mogu se prostorne aksiome
stav(stav 53).
I48
83
Najpre primetimo:
ako je
sistema i ako je
n = 1 + 1 + ... + 1
pozitivan
eo ra
ionalan broj, onda za
an = a(1 + 1 + . . . + 1) = a 1 + a 1 + . . . + a 1
i isto tako
na = (1 + 1 + . . . + 1)a = 1 a + 1 a + . . . + 1 a.
Neka medjutim, nasuprot naem tvrdjenju, postoje dva broja
a, b u naem
c(> 0),
tako da je
(a + b + 1)c = ab ba.
Najzad odaberimo broj
min
za koja je
md < a (m + 1)d
odn.
nd < b (n + 1)d.
Postojanje ovih brojeva
m, n
ab mnd2 + (m + n + 1)d2 ,
84
ba > mnd2 ,
i oduzimanjem
ab ba < (m + n + 1)d2 .
Sad je
(m + n + 1)d < a + b + 1,
tj.
ab ba < (a + b + 1)d
ili zbog
d<c
ab ba < (a + b + 1)c.
c,
a time je stav 59
dokazan.
33. Komutativni zakon mnoenja u ne-arhimedovom brojnom sistemu
S t a v 60. Za ne-arhimedov brojni sistem komutativni zakon mnoenja
nije nuna posledi
a ostalih zakona rauna; to znai, postoji brojni sistem
koji ima u 13 nabrojane osobine 1-11,13-16-Dezargov brojni sistem prema
28-, u kome ne vai komutativni zakon mnoenja (12).
D o k a z. Neka je
T = r0 tn + r1 tn+1 + r2 tn+2 + . . . ;
neka u njemu
je
r0 (6= 0), r1 , r2 , . . .
dodajmo broj 0.
n, r0 , r1 , r2 . . .
parametar, a S
neka je
drugi
S = sm T0 + sm+1 T1 + sm+2 T2 + . . . ;
neka u njemu
neka je
T0 (6= 0), T1 , T2 , . . .
S,
(s, t), u
T,
Ukupnost svuh
izraza oblika
sistem
sit
ts = 2st.
85
S ,S
S:
S = sm T0 + sm +1 T1 + sm +2 T2 + . . . ,
+1
S = sm T0 + sm
+2
T1 + sm
T2 + . . . ,
S + S,
S + S
S i S .
izraza S , S ,
dolazimo
+1
S S = sm T0 sm T0 + (sm T0 sm
+2
+(sm T0 sm
+1
T2 + sm +1 T1 sm
T1 + sm +1 T1 sm T0 )+
T1 + sm +2 T2 sm T0 ) + . . .
S;
i broja predstavljenog sa
S .
S = sm T0 + sm +1 T1 + sm +2 T2 + . . .
i
ijent r0 iz
+1
= sm T0 + sm
S
+2
T1 + sm
T2 + . . .
(2)S S = S ,
nalazimo na jednoznano odredjen nain najpre
eo broj
kao izloila , a
T0 , T1 , T2 , . . .
tako da izraz
+1
S = sm T0 + sm
+2
T1 + sm
T2 + . . .
zadovoljava jednainu (2) pri upotrebi obras a (1). Slino vai za jednainu
S S =S .
Ovim je traeni dokaz izveden.
86
(s, t), usvojimo ove postavke: za neki broj ovog sistema se kae da je < ili
> 0, prema tome da li je u izrazu S koji ga predstavlja prvi koe
ijent r0 od
T0 < ili > 0. Ako su data ma koja dva broja a i b tog kompleksnog brojnog
sistema,onda se kae da je a < b odn. a > b, prema tome da li je a b <
ili > 0. Neposredno je jasno da pri ovim postavkama takodje vae pravila
13-16 u 13, tj. da je (s, t) Dezargov brojni sistem (up. 28).
Pravilo 12 u 13, to pokazuje jednaina (1), nije zadovoljeno u naem
kompleksnom brojnom sistemu
(s, t),
stava 60.
U saglasnosti sa stavom 59, ne vai Arhimedov stav (stav 17 13) za
maloas postavljeni brojni sistem
(s, t).
I , II , IV ,
onda
u toj geometriji vai i Dezargov stav (stav 53) i stoga je, prema poslednjem
stavu u 28, u toj geometriji mogue na svakom paru pravih koje se seku
uvesti raun duima, za koji vae pravila 1-11, 13-16 u 13.
Pretpostavimo li pak Arhimedovu aksiomu
V1
Y
ab=ba
b
a
stav (stav 17 u 13), a stoga, prema stavu 59, vai i komutativni zakon
mnoenja.
(s, t) uveden u
I, II, IV .
(s, t).
87
I13 ,II , IV ,
ABC i A B C
L
B
N
B
A
sa
taku
ON ALA B
ON
paralelno sa
A L,
pa zato
paralelno i prema
ra
ije
CB ,
ON M ACB
tako i
paralelne.
Sporedne pretpostavke uinjene pri dokazu, dadu se sada redom odstraniti. Ovde emo izostaviti dokaz ovog svodjenja.
88
I13 ,II , IV ,
(u : v : w),
(x, y),
ux + vy + w = 0,
a paralelnost pravih
(u : v : w) i (u : v : w )
propor ijom
u:v=u :v.
Neka u datoj geometriji postoji sada ist stav o presenim takama.
Pod
istim stavom o presenim takama razumemo ovde stav koji sadri neki
iskaz o in
iden
iji taaka i pravih i o paralelnosti pravih, pri emu se ne
iskoriavaju drugi odnosi, kao napr. podudarnost ili upravnost. Svaki takav
ist stav o takama preseka ravne geometrije moe se svesti na naredni oblik:
Neka se najpre proizvoljno odabere sistem od konano mnogo taaka i
pravih; zatim neka se povuku, na ranije propisani nain, prema izvesnim
od ovih pravih proizvoljne paralelne, neka se odaberu na izvesnim pravima
proizvoljne take i povuku kroz izvesne take proizvoljne prave; ako se tada
na propisani nain konstruiu spojne prave, presene take kao i paralelne
kroz ve postojee take, dolazi se najzad do odredjenog sistema konano
mnogo pravih, o kojima stav iskazuje da one prolaze kroz istu taku odn. da
su paralelne.
Koordinate taaka i pravih, koje smo najpre sasvim proizvoljno odabrali,
posmatraemo kao parametre
pn+1 , . . . , pr ,a ostale njihove koordinate e biti izraene parametrima p1 , . . . , pr . Koordinate svih spojnih pravih, presenih taaka i paralelnih,
koje se sada dalje konstruiu, bie izrazi A(p1 , . . . , pr ) ra
ionalno zavisni
parametri
od ovih parametara.
89
tvrdjenje da izvesni takvi izrazi za iste vrednosti parametara daju iste vrednosti; to znai, stav o presenim takama iskazuje da da odredjeni izrazi
R(p1 , . . . , pr ),
p1 , . . . , pr ,
uvek isezavaju
R(p1 , . . . , pr ),
na
osnovu zakona rauna 1-12 u 13, moraju identino ieznuti. Ali, da bismo
u naem raunu duima dokazali identino isezavanje izraza
R(p1 , . . . , pr )
I13 , II , IV
jom podesnih pomonih taaka i pomonih pravih kao kombina
ija konano
mnogo Paskalovih kongura
ija.
Za dokaz tanosti stava o presenim takama nije potrebno, dakle, kad
se upotrebi Paskalov stav, pribegavati aksiomama podudarnosti i neprekidnosti.
90
Sedma glava
I IV
I IV ;
ovoj glavi radi vee uproenosti, uoiemo samo ravnu geometriju koja je
sadrana u ovoj prostornoj geometriji i tada emo razmotriti pitanje koji se
elementarni konstruktivni zada
i (pretpostavljajui podesna praktina sredstva) mogu izvesti.
Na osnovu aksioma
Zadatak
1.
I, II, IV
III
strane od te take.
Zadatak
3.
strane od te prave ili konstruisati pravu koja datu pravu see u datoj taki
pod datim uglom.
Vidimo da se, ako se uzmu za osnovu aksiome
I IV ,
oni konstruktivni zada
i koji se mogu svesti na gore pomenute zadatke 1-3.
Osnovnim zada
ima 1-3 dodaemo jo ova dva:
Zadatak
Zadatak
I IV
F
E
B
1
C
1
91
takom
D
H
B
iz date take
lei na njoj.
Sad moemo i zadatak 3 lako reiti samo pomou lenjira i prenosio
a dui;
upotrebiemo, na primer naredni postupak koji zahteva samo povlaenje
paralelnih i sputanje normala: neka
ovog ugla.
D
B
c
teme
92
Da bismo, najzad, reili zadatak 2, iskoristimo narednu prostu konstruk
iju koju je dao Kirak. Neka je
na pravoj
l.
AB
B,
P
P,
paralelna prema
na onu stranu
C ; dalje,
take D .
P data taka
AB i prenese
od AP , na kojoj
pravu l od take
preneti na
E
1
l
Q
Q,
u taki
taka
paralelno prema
E.
Tada je
P E = AB .
CD
AP
prese a pravu
kroz taku
U sluaju da se prava
PC
prese a pravu
poklapa sa
P Q,
Da bismo odgovorili
R;
93
proizvoljne parametre
p.
(R); ono
p.
(R)
elementarne opera
ije rauna i pete opera
ije, koja se smatra kao izvlaenje
kvadratnog korena iz zbira dva kvadrata. Ovaj rezultat emo izraziti ovako:
S t a v 64. Jedan geometrijski konstruktivni zadatak moe se tada i samo
tada reiti povlaenjem pravih i prenoenjem dui, tj.
pomou lenjira i
Ako je sad
podruja
u podruju
sledi da podruje
mora nalaziti
su potpuno
stvarni.
Postavimo sada zadatak da se konstruie pravougli trougao ija je hipotenuza 1 i jedna kateta
| 2| 1.
2| 2| 2,
2| 2| 2
94
Naime, moe
2n
realnih reenja, i to za
sve poloaje datih taaka, tj. za sve vrednosti proizvoljnih parametara koji
se javljaju u koordinatama datih taaka.
Na osnovu razmatranja izvedenih u poetku ovog paragrafa, neposredno
je jasno da je postavljeni kriterijum potreban. Tvrdjenje da je taj kriterijum
i dovoljan, svodi se na ovaj aritmetiki stav:
S t a v 66.
p1 , . . . , pn
f (p1 , . . . , pn )
obrazovana od parametara
ova funk ija za svaki realni sistem vrednosti parametara predstavlja potpuno stvaran broj, to ona pripada podruju
1, p1 , . . . , pn
(R)
Ustvari, formule
a2
a2 + b2 + c2 =
b2
c2
d2
q p
( a2 + b2 )2 + c2 ,
q p
( a2 + b2 + c2 )2 + d2
f (p1 , . . . , pn )
(p1 , . . . , pn )
sa ra ionalnim ko-
95
tivna, moe se predstaviti kao zbir kvadrata ra ionalnih funk ija promenljivih
p1 , . . . , pn
1, p1 , . . . , pn
svaka
f (p1 , . . . , pn )
66. Proirimo poslednje tvrdjenje na ona podruja koja se dobivaju suk
esivnim dodavanjem onih kvadratnih korena koji su potrebni za izgradjivanje
funk
ije
f.
jom konjugovanom funk
ijom nije nikad negativna moe predstaviti kao zbir
kvadrata dotinog podruja.
Dokaz emo izvesti potpunom induk
ijom. Posmatrajmo najpre oblast
koja proizilazi iz
u funk iji. Potkorena koliina ovog kvadratnog korena je ra ionalna funk ija
f1 (p1 , . . . , pn ).
Neka je
f2 (p1 , . . . , pn )
(R,
f1 )
do-
oblik
= 2a, = a2 b2 f1
su, povrh toga, ra
ionalne, dakle mogu se predstaviti, prema stavu 68, kao
zbir kvadrata funk
ija iz podruja
R.
Osim toga
se ne moe identino
anulirati.
Iz jednaine koja vai za
f2
f22 f2 + = 0
dobivamo
f2 =
f22 +
f2
= ( )2 + 2 .
i
, moe se funk
ija f2 predstaviti kao zbir
(R, f1 ). Rezultat ovako dobijen za podruje
68, koji vai za podruje R. Ponavljajui maloas
(R,
f1 )
odgovara stavu
f,
svaka funk
ija koja zajedno sa svojom konjugovanom funk
ijom nije nikad
negativna jeste zbir kvadrata funk
ija dotinog podruja. Posmatrajmo sad
ma koji kvadratni koren koji se javlja u
f.
96
p;
(M alf atti)
prob-
lem moe reiti samo pomou lenjira i prenosio
a dui, ali ne i Apolonijev
zadatak o dodiru kruga.
97
Zakljuak
Ovaj rad predstavlja kritiko istraivanje prin
ipa geometrije; u ovom istraivanju rukovodili smo se naelom da svako pitanje koje se pojavi raspravimo tako da pri tome ispitamo da li se na njega moe dobiti odgovor na
prethodno propisanom putu sa izvesnim ogranienim sredstvima.
Ovo naelo sadri, izgleda mi, opte i prirodno pravilo; ustvari, kada mi
pri naim matematikim ispitivanjima naidjemo na neki problem ili pretpostavljamo tanost nekog stava, na nagon za saznanjem je tek tada zadovoljen kad nam uspe ili da potpuno reimo taj problem i strogo dokaemo
ovaj stav, ili tada ako jasno saznamo razlog zato se ne moe uspeti, a time
istovremeno uvidimo i nunost neuspeha.
Tako u modernoj matemati
i pitanje o nemogunosti izvesnih reenja
ili problema igra vidnu ulogu i tenja da se odgovori na ovakvo pitanje
esto je bila povod za otkrie novih i plodnih oblasti ispitivanja.
se samo Abelovog
(N. H. Abel)
Setimo
(Hermite)
i Lindemanovih
98
Dodatak
pisma
M ath.Ann;
upuenog
knj. 46
F.K l a j n u)
Ako se take, prave i ravni uzmu za elemente, mogu za zasnivanje geometrije sluiti ove aksiome:
1. A k s i o m e
koje
se
odnose
na
m e dj u s o b n u
vezu
ovih
. Ako
.
dve
u ravni
B.
-Na svakoj pravoj postoje najmanje dve take; u svakoj ravni postoje najmanje tri take koje ne lee na jednoj pravoj, a u prostoru postoje najmanje
etiri take koje ne lee u jednoj ravni.
2. A k s i o m e p o m o u k o j i h s e u v o d i p o j a m d u i i p o j a m
r a s p o r e d a t a a k a n a p r a v o j. Ove je aksiome prvi postavio i sistematski ispitao M.Pa; uglavnom to su:
- Izmedju dveju taaka
trea taka
A, B
te prave.
- Od triju taaka jedne prave uvek postoji jedna i samo jedna koja lei
izmedju drugih dveju.
- Ako take
lee na pravoj
a,
na istoj
a,
A, B
tako da taka
3. A k s i o m a n e p r e k i d n o s t i, k o j o j d a j e m o v u f o r m ul a i j u:
a, i B jedna druga
taka na a takve vrste da uopte taka Ai , lei izmedju Ah i B , svaki put kad
je indeks h manji od indeksa i, onda postoji taka C koja ima svojstvo: sve
take beskonanog niza A2 , A3 , A4 , . . . lee izmedju A1 i C , a svaka druga
A1 , A2 , A3 , . . .
99
Na ovim aksiomama moe se sa punom strogou zasnovati teorija harmonijskih taaka i ako se njom posluimo na slian nain kao to je to inio
Lindeman, doi emo do ovog stava:
x, y, z ,
x, y, z
x, y, z
a svakoj
x, y, z
x, y, z
koji
koordinate take u obinom Euklidovom prostoru, tada e takama prvobitnog prostora odgovarati take unutranjosti nekog nigde konkavnog tela
Euklidovog prostora, i obrnuto, svim unutranjim takama ovog tela koje
nije nigde konkavno odgovarae take naeg prvobitnog prostora: na prvobitni prostor, prema tome, preslikan je na unutranjost nigde konkavnog tela
Euklidovog prostora.
Pri tome se pod telom koje nije nigde konkavno ima shvatiti telo sa
takvom osobinom, da, ako se dve take koje lee u unutranjosti toga tela
veu medju sobom pravom, onda deo prave koja lei izmedju ovih dveju
taaka
eo pada u unutranjost tela.
panju da ova ovde posmatrana tela, koja nisu nigde konkavna, igraju takodje
vanu ulogu i u istraivanjima iz teorije brojeva H. M i n k o v s k o g i da je
H. Minkovski naao za njih prostu analitiku deni
iju.
Obrnuto, ako je u Euklidovom prostoru dato proizvoljno telo koje nije
nigde konkavno, ono denie odredjenu geometriju u kojoj vae sve navedene
aksiome: svakoj taki u unutranjosti tela koje nije nigde konkavno odgovara taka u ovoj geometriji; svakoj pravoj koja prolazi kroz unutranjost
tela i svakoj ravni Euklidovog prostora odgovara prava odn.
ravan opte
geometrije; takama koje lee na grani
i ili van tela koje nije nigde konkavno
i pravima i ravnima Euklidovog prostora koji se
eli prostiru van tela ne
odgovaraju nikakvi elementi opte geometrije.
Prema tome, gore pomenuti stav o preslikavanju taaka opte geometrije
na unutranjost tela koje nije nigde konkavno u Euklidovom prostoru izraava
ono svojstvo elemenata opte geometrije koje je sadrajno potpuno istog
znaenja sa aksiomama postavljenim u poetku.
Denisaemo sada pojam duine dui
AB
oznaiemo u tom ilju one dve take Euklidovog prostora koje odgovaraju
B;
takama
pravu
P Q;
produimo tada
AB
i oznaimo
Euklidovog prostora
d = log{
AB
Y A XB
}
YB YA
100
YA
XB
> 1,
> 1;
YB
XA
ova duina je uvek pozitivna veliina.
Lako se mogu nabrojati svojstva ovog pojma duine koja nuno vode
izrazu navedene vrste za
Postavljena formula za
d
AB
kree prema
A,
a taka
se pribliava taki
B,
Y A XB
,
Y B XA
poveati pa, stoga, i vrednost
d.
AB
Neka je sada u unutranjosti tela koje nije nigde konkavno dat trougao
ABC .
Ravan
AB, AC, BC
Y, U
V, T
Z;
konstruiimo tada
Z
V
C
X
d;
AB
tada je
d
AB
d
d > AB
d.
AB
ABC
AB
za razliku
101
d = AC
d + BC.
d
AB
dva niza taaka X , A, D, Y i U, A, C, V , na osnovu poznatog stava o anharDa bismo to dokazali, spojimo take
Y A XD
Y DXA
V A UC
,
V C UA
XB Y D
X DY B
Y , B, D, X
T, B, C, Z
bie
ZB T C
.
ZC T B
Y A XB
Y BXA
V A U C ZB T C
,
V C U A ZC T B
ise
a iz grani
e tela koje nije nigde konkavno dva pravolinijska koU Z i T V . Poslednji se uslov moe izraziti i bez pomoi tela koje nije
nigde konkavno. Naime, ako su date dve ma koje prave a i b prvobitne geometrije koje lee u ravni i koje se seku u nekoj taki C , onda e uopte
postojati u svakom od etiri ravna ugaona prostora koja nastaju u oko C
takve prave linije koje ne seku nijednu od dveju pravih a i b; ako ipak takve
ravan
mada
prave linije ne postoje, naroito u dva ravna ugaona prostora koja lee nasuprot jedan drugome, onda je uslov o kome je re ispunjen i u tom sluaju
uvek postoje trouglovi za koje je zbir dve strane jednak treoj.
posmatranom sluaju mogu je izmedju izvesnih taaka
AiB
Dakle, u
put sastavljen
od dva pravolinijska komada ija je ukupna duina jednaka direktnom rastojanju dveju taaka
izmedju taaka
AiB
B;
isanih puteva i da ostali spojni putevi imaju veu ukupnu duinu. Lako je
izvesti is
rpnije israivanje ovog pitanja o najkraem putu, pri emu je od
naroitog interesa sluaj kada se za grani
u tela koje nije nigde konkavno
uzme tetraedar.
Na kraju dozvoljavam sebi da obratim panju na to da sam u prethodnom israivanju uvek pretpostavljao da telo koje nije nigde konkavno
elo
102
miljenje.
Klajntajh kod Rauena, 14 avgusta 1894.
103
Dodatak
II
ravnoj
Euklidovoj
g e o m e t r i j i.
i aksiomu ko-
ngruen
ije trouglova u uoj formula
iji, pri emu emo najpre uzeti da iskaz
te aksiome vai samo za trouglove i s t o g
smera
o b i l a e nj a.
Na str.
l e v o".
III5 .
ABC
A B C
AB A B , AC A C
i 6
BAC 6 B A C ,
ABC 6 A B C ,
dno sledi stav o uglovima na osnovi
i ravnokrakog trougla, stav 11 (str. 13).
Obrnuto, moe se dokazati ira formula
ija
sioma
III5
III6 . Ako su i
ugao 6
(h , k ) i ugao 6 (h , k ) kongruentni
uglu 6
(h, k) to
104
IV .
IV
str. 23.
V.
sioma potpunosti
V3
V2
sa str. 25, n e e
V1
str. 25.(Ak-
se ovde upotrebljaviti.)
AB , uvek postoji
AB .
Ova se aksioma moe dokazati pomou ire formula
ije aksiome
III5
IIV
III5
V1,3 .
parametar, a
lanova oblika
se, mnoe se, dele se tako kao da su obini, apsolutno konvergentni stepeni
redovi, kod kojih su lanovi poredjani po rastuim stepenima promenljive
t.
T.
rei emo da je
koe
ijent
a0 <
<
ili
ili
>
>
Za broj
T , rei
> 0.
u sistemu
<
> ,
T,
prvi
komplesnog
brojnog sistema
emo da je
< 0
ili
odn.
prema tome da li je
At < 1;
Ako je
A,
uvek ostaje
je ne - arhimedski sistem.
izraz oblika
a0 (=
6
0),
a1 , a2 ,
najnieg stepena
105
od
sistema
T.
( ) = c0 + c1 + c2 2 + ...
c0 , c1 , c2 ,... znae proizvoljne realne brojeve, a beskonano mali
broj sistema T opet je broj sistema T ; ovaj se red moe uporediti po rastuim
stepenima parametra t, pri emu se svaki koe
ijent dobija kao raelan broj
u kome
T,
onda emo
+ i
T , gde je i
+ i = + i
2
imaginarna jedini
a, tj. neka bude i = -1 i neka jednaina
znai da je = i = .
Ako se tada funk
ije
sin , cos , e , ei
deniu
pomou njihovih stepenih redova, tada su vrednosti funk ija opet brojevi
ei+(1+i) = e ei(+ ) .
Iz ovih deni
ija dobijaju se poznate rela
ije:
cos2 ( + ) + sin2 ( + ) = 1,
cos( + ) i sin( + ) = ei(+ ) .
Konstruiimo sada pomou sistema brojeva
nain:
Zamisliemo par brojeva (x, y ) sistema
broja (u
: v : w)
iz
T,
u sluaju da
ux + vy + w = 0
izraava da taka (x, y ) lei na pravoj (u
: v : w).
I13 i IV .
Lako se uvidja da je prava data pomou jedne svoje take (x0 , y0 ) i odnosa
dvaju brojeva
106
T,
oznaava da taka
(x, y)
pripada
s.
Tada
x x
2
1
x3 x1
y2 y 1
y3 y 1
pozitivan ili negativan. Moemo se uveriti da tako data deni
ija strane u
odnosu na pravu ne zavisi od izbora taaka
(x1 , y1 ) i (x2 , y2 ) na
pravoj slae
x + iy = ei+(1+i) (x + iy) + + i,
koje emo pisati u obliku
x + iy = [, ; + i](x + iy),
gde
i
T.
T,
Postoji
ne
kongruentno
m e nj a
p r e s l i k a v a nj e
koje
nijednoj
p o l o a j:
se
izvedu
dva
kongruentna
p r e s l i k av a nj a
jedno
z a d r u g i m, r e z u l t a t p r e d s t a v lj a o p e t k o n g r u e n t n o p r e s l i k av a nj e.
svako
kongruentno
p r e s l i k a v a nj e:
p r e s l i k a v a nj e
postoji
inverzno
107
kongruentno
K1 , K2 ,
sa
p r e s l i k a v a nj e
K2 K1 ,
onda
uvek
koje
se
dobija
K1 , K2 , K3 ,
prema
2. iz
vaiti
se
uvek
prevodi
taku
nae
g e o m e t r i j e.
Par brojeva
brojeva
4.
Prava
rasporedom
prelazi
opet
pravu
sa
potpuno
ouvanim
t a a k a.
+ i 6= 0.
+i 6= 0
Kao neposredna posledi
a sledi: dve razliite take uvek opet prelaze u
dve razliite take.
5. P o s t o j i
prevodi
datu
samo
jedno
polupravu
Neka je poluprava
kongruentno
datu
p r e s l i k v a nj e
polupravu
koje
h .
data jednainom:
jednainom:
x + iy = x0 + iy0 + ( + i )s , + i 6= 0, s > 0.
[, ; +i], koje polupravu h prevodi u h , mora,
izlazi poluprava h, prevesti u taku iz koje izlazi
Kongruentno preslikavanje
pre svega, taku iz koje
poluprava
h :
(1)
x0 + iy0 = ei+(1+i)
(x0 + iy0 ) + + i.
mora odgovarati pozitivna vred-
108
( + i )s = ei+(1+i) ( + i)s.
(2)
h .
+i
i
(3)
Ako stavimo
= e2i(+ ) +i
i .
+ i i
= + i,
i + i
dobija se
( + i)( + i) = 2 + 2 = 1
su kao brojevi iz
t;
uporedjujui ko-
ne mogu
= a + ,
= b + ,
b znae obine realne
sistema T , i da vae rela
ije
gde
brojeve, a
a2 + b2 = 1,
(4)
2(a + b ) + 2 + 2 = 0.
Jednaina (3)
e2i(+ ) = + i,
prema naim deni
ijama trigonometrijskih funk
ija, sada se moe svesti na
oblik
cos 2 = a,
sin 2 = b,
a2 + b2 = 1, moe realni broj
vrednosti od . Unoenjem para vred-
cos 2 = a, sin 2 = b,
109
cos 2 = 1 + a + b ,
sin 2 = a b ;
a poto je na osnovu jednaine (4) zbir kvadrata desnih strana 1, to je
beskrajno mali broj
2 .
s .
T . Najzad,
, , , , ne
u sistemu
h i h .
A, B u v e k p o s t o j i k o n g r u e n t n o p r e s, l i k a v a nj e
A u B i B u A.
A, B imaju koordinate x1 , y1 i x2 , y2 , onda kongruentno pres-
6. Z a d v e t a k e
koje prevodi
Ako take
likavanje
[, 0; x1 + x2 + i(y1 + y2 )]
ostvaruje ono to se trai.
7. A k o k o n g r u e n t n o p r e s l i k a v a nj e p r e v o d i p o l u p r a v u
u polupravu h i taku
u
odnosu
na
poluprave
P
h
u taku P , onda
i h.
i P isto lee
x x
2
1
x3 x1
y2 y 1
y3 y 1
(x3 , y3 )
odn.
(x2 , y2 )
(x1 , y1 )
(x3 , y3 )
(x3 , y3 ) i (x2 , y2 )
(x2 , y2 ),
odnosno
(x1 , y1 )
(x3 , y3 ).
(x1 , y1 )
110
zaista razlikuju u svojim zna
ima. Nae tvrdjenje sledi, uopte iz okolnosti,
to deni
ija strane prave pomou znaka navedene determinante, zadovoljava
svojstva strane izloena na str. 8.
Osobina 7 bie prema tome dokazana, ako se pokae da se znak determinante
x x
2
1
x3 x1
y2 y 1
y3 y 1
kongruen ije
kongruentno
1 7.
uglova
z a d o v o lj a v a
p r e s l i k a v a nj e
uzeto
za
aksiome
osnovu
III16
ima
ako
osobine
osobini 2 prevodi du AB u A B .
Analogno se dokazuje vaenje aksioma III6 .
Pokazaemo sad da ako je du AB kongruentna dui A B onda kongru
entno preslikavanje K koje prevodi polupravu AB u polupravu A B prevodi
111
razliitu od
c,
K2
koje prevodi
c. K1
prevodi
K11 ;
K2
b
b
a
a
prevodi polupravu
a u polupravu a razliitu od c.
Kongruentno preslikavanje
III4
Da vai aksioma
iz take (0,0),
oblika
x + iy = ei(+ ) s;
ta poluprava proizilazi iz pozitivne poluose
s > 0;
x pomou obrtanja [, ; 0]. Lako
O i lee u poluravni
pozitivnih
koja
x + iy = ei(1 +1 ) s;
Izlazei iz take
poluprava
s > 0.
h , naime obrtanje
[2 , 2 ; 0];
u polupravu k ija je
jednaina
x + iy = ei(1 +2 +1 +2 ) s;
s > 0.
Vai
1 + 2 + 1 + 2 > 1+ 1 ,
prema tome
ne lei u 6
(h, k).
V3
mod 2;
IV
Po-
lako se pokazuje da se za
112
Na osnovu aksiome
jedna du
OB
iz take
i sa kojom je du
dui
AB :
AB =
O(0,
0),
C( 2 , 0), D( 4 , 4 3).
[ 2
3 , 0; 2 ]
preslikavanje
predstaviti u obliku:
[, ; 0] , 0
3,
Ali, sve take, predstavljene u ovom obliku, lee na onoj strani prave
na kojoj lei
O,
koordinata take
i take
u determinanti za
x3
3
y3
CD
CD
OCD
ne postoji du koja bi
AB .
Rezimiraemo:
U naoj geometriji
obine
pri
ravne
tome
uoj
vae
sve gore
g e o m e t r i j e, i z u z e v
aksiomu
formula iji
kongruen ije
p o s t a v lj e n e
Arhimedove
trouglova
aksiome
aksiome
treba
uzeti
V1 ;
u
III5 .
[ 2 , 2 ; 0]
Neka je
[, 0; 0]
moe pre-
+
+
na ovaj nain:
[ 2 , 0; 0].
113
A,
ma na koju pravu
i produimo
do
A ;
taka
koordinatama
ei+(1+i) = + i .
Ogledalska slika
take
x ima koordinate .
+ , iz take A proizilazi
u odnosu na osu
ei+(1+i) ( i) =
tj. da taka lei na pozitivnoj osi
+i
(
x;
i) =
stoga je 6
AOB .
2 + 2
,
A OB
ovako:
Ako
se
dva
pravougla
trougla
koji
simetrino
lee
p o d u d a r a j u o b e k a t e t e, o n d a s u i o d g o v a r a j u i u g l o v i n a
hipotenuzi
m e dj u
sobom
j e d n a k i.
odgovarajuim
uglovima
prvobitne
f i g u r e.
nj o j v a e
III7
g e o m e t r i j e (up. 35).
zbiru
uglova
IV ,
stav
t r o u g l u (stav 31).
114
S R
Q
Ali, kao to emo pokazati, nijedan od ova dva stava nije zadovoljen u
naoj geometriji; a time e istovremeno biti dokazano da stav o bazisnim
uglovima ravnokrakog trougla u njoj ne vai.
Posmatrajmo trougao
cos t,-sin t.
Duina (v.
preslikavanja [0,
t;
0 i
Dobija se
OQP ,
OP
[ 2 , 0; cos t ei 2 ].
str.
121) dui
OP = et = 1 + t +
QP
cos t,0;
se pomou kongruentnog
t2
+ ...,
2
t3
+ ...,
6
t2
OQ = cos t = 1 + ....
2
rasporeda brojeva sistema T uvidja
QP = sin t = t
se da je
OQ + QP < OP .
Stav po kome je zbir dveju strana u svakom trouglu vei
od
tree
strane
ne
vai
naoj
g e o m e t r i j i.
u odnosu na pravu
OQ,
tj. teme
6
I pored toga strane
OR
OP
OR
OP R 6 ORP.
nisu medju sobom kongruentne. Duina dui
[0, t; 0]
je, naime
OR = et 6= OP = et .
Odatle emo videti da su u o p t e
pravougla
trougla
jednakih
dva
kateta
simetrino
poloena
hipote nuze
razliite
115
zato
nisu
pri
o g l e d a nj u
nuno
jednake
na
p r a v o j, d u i
duima
na
prvobitne
ogledalskoj
sli i
f i g u r e.
t r e i s t a v k o n g r u e n
i j e (stav 18) u u o j f o r m u l a
i j i u o d n o s u
na
truglove
da take
A = 0, B = t, C = tei 3
t
,
1 e(1+i)t
D=
uvideemo da je
taku
AB BD,
[0, t; t]
prevodi
B.
A i B lee
ACD i BCD,
CD.
jue strane jednake, isto lee, i drugo da oni ne mogu imati sve odgovarajue
uglove jednake.
Razmotriemo u naoj geometriji jo u Euklidovo uenje o povrinama
poligona.
trougla.
nezavisna od toga koja se strana trougla smatra osnovi
om, bio je izveden
primenom aksiome kongruen
ije trouglova na trouglove koji lee simetrino.
Da ovaj stav ne moe biti dokazan bez ire formula
ije te aksiome, moe se
uvideti na primeru trougla
OQR
str. 123.
QR = sin t;
i poto je
OQ = cos t,
J=
Nadjimo podnoje
cos t sin t
.
2
na
OR:
116
[ , t; cos t ei 2 (1+i)t ]
2
dobija se duina
QS = et sin t cos t;
a poto je
OR = et ,
vrednost
J=
et et cos t sin t
,
2
cos t sin t
.
2
Dok pojam mere povrine gubi svoj smisao bez ire formula
ije aksiome
III5
Pitagorina
katetama
jednaka
ma
t e o r e m a, p r e m a
kog
kvadratu
naoj
kojoj
pravouglog
nad
moe konstruisati
2 , i sa jednakim stranama.
svaki iznosi
III5 ,
su
trougla
geometriji
oba
kvadrata
zajedno
sada
nad
dopinski
h i p o t e n u z o m. Jer, mi uvidjamo da se u
Euklidovom dokazu Pitagorine teoreme iskoriava samo kongruen
ija trouglova koji isto lee i prema tome samo aksioma o kongruen
iji trouglova u
uem smislu.
et
et
Primenom pitagorine teoreme na trouglove
OQP i OQR
OP i OR
dopunski
izraunali, n i s u
m e dj u
j e d n a k i, m a d a
sobom
ove
na str.
123,
konstruisani
j e d n a k e.
Euklidov
s t a v, p o
kome
dva
dopunski
jednaka
117
trougla
vai
istih
naoj
osnovi a
uvek
imaju
iste
v i s i n e, t a k o dj e
ne
g e o m e t r i j i.
Ustvari, ovaj stav 48 bio je dokazan u 21, pri emu je bitno korien
pojam mere povrine.
Prema tome, naa nas geometrija dovodi do saznanja:
Nemogue je zasnovati Euklidovo uenje o povrinama na aksiomi kongruen
ije trougla u uem smislu, ak i ako se pretpostavi da vai uenje o
propor
ijama.
Poto u naoj geometriji ne vai poznati odnos izmedju hipotenuze i
kateta pravouglog trougla, odnos koji se u obinoj geometriji izvodi iz Pitagorinog stava, to u nau geometriju nazvati nepitagorejskom geometrijom.
Napravimo pregled najvanijih rezultata koji proistiu iz nae nepitagorejske geometrije:
Ako uzmemo aksiomu kongruen
ije trouglova u uem smislu i ako pretpostavimo da od aksioma neprekidnosti vai samo aksioma susedstva, tada
se ne moe dokazati stav o jednakosti uglova na osnovi
i u ravnokrakom
trouglu, ak ni onda ako pretpostavimo da vai uenje o propor
ijama. Isto
tako, odatle sledi Euklidovo uenje o povrinama; takodje stav po kome
je zbir dve strane trougla vei od tree strane, i trei stav kongruen
ije za
trouglove koji isto lee, nisu nune posledi
e iz uinjenih pretpostavki.
Mi emo konstruisati jo jednu d r u g u n e p i t a g o r e j s k u g e o m e t r i j u
koja se razlikuje od geometrije koju smo obradjivali time to u njoj vai
Arhimedova aksioma
V1 ,
V3 .
realnih brojeva
= tg1, ako konano
puta primenimo opera
ije rauna: sabiranje 1 + 2 , oduzimanje 1 2 ,
2
mnoenje 12 , deljenje 1 : 2 (u sluaju da je 2 6= 0) i stepenovanje 1 .
Pri tome 1 , 2 treba da oznaavaju brojeve koji su ve dobijeni pomou pet
pomenutih opera
ija od brojeva 1 i . Da bi se dobio broj polazei od
brojeva 1 i , treba tih pet opera
ija primeniti n1 puta, odn. n2 puta, ...,
n5 puta. Brojevi oblasti mogu se tada prebrojati prema rastuem zbiru
Uzeemo za osnovu ove geometrije onu deliminu oblast
n1 + n2 + + n 5 .
Na ovom brojnon sistemu izgradiemo ravnu geometriju pomou istih
konven
ija pomou kojih smo izgradili na str. 114 prvu nepitagorejsku geometriju na brojnom sistemu
T;
iz injeni e da u
rasporeda vae svi zakoni rauna 1-16 13, saznajemo, kao i tamo, da vae
aksiome
odgovara beskonano
= arctg.
dobijenih pomou ove jednaine iz obrazuju neku
poklapa sa , ali koja je kao i prebrojiva. U ovom
koja se ne
118
prebrojavanju postoji prvi broj koji nije proizvod ra ionalnog broja i broja
oznaiemo ga sa
k1 .
u obliku
= r + r1 k1 ,
gde su
r i r1
sa
k2 .
kn+1
prvi broj
oblasti
= r + r1 k1 + r2 k2 + + rn kn ,
ako uopste postoji takav broj. Ovim je denisan niz
k1 , k2 , k3 , ,
Svaki broj
koji
iz
= r + r1 k1 + r2 k2 + + rn kn ,
gde su
k1 , k2 , ..., kn
prvih
x + iy = 2r1 ei(x+iy) + + i,
gde je
stavljanje broja
a gde su
pred-
115.
Osobina 3 sledi iz
injeni e da brojevi
2r1 , cos = p
pripadaju oblasti
tg
1
, sin = p
2
1 + tg
1 + tg 2
iz oblasti
+ i s
.
+ i s
2r1 ei =
tg =
.
+
u brojnom sistemu
do viestruke
izvodi se isto
119
III16
III7
V1 ,
poto je podruje
OB
x + iy = eiarctg s,
gde sa
brojevi
2r1 <
(1)
Za date brojeve
r1 , k1 , arctg > 0
.
| | +
(2)
Iz formule
uvidjamo da su
0<
+ r1 k1 < arctg .
b
2
1 1 + tg 2
tg =
2
tg
=a
brojevi iz oblasti
+ r1 k1
2b
x + iy = ei s, s > 0
lei u unutranjosti trougla 6
AOB .
B(, )
C(2r1 ei )
1
O(0, 0)
A(, 0)
120
O,
x + iy = 2r1 ei .
Take
OiC
| |
r1
2 cos
r
1
2 sin
AB ,
= ,
0
OAB ,
lei u
je duina 1.
Isto tako, kao i u prvoj nepitagorejskoj geometriji, pokazuje se da se
svaki ugao moe prepoloviti i da postoji pravi ugao; na isti nain se dokazuje
da vae stavovi navedeni na str. 122 i str. 123 o ogledalskim slikama, kao
i svi stavovi uenja o propor
ijama i stavovi ane geometrije.
Svi uglovi
V3 .
V1 , tako
III .
i aksioma susedstva
V3 .
121
Dodatak
III
M ath.Ann.
knj. 57.)
aksioma za Euklidovu geometriju i tada sam pokazao da je mogue izgraditi Euklidovu geometriju ravni iskljuivo na osnovu onih aksioma koje se
odnose na ravan, ak i bez primene aksioma neprekidnosti.
U ovom ispi-
(F.Klein)
pomou
projektivne metode. Pomenuta zasnivanja koristila su u bitnome kako prostor, tako i neprekidnost.
Da bi se olakalo razumevanje, napraviu, prema mome radu Osnove
geometrije", pregled aksioma r a v n e geometrije kojima emo se u navedenim
izlaganjima koristiti. Naime:
I.
I1 .
I2 .
A, B
Za dve take
dveju taaka
Aksiome veze
A, B .
A, B ne
A, B .
Za dve take
I3 .
II .
II1 .
Ako taka
Aksiome rasporeda
i take
C,
onda su
A, B, C
tri
II2 .
tako da
II3 .
Za dve take
lei
jedna taka
Ma od koje tri take prave ne postoji vie od jedne koja lei izmedju
druge dve.
D e f i n i
i j a. Take koje lee izmedju dve take
takama dui
AB
BA.
A, B, C
A i B nazivaju se takodje
ili
II4 . Neka su
tri take koje ne lee na pravoj liniji i a prava u
ravni A, B, C koja ne prolazi ni kroz jednu od taaka A, B, C ; ako tada prava
a prolazi kroz jednu od taaka dui AB , ona izvesno takodje prolazi ili kroz
jednu od taaka dui BC ili kroz jednu od taaka dui AC .
122
III .
Aksiome podudarnosti
D e f i n i i j a. Svaka se prava deli ma kojom svojom takom u dve poluprave ili polovine.
moe nai taka B tako da je du AB podudarna ili jednaka dui A B , to
se moe oznaiti:
AB A B .
drugoj pravoj a ; ako je tada AB A B i BS B C bie i
AC A C .
D e f i n i
i j a. Par polupravih
i zajedno ne
(h, k)
6
ili sa 6
(k, h).
k,
II ;
(h, k);
h,
nazivaju se unutra-
ugla.
samo jedna poluprava k , tako da je ugao 6 (h, k) kongruentan ili jednak uglu
6 (h , k ), to emo izraziti zna
ima:
III4 .
(h, k) 6 (h , k ),
6
(h , k )
a .
III5
ABC
A B C
vae podudarnosti
AB A B , AC A C , i6 BAC 6 B A C
onda uvek vai i podudarnost.
ABC 6 A B C .
123
I -III
Iz aksioma
IV
proizvoljna prava, a
dve poluprave
a1
a2
a1 i a2
b,
i izlazi iz take
A,
prese a pravu
b.
A
a1
b1
a2
b2
D e f i n i
i j a.
u dve poluprave
b2
Neka je prava
b1
b2
i neka poluprave
AB ;
B
a2 ,
a1 , b1
a1
nazvati paralelnom
prema polupravoj
b2 ;
i da su obe
i ima kraj
A, B i A , B
i , oznaiemo uopte sa (, ).
i dva kraja takva da su dui
A B medju sobom jednake, i ako je, osim toga, ugao koji obrazuju
du AB i poluprava(A, ) jednak uglu koji obrazuju du A B i poluprava
jednak uglu obrazovanom od B A i (B , ); ove dve gure AB i A B
AB
nazivaju se kongruentnim.
Najzad, deniemo na poznati nain pojam ogledalske slike;
124
D e f i n i
i j a. Ako iz jedne take spustimo normalu na pravu i ovu normalu produimo preko njenog podnoja za du njoj kongruentnu, onda emo
dobijenu krajnju taku nazvati ogledalskom slikom prvobitne take u odnosu
na tu pravu.
1. Pomoni stavovi
IV .
a i b koje se ne seku, niti su par-
alelne, postoji uvek trea prava koja na obema istovremeno stoji normalno.
D o k a z. Ma iz koje dve take
AiP
prave
a spustimo upravne AB i P B
AB ; prenesimo tada AB
na B P od take B
P
a
A Q
a1
h
T
B R
prema a1 . Dalje, neka je h ona poluprava koja izlazi iz take B pod istim uglom prema b i u istom smeru kao i poluprava h iz B . Poto, prema
A pravu
125
paralelno sa
h ,
od take
do take
tako da je smer od
od B ka
postoji uvek
i .
D o k a z. Povu
imo ma kroz koju taku O paralelene prema datim polupravama i prenesimo na ove paralele od take O jednake dui, napr. do A i B ,
prava koja ima dva unapred data kraja
tako da bude
OA = OB
O kroz A ima kraj , a poluprava koja
. Zatim, spojimo taku A sa krajem i
prepolovimo ugao izmedju dveju polupravih koje izlaze iz take A; isto tako
A; isto tako spojimo taku B sa krajem i prepolovimo ugao izmedju dveju
polupravih koje izlaze iz take B . Prvu bisektrisu oznaimo sa A, drugu sa
b. Iz kongruen
ije gura OA i OB sledi jednakost uglova;
i da poluprava koja ide iz take
ide iz take
kroz
ima kraj
(OA) = 6 (OB),
6
6
(A) = 6 (B),
126
O
A
aib
paralelne.
aib
Pretpostavimo da se prave
seku u taki
M.
Poto je trougao
OAB ,
BAO = 6 ABO,
BAM = 6 ABM ;
prema tome je
AM = BM.
Spojimo li sad taku
polupravom sa krajem
, to e iz poslednje
AM
BM ,
posledi u jednakost uglova ugao (M A) i ugao (M B ). Poto je ovaj zakljuak, oigledno netaan, treba odba iti pretpostavku da se bisektrise
seku.
Pretpostavimo, dalje, da su prave
na
DB
od
aib
ka
prese a
DA
127
(DA)
i 6
O
Oa
M
P
Ob
je
128
Sc Sb Sa = Sd .
D o k a z.
c.
take
Neka je tada
neka se oznae sa
Oa
Oa O c
sa
b,
i Oc . Oznaimo
Oa Oc sa krajem
na d, a otuda je
Oa i Oc ogledalske slike
Sd Sc Sb Sa takva da ne menja poloaj take Oa kao ni one prave
spaja Oa sa krajem . Poto je ova opera
ija, sem toga, sastavljena od
opera
ija
koja
etiri ogledanja, onda iz stavova o kongruen
iji proizilazi da je ova opera
ija
identitet; otuda sledi nae tvrdjenje.
D r u g o, lako uvidjamo tanost stava 5 u sluaju kad se poklapaju prave
b ,
ogledanjem na pravoj
Sa Sb Sa = Sb .
T r e e, pretpostavimo sad da prava
obuhvaene izmedju
izvesno prava
d ,
b.
Sa Sc Sb = Sd .
Oznaimo li sa
u odnosu na
Sc Sb Sa = Sa Sa Sc Sb Sa = Sa Sd Sa = Sd .
Time je stav 5 potpuno dokazan.
2. Sabiranje krajeva
(0, )
O i podignimo
+1 i 1.
tada u
Na
normalu;
dalje,
129
+
+1
+ 0 = ,
1 + (1) = 0,
+ () = 0,
+ = + ,
Poslednja jednaina izraava k o m u t t i v n i z a k o n z a s a b i r anj e k r a j ev a.
Da bi se dokazao a s o i j t i v n i z a k o n s a b i r a nj a k r a j e v a, oz-
naimo po redu sa
prema stavu 5 u
S0 , S , S
1,
(0, ), (, ), (, );
(, ) tako da za ogledanje
ogledanja na pravima
S = S S0 S .
Poto pri opera
iji
S S0 S
taka
prelazi u taku
na pravoj
(, )
O ,
onda je taka
i otuda je
= + ,
O
tj.
S+ = S S0 S .
Neka
formula da je:
S+(+) = S+ S0 S = S S0 S S0 S ,
S(+)+ = S S0 S+ = S S0 S S0 S ,
a otuda je
S+(+) = S(+)+
i stoga takodje
+ ( + ) = ( + ) + .
Tu skoro izvedena formula
S+ = S S0 S
130
pokazuje, u isto vreme, da navedena konstruk ija zbira dva kraja ne zavisi od
izbora take
na pravoj
izlaganja u
4.
Ako pravu
(2 , ).
(, )
Ustvari, ako je
oglednemo na pravoj
(, ),
dobija se prava
ogledanjem na pravoj
(, ),
(, )
S , S0 , S , S0 , S .
A na osnovu gornjih formula je:
S S0 S S0 S = S2 ,
tj.
stoga, taka
(2 , );
3. Mnoenje krajeva
+1
O
A
B
C
131
(0, )
oba kraja
, ,
0 = 0 = 0.
Na osnovu aksioma
III13
vaenje formula
= ,
() = (),
tj. z a m n o z e nj e k r a j e v a vai kako k o m u t a t i v n i tako i a s o
i j a t i v n i
z a k o n.
Isto tako lako nalazimo da formule
1 = , (1) =
vae i da ako krajevi
= 1,
ova prava mora prolaziti kroz taku
O.
uvek postoji pozitivni kraj (isto tako i negativni) iji je kvadrat jednak
kraju
Da bismo dokazali d i s t r i b u t i v n i z a k o n z a r a u n s a k r a j e v i m a,
konstruisaemo najpre od krajeva
2.
kraj
na pokazani nain u
, , ( + ),
(0, )
izaziva pomeranje za du
O,
OA.
( + ).
+ = ( + ).
Ako prema
polazei iz take
- onda se
132
+
(+)
O
A
+1
4. Jednaina take
Poto smo u
u = ,
v=
+
2
, ,
u,v
4 2
zadovoljavaju jednainu
u + v + = 0
prolaze kroz istu taku.
D o k a z. Ako, prema
2 - 3,
= p
konstruiemo krajeve
2
p
,
=
,
4 2
4 2
( + )( + ) = 1.
133
koja je
data formulom
= + .
Radi toga posmatrajmo najpre transforma
ije
= i = + .
to se tie prve transforma
ije, to e, oigledno, mnoenje proizvoljnog
kraja
jivom kraju
proizvoljno promen-
.
2, prava
(, ), a ova
( + , ), tj.
sebi, naime kretanje se moe shvatiti kao obrtanje ravni oko kraja
Da bi se ovo uvidelo, primetimo da, prema izlaganju na kraju
(, )
= + ,
= + ,
odredjuju krajevi takve prave koja proizilazi iz prave sa krajevima
pomou izvesnog kretanja ravni zavisnog samo od
, .
jednaina
za krajeve
( + )( + ) = 1
ima za posledi
u rela
iju
= 1
3 ova rela
ija uslov da dotine prave prolaze kroz
O, vidimo da i sve prave (, ) koje zadovoljavaju prvobitnu jednainu
( + )( + ) = 1
prolaze kroz jednu taku; time je potpuno dokazan postavljeni stav.
Poto smo saznali da je jednaina take u linijskim koordinatama linearna, lako je izvesti spe
ijalni Paskalov stav za par pravih i Dezargov stav za
perspektivno poloene trouglove, kao i druge stavove projektivne geometrije.
Isto tako se tada mogu bez tekoa izvesti poznate formule geometrije BoljajiLobaevskoga, a time se zavrava izgradjivanje ove geometrije pomou aksioma
I IV .
134
Dodatak
IV
O osnovama geometrije
R i m a n o v a (Riemann) i H e l m h o l
o v a (Helmholtz ) ispitivanja osnova geometrije postakla su Li-a (S.Lie) da se prihvati problema aksiomatike
obrade geometrije polazei od pojma grupe i dovela su ovog otroumnog
matematiara do sistema aksioma za koje je, pomou svoje teorije transforma
ionih grupa, dokazao da su dovoljne za izgradjivanje geometrije.
Pri zasnivanju svoje teorije transforma
ionih grupa Li je uvek pretpostavljao da se funk
ije koje deniu grupu mogu diferen
irati i zato u Li-ovim
izlaganjima ostaje neraspravljeno da li je pretpostavka diferen
ijabilnosti
kod pitanja o aksiomama geometrije stvarno neizbena ili je pak diferen
ijabilnost dotinih funk
ija samo posledi
a pojma grupe i ostalih geometrijskih
aksioma. Usled svoga postupka Li je bio prinudjen i da izriito postavi aksiomu da je grupa kretanja proizvedena innitezimalnim transforma
ijama.
Ovi zahtevi kao i bitni sastavni delovi ostalih Li-ovih aksioma koji se odnose
na prirodu jednaine koja denie take istog rastojanja, mogu se izraziti
isto geometriski samo na veoma usiljen i komplikovan nain i, osim toga,
izgledaju uslovljeni samo analitikom metodom kojom se koristio Li, a ne
samim problemom.
Zato sam u ovom izlaganju teio da postavim za geometriju ravni takav
sistem aksioma koji bi, isto tako zasnivajui se na pojnu grupe, sadrao samo
proste i geometriski pregledne zahteve i naroito, ne bi pretpostavljao diferen
ijabilnost funk
ija koje posreduju kretanje. Aksiome sistema koji sam ja
postavio sadrane su kao spe
ijalni sastavni delovi u Li-ovim aksiomama ili
se kako ja mislim mogu iz njih neposredno izvesti.
Moje dokazivanje potpuno je razliito od Li-ove metode:
ja operiem
x, y .
Kriva u ovoj brojnoj ravni koja nema dvojnih taaka i koja je neprekidna
ukljuujui i krajeve, naziva se ordanovom krivom.
Ako je ordanova
135
x, y
Defini ija
A.
A sadrana ordanova oblast, u ijoj unutranjosti
lei taka A (slika take A), opet je okolina take A.
Ako je B ma koja taka u okolini take A, onda je ova okolina u isto
vreme i okolina take B .
Ako su A i B ma koje dve take nae ravni, to uvek postoji okolina take
A, koja istovremeno sadrzi taku B .
k r e t a n j a.
neprekidna transforma
ija taaka brojne ravni u sebe pri kojoj smer obilaenja zatvorene ordanove krive ostaje uvek isti. Transforma
ija obrnuta
transforma
iji kretanja opet je kretanje.
Kretanje pri kome jedna taka
jem oko take
M.
I.
136
II .
II
ovako, formulisati:
AB
oznaiemo istim slovima i slike ovog para taaka u brojnoj ravni. Ograniimo
oko taaka
pada u okolinu
par taaka
AB
B
AB .
a istovremeno taka
lei u okolini
para
pada u okolinu
rei emo:
A, a
Ograniimo oko
taaka
III .
ABC
A B C ,
ABC , u proizvoljnu
A B C .
AB
taaka A B , onda uvek postoji i takvo obrtanje oko take
taaka AB prelazi tano u par taaka A B .
kojim par
AB
AB
A B ,
taaka A B .
Ako postoje obrtanja oko take
blizini take
to uvek postoji
kojim taka
A ,
137
I III
z a d o v o lj e n e
i l i j e E u k l i d o v a i l i B o lj a i - L o b a e v s k o g a r a v n a g e o m e t r i j a.
Ako hoemo da dobijemo jedino Euklidovu geometriju, treba samo aksiomu
Ova dopuna zamenjuje aksiomu paralelnih. Hteo bih sad ukratko da ski
iram
tok misli mog daljeg dokazivanja.
U okolini ma koje take
neki odredjeni oblik
kk
K (1 - 2), a zatim
M , koji prolazi kroz
kk
takodje
M.
taki istinskog kruga, ne menja poloaj ni jednoj taki tog kruga (14). 2)
Postoji uvek jedno obrtanje oko take
kruga
18).
Ispitajmo sada grupu transforma ija s v i h taaka nae ravni pri obrtanju
oko take
M.
take pri nekom kretanju ravni ostaju nepokretne, onda sve take ostaju
nepokretne, tj. kretanje je identitet. Svaka taka ravni moe se podesnim
kretanjem prevesti u svaku drugu taku ravni (22).
Na najvaniji dalji
ilj sastoji se u tome da se u naoj geometriji denie
pojam istinske prave i da se razviju nune osobine ovog pojma za izgradjivanje geometrije.
138
(23). Du ima najvie jednu sredinu (24)i ako se za neku du zna da ima
sredinu, otuda sledi da i svaka manja du ima sredinu (25 - 26).
Da bi se pro
enio poloaj sredine dui, potrebni su nam neki stavovi o
istinskim krugovima koji se dodiruju; pre svega, stvar se svodi na to da se
konstruiu dva medju sobom kongruentna kruga koji jedan drugog dodiruju
spolja u jednoj i samo jednoj taki (27). Izveemo, dalje, jedan opti stav o
krugovima koji se dodiruju iznutra (28), a zatim stav o spe
ijalnom sluaju
kada krug koji iznutra dodiruje drugi prolazi kroz
entar dodirnutog kruga
(29).
Uzmimo sada za osnovu kao jedininu du neku odredjenu dovoljno malu
du; konstruiimo polovljenjem i poluobrtanjem sistem taaka takve vrste,
da svakoj taki ovog sistema odgovara odredjeni broj
i ima kao imenila
samo neki stepen od 2 (30).
koji je ra ionalan
ove koresponden
ije (31), take dobijenog sistema taaka se medju sobom
rasporeduju,pri emu vae raniji stavovi o krugovima koji se dodiruju (32).
Sada polazi za rukom da se dokae da take koje odgovaraju brojevima
1 1
4 , 8 ,... konvergiraju prema taki
1
2,
dok najzad ne uvidimo da svaki niz taaka naeg sistema konvergira ako
konvergira odgovarajui niz brojeva (34 - 35).
Posle ovih priprema moe se denisati istinska prava kao sistem taaka
koji se dobiva od dve take uzete za osnovu, ako se stalno uzimaju sredine,
izvode poluobrtanja i dodadu mesta nagomilavanja svih dobijenih taaka
(36). Zatim moemo dokazati da je istinska prava neprekidna kriva (37),
da nema dvojnih taaka (38)i da ma sa kojom drugom istinskom pravom ima
najvie jednu zajedniku taku (39). Pokazuje se, dalje, da istinska prava
prese
a svaki krug koji je opisan oko neke njene take, a otuda sledi da se dve
proizvoljne take ravni mogu uvek spojiti istinskom pravom (40). Takodje
uvidjamo da u naoj geometriji vae stavovi o kongruen
iji, pri emu se dva
trougla prikazuju samo tada kongruentnim, ako imaju i isti smer obilaenja
(41).
to se tie uzajamnog poloaja sistema svih istinskih pravih, treba razlikovati dva sluaja, prema tome da li vai aksioma paralelnih ili kroz svaku
taku prema datoj pravoj postoje dve prave koje razdvajaju prave koje seku
od pravih koje ne seku. U prvom sluaju dolazimo do euklidske geometrije,
a u drugom do geometrije Boljaji-Lobaevskog (42).
u brojnoj ravni
139
Da bi se ovo dokazalo, posmatrajmo u brojnoj ravni beskonani niz kon
entrinih krugova F1, F2, F3,...
prema
gova postoji takva taka slika koja pri nekom obrtanju oko
mesto koje lei van kruga
van kruga
svaku taku
krivu
M dolazi na
: neka je Ai
Ai
povuen poluprenik
ri
ri
i .
ide
B
Ci
pri obrtanju
neka je
Bi
jedna
B1 ,
, neka je, dalje, k brojni krug u unutranjosti F ije sve take pri obrtanjima
M ostaju u unutranjosti F. Tada emo one take brojne ravni,
koje pri ma kakvom obrtanju oko take M proizilaze iz taaka u unutranjosti
kruga k ili iz taaka njegove periferije, ukratko oznaiti pokrivenim. Iz aksiome III neposredno sledi da pokrivene take obrazuju zatvorenu mnoinu
taaka. Dalje, neka je A neka odredjena taka van koja je slika neke
lei van
kk .
kk .
kk ,
kk ,
da lei na
Za one ta ke
kk .
J,
kk .
Take na
kk
kk ,
take, u ijoj proizvoljnoj blizini ne lee nepokrivene take, kao napr. taka
3.
k,
kk ,
dalje, take na
u unutranjosti
kk
Svaka taka na
kk
M,
kk .
kk ,
kk opet prelaze u
kk i take koje lee
kk ,
pri obr-
kk .
taka A
na
kk
oko take
M,
po-
140
K ,
k , dospeva u taku K .
oko take M u orK na kk i koja se inae
ela
prelazi obrtanjem
sa takom
prostire u unutranjosti
k
M
kk .
K ,
lei na
Spojimo taku
takom
na
kk
k,
kk .
i oznaimo sad sa
kk
i ima takvu osobinu da sve take koje lee na toj ordanovoj krivoj
poklapa sa takama na
kk .
kk ,
kk .
prelazi u taku
5. Ovaj stav koji smo maloas dokazali omoguava nam da take istin-
Neka su
141
K1 K2 ,
K1 K2 .
K1 i K2 ,
K1 K2 .
to
K4 nisu razdvojene
krivom
daljem svom toku vratiti u ovu unutranjost; zato se, sigurno, moe deo ovog
puta
W,
K1 K2 ,
unutranjosti
krive
K1 K2
kk
K1 K2 ,
K3
K4
K3 i K4
K3
K4
K3 i K4
K1 K2 .
onda je
kk ,
K1 K2 .
sledi da take
K1 ,K2 . Otuda
K3 , K4 razdvojen
K1 K2 ,
K1 , K2 .
K4 prelaze u take K1 ,
K2 ,
K3 ,
K4 .
K1 , K2 , K3 ,
kk
razdvojene takama
142
K5 , a take K2 , K4
K3 , K5 .
takama
K3 , K5 , bie i take K1 , K4
razdvojene takama
jamno razdvajanje parova taaka, one su rasporedjene isto kao i take obinog
brojnog kruga. Ovaj raspored je invarijantan u odnosu na obrtanja istinskog
kruga
oko entra
M.
izraziemo ovako:
postoji uvek par taaka tog istog
trima takama
razdvojen.
K i K dve take
istinskog kruga koje nisu razdvojene nijednim parom taaka; tada iz nae
.
K1 , K1
postavke sigurno sledi i da izmedju tih taaka ne lei ni jedna taka kruga
Dalje, moemo pretpostaviti da postoji takva taka
bude razdvojen parom taaka
K , K ;
K i
unutranjosti kk
prema taki
spojmo taku
da par taaka
K2
K i K
K1
sa
razmenjene. Zatim,
koje konvergiraju
kk . Sasatavljanjem
K1 K koja K razdvaja od K , pa stoga mora razdvajati i od beskonano mnogo taaka niza R
konvergentnog prema K . Neka je K2 jedna od ovih taaka niza R. Poto
izmedju taaka Ki1 i Ki+1 ; u svakom sluaju taka Ki lei izmedju Ki2
i Ki+2 , a zato i beskonani niz taaka K1 ,K3 ,K5 ,K7 ,K9 ,K11 ,... ima sigurno
osobinu da svaka taka ovog niza lei izmedju prethodne take i take K .
taki K . Ustvari, ako bi take K3 , K7 , K11 ,... imale kao mesto zgunjavanja neku taku Q, razliitu od K , onda o-daberimo od njih neku taku
i drugom krivom koja se prostire van
143
Kl .
,K ,K
Kl+4
l+8
l+12 ,... lee izmedju Kl i K , postoji uvek
Kl+8 , Kl+12 ,..., a otuda i od take Q, tj. taka Q mora leati izmedju Kl
K ,
6,
S takaka
krug . Takva
S,
C,
mnoine
S,
od kojih taka
dodeliti
a,b,c dodeljena ma
B lei izmedju A i
a i c.
K ma koja taka istinskog kruga koja ne pripada sistemu
S . Ako su tada A, B tae sistema S , onda emo rei da A, B lee na raznim
stranama ili na istoj strani od K , prema tome dali taka K lei izmedju
taaka A i B ili ne lei izmedju izmedju njih. Ako prenesemo sada ovu
postavku o takama sistema S na ra
ionalne brojeve koji su tim takama
dodeljeni, dobiemo pomou take K odredjeni D e d e k i n d o v presek
u sistemu ra
ionalnih brojeva: taki K dodeliemo ira
ionalni broj denisan
uvek broj
A, B , C
S S
Neka je sad
ovim presekom.
Na istinskom krugu
144
sve realne brojeve u neprekidnom nizu, a ovim opet odgovarajue take istinskog kruga
odredjene koordinatama
konvergira prema
sledi injeni
a koju smo u 4 postavili kao prvi vani
ilj naeg istraivanja,
naime stav:
Istinski krug u brojnoj ravni je zatvorena ordanova kriva.
9.
lee na
krugu
145
zahtevanu osobinu.
Iz toga prvo zakljuujemo da taka
lei u unutranjosti
x,
tj.
da
kk
x,
onda se taka
nalaze
krug
x;
to taka
na
kk
ne bi mogla biti na
Oblik
kk
preseen istinski
kk ,
pomou
x,
kk ;
x,
takama koje se
10.
pa, dakle,
u unutranjosti
x,
ordanovom
kk
a take na
iz brojnog kruga
istinski krug
k,
i van njega,
emo one take brojne ravni koje se dobivaju pri ma kakvom obrtanju oko
146
tiv, sve ostale take nazveemo nepokrivenim. Ako se pak neka nepokrivena
kkk . O
na kkk ,
kkk .
kkk
k,
sadri taku
za ovu krivu
i prostire se u
proizvoljna zatvorena
dodirujui ga iznutra.
Pokazaemo, za-
z,
z,
iznutra.
z,
to lei u unutranjosti
x,
isto kao i u
11
M.
P:
nazovimo ih krugovima prve vrste; a sa druge strane uzmimo sve one istinske
krugove koji su zatvorene ordanove krive i koji
proizveden
istinski krug koji obuhvata brojni krug i uoimo tada one brojne krugove iz
kojih proizilaze istinski krugovi prve vrste. Onda potraimo za ove brojne
krugove granini krug
g,
g,
istinski krug koji nju obuhvata. Ovaj istinski krug, poto on sigurno ulazi
u unutranjost brojnog kruga
koji je manji od
g;
g,
P,
to nije mogue.
M,
koji su
147
M,
proizilazi onaj istinski krug koji taj brojni krug iskljuuje, moemo na
slian nain dokazati egzisten
iju istinskog kruga druge vrste koji je obuhvaen svim drugim istinskim krugovima druge vrste.
Ako pak ni jedan od nadjenih graninih krugova ne bi prolazio kroz taku
P,
izmedju njih; pomou naeg postupka si-gurno bismo mogli dobiti istinski
krug koji bi bio zatvorena ordanova kriva, ali koji ne bi bio niti krug prve
vrste, niti krug druge vrste; ovo je protivurenost, a time smo dokazali tvrdjenje postavljeno u poetku 12.
13. Posto smo u prethodnom izlaganju nali najvanije osobine istinskih
krugova sa sreditem u
x, predjimo
krug x u sebi
M.
x preslikane sa
t periferije brojnog kruga poluprenika
1; tada svakom obrtanju nae ravni oko take M odgovara odredjena
uzajamno jednoznana i neprekidna transforma
ija taaka t jedininog kruga
Neka su, prema izlaganjima u 8, take istinskog kruga
t.
vrednosti parametra
oblika
t = (t),
gde je
(t)
(t),
t,
odgo-
(t)
t.
14. Pitajmo se najpre moe li u ovoj grupi svih obrtanja oko take
t=a
t = (t).
Dalje, neka je
obrtanju
t = b koja pri
b < a u emu
148
a.
No u sluaju da je
(b) > b,
veliine
(b) < b,
veliina
, primenjena
na
b, a u drugom
istinskog kruga
x u drugu
16. Izve emo sada jo jednom svojstvo grupe kretanja istinskog kruga
u sebi.
neprekidno.
S1, S2,
taaka T 1,
149
taaka
M,
se pokazuje da je taka
17. U 14-16 saznali smo da grupa svih obrtanja istinskog kruga u sebi
ima ova svojstva:
M,
OiS
O, S , T ,
ostala nepokretna.
prelazi u
M,
Z ; time taka Z
x,
sigurno
S.
S,
is-
x,
kad take
neprekidno
x.
(t)
M,
M.
istinskog kruga
sa perametrom 0 u taku
sa vredno u parametra
O
s,
t = (t, s),
(t, 0) = t, uvideemo na osnovu nadjenih osobina grupe obrtanja da je funk
ija (t, s) jednoznana i neprekidna
za sve vrednosti obeju promenljivih t i s. Takodje sledi, poto je s odredjeno
(2, s) = 2 + (0, s) = 2 + s
to sledi
(2, 2) = 4.
Prema tome funk
ija
raste od 0 do
4 ,
kad argument
promenljive
od 0 do
2 .
zakljuujemo:
Ako je dat ma koji pozitivan broj
samo jedan pozitivan broj
t,
tako da je
t 2 ,
(t, t) = t ;
150
pri tome je
t < t .
Vrednost parametra
t,
a istovremeno taka
M,
taka
t=0
pomera
u taku t .
za koju je
(t, t) = 2
sa
( 21 ),
vrednost
za koju je
1
(t, t) = ( ),
2
sa
( 212 ),
a vrednost
za koju je
(t, t) = (
sa
( 213 ),. . .;
[ (
gde
1
),
22
znai eo broj i
a
1
a+1
), ( n )] = ( n ),
n
2
2
2
eo broj
1,
i dalje uzmimo
(0) = 0,
Time je funk
ija
(1) = 2.
razlomak oblika
=
gde su
z 1 , z2 , z 3 , . . .
(
<1,
razvijmo
u dijadski
z1
z2
z3
+ 2 + 3 + ,
2
2
2
z1
),
2
z1
z2
+ 2 ),
2
2
z1
z2
z3
+ 2 + 3 ), . . .
2
2
2
z1
z2
z3
an + 1
+ 2 + 3 + = n=1
,
2
2
2
2n
z1
z2
zn
an
+ 2 + + n)
( n =
2
2
2
2
L(
an
an + 1
) i l( n )
n
2
2
151
morale bi biti razliite jedna od druge i, prema tome bi beskonani niz taaka
koje odgovaraju parametrima
t = (
a1
),
2
t = (
a2
),
22
t = (
a3
), . . . ,
23
morao konvergirati prema jednoj drugoj taki, razliitoj od take kojoj konvergira beskrajni niz taaka koje odgovaraju parametrima
t = (
a1 + 1
),
2
t = (
a2 + 1
),
22
a3 + 1
), . . . .
23
i oba gore pomenuta beskonana niza taaka konvergirati prema istoj taki.
Poto funk
ija
()
((
a poto je
i
bm
bm
), ()) = ( m + ),
m
2
2
sledi
(( ), ()) = ( + ).
Time je dokazano da, ako u transforma
ionu formulu
t = (t, s)
uvedemo pomou izvesne uzajamno jednoznane funk
ije
etara
t, t , s
nove parametre
, ,
za koje je
t = ( ), t = ( ), s = (),
onda se obrtanje u novim parametrima izraava formulom
= + .
Ovaj stav pokazuje da je tvrdjenje postavljeno u
17
tano.
mesto param-
152
= 2 i taj parametar
O( = 0) i S (tj. ) na
istinskom krugu x; obrtanje pri kome taka O( = 0) prelazi u taku S (tj.
), nazvaemo obrtanjem [] istinskog kruga x u sebi za ugao .
Staviemo jo umesto parametra
parametar
x u sebi.
skog kruga
x.
Pridjimo sada istraivanju grupe transforma ija svih taaka pri obrtanjima ravni oko stalne take
oko
M;
da je on zatvorena or-
ostavilo nepokretnom.
Da bismo ovo dokazali, oznaimo obrtanje oko
M,
ostaje nepokretna, sa
postoji na
neka
taka
taku i koji bi bio dovoljno mali, tako da bi, na osnovu gornje primedbe,
za njega vaio stav u 14. Neka je
se kretanje
taka
tada
gornjem tvrdjenju, da je
pokretnih taaka i koji je dovoljno mali tako da za njega vai stav u 14.
Poto ovaj krug pri dovoljnoj malenosti, svakako prolazi kroz jedan deo prste-
ostaju nepokretne.
153
Sva obrtanja
x = f (x, y; ), y = g(x, y; );
tu
x, y
x , y
x, y
funk ije
f , g,
u pogledu argumenta
x, y , .
imaju broj
Dalje, za svaku
do
2 .
f, g
za najmanju
(x, y)
dobiva
vai formula
[][ ] = [ + ].
21. Radi dokaza postavljenih tvrdjenja uzmimo opet istinski krug
M,
oko
M,
izmedju
0 i 2 ,
bude jednoznano
f i g , koje ulaze u
M , za sve vrednosti
x, y , jednoznane funk
ije, koje, u pogledu , imaju period 2 .
Dokaimo sad da su funk
ije f i g neprekidne u odnosu na x, y , . Radi
toga neka je O ma koja taka na ; neka je, dalje, 1 , 2 , 3 ,. . . beskonani
niz vrednosti koje konvergiraju prema nekoj odredjenoj vrednosti , a T1 ,
T2 , T3 ,. . . beskonani niz taaka nae ravni koje konvergiraju prema ma
kojoj taki T . One take koje pri izvodjenju obrtanja za ugao 1 , 2 , 3 ,. . .
proizilaze iz O oznaiemo sa S1 , S2 , S3 ,. . . a, take koje proizilaze iz taaka
T1 , T2 , T3 ,. . . pri obrtanjima 1 , 2 , 3 ,. . . oznaiemo sa Z1 , Z2 , Z3 ,. . .
. Najzad, neka take koje proizilaze iz O i T obrtanjem za ugao , budu
oznaene sa S i Z . Treba dokazati da take Z1 , Z2 , Z3 ,. . . konvergiraju
prema Z .
Poto take T1 , T2 , T3 ,. . . konvergiraju prema taki T , to se moe odrediti ordanova oblast G u ijoj unutranjosti lee sve take M , T , T1 , T2 ,
T3 ,. . . . Primenimo tada na ovu ordanovu oblast ono obrtanje oko take
M koje taku O pomera u S . Tako iz oblasti G dobivenu ordanovu oblast
oznaiemo sa H ; ona, svakako, sadri take M i Z . Najzad, konstruiimo
zatvorenu ordanovu krivu koja sadri
elu oblast H u unutranjosti, tj.
ovu oblast obuhvata tako, da nijedna njena taka ne lei na H .
154
Z1 , Z2 , Z3 ,. . .
take Zi1 , Zi2 , Zi3 ,. . . lealo van , uopte mogli bismo zamisliti da su take
M i Tih vezane nekom ordanovom krivom h koja se prostire u unutranjosti
oblasti G, i tada izvesti sa h obrtanje za ugao ih . Tako postala kriva spaja
taku M sa takom Zih i zato bi, svakako, morala prese
ati krivu u nekoj
taki, na primer u taki Bh ; neka je Ah ta taka na h koja pri obrtanju za
ugao ih prelazi u Bh . Poto take A1 , A2 , A3 ,. . . ostaju sve u unutranjosti
oblasti G, a sve take B1 , B2 , B3 ,. . . na krivoj , to sigurno postoji takav
beskonani niz indeksa h1 , h2 , h3 ,. . . pri kojim bi take Ah1 , Ah2 , Ah3 ,. . .
konvergirale prema taki A koja lei u unutranjosti oblasti G ili na njenoj
grani
i i u isto vreme bi take Bh1 , Bh2 , Bh3 ,. . . konvergirale prema taki
B koja lei na krivoj . No mi znamo da take S1 , S2 , S3 ,. . . konvergiraju
prema taki S ; prema tome, s obziriom na aksiomu III , moralo bi postojati
obrtanje oko take M koje kree taku O u S i istovtremeno A u B ; a to
nije mogue, jer bi pri ovim obrtanjima morala taka A prei u taku u
unutranjosti oblasti H ili na njenu grani
u; naprotiv, taka B je na krivoj
koja
elu oblast H sadri u svojoj unutranjosti.
Na taj nain smo uvideli da sistem taaka Z1 , Z2 , Z3 ,. . . mora
eo leati
u unutranjosti neke ordanove oblasti.
Neka je
S3 ,. . .
oko take
S,
Z1 , Z2 , Z3 ,. . .
prelazi u taku
. Poto take
III ,
S1 , S2 ,
postoji obrtanje
i istovremeno taka
M koje prevodi O u S ,
Z , to, zbog prethodno dokazane jednoznanosti
prei u taku
eo pozitivan broj. Iz ovoga sledi da se dobija istinski krug koji prolazi kroz
taku
ako se u formulama
x = f (), y = g()
pusti da promenljiva
predje vrednosti od
do
2
n . Ova kriva je zatvorena
i bez dvojnih taaka; ona zato predstavlja istinski krug koji prolazi kroz
sa
entrom u taki
M.
2
n , onda pri tome
P,
ostaju nepokretne
155
i stoga bi, prema 19, sve take ravni morale ostati nepokretne; no take na
istinskom krugu
n = 1.
pomou dva
B,
AB
A , B dva
taka A u A
A, B
je kongruentna (u
zna
ima ) (istinskoj) dui A B . Dalje, dva istinska kruga nazvaemo kongruentnim ako postoji kretanje koje prevodi sredite jednog kruga u sredite
drugoga i istovremeno njih same prevodi jedan u drugi.
Pod poluobrtom
oko take
A, B , C
tj.
takve tri
take da
ovom
AC .
Du
taka
AC
AB ,
prema tome da li
lei u unutranjosti ili van istinskog kruga koji je opisan oko take
B.
A,
H1 H21 = 1,
tj.
H1 = H2 ;
stav:
Ako su dve dui medju sobom kongruentne, onda su i njihove polovine
kongruentne.
25. Za dalje izvodjenje potreban nam je ovaj pomoni stav:
Neka take
M3 ,. . .
prema
156
Mi , taka Ai
prelazi u
B1 , B2 , B3 ,. . .
Z1 , Z2 , Z3 ,. . . .
B taku zgunjavanja taaka B1 , B2 , B3 ,. . . . Tada,
na osnovu aksiome III , mora postojati takvo kretanje koje prevodi take
A, M , B u take B , M , A, tj. taka B proizilazi iz A poluobrtom oko
take M . A poto i B proizilazi iz A poluobrtom oko take M , to sledi da
je B = B , to je i trebalo dokazati.
26. Neka je M sredina neke dui AB ; tada emo pokazati da svaka du
AC koja je manja od AB takodje ima sredinu N .
Da bismo to dokazali povu
imo ma koju neprekidnu ordanovu krivu
koja odgovara toj taki na krivoj jeste sredina istinske dui AB , a poto je
AC
AC
AB
CA
A, uvek i sredine N1 , N2 , N3 ,. . .
prema istoj taki A.
taki
pod pretpostavkom da je du
C1 , C2 , C3 ,. . . konvergiraju prema
AC1 , AC2 , AC3 ,. . . konvergiraju
dui
da u njegovoj unutranjosti ne
AB
uzetoj za
157
AiB
M.
Zatim, neka
Uzmimo
sad ma koje dve take na krugu i opiimo oko njih medju sobom kongruentne
krugove
unutranjosti
koje lee u
moraju biti tako mali da
eli lee u unutranjosti . Tada uzmimo taku
P koja lei u unutranjosti i van , i taku R koja lei u
unutranjosti
i u unutranjosti
i opiimo oko
medju sobom
kongruentne krugove i
u unutranjosti
u unutranjosti
krug
preao u krug
pri kome bi
158
R.
C .
AB
du
PR
mora biti
C prelazi u drugi, a zato iz svake take jednog kruga postaje taka drugog
kruga. Poto je taka
ona mora, zato, ostati nepokretna pri ovom poluobrtu i samim tim
poklopiti se sa takom
u taki
C;
osim
na
proizilazi krug
koji spolja
take krugova i . Izvedimo tada poluobrt oko take Q ; pri ovom poluobrtu
oba kruga i samo u taki Q . Ako izvedemo sad ono obrtanje oko sredita
dodirujui
ovaj samo u taki Q . Na taj nain dobijamo dva kruga i od kojih svaki
159
29. Neka je
najzad, neka je
27,
taka na
i,
moemo, koristei se
taku
oko sredine
da u unutranjosti kruga
koji je opisan
dui
du kongruentna sa
ako
lei jo
Krug
(odn.
M )
(odn.
dui
OE
(odn.
OE ),
(odn.
E ).
O takav krug koji krug
mora biti manji od kruga
oko take O i kongruentan sa
,
,
Ovaj krug
,
P Q,
kruga
du kongruentna sa
E1 .
moe imati sa
Ako bi taka
E1
u neku taku
E2
E1
dospela u
kruga
E1 .
E1
O
E2
OE1
kongruentna dui
160
zakona:
32.
1
2 potpuno
1
1
obuhvata krug koji je opisan oko take
i koji prolazi kroz taku ; a poto
4
2
1
1
2
ovaj poslednji obuhvata krug opisan oko take
8 koji prolazi kroz taku 8 = 4
1
3
4
i krug opisan oko take
8 koji prolazi kroz taku 8 = 2 , a ovaj poslednji opet
1
1
1
2
3
4
krugove: oko
16 koji prolazi kroz 16 = 8 , oko 16 koji prolazi kroz 16 = 4 , oko
3
1
5
6
7
8
16 koji prolazi kroz 16 = 8 , oko 16 koji prolazi kroz 16 = 2 itd., uvidjamo
1
da je du (0, ) vea od svih dui (0, a) kad a znai pozitivni ra
ionalni broj
2
1
iji je imenila
stepen od 2 i ija je vrednost manja od .
2
1
Dalje krug sa sreditem u taki 0 koji prolazi kroz , obuhvata krug sa
4
1
1
2
sreditem u taki
8 koji prolazi kroz 8 = 4 . Ovaj drugi obuhvaeni krug
1
2
obuhvata, sa svoje strane, krug opisan oko take
16 , koji prolazi kroz 16 i
3
4
krug opisan oko
16 , koji prolazi kroz 16 ; ovi opet obuhvataju manje krugove
1
1
3
5
7
opisane oko
32 , 32 , 32 , 32 itd.; iz toga doznajemo da je du (0, 4 ) vea od
Krug koji je opisan oko take
svih dui
od
(0, a),
kad
1
4.
161
1
16
1
8
1
4
3
8
1
2
2
(0, 21m ).
je vrednost manja od
1
2m , bie du
(0, a)
i ija
0.
1 1 1 1
2 , 4 , 8 , 16 ,. . . konvergiraju prema taki
1
),. . .
(0, 21 ), (0, 14 ), (0, 81 ), (0, 16
1 1 1 1
stalno smanjuju, morale bi take , , ,
,. . . imati svoje mesto zgunja2 4 8 16
Ako uzmemo suprotan sluaj, poto se dui
2n1
2n2
2n3
sa sreditem u taki
0.
Neka
1
1
1
,
,
,...
2n1 +1 2n2 +1 2n3 +1
imaju mesto zgunjavanja u taki
biti sredina dui
OK ;
K .
stepeni od
0,
2.
mora
a1 , a2 , a3 ,. . .
a1 , a2 , a3 ,. . .
konvergira prema
prema taki
0.
a1 <
n1 , n2 , n3 ,. . .
1
1
1
, a2 < n2 , a3 < n3 , . . .
n
1
2
2
2
tako da
162
1
1
1
2n1 , 2n2 , 2n3 ,. . . isto tako konvergira prema 0. Kako prema
stavu u 32, svaka taka ai lei u unutranjosti kruga opisanog oko take
0 koji prolazi kroz taku 21ni , a poto, prema pomonom stavu dokazanom
1
1
1
u 33, krugovi opisani oko take 0 koji prolaze kroz take n1 , n2 , n3 ,. . .
2
2
2
i da niz brojeva
konvergiraju prema
0,
dokazati.
35. Najzad vai naredni stav:
Neka
a1 , a2 , a3 ,. . .
2 i neka ti
stepeni od
a:
a1 , a2 , a3 ,. . .
odredjenoj taki.
Radi dokaza pretpostavimo suprotno. Neka su, na primer,
dve
a1 , a2 , a3 ,. . . , i to neka take
a1 , a2 , a3 ,. . . konvergiraju prema V , a take a1 , a2 , a3 ,. . . prema taki
V . Prema primedbi u 31, za svaku taku ak postoji kretanje sloeno od
dva poluobrta, koje uopte prevodi taku ai u taku ai ak i istovremeno
taku ai u taku ai ak , a poto brojne vrednosti ai ak i ai ak
sa rastuim indeksima dolaze proizvoljno blizu 0, to uvidjamo, s obzirom
na stav u 34, da postoje kretanja koja taku proizvoljno blisku taki V i
dovode u proizvoljnu blizinu
istovremeno taku proizvoljno blisku taki V
take 0. A to je nemogue s obzirom na aksiomu III , to sa lako pokazuje
medju sobom razliite take zgunjavanja
a,
a1 , a2 , a3 ,. . .
, do-
biti dodeljena odredjena taka nae ravni; sistem svih ovih taaka nazvaemo
istinskom pravom, tako da se pod ovom istinskom pravom razume onaj sistem taaka koji proizilazi iz taaka
O, E
Sve
sisteme taaka dobijene kretanjem iz ove istinske prave, nazvaemo isto tako
istinskim pravama. Istinska prava se razdeljuje svakom svojom takom u dve
poluprave.
37. Koristei se pomonim stavom u 25, lako emo uvideti da poluo-
x prelazi u taku
2a x; pri izvodjenju dva poluobrta oko take 0 i oko take a, taka x prelazi
u x + 2a.
Na osnovu stava u 35 lako zakljuujemo da je tada, kad su a1 , a2 ,
a3 ,. . . proizvoljni konvergentni brojevi prema a, odgovarajue take a1 , a2 ,
a3 ,. . . uvek konvergiraju prema odgovarajuoj taki a, tj. istinska prava je
a,
taka
neprekidna kriva.
38.
(a, b);
P.
Taka
(a,
a+b
2 ) i
( a+b
2 , b),
P.
a+b
2 je sredina
tj. za take
Isto bi tada
3a+b
a+3b
i
4
4 .
163
An a+Bn b
, gde An ,
2n
n
Bn znae pozitivne
ele brojeve sa zbirom 2 , morale biti identine sa P ;
a iz ovog, prema 37, sledi da uopte svi realni brojevi koji lee izmedju
i
A i B i ako bi na
a, b, a na drugoj
jednoj
pravoj
a+b a +b
morale medju
2 i
2
odn. a i
identine.
40. Naa istinska prava see svaki krug opisan oko njene jedne take,
re
imo, oko take
0.
g,
take biti produena i, kako je to bilo pokazano u 38, ne moe imati nijednu
dvojnu taku, to bi u prvom sluaju sigurno morao postojati u unutranjosti
0,
koji prava
koji je manji od
g.
onu taku sa
u iju
g,
re imo, u taki
164
41.
ravnoj geometriji.
Izaberimo radi toga neki odredjeni istinski krug
dobiva vrednosti od
do
2 ,
isto tako
odredjeni smer obilaenja, naime onaj smer koji se dobija, ako, pomou
dva uzastopna izvedena obrtanja, prema 22, poklopimo sredite kruga
sa sreditem datog kruga.
sa samim sobom u
M , a koje zajedno ne
i ksirajmo
krug, kongruentan sa
onaj komad tog kruga iseen tim polupravama koji odgovara parametarskom
intervalu manjem od broja
(< )
ABC
A B C
vae podudarnosti
AB A B , AC A C ,
i ako su, dalje,
AB
A B
desni,
AC
BAC 6 B A C ,
A C
ABC 6 A B C
6
i 6
BAC ,
odn.
ACB 6 A C B ,
BC B C .
42. Poto smo u 30 - 40 denisali istinsku pravu i izveli njene osobine,
treba da razlikujemo dva sluaja:
Pretpostavimo, prvo, da postoji samo jedna prava koja prolazi kroz datu
taku i ne prese
a datu pravu (aksioma paralelnih). U tom sluaju za nau
ravan vae sve aksiome ravni koje sam postavio u glavnom delu ove knjige (gl.
I ),
III5
u 41. No i pri ovoj uoj formula iji poslednje aksiome podudarnosti nuno
II , str.124
kao i
I , str.29-30).
Drugo, pretpostavimo da kroz svaku taku
A postoje
g,
dok svaka
poluprava koja lei u unutranjosti ugla koji obrazuju date poluprave i koja
polazi iz take
A,
prese a pravu
g;
lei van
g.
165
i prostire se u unutranjosti
III5
p o s l e d nj e m
aksioma, tako da se pri tome prirodno u prvom redosledu javlja pitanje ukoliko su poznati stavovi i dokazi elementarne geometrije nezavisni od zahteva
neprekidnosti. Naprotiv, u prethodnom istraivanju zahteva se neprekidnost
na
p r v, o m
I stvarno, prethodno
I III .
166
Dodatak
moe
uopte
predstaviti
ela
ravan
Lobaevskoga
li
na
k r i v i n e.
Da bismo odgovorili na ovo pitanj, poi emo od pretpostavke analitike povrine negativne konstantne krivine -1, koja se u konanom svuda
regularno ponaa i nema singularnih mesta; tada emo pokazati da ova pretpostavka vodi protivurenosti. Takva povrina kakvu pretpostavljamo, potpuno je karakterisana ovim iskazom:
Svako
u
mesto
n a g o m i l a v a nj a
k o n a n o m, t a k o dj e
je
taka
taaka
te
povrine
koje
lei
p o v r i n e.
(1)
gde konstante
aib
4ab = 1,
a stepeni red
y.
(x, y) sadri
Oigledno je tada
zosa
daju prav e
ax2 + by 2 = 0
odredjuje obe glavne tangente povrine kroz taku
koja lei u
xyravni;
167
O.
Svaka
na povrini. Zato,
O,
parametarsku vrednost
od
jenu krajnju taku povu
imo drugu moguu asimptotsku liniju i prenesimo
na nju parametarsku vrednost
kao duinu:
u i v,
x, y, z
v.
S-
stavljajui
u i v regularne analitike
u i v.
Ako
taku
e(
y
z
x 2
) + ( )2 + ( )2 = 1,
u
u
u
x x y y
z z
+
+
= cos ,
u v
u v u v
x
y
z
g ( )2 + ( )2 + ( )2 = 1,
v
v
v
i zato, kvadrat izvoda duine luka proizvoljne krive na toj povrini po nekom
parametru
dobija oblik:
(2)
Ugao
uiv
du
du dv
dv
ds 2
) = ( )2 + 2 cos
+ ( )2 .
dt
dt
dt dt
dt
2
= sin .
uv
(3)
u, v
vrednosti od
u, v .
Svakako,
ulinija
moe even-
168
u, v
optem sluaju nipoto uzajamno jednoznano - neka taka nae ravni. Tako
dobijamo, geometrijski reeno, preslikavanje
ele Euklidove ravni (u, v ) na
neku povrinu superpozi
ije nae date povrine ili na njen deo.
Sad, pre svega, treba pokazati da je svaka
take
(u, 0).
pozitivan broj, a
dui
a u +a, v = b
na naoj povrini komad asimptotske linije ili niz komada na njoj, a
pred-
b = b0 ,
b = 0.
Dalje se dokazuje:
koje se dovoljno
b0 .
b1 < b < b2 ,
onda on vai i za
b = b1
i za
b = b2 .
Dokaz toga se izvodi pomou iskoriavanja neprekidnosti i primene HajneBorelovog (Heine, Borel) stava o pokrivanju.
Time je tada izveden dokaz za svako
Oznaava li sad
= (u, v)
b.
(kao i na str.
u, v
usmera
do pozitivnog
u=v=0
(u, v),
nigde nije ni 0, ni
za sve vrednosti
j e d n a i n u (3).
i
vae jednaine:
0<<
Poto
0.
u
u, v :
0 < (u, v) < ,
dakle
sin > 0.
Ali funk
ija
(u, v)
2
= sin
uv
169
sledi, najpre, da je
i, zato,
2
> 0,
uv
u pri rastuem
raste.
(0, 1) >
(0, 0) 0,
u
u
a zato se moe odrediti pozitivna veliina
tako da za
0 u 3a
bude:
(u, 1) > 0.
u
Neka
u (u, 1) za
Tada je za
0 u 3a.
v 1:
(a, v) (0, v) =
(a, v) a
(a, 1) a m a,
u
u
(0 < < 1)
i, isto tako
(3a, v) (2a, v) m a,
dakle
dakle,
(u, v)
monotono
0 u 3a,
v1:
a u 2a,
v1
(u, v)
(u, 1) > 0;
u
u
raste zajedno sa u. Zato za
vai:
M >0
i nezavisno od
u, v .
Z Z
170
(a, 1),
(2a, 1),
(2a, V ),
(a, V )
(V > 1)
vea od
M a(V 1),
dakle, pri podesnom izboru
vea od
Z Z
sin dudv =
2a Z V
1
2
dudv = [(2a, V )(a, V )][(2a, 1)(a, 1)] < ,
uv
poto je
1.
= 1,
= 1.
U ovom naroitom
171
> 1;
povrine
taka
ularna je taka nae povrine, to e okolina ove take biti pokrivena svakom
od porodi
a linija krivine povrine jednostruko i bez praznina.
li ove linije krivine za koordinatne linije, a samu taku
Uzmemo
za poetak tog
r1
=
tada pozitivna realna veliina
(u, v)
Stavimo
1
r1 + 1
log
;
2
r1 1
zadovoljava narednu
2 2
e2 e2
+ 2 =
.
2
u
v
4
(4)
Poto kad
na mestu
po
= a + u2 + 2uv + v 2 + ...,
gde
a, , ,
u2 + 2uv + v 2
za realno
okolnosti za konstante
(5)
0i0
u=0iv=0
dobiemo tada:
2( + ) =
e2 e2
.
4
Poto konstanta
ispada
Iz ove poslednje
+ < 0,
172
173
Dopuna
er.
a + b + a + b = a + a + b + b,
i stoga prema stavu 2
b+a=a+b
Da se komutativni zakon mnoenja (stav 12, str.
stavova 111, 1316 i 17 (Arhimedov stav), ali ne moe bez korienja stava
17, pokazano je u 32, 33.
P. Bernajs
Dopuna
II
I IV ,
siome, tj.
na osnovu aksioma
moe se uprostiti.
jednakost dui, zbir dui kao i tamo zabeleenu injeni
u da za zbir dui
vai aso
ijativni i komutativni zakon.
Kao razmeru
a:b
dui
a, b
a.
a, b
lei
: b = c : d.
Prema tome, odmah vai da je svaka razmera dui sama sebi jednaka i da
su dve razmere dui, jednake nekoj treoj, i medju sobom jednake, kao i:
ako je
a = c i b = d,
onda je
a : b = c : d.
174
a : b = c : d,
III5 i IV
a : b = c : d,
onda je
b : a = d : c.
onda je
a : b = (a + c) : (b + d),
a : b = a : c,
onda je
b = c.
a
c
a
b
b
d
a, b, c moe postojati
x propor
ije a : b =
c : x.
iskaz:
a : c = b : d, dobija se
a, b odnosno c, d a
da kateta c drugog trougla lei u produenju katete b
temena pravog ugla, a isto tako d u produenju a (vidi
ako je
a : b = c : d,
onda je
a
c
b
d
a:c=b:d
a, c i b, d
175
ako je
a : b = a : b i b : c = b : c ,
onda je i
a : c = a : c .
b : b = c : c ,
a : a =
a : c = a : c .
pa time
a : b = b : a i b : c = c : b , onda je i a : c = c : a .
Sad treba dokazati osnovni stav nauke o propor ijama koji glasi: Ako
OAB
OA B ,
gde je
OB = b
(vidi sliku).
S S
a
OAB , a S u trouglu
S ima isto rastojanje r od pravih OA i OB , a isto tako ima S
Razloimo OA u odseke u, v , a OA u odseke u , v ; tada je
Neka
OA B : tada
r : u = 6 SOA = 6 S OA = r : u
r : v = 6 SAO = 6 S A O = r : v
prema tome
176
r : r = u : u = v : v = (u + v) : (u + v ) = a : a
tako da je,ustvari,
a : a = r : r
Primenom osnovnog stava nauke o propor
ijama, moe se posebno stav,
koji je H i l b e r t nazvao P a s k a l o v i m, svesti na maloas pomenuto drugo
pravilo o sastavljanju propor
ija.
A, B, C
odn.
A , B C
CA
li dui
BC
prema
prema
CB
Obeleimo
bie prema
b : c = c : b
(1)
c : a = a : c
(2)
a : b = b : a .
Medjutim, ova propor
ija se dobija iz dve prethodne prema drugom pravilu
o sastavljanju propor
ija.
Poto je na taj nain nauka o propor
ijama dobijena bez upotrebe mnoenja dui, moe se ovo naknadno uvesti, za to je potrebno utvrditi neku
jedininu duinu e. Naime, kao proizvod dui
denie se etvrta propor
ionala za
a, b
(u odnosu na jedini u e)
e, a, b.
e : a = b : u; e : b = c : v
e : u = c : w,
ako je
tada je
II
III
str.
126), da se na
aksiomi kongruen ije trouglova u uem smislu ne moe zasnovati euklidska nauka o povrini, poto se na ovoj osnovi (bez korienja Arhimedove
177
II
(Einlagerung)
III5 .
III5
III5
II
(up.
str.
I, II, III14
III5
i njoj
IV .
Taj zahtev u pitanju, koji ovde treba da slui kao dopuna, glasi:
Aksioma smetanja. Poligon nije nikad razloivo jednak drugom poligonu
ije ogranienje sadri unutranje take, ali ne sadri ni jednu spoljanju
taku prvog poligona, tj. koji je u prvom smeten.
Iz ove aksiome se prvo lako izvodi stav:
Poligon nije nikad dopunski jednak drugom poligonu koji je u prvom
poligonu smeten.
se nalazi u unutranjosti
ABC
jedan drugom
AB
take
D,
tako da bude
AD = BC
BE = AC . Iz prvog stava kongruen
ije u uoj formula
iji sledi kongruen
ija
trouglova DAC i CBE ; oba ova trougla su stoga i dopunski
178
AD
BE
jedna sa
drugom poklapaju.
Ako ovo ne bi bio sluaj, pa uzmemo, re
imo,
AD = BE ,
onda bi iz
take A i
AB
CAB
vei od ugla 6
CBA.
Zatim
A A
B B
CA B = CBA
CB A = CAB .
CA = CB
CB = CA,
(1 )
Ako na trouglove
CA = CB
ACA
BCB
dobiemo jednaine
ACA = 6 CAB 6 CA B
BCB = 6 CB A 6 CBA;
179
stoga je
(2 )
Obras
i
i
BCB
ACA = 6 BCB .
posebno bi bilo
AA C = 6 BB C
Ovaj zakljuak je besmisli a, poto su ova dva ugla unutranji odn. nesusedni spoljanji ugao u trouglu
A B C .
III5 ,
Ako u trouglu
trouglovi
ABC
izmedju
B,
tada