Entdecken Sie eBooks
Kategorien
Entdecken Sie Hörbücher
Kategorien
Entdecken Sie Zeitschriften
Kategorien
Entdecken Sie Dokumente
Kategorien
LIBR A
UNJVERSITY OF
\CAUFORNJA
V6
MATH.ST AT.
Dr.
O.
DAVID HILBERT,
VERSEHENE AUFLAGE.
LEIPZIG,
B. .
TEUBNER.
MATH-STAT.
TU,.
.T.
L132ARY
Inhalt.
Grundlagen der Geometrie.
Aus der
Einleitung
Kapitel
I.
1.
2.
Die Axiomgruppe
3.
4.
5.
6.
7.
8.
Kapitel IL
4
5
7
10
15
16
9.
10.
11.
12.
Geometrie)
13.
14.
15.
16.
17.
19.
20.
21.
III.
Komplexe Zahlensysteme
24
26
Kapitel IV.
18.
23.
31
35
36
39
....
22.
20
22
Kapitel
18
20
41
42
45
Der Desarguessche Satz und der Beweis desselben in der Ebene mit Hilfe
der Kongruenzaxiome
Die Nichtbeweisbarkeit des Desarguesschen Satzes in der Ebene ohne
Hilfe der Kongruenzaxiome
M775838
47
49
IV
Inhalt.
Seite
25.
26.
Das
27.
28.
29.
Aufbau
24.
Streckenrechnung
assoziative
55
und
die beiden
distributiven
30.
einer
rumlichen
Geometrie
mit
56
Hilfe
eines
...
60
....
63
Desarguesschen
64
Zahlensystems
Die Bedeutung des Desarguesschen Satzes
Kapitel VI.
66
32.
33.
34.
Zahlensystem
Beweis der beiden Stze ber den Pascalschen Satz (Nicht -Pascalsche
35.
31.
72
I IV.
....
....
36.
37.
38.
39.
73
76
78
und Eichmaes
79
82
Schluwort
Anhang
ber die gerade Linie
69
71
Geometrie)
Lineals
67
68
system
als
53
als
krzeste
I.
aus
Math.
83
Ann. Bd. 46
Anhang
II.
ber den Satz von der Gleichheit der Basiswinkel im gleichschenkligen Dreieck,
aus den Proceedings of the London Math. Society Vol. 35
Anhang
88
III.
Bd. 57 1903
Anhang
IV.
ber die Grundlagen der Geometrie, aus Math. Ann. Bd. 56 1902
Anhang
121
V.
ber Flchen von konstanter Gauscher Krmmung, aus den Transactions of the
162
Americain Math. Society Vol. 2 1901
Archimedisches
Bewegungen
sung 91.
der Nachbarschaft
9.
Winkeln
92.
und nicht
Vollstndigkeits- 16.
Kreis 16.
124.
Zahlen- 128.
10.
92.
2, 83, 89,
107.
124.
Polygon
48.
6.
Zerfallen
Punkt
Drehung
wahrer
Parallelenaxiom 15,
Bewegung
10.
14.
89, 108.
Figuren
7.
8.
Dreiecken
Nebenwinkel
schnei-
43.
Systems
des
124.
Polygons 44.
16, 92.
der Gruppeneigenschaft
der
ist.
2,
und Zusammensetzen
39.
123.
Rechter Winkel
10.
124.
Scheitelwinkel 10.
Ebene
2,
122, 123.
Eichma
Geraden
Geraden in einer Ebene 6.
einer Ebene 7.
Zahlen- 122.
74.
2.
rumlichen Geometrie
2.
einer
Spiegelbild 110.
Strecke
4.
Streckenprodukt 32.
Ende
Streckenzug
Figur
14.
Winkel
6.
8.
Nicht-Desarguessche
Nicht-Euklidische
Zahlenkreis 128.
20.
Nicht-Pascalsche 71.
Nicht-Pythagorische 102*
Gerade
Zahlenebene 122.
49.
2.
wahre
Archimedisches
26.
Nicht-Archimedisches
26.
Desarguessches 64.
158.
Halbdrehung
150.
Zwischen
4.
6.
So fngt denn
alle
menschliche Erkenntnis
Ideen.
Elementarlehre
2.
T.
2.
Abt.
Einleitung.
Die Geometrie bedarf
zu ihrem
folgerichtigen Aufbau nur weniger und einfacher Grundstze. Diese GrundDie Aufstellung der Axiome der
stze heien Axiome der Geometrie.
seit
ist
eine Aufgabe,
findet.
1)
Man
vergleiche
die
zusammenfassenden
und
erluternden
Berichte
von
G. Veronese, Grundzge der Geometrie", deutsch von A. Schepp, Leipzig 1894 (An-
hang), und F. Klein, Zur ersten Verteilung des Lobatschefsky-Vreisea", Math. Ann.
Bd. 50.
Kapitel
I.
1.
Erklrung.
die
Wir denken
verschiedene
drei
Ct ...;
A, B,
bezeichnen
mit
sie
die
sie
sie
mit
a, , f,
linearen Geometrie,
die
. .
die
die
Elemente der ebenen Geometrie und die Punkte, Geraden und Ebenen heien
die Elemente der rumlichen Geometrie oder des
Wir denken
die
Raumes.
die
genaue und
Axiome
voll-
der
Geometrie.
ein-
zelne
dieser
folgender Weise:
I
II
EU
8.
4.
6.
IV.
2.
Die Axiomgruppe
I:
2.
stellen
wie folgt:
Kap.
I 1.
Gerade
I.
2.
verschiedene Punkte A,
3
bestimmen
stets eine
a.
z.
I 2.
stimmen
Auf
I 3.
Ebene
einer
Geraden gibt
es
stets
I 4.
bestimmen
stets eine
Ebene
cc.
I 6.
Wenn
zwei Punkte A,
einer
Ebene
cc
Ebene
cc
w.
I 7.
sie
cc.
einer Geraden a in
Punkt von a in der Ebene cc.
cc;
Irgend drei Punkte einer Ebene, die nicht auf ein und derselben
I 5.
Geraden
u.
be-
diese Gerade.
Wenn
zwei Ebenen
cc,
einen Punkt
gemein.
Von den
I bezeichne.
Axiomen
I 1
Satz
1.
gemein; zwei Ebenen haben keinen Punkt oder eine Gerade gemein; eine
Ebene und eine nicht in ihr liegende Gerade haben keinen oder einen
Punkt gemein.
Satz 2. Durch eine Gerade und einen nicht auf ihr liegenden Punkt,
sowie auch durch zwei verschiedene Geraden mit einem gemeinsamen
Punkt gibt es stets eine und nur eine Ebene.
1*
Kap.
I.
3.
3.
Die Axiomgruppe
II:
die
er-
einer
Erklrung.
Die
Punkte
Geraden
einer
stehen
gewissen Be-
in
Wort
^wischen"
dient.
C und A.
Wenn A und C
Wenn A,
II 1.
C
~
7?
-f:
B,
einer
schen
Funkte
zwi-
so liegt
es
und
liegt,
auch zwischen
II 2.
wenigstens
stets
JB
B,
II 3.
nur
so
da
zwischen
und
T>
Erklrung.
Wir
und
einen
ivenigstens
liegt.
und
liegt,
Punkt D,
zwischen
der
Punkt
einen
stets
und
einen
liegt.
und 2?; wir nennen das System der beiden Punkte A und B eine Strecke
und bezeichnen dieselbe mit
oder mit BA. Die Punkte zwischen A
und B heien Punkte der Strecke
oder auch innerhalb der Strecke
gelegen; die Punkte A, B heien Endpunkte der Strecke AB.
Alle
brigen Punkte der Geraden a heien auerhalb der Strecke
gelegen.
AB
AB
AB
AB
II 4.
Es
seien
A, B, C
und a
eine
trifft:
Punkte
ABC,
die
wenn dann
die
AB
geht,
so geht sie
der
Strecke
Die Axiome
II 1
BC
oder
AC.
1)
M. Pasch
in
M. Pasch
her.
II
4 in-
Kap.
Gruppe
II
I.
Axiom
heien; das
II
3, 4.
ebene
Axiom
die
Elemente
Gruppe
der
II.
4.
Folgerungen ans den Axiomen der Verknpfung und der Anordnung.
es stets
Satz
4.
und
liegt
).
A*
ferner
B
-
zwischen A,
zwischen A, B,
Auer
>
und D, E,
und E,
.
gibt
einerseits
einerseits
D E
dieser Bezeichnungsweise
zeichnungsweise K,
heit
es
andererseits, sodann
andererseits u.
s.
w.
liegt.
ist.
Satz
6.
liegt,
in zwei Gebiete,
des an-
AB,
innerhalb
derer
ein
**L
B
enthlt
2
).
M. Pasch
1.
c.
S. 25.
Kap.
I.
4.
Erklrung.
da
zwischen
-4
4
schiedenen Seiten
Seite
von
vom Punkte
0.
ausgehender HaTbstrahl;
somit
Punkt
jeder
teilt
zwei Halbstrahlen.
Erklrung.
Indem wir
die
sagen wir: die Punkte A, A' liegen in der Ebene a auf ein und derselben
Seite von der Geraden a und die Punkte A,
liegen in der Ebene a auf
Erklrung.
Punkte
.,
K,
dere der
ein
3, 4,
und
AB CD
Punkt
und
KL
bezeichnet.
K heien
sind
die
KL
heit
Die Punkte
auch
A,B,C,D,
Fllt insbeson-
ABCD
heien
..,
zusammen,
Polygon
KA
n Ecken heien
Erklrung.
verschieden
als
AB,BC,CD,. ,KL,
Die Punkte A, B, C, D,
mit
Polygon genannt
Strecken
a.
die
bezeichnet.
Seiten
des
.,
Die
Polygons.
Polygone
n-Ecke.
Satz
7.
lygon, dessen
Punkt) und
ein
mit
verbindet,
Kap.
I.
4, 5.
dagegen A, A'
sind
zwei Punkte des Inneren und B, B' zwei Punkte des ueren,
es stets Streckenzge, die
mit
und
gibt
so
Punkt mit dem Polygon gemein haben. Es gibt Gerade in cc, die ganz
im ueren des Polygons verlaufen, dagegen keine solche Gerade, die
ganz im Inneren des Polygons verluft.
Satz
8.
jeder
Punkt
AB,
lediglich
Gruppe
durfte in der
II keines
es
be-
5-
ein
Wenn A,
1.
Punkt auf
oder gleich
ist,
finden, so
der
Geraden a von
da
die Strecke
AB
stets
ist,
so
kann man
der Strecke
AB'
kongruent
in Zeichen:
AB = B.
Jede Strecke
ist sich
AB = AB
Wir sagen auch
und
AB = BA.
in eindeutig
Kap.
8
III.
Wenn
2.
A"B"
der Strecke
AB
Strecke
eine
kongruent
wenn
gruent, d. h.
I.
so
ist,
AB = A'B
so ist auch
ist
und
6.
der
soivohl
A'B'
Strecke
auch
als
A"B"
kon-
AB = A"B",
= A"B".
BC zwei Strecken
B'C
A'B'
III.
Es
3.
auf der
AB
seien
und
A.
.
oder
einer
a'
Geraden a
anderen
cu
B'
A'
selben
ebenfalls
wenn dann
AB = A'B
ist,
so ist
auch
und
BC=B'C
stets
AC=A'C.
Es
Erklrung.
sei
cc
eine beliebige
Ebene und
h, k
seien
irgend
Das System
strahlen h, k
<^
(]i,
k) oder mit
schlossen
<^
werden,
(k, h).
da
die
beiden Halb-
dieser
II 1
Halbstrahlen h und k,
kann
leicht ge-
zusammengenommen
entweder
durch
einen
dieser
beiden
Strecke,
die
Gebiete
irgend
ist
zwei
vor
dem anderen
Punkte
dieses
welches
dieses
indem jede
Gebietes
ver-
das
ausgezeichnet,
ausgezeichneten
(h, k)
genannt werden
Ge-
mge.
Erklrung.
Kap.
Es
4.
III.
I.
Winkel
ein
sei
$C (h,
w*
&)
5.
-E&ew
***"
und
eine
Es
geben.
dann gibt es in der Ebene a einen und nur einen Halbso da der Winkel (h, k) kongruent oder gleich dem Winkel (Ji, k )
ausgeht:
strahl
ist
k',
und
von a
Seite
^{h k)^^{h',k
}
Winkel
Jeder
kongruent,
-(, *)==(*,*)
Wir
Wenn
5.
dem Winkel
Winkel
auch
es ist stets
^(h,k)
und
(h, k)
kongruent
(h", k")
so ist
).
= ^C(k,h).
ein Winkel
^(h,k)
ist,
d. h.
einer
sagen
Ebene nach
(Ji, k')
Zeichen:
liegen, in
sowohl
so
ist,
ist
dem Winkel
(Ji,
V)
als
auch
(Ji, k')
dem
wenn
= ^(h',k')
^Qi,k)
und
= ^(h",k")
stets
f
^:{h ,k')^^{h",k").
Es
Erklrung.
die
beiden von
sei
ein
Dreieck
ausgehenden durch
ABC
B und
vorgelegt;
wir bezeichnen
laufenden Halbstrahlen
AB
mit h und
Der Winkel
k.
ABC
des Dreieckes
III.
6.
Wenn
(h, k)
heit
^BAC
fr zwei Breiecke
ABC
oder <
und
bezeichnet.
HC
die
Kongruenzen
sind auch
stets die
Kongruenzen
^ABC = ^A'BC
und
^ACB = ^C'B'
erfllt.
Die Axiome
III 1
ber
die
Kongruenz
ebenen
sie
mgen daher
die linearen
heien.
Kap.
10
I.
6.
6.
Erklrung.
Da nach Axiom
nach Axiom
III
AB
Strecken
Es
A'B
AB'
'.
Strecke
ist,
AB;
kongruent
wir
sagen:
beiden
die
A, B,
Sind
C,
K,
auf
und ,
B',
Strecke
die
auch die
auch
und
Erklrung.
G, D',
sei
III 1
AB und
entsprechenden Strecken
AG und
AB',
BC
A'C,
und B'C',...,
KL und K' L' bez. einander kongruent sind, so heien die beiden Reihen
von Punkten untereinander kongruent; A und , B und B,
L und L'
heien die entsprechenden Punkte der kongruenten Punktreihen.
.
Aus den
Axiomen
linearen
III
wir
schlieen
leicht
fol-
gende Stze:
Satz
9.
Ist
K,
und
B,
.
s.
Weise geordnet,
gleiche
D'
K', L'
d.
andererseits,
IT, 1! andererseits u.
Erklrung.
s.
Es
h.
B'
liegt
zwischen
und C,
U,
w.
sei
Winkel
Qi, k)
kongruent
dem Winkel
(Ji, k').
Da nach Axiom III 4 der Winkel Qi, k) kongruent ^i(h,k) ist, so folgt
aus Axiom III 5, da -^ (Ji, k') kongruent < (h, k) ist; wir sagen: die
beiden Winkel (h, k) und
(Ji, 1c)
Zwei Dreiecke
ABC
ist,
Ein Winkel,
smtliche Kongruenzen
AB = B, ac-g, bc=bc,
^:a = ^:, <# = <#, c = ^c
erfllt sind.
Satz
10
zwei Dreiecke
ABC
AB=AB, AC~A'G,
<A
= <$:A'
Wenn
fr
Kap.
I.
Nach Axiom
Beweis.
erfllt
B'C
und
Kongruenzen
$:B = $:B'
es bedarf somit
11
6.
^c = ^.c
und
da die Seiten
BC
und
wre etwa
BC
nicht
Punkt
IX, so da
BC = B'D'
wird, so
stimmen
ABC
und A'B'D'
in zwei Seiten
nach Axiom
berein;
III 6
^BAC
Wir
nunmehr im
sind
stnde,
beweisen:
Satz 12.
kongruent sind,
Wenn
so
zwei
sind
Winkel ^C
ABC
und
<;
^A'B'C einander
CBD und ^C CB D
einander kongruent.
B
Beweis.
Wir whlen
die
A'
B'
B'
Schenkel derart, da
B' = AB,
wird.
In
den
beiden
C'B'
Dreiecken
= CB,
ABC
D'B'
und
= DB
A'B'C
sind
dann
die
a.
Im*J
^"
''l'^xl^. II
t-W^*
Kap.
12
Seiten
AB
und
L^Xf
<\A^-4XA*A-^
CB
)X*~uJlX
Zu>-
f-
<~ <Xa.<*,L.
I.
bez.
den Seiten
AB'
(Li*.
6.
von diesen Seiten eingeschlossenen Winkel nach Voraussetzung kongruent sein sollen, so folgt nach Satz 10 die Kongruenz jener
berdies
Dreiecke,
die
es gelten die
d. h.
AC=A'C
Kongruenzen
$:BC
und
^B'A'C.
und
AB
Da
Axiom
andererseits nach
III 3
die
Strecken
CB-C'B'
und hieraus
nach Axiom
folgt
mittels
III 6 die
und
^ABC=3zB'C
BGB
CBB
ist
und B'C'B'
^ G'B'B'.
und
Wickel (h,
in der Ebene cc dem Winkel (Ji, Je)
cc
kongruent und ferner sei l ein Halbstrahl der Ebene cc,
der vom Scheitel des Winkels (Ji, Je) ausgeht und im Inneren dieses Winkels
verluft: dann gibt es stets einen Halbstrahl V in der Ebene cc', der vom
Es
Satz 13.
Ebene
sei
der
jfc)
in der
Scheitel des
Winkels
verluft, so
da
(Ji, Je)
(Ji, Je)
wird.
Beweis.
Wir bezeichnen
die
Scheitel der
Winkel
(h,
Je)
und
Qi,
h,k,Ji',Je
Je)
die
Punkte A, B, , B'
OA=0'
erfllt
sind.
Wegen
und
OB~0'B'
der
OAB
und O'A'B'
wird
(7;
Kap.
I.
BC = B'C
OAC und
13
6.
O'A'C, sowie
ferner die
OBC
Dreiecke
die
sich
(A,0==3:(',r)
erfllt sind, so ist stets
und
(*, 0=^(^0
auch
^(h,k)^^(h',k').
Auf Grund
einfachen
Satzes,
den Euklid
unter die
Axiome
gestellt hat:
Satz 15.
BAD
$ D
B"
B'
\U
Winkel
so
BAD,
da
Winkels
der
entstehende
BAD
<;
AD"
Schenkel
B'
CAD
entweder
fllt;
es
das
in
treffe
AB
Innere
an,
des
Mglichkeit zu. Wegen der Kongruenz der Winkel B'A'D' und BAD"
folgt nach Satz 12, da auch der Winkel C'A'D' dem Winkel CAD"
kongruent ist, und da die Winkel B'A'D' und C'A'D' einander kongruent sein sollen, so lehrt Axiom IV 5, da auch der Winkel BAD''
dem Winkel CAD" kongruent sein mu. Da ferner <C BAD kongruent
CAD
einen von
ist,
so
ausgehenden Halbstrahl
AD'"
finden, so da
< BAD"
CAD
kon-
Kap.
14
gruent
6.
CAD'" und
^C
Nun war
Axiom
I.
aber <C
III
mglich,
weil
Halbstrahl
nach Axiom
III
wird.
nach
nicht
kann;
hiermit
der
ist
Beweis fr Satz
15
erbracht.
Wir knnen
jetzt die
Bezeichnungen
spitzer
A und <^ B im
ABC folgt unmittelbar durch Anwendung des
Dreieck ABC und Dreieck BAC. Mit Hilfe dieses
<^C
gleichschenkligen Dreieck
Erklrung.
Figur; liegen
alle
sie eine
ebene Figur.
man
in entsprechenden
Ebenen
auch
Bezug auf entsprechende Gerade ist in konnmliche; das gleiche gilt von der Reihenfolge ent-
in
Ebene und
die
fr den
Raum
Satz 17.
Wenn
B,C,..
und
kongruente
.)
(, B',
P
Ebene der ersten bedeutet,
so lt sich in der Ebene der zweiten Figur stets ein Punkt P' finden
derart, da (A, B, C,
P) und (, B', C",
P') wieder kongruente
(A,
Figuren
sind.
.)
einen Punkt
so
ist
in der
.)
die Konstruktion
Satz
Figuren
stets
ein
sind
Kap.
(A'f B',
C,
P')
I.
kongruent
Enthlt
sind.
15
7.
die
(A,B,C,..
Figur
so
ist
die
.)
Kon-
Axiom der
Satz, da der
Parallelen.
folgt in bekannter
ist,
als jeder
der
die
A,
so da die
ein
schneidet,
da
in
die
einer
stets eine
so
Gerade
folgt
die
aus
leicht
dem erwhnten
Gegenwinkeln
vom Auenwinkel,
Das Parallelenaxiom
lautet nun:
IV (Euklidisches Axiom).
ein
Satze
Punkt auerhalb a:
dann
b,
Es
gibt es
sei
a eine
beliebige
in der durch a
die durch
luft
und a
und
Gerade und
bestimmten
zu a durch A.
derselben
treffen; dieser
Nehmen
Satz 19.
Wenn
zwei
Parallelen
Kap.
16
und umgekehrt:
I.
7,
8.
die
Satz
Die
20.
Rechte aus
Wenn
A,
Auf Grund
leicht die
dieser
Ebene a
einer
in
fr welche
MA
Strecken
die
ist,
III
Geraden
Punkt
ein beliebiger
IV
Dreiecks
eines
).
Erklrung.
so
Winkel
eines Kreises
Punkte
gelegene
sowie
Satz
der
ber
die
und
Kongruenz
aller
von
den
Es
ber
Peripheriewinkel
Sehne
nmlichen
der
Satz
der
Winkeln im Kreisviereck.
8.
Axiome der
Die Axiomgruppe V:
V
A
Stetigkeit.
ein beliebiger
AA A A A A A Ai}
X
Az
A,
A3 A^
An BA
w
.
An
da
zwischen
raden, Ebenen)
der
Aufrechterhaltung
und
An
A A
2
3,
liegt.
smtlicher
welches
bei
fhig
ist,
d.
es nicht
1)
man
die
Axiom.
Kap.
Hinsichtlich des
Bemerkungen
I.
Axioms
der Vollstndigkeit
8.
V2
17
hinzu.
Rede
ist,
man
die
da
so zu verstehen,
Axiome in
frheren
sofern
man
hat
dies
liegt,
tut,
die
vorher einander kongruent sind, dies auch nach der Erweiterung bleiben.
die
Axiome
IV
erfllen,
stets
solche
IV
ebenfalls
d. h.
IV
um
IV unsere
Geometrie
als iden-
(vgl.
9 und 12).
Vollstndigkeitsaxioms
Geometrie sich
Durch
als
in das
die
systems bildet 1 ).
In den nachfolgenden Untersuchungen sttzen wir uns wesentlich nur
Axiom und
setzen
Man
17
trag ber den Zahlbegriff: Berichte der Deutschen Mathematiker- Vereinigung, 1900.
Bei
der
Kap.
18
II.
Kapitel IL
und gegenseitige Unabhngigkeit
Die Widerspruchslosigkeit
der Axiome.
9.
I aufgestellten
d. h. es ist
Axiome
Um
widerspricht.
Man
dies einzusehen,
gengt
eine Geo-
es,
erfllt sind.
welche
Zahlen,
Axiomgruppen stehen
hervorgehen,
von Malen
Rechnungsoperationen: Addition,
die vier
und
ausgeht und
yl
-j-
c2
anwendet, wobei
ra
ein
ist.
(x, y)
Bereiches 1 als
des
sind,
Gerade;
eine
als
w) aus
mge
ferner
1,
das Be-
ux
+ vy + w
des
Bereiches 1
sind
smtlich
Anordnung smtlich
x2>
Vi)>
x3)
y$)>
unsere
irgend welche
oder y1} y2 , y3
wachsen;
um
oder
Geraden
Punkte
Geraden
sein,
grer
als
liegt;
damit
Die Zahlen
erfllt.
auch
da
treffen,
die
alle
ausfllt,
wenn
die
Axioms
Punkte
II
{x, y),
4 zu
erfllen,
fr die
ux
-\-
haben
vy -\- w
schenkligen Dreieck bin ich anf ein weiteres Stetigkeitsaxiom gefhrt worden,
ich
da
leicht solche
da
w)
gltig sind.
in dieser Reihenfolge
und
Punkte
fr
II der
knnen wir
Axiome
reell;
Festsetzungen
man
sehe
das
gedruckte Abhandlung ber den Satz von der Gleichheit der Basiswinkel im gleichschenkligen Dreieck".
Vgl.
S.
92
und
S. 107.
XXXV
1903.
Kap.
II.
der Geraden (u
Seite
tv)
gelegen
sein
Man
sollen.
19
9.
berzeugt
sich
leicht,
einstimmung
ist.
Das Abtragen von Strecken und Winkeln erfolgt nach den bekannten
Eine Transformation von der
Methoden der analytischen Geometrie.
Gestalt
= x + a,
=y+b
x
y
vermittelt
die
Punkt
<
Parallelverschiebung
Punkt
ferner der
mit
(a, b)
und Winkeln.
von Strecken
COE, wenn
Wird
(0, 0)
ist,
dem
aus
b
-[/*
y
zu setzen
Da
ist.
y* -f
fr"
+ y*
+ P y,
+b
die Zahl
y^ + pa|/l+(|y
wiederum dem Bereiche
so
1 angehrt,
Axiom
und
erfllt.
Vollstndigkeit
III
das Archimedische
ist
Jeder Widerspruch
nicht erfllt.
in
E(i,o)
O(o,o)
den Fol-
nach auch
in der
Whlen wir
Bereich
IV,
mte dem-
aller reellen
smtliche Axiome
Zahlen,
V gltig
Entwicklung
so
erhalten
statt
wir
eine
Geometrie,
ist die
Cartesische Geometrie.
demnach
1) Betreffs
vergleiche
in
der
gewhnliche
mte
sein.
man meine
matiker-Vereinigung, 1900, sowie Mathematische Probleme, gehalten auf dem internationalen Mathematikerkongre 1900, Gttinger Nachr. 1900, insbesondere Problem No. 2.
20
Kap.
II.
Die
Betrachtungsweise
entsprechende
fr
die
rumliche
10, 11.
Geometrie
Wie man
Axiomen
erkennt,
IV, V
gibt
unendlich
es
Geometrien,
viele
den
die
2 gltig
ist.
io.
Nachdem wir
ist
es
hngig
die Widerspruchslosigkeit
sind.
sie
der
nachzuweisen.
dies zeigt
die
(Cartesischen)
laufen,
mittle
Kongruenzen
die
dieser
Geometrie
durch
solche
und
ver-
Trans-
lineare
geeigneten
Bei
Axiom IV
gltig
sind,
Festsetzungen
und da
die
so folgt
nunmehr auch
die
Mg-
IL
Wir werden
die
der
erste
Axiom
werden kann.
III
Kongruenzsatz fr Dreiecke,
Axiomen
d.
i.
Satz 10
I, II, III 1
5,
durch
IV,
Kap. IL
Wir whlen
21
11.
die
auch als Elemente der neuen rumlichen Geometrie und definieren das
Abtragen der Winkel ebenfalls wie in der gewhnlichen Geometrie, etwa
in der Weise, wie in 9 auseinandergesetzt
worden
mgen
x2 y2
z2
Y(xx
als die
Geometrie
einander kongruent
zwischen
und
und auf
liegt.
2
2)
im eben
sie
AA
X
festgesetzten
2,
IV,
5,
Axiom
III
Punkte
ihr drei
gltig sind.
erfllt
x
whlen wir
ist,
A A A
2
so da
Gleichungen
die
wenn
bez.
ein,
da auch das
zu zeigen,
-*
x ,
zx
heien,
I, II, III 1
Oi
A A
Es leuchtet unmittelbar
Um
die
-x + y - y f + (y - y f -f
A A
und
dagegen definieren
Koordinaten xx yx
haben; dann bezeichnen wir den positiven Wert von
der
in
gewhnlichen
ist;
Xt -f X,
y = lit +
z = vt -f V
.
[i',
gegeben, worin X,
Sind
bedeutet.
X',
,
p, ii,v, v
(<
(<
t ), t
x
3
t2 )
einen Parameter
Punkten
und mithin ist die Summe der Lngen der Strecken A X A 2 und A 2 A3
dieser Umstand bedingt die Gltiggleich der Lnge der Strecke A X A2
keit des Axioms III 3.
Das Axiom III 6 oder vielmehr der erste Kongruenzsatz fr Dreiecke ist in unserer Geometrie nicht immer erfllt. Betrachten wir nmdie vier Punkte
lich z. B. in der Ebene z =
3(o,l)
\
= 0, y = 0,
= 1 y = u,
x = 0, y=l,
x = t
y = T>
,,
77
Vz
yC(i,i)
ecken
OAC
und
OBC
die
Winkel
bei
C und
O(o,o)
A(l,0)
22
Kap.
die
II.
OC
da die Seite
12.
beiden
Dreiecken
fr welche das
Axiom
III
ist.
12.
Um
die
zu beweisen,
mssen wir eine Geometrie herstellen, in der smtliche Axiome mit Aus-
nahme der Axiome V, diese letzteren aber nicht erfllt sind 1).
Zu dem Zwecke konstruieren wir den Bereich Sl(f) aller
algebraischen Funktionen von
t,
welche aus
derjenigen
|]/l
tion bedeuten,
die
co
2
|
hervorgehen;
dabei
soll
l(f) ist
irgend
eine
&
in 9
abzhlbare.
Funk-
bereits entstanden
ist.
eine
reell
aus-
fhrbar; der Bereich l(t) enthlt daher nur eindeutige und reelle Funk-
tionen von
Es
t.
sei c
von
Werten
ist,
kann
so
sie jedenfalls
verschwinden und
tion c fr
nur fr eine
es
entweder
stets
positiv
Wir
sehen jetzt
die
in
dem
so
l(f)
mge, wenn
a, b
eine Art
komplexen
als
definierten
gltig.
Ferner
als
b,
in
Zeichen: a
>b
jenigen
kennt,
1)
<
&,
bei
heien, je
reellen
Zahlen analog
ist;
komplexen Zahlen
auch
gelten,
wie
man Reicht
er-
die Stze,
wonach Ungleichungen
fr
unsere
deutsch von A. Schepp, Leipzig 1894, ebenfalls den Versuch gemacht, eine Geometrie
aufzubauen, die von
ist.
Kap.
II.
bleiben,
richtig
Seiten
>
die
12.
23
Zahl addiert
gleiche
multipliziert.
<
da die Differenz n
Bereiches
>
die beide
liebiges Vielfaches
gengend
betrachtet, fr
Wir sprechen
in
Sl{),
Funktion von
als
t,
des
da ein be-
Geometrie genau auf dieselbe Art auf, wie dies in 9 unter Zugrundelegung des Bereiches
von algebraischen Zahlen geschehen ist: wir
&
und
einen Punkt
&(t),
falls u, v,
Zahlen
drei
(x, y, z)
von irgend
die Verhltnisse
vier Zahlen (
r) aus
mge
ux
ausdrcken, da der Punkt
Gerade
die
sei
die
-f
vy
gelegenen Punkte.
-f r
in der
(x, y, z)
Gesamtheit
wz
aller
in
Ebene
(n
zwei Ebenen
v:
r)
liegt,
und
mit verschiedenen
setzungen ber die Anordnung der Elemente und ber das Abtragen von
Strecken und Winkeln, wie in
9,
Zahlensystems
l(t) zeigen,
smtliche
Strecke
Strecke
berschritten wird;
komplexen
der Stetig1
auf der
Endpunkt der
medischen Axioms.
insbesondere erschien
mir die Frage nach der Winkelsumme im Dreiecke und nach der Abhngigkeit dieser Stze
Frage.
1)
Math. Ann.
Kap.
24
III.
Riemannsche
(elliptische)
hineinfllt
sind die
Geometrie
Axiome
den
in
II der
13.
Bereich
der
Untersuchung
Anordnung allgemeiner,
als in der
A,
C und
B, B,
so da
A,
einer Geraden
durch B,
zerfallen
stets
in zwei
Paare
Fnf Punkte auf einer Geraden knnen immer in der Weise mit A, B,
C, D, E bezeichnet werden, da A, C durch B, B und durch B, E, ferner
da A, B durch B, E und durch C, E u. s. f. getrennt sind.
Die hauptschlichsten von M. Dehn auf Grund der Axiome I III,
also ohne Benutzung der Stetigkeit, bewiesenen Stze sind folgende:
Wenn in irgend einem Dreieck die Summe der Winkel grer
bezglich gleich oder kleiner als zwei Rechte ist, so ist sie es
jedem Dreieck ).
Aus der Annahme unendlich vieler Parallelen zu einer Geraden durch einen Punkt folgt, wenn man das Archimedische
Axiom ausschliet, nicht, da die Winkelsumme im Dreieck
kleiner als zwei Rechte ist. Es gibt vielmehr sowohl eine Geometrie (die Nicht-Legendresche Geometrie), in der man durch
einen Punkt zu einer Geraden unendlich viele Parallelen ziehen
kann und in der trotzdem die Stze der Riemannschen (elliptischen) Geometrie gltig sind. Andererseits gibt es eine Geometrie (die Semi-Euklidische Geometrie), in welcher es unendlich viele Parallelen durch einen Punkt zu einer Geraden gibt
und in der dennoch die Stze der Euklidischen Geometrie gelten.
Aus der Annahme, da es keine Parallelen gibt, folgt stets,
da die Winkelsumme im Dreieck grer als zwei Rechte ist.
Ich bemerke endlich, da, wenn man das Archimedische Axiom
hinzunimmt, das Parallelenaxiom durch die Forderung ersetzt werden
1
in
Winkelsumme im Dreieck
Kapitel
III.
Komplexe Zahlensysteme 2 ).
Am
Anfang
dieses
Kapitels
wollen
wir
einige
kurze Auseinander-
2)
Kap.
III.
25
13.
Die reellen Zahlen bilden in ihrer Gesamtheit ein System von Dingen
mit folgenden Eigenschaften:
1.
bestimmte Zahl
Wenn
Addition"
eine
eine
und
c, in Zeichen
a
2.
6):
b entsteht durch
=c
-f b
oder
=a+
existiert stets
nur eine Zahl x und auch eine und nur eine Zahl
+x=b
bez.
-f
y, so da
=6
wird.
Es
3.
heie
sie
so da fr jedes
a zugleich
a
-\-
und
-\-
=a
ist.
4.
entsteht
ab = c
Wenn
5.
c,
in Zeichen
Zahl
oder
c = ab
und nur
eine Zahl
ist,
eine
so da
y,
ax
ya
=b
sie
heie
bez.
wird.
Es
6.
so da fr jedes
a zugleich
a
'
und
ist.
Wenn
a, b, c
(7
12):
so
nungsgesetze:
7.
8.
a+b
(b
a(bc)
9.
10.
a(b
11.
(a
12.
ab
-\-
c)
+ b)c
c)
- (a + b) + c
=& + a
= (ab)c
= ab ac
= ac + bc
-\-
=ba.
Wenn
a, b
16):
>b
und
als
<a
die
andere;
ist stets
die
eine
letztere
Kap.
26
15.
Wenn
Wenn
16.
Wenn
14.
a
a
>b
>b
und
> c,
so ist auch a
und
-f c
ist es
stets
b.
stets
a>0
&>0
und
Summe
-\-
18):
Wenn
Satz.)
>c
auch
-\-
zwei belieoft
zu ad-
-\-
a>b.
18.
c.
ca>cb.
und
(Archimedischer
c -f
so ist
ist,
ac>bc
17.
>
13, 14.
ist,
> 6 4- c
> b und c >
a
<x
III.
Es
ist
dem
nicht mglich,
in
die Stze 1
17
smtlich erfllt sind; oder kurz: die Zahlen bilden ein System von Dingen,
ist.
Ein System von Dingen, das nur einen Teil der Eigenschaften
heie
besitzt,
heie
ein
selbe der
ein Nicht-Archimedisches,
Von den
brigen.
oder
aufgestellten
Es entsteht
jenachdem
das-
nicht.
Eigenschaften
18
schaften zu untersuchen 1 ).
18
komplexes Zahlensystem.
ein Archimedisches
Wir werden im
VI 32 und 33
Bedeutung beantworten und wollen hier nur darauf hinweisen, da jedenfalls die Forderung 17 keine logische Folge der voranstehenden Eigenschaften
system
ist,
Sl(t) smtliche
rung 17
Im
16
besitzt,
entsprechenden
Axiome
Eigenschaften
erfllt.
Bemerkungen,
wie
sie
in
ber
die
18)
die
geometrischen
14.
die
Kap.
III.
27
14.
Axiome I 1 3 und II IV zu Grunde. In dem gegenLU gedenken wir Euklids Lehre von den Proportionen
mittels der genannten Axiome, d. h. in der Ebene und unabhngig
vom Archimedischen Axiom zu begrnden.
Zu dem Zwecke beweisen wir zunchst eine Tatsache, die ein besonaxiome,
d. h.
die
wrtigen Kapitel
derer
bekannten Pascalschen
des
Fall
Kegelschnitten
bezeichnen
und
ist
die
kurz
der
Lehre von
den
als
Dieser Satz
will.
t*
lautet:
Satz 21
Es
Satz).
aus
Satzes
knftig
ich
B',
(Pascalscher
*)
je
A, B,
seien
bez.
Punkte auf
drei
vom
CB'
parallel
parallel
AG
parallel
AB'.
Um
',
ist
BG' und
so ist
auch
dann
CA
B
folgende Bezeichnungsweise
eingeschlossenen
Basiswinkel
In
ein.
Hypotenuse
die
eindeutig
cc
ist
bestimmt:
a
so
da das Symbol ac
= ccc,
stets
eine bestimmte
Strecke
Winkel
Nunmehr mge
liebige spitze
und
ist.
und
cc,
die Strecken-
kongruenz
ccc
besteht
stets
s ccc
und somit
die
j.
Symbole
cc,
1)
jr
-p\
"
F. Schur hat einen interessanten Beweis des Pascalschen Satzes auf Grund
I III
in
verffentlicht.
Kap.
28
III.
Da
von
Winkel <
die
Punkte A, B, C,
Winkel <fiACD und
vier
AD
BC
ACB
und
<=
und
BD,
verbinden
AE auf CD.
ADB Rechte
sind,
so
mit
und
liegen die
einander kongruent.
ABD
CAE
und andererseits ^C
zusammen mit <t
und folglich sind auch die Winkel <^C CAE und <
<3C
14.
gruent,
es ist
d. h.
^CAE=
und daher
^CDAE=a.
Wir gewinnen nun
= AD
uc = a(AD)
= AC
ac = (AC)
und hieraus
ac
AE
AE,
c,
a,
b ', c,
l,
l*,
m, m*,
CB
n, n*.
',
m*
das Lot
n)
auf
C'l
raden
OA, OA'
Winkel
k',
die spitzen
n mgen
OA und
OA' die spitzen Winkel [i',[i
bez. v', v bilden. Drcken
wir nun diese drei Lote
Lote auf
bez.
in der vorhin
angegebenen
Weise mit Hilfe der Hypotenusen und Basiswinkel in den betreffenden rechtwinkligen Dreiecken
auf doppelte Weise aus, so erhalten wir folgende drei Streckenkongruenzen
(1)
kb'=k'c,
(2)
na'^ti'c,
(3)
j/ft'= v'b.
Da nach Voraussetzung l parallel l* und m parallel m* sein soll, so stimmen die von
auf l* bez. m zu fllenden Lote mit den Loten auf l bez.
m* berein und wir erhalten somit
29
14.
Xc'^X'b,
(4)
= p' a.
fic'
(5)
Wenn wir auf die Kongruenz (3) links und rechts das Symbol X'fi
anwenden und bedenken, da nach dem vorhin Bewiesenen die in Rede
stehenden Symbole miteinander vertauschbar sind, so finden wir
vX'[ia'
In dieser Kongruenz
= v'pX'b.
bercksichtigen wir
vX'p'c
oder
v\i X c
links
die
Kongruenz
(2)
und
= v'{iXc
=y
Xpc
Hierin bercksichtigen wir links die Kongruenz (l) und rechts (5); dann
wird
v[i
XV
'
= v'Xp'a
oder
Xp'vb' ss Xfi'v'a.
Wegen
der Bedeutung
Kongruenz
unserer Symbole
schlieen
wir
aus
der
letzten
sofort
p'vb' es fi'v'a
und hieraus
vb'==v'a.
(6)
Fupunkte der
und B'
aus,
so
zeigt
die
Auge und
Kongruenz
d. h.
fllen
(6),
da
die Gerade
w*== AB' steht zu dem Lote auf n senkrecht und ist mithin zu n parallel.
Damit ist der Beweis fr den Pascalschen Satz erbracht.
Wir benutzen im folgenden zur Begrndung der Geometrie lediglich
denjenigen speziellen Fall des Pascalschen Satzes, in
kongruenz
und
folglich
In
gilt.
speziellen
Fall
Wir
die
tragen auf
(lf)
von
S.
gelingt
30):
zu CA' und
AB'
OB
AG'
bis
B'
wird.
ab, so da
Wegen
wird
^OC'B = ^OAD'.
der
BD' parallel
Dreiecke OC'B und
Verbindungsgerade
Kongruenz der
die Strecken-
OC-O
OA=OC
auch
diesem
dem
^OC'B = ^OBG;
ist
der
Kap.
30
III.
14.
<OAD'=<^OB'Cdann aber
vom
ist
ACD'B'
Kreise
ein
gilt
^OB'C = ^OAB'.
(3f)
wegen
Andererseits
ist
Kongruenz
der
OD'C und
OB
der
Dreiecke
auch
^OD'G-^OBA'^
(4f)
^OAB'=^OB
und
diese
Kongruenz
lehrt,
da
AB'
parallel
sind,
Wenn irgend eine Gerade, ein Punkt auerhalb derselben und irgend
Winkel gegeben ist, so kann man offenbar durch Abtragen dieses
Winkels und Ziehen einer Parallelen eine Gerade finden, die durch den
gegebenen Punkt geht und die gegebene Gerade unter dem gegebenen
Winkel schneidet. Im Hinblick auf diesen Umstand drfen wir endlich zum
ein
Beweise
allgemeineren
des
einfache
Schlu-
von anderer
Seite verdanke.
Man
ziehe durch
Gerade, die
D'
C
vom
Kreise
CBD'A'
ein Kreisviereck
unter
im Punkte
dem Winkel
OC
Kongruenz
trifft,
so da die
(1*)
^OCA=^OD'B
gilt;
dann
ist
und mithin
gilt
Kongruenz
(2*)
eine
OBA=s$: OD'C.
die
Kap.
Da CA' und
III.
AC
31
14, 15.
sind, so ist
^.OCA'^^OAC';
(3*)
^.OD'B =
dann aber
BAD'C
auch
ist
^OAD' = ^
(4*)
und mithin
ein Kreisviereck
Winkeln im Kreisviereck
Da
^ OAC-
CB'
die
gilt
nach dem
Kongruenz
OC'B.
parallel
BC
ist,
so
<OB'C = <$:OC'B;
(5*)
^OAD' = ^OB'C;
da
CAD' B'
und mithin
gilt
^OAB'
(6*)
Aus
(2*)
und (6*)
<
und
diese
=$:OD'C.
folgt
Kongruenz
lehrt,
OB ~
da
OAB'
AB'
und
eine
ist
).
15.
Der
den
in
im
vorigen
Stand,
in
die
Paragraph
bewiesene
Geometrie
eine
Pascalsche
Satz
setzt
uns
einzu-
als
die
= AB
Summe
und
der
b = BC
beiden
Strecken
und setzen
c
<
=a+
C*
CL + b
>
&
1) Interesse verdient auch die Verwendung, die der Satz vom gemeinsamen Schnittpunkt der Hhen eines Dreieckes zur Begrndung des Pascalschen Satzes bez. der Proportionenlehre findet; man vergleiche hierber F. Schur, Math. Ann. Bd. 57 und
J. Mollerup, Studier over den plane geometrics aksiomer, Kopenhagen 1903.
Kap.
32
III.
< c,
und
und
da
Aus den
linearen
fr
eben
die
Zeichen:
> a,
> &.
Kongruenzaxiomen
Addition
definierte
Zeichen:
< c,
b, in
c
als c, in
15.
III 1
entnehmen wir
der
Strecken
das
leicht,
assoziative
Gesetz
kommutative
sowie das
gltig
(b
c)
6)
Gesetz
ist.
Um
definieren,
Wir whlen
Konstruktion.
folgender
zu-
nchst eine beliebige Strecke, die fr die ganze Betrachtung die nmliche
und bezeichnen
bleibt,
dieselbe
mit
Nunmehr
1.
dem
vom
die
auf
ab.
ferner
auf
Endpunkt
der
diese
zeichnen
sie
Strecke
ab;
die
Strecke
vom
Scheitel
Strecken
Gerade
den
ebenfalls
Strecke b
der
durch
aus
Scheitel
und
eine
Parallele;
dieselbe
mge
und be-
mit
c
Wir wollen
= ab.
da
kommutative
ab
fr
die
Gesetz
= ba
Zu dem Zwecke konstruieren wir zuerst auf die oben festWeise die Strecke ab. Ferner tragen wir auf dem ersten Schenkel
des rechten Winkels die Strecke a und auf dem anderen Schenkel die
Strecke b ab, verbinden den Endpunkt der Strecke 1 mit dem Endpunkt
von b auf dem anderen Schenkel durch eine Gerade und ziehen zu dieser
gltig
ist.
gesetzte
Geraden durch den Endpunkt von a auf dem ersten Schenkel eine Padieselbe schneidet auf dem anderen Schenkel die Strecke ba ab;
rallele:
Kap.
in der
Tat
III.
fllt diese
gekehrt
folgt,
wie
33
15.
man
ab zusammen.
kommutativen
Um
a(bc)
aus
ebenfalls
von
die
dem
ab
ba
(ab)c
e-cb
cu
assoziative Gesetz
vom
Strecken
aus die
Kap.
34
Wie man
III.
15.
sieht,
des kommutativen wie des assoziativen Gesetzes der Multiplikation lediglich denjenigen speziellen Fall des Pascalschen Satzes benutzt, dessen Be-
weis auf
S.
Anwendung
29
30
( 14) in
Auf dem
aus
Scheitel
Schenkel eines
einen
die
Strecken a
und
die Einheitsstrecke 1
man vom
Winkels trage
rechten
= OA
= OB
= OC
ab.
Der
OD
Die Strecke
heie das
&;
= ba.
ab
Wegen
OCA
S.
und
OBJ) stimmt
diese
32 angegebenen berein.
Definition
nunmehr nach
S.
der Winkel
Gleichheit
Produktes mit
der
auf
Die Gleichung
ab
beweist
der
des
= ba
(S.
S.
33 das assoziative
(ab)c.
Endlich
gilt
in unserer
Streckenrechnung
auch' das
CL(btC)
distributive Gesetz
a
Um
(b
-J-
c)
ab
beweisen,
zu
dasselbe
ac.
-f-
ab, ac
und
(b
-f-
c)
und
b
a
(b
c)
= ab
c
-f bc
bi-c
(s.
neben-
Kap. HI.
zu
35
15, 16.
schraffierten Dreiecke
= ab
wird:
Strecke
diese
a wird
mit
=-
stets eine
bezeichnet
Strecke
a,
und der
16.
Erklrung.
Sind a,
d,
b,
irgend
b'
vier
Strecken,
so
soll
die
Proportion
a :b
= d :b'
= bd.
ab'
Wenn
Satz 22.
a, b
heien
und d,
b'
hnlich,
wenn entsprechende
a:b
Wir
Beweis.
= d :b'.
a, b
Wir
eingetragen.
Scheitel
Strecke
Endpunkt
zu
den
ab
beiden
einem
und
Schenkel
ziehen
durch
ein
Hypotenusen;
die
den
dieselbe
ab;
dann
ist
nach
die
unserer
ea,
b'
die
von
vom
schneide auf
Strecke
auf
aus
1
sodann
tragen
wo
= ed]
3*
Kap.
36
III.
16, 17.
= bd
ab'
d.
h.
= d :b'.
a :b
dem allgemeinen
zu
struieren
jedem
Dreiecke
lichen
bez.
Falle zurck.
in
der
ST
beiden
konhn-
Schnittpunkt
Winkelhalbierenden,
drei
Existenz
dessen
der
den
Wir
aus
dem
Satze
vom
und
ist,
fllen
Lote r bez. r
von diesen
die drei
a,
bez.
<h'j
K, K,
ac'> Vi
spezielle
Vi
a, C b
c a ',
K-
Proportionen
=a
:r = a
ah :r
ac
b c :r
'
bc
b:r==bJ:
:r
/
r'
und
=d
r,
= b'
= d :b\
a :b
leicht
den Fun-
damentalsatz in der Lehre von den Proportionen, der wie folgt lautet:
Satz 23.
bez.
d,
a :b
Umgekehrt,
a,
und
werden,
d,
b, b'
so
wenn
je
d \V
vier Strecken a, b, d,
auf einem
b'
und
Winkels abgetragen
bez.
von
einander parallel.
17.
Die Gleichungen der Geraden und Ebenen.
Zu dem
ebensolches System von Strecken hinzu; die Strecken des neuen Systems
denken wir uns durch ein Merkzeichen kenntlich gemacht und nennen
Kap.
III.
37
17.
sie
teten positiven
11
in
Zahlen,
reelle
13
in
die
so
ein,
gelten bei
gehrigen Festsetzungen
erweiterten
Wir heben
Es
a 1
stets
ist
a.
ab
einander
Wenn
Wenn
in einer
Gerade
als
rechtwinkliges
festes
zwei zu-
Achsenkreuz an
nachdem
je
bez.
der
Ebene a
ist
durch
seine
sein knnen,
eindeutig bestimmt.
Es
sei
einen Punkt
Koordinaten a, b
Sind
dann x, y
gehe.
die
irgend
ordinaten
Punktes von
und durch
mit den
Koeines
so finden
l,
oder
bx
die
als
Geraden
zu
ay
Gleichung
der
eine
l.
Ist
auf der
lautet also
bx
Aus
von dem
ay
bc
= 0.
Ebene durch
Kap.
38
III.
17.
wobei
die
Koeffizienten
kommende Strecken
in
Resultate
beweist
betreffenden
darstellt,
Geometrie vor-
sind.
entsprechenden
Die
der
derselben
man
ebenso
in
der
den
leicht
rumlichen Geometrie.
Methoden geschehen,
der
man
die
in
anwendet.
Wir haben
nirgends
wir jetzt
setzen
benutzt;
desselben
Gltigkeit
die
Axiom
voraus,
reelle
so
Zahlen
Wir whlen
und
zu;
sie
be-
Ausfhrung
Zahl
zuzuordnen
ist.
Nun
als
die
an den Punkt
Zahlenwerte
leicht geschlossen
fc*v-Ai
dem
dieses Verfahrens
bezw.
Zahl zuordnen lt und zwar so, da dieser Zuordnung folgende Eigenschaft zukommt: wenn A, B, C irgend drei Punkte der Geraden und bez.
a, , y
die
oder a
zwischen
A und G
<<y
Ungleichung a
> > y.
dem
II
9 leuchtet ein,
da dort fr
existieren
auch wenn
man nur
gilt
oder nicht
gilt.
Archimedischen
smtliche Axiome
I V
irrationalen Elemente)
gltig
erweiterte
Diese
sind.
Geometrie
ist
39
18.
Hinzufgung der
(durch
gilt
).
Kapitel
IV.
Wir
IV
die-
grnden.
Kapitel
dem Pascalschen
III
die
Lehre von den Flcheninhalten; diese Begrndung der Lehre von den Flcheninhalten erscheint mir als eine der
merkwrdigsten Anwendungen des Pascalschen Satzes in der Elementar-
die
geometrie.
Erklrung:
Verbindet
man
durch
Innern von
und
liegen; wir
setzen
Erklrung.
eine
endliche
sagen:
zerfllt
in
und
oder
zusammen.
Zwei Polygone heien
zerlegungsgleich,
wenn
die
sie
in
paar-
Vgl. die
8.
Kap. IV.
40
hinzuzufgen,
18.
einander
zerlegungsgleich sind.
Aus den
durch Zusammenfgung
zerlegungsgleiche Poly-
gone,
brigbleibenden Polygone
die
inhalts-
gleich.
Ferner gelten folgende Stze:
Satz 24.
lygon
gleich.
Sind
zwei
Polygone
zerlegungsgleich,
sind
so
und
mit einem
dritten
Po-
sie
sind sie
so
untereinander inhaltsgleich.
fr
Beweis.
Nach Voraussetzung
Zerlegung in
beiden
eine
Zerlegungen je
Dreiecke entspricht.
eine
lt
Dreiecke
Zerlegung
Indem wir
sowohl fr
sich
angeben,
des
Pu
als
so da einer jeden
P
von P
Polygons
diese Zerlegungen
in
auch
dieser
kongruente
gleichzeitig in
da jedes dieser
zerfllt,
einander zerlegungsgleich.
sich
nunmehr
ohne Schwierigkeit.
Wir
linie
und Hhe
Weise
eines Pardllelogrammes,
die Begriffe:
Rechteck,
Grund-
Kap. IV.
41
19.
19.
liefert
illustrierte
Schluweise
den Satz:
Satz 25.
Ferner
gramm mit
Hhe
bekannte Tatsache:
gilt die
Satz 26.
ABC ist
stets
und halber
Grundlinie
gleicher
zerlegungsgleich.
Beweis.
BC
selbst
und
DE
in
bis
FBE
sind Dreieck
und
kongruent
einander
folglich
einander inhaltsgleich.
]/
Aus Satz 25 und Satz 26 folgt mit Hinzuziehung von Satz 24 unmittelbar:
Satz 27. Zwei Dreiecke mit gleicher Grundlinie und Hhe
sind
einander inhaltsgleich.
man
Bekanntlich zeigt
linie
stets
leicht,
Wir bemerken
zerlegungsgleich sind.
jedoch,
da dieser Nachweis ohne Benutzung des Archimedischen Axioms nicht mglich ist;
in
der
Tat lassen
sich
in
metrie (vgl. Kap. II 12) ohne Schwierigkeit zwei solche Dreiecke angeben, die gleiche Grundlinie und Hhe besitzen und folglich dem Satze 27
sind.
meinsamen Grundlinie
die
Spitze
des
AB =
ersteren
ist,
da
AF =
ABC
und
ABB
Dreiecks
senkrecht
ber
1 dienen, wenn
und im zweiten
gefllten
Hhe
so
ge-
wird.
zu beweisenden Satz:
Dreiecke und mithin auch zu einem
42
Polygon kann
beliebigen
Auch
Dreieck
konstruiert
bez.
Po-
aus
Stze
der
elementaren
Geometrie
ber die
von Polygonen, insbesondere der Pythagorische LehrFolgerungen der eben aufgestellten Stze. Wir begegnen
Inhaltsgleichheit
satz sind leichte
dennoch bei
aber
besitzt
rechtwinkliges
ist.
brigen
die
ein
stets
19, 20
Schwierigkeit.
Frage zusammen, ob
schaftlichen
d.
h.,
Seite
zwei
inhaltsgleiche
bestimmt
ist.
Wie
maen
man
die
Umkehrung
Beantwortung
zur
die
folgender-
lautet:
Satz 29.
Wenn
als
ein Verfahren,
iielt,6v
welches
Es gelingt nun, den Satz 29 und damit die Lehre von den Flchenauf dem hier von uns in Aussicht genommenen Wege, d. h.
lediglich mit Hilfe der ebenen Axiome ohne Benutzung des Archimedischen
Axioms zu begrnden. Um dies einzusehen, haben wir den Begriff des
inhalten
Inhaltsmaes ntig.
20.
Erklrung:
a,
b,
aus
der
die
Wenn
beiden
hnlichkeit
wir in
Hhen h a
der
einem Dreieck
= AD,
Dreiecke
hb
BCE
und
Proportion
a:hb
d.
h.
= b:ha
JBE
ABC
konstruieren,
ACD
so
folgt
Kap. IV.
mithin
43
20.
in
ist
zu ihr gehrigen
als
Grundlinie whlt.
und Hhe
Grundlinie
also
Strecke;
das
fr
eine
Dreiecks z/
eines
Dreieck
ist
charakteristische
sie
gegenberliegenden
verbindet,
Seite
heit
zwei Dreiecke
Wenn
Satz 30.
das Inhaltsma
der
gleich
Summe
Inhaltsmae
transversale
eines
Die
Tatsache
ecke
das
in
Streckenrech-
unserer
beliebigen
eines
Dreiecks
zweier
aus
jenem
Dreieck
wiederholte
Anwendung
da
Inhaltsma
das
auch
Dreiecks
der
gleich
Um
k
vorgelegten
viele
Dreiecke
wenn
entstehen,
Zerlegungen
transversale
man
ausfhrt.
fr
der Zerlegung,
Dreiecke
dem
beliebig
die beliebige
A
Ecke A
aus
die
ist,
nacheinander
ecke
der
durch irgendwelche
die
zeigt,
beliebigen
Summe
der
Zerlegung
hervorgehen.
dieser
Inhaltsma
da
ist,
Gesetze
distributiven
unmittelbar,
solcher Dreiecke
so ist stets
der Inhaltsmae
Aus dem
Beweis.
nung
Summe
der
d. h.
den
Vierecken
noch
je
eine
durch
zerfllt
Zerlegung
in
Wenn
in
wir
Diagonale
nun
kon-
in gewisse Dreiecke
Ju
ts
Wir
wollen
als
Kap. IV.
44
/ik nichts
20.
ist klar,
durch eine
stets
wirkt
keine Teilpunkte liegen und berdies wenigstens eine Seite des Dreiecks
von Teilpunkten
Nun
frei bleibt.
fr die Dreiecke
ist
dem Punkte
die
frei
gegenberliegende
Seite
ist.
Aber auch
fr jedes zfk
letzteren
die
Falle
in
welche
bei
entweder eine
den
in
Teilung in
der
bei
so
eine
von
Seite
Dreiecks
des
Seite
beiden
/ik
berhaupt
Zerlegung in Dreiecke
der
die
ist
Transversalen
jener
auf transversale
frei
Au
die Zerlegung in
ist
Zerlegungen zurckfhrbar.
Im
dem Umstnde
ersichtlich,
z/, s
Dreiecken
entstehenden
im
Strecke
/Jk verlaufende
eine
Seite,
Dreiecke <d ts
frei bleibt.
des Dreiecks z/
mae
J {/!})
aller
Inhaltsmae J(zl ts ).
Inhaltsmae
mae
J(A
gleich
der
der Dreiecke
J (z/A
ts ),
Dreiecke /lk
aller
angestellten
ist
Inhalts-
aller
Summe
Summe ber die
Summe aller Inhalts-
Summe
ist
Betrachtung
Summe
der
gleich
diese
Andererseits
und hieraus
Summe
und
z/,,
aller
.)
dieses Beweises
ist
gleich der
auch die
der
gleich
folgt endlich,
Inhaltsmae J(<4k)
Damit
ist.
30 vollstndig erbracht.
Erklrung. Definieren wir das Inhaltsma
Beweis
der
ist
des Satzes
als die
Summe
bestimmten Zerlegung
zerfllt, so
wir
vermittels
Polygons
eines
eindeutig bestimmt.
des
in
sie
J (P)
in
Satzes 30
die
Aus
ist
und mithin
allein
dieser Erklrung
Tatsache,
da
durch
entnehmen
zerlegungsgleiche
so
mu
es
nach
Kap. IV.
45
20, 21.
J{P+P') = J{Q+Q'),
J(P')
= J(Q')
J(P)
= J(Q),
d. h.
20
haben
wir
Inhaltsma
da
gefunden,
Aus
haben.
und
h',
der
schlieen
so
beiden Dreiecke,
d. h.
beiden
mit g,
Dreiecke
wir
aus
der
Polygone
stets
entnehmen wir
un-
Grundlinie
inhaltsgleiche
Tatsache
dieser
die
zugehrigen Hhen
angenommenen
mit h
Inhaltsgleichheit
der
es folgt:
h'\
Auch
Igh'
lt sich
nunmehr
umkehren.
die
In der Tat,
Inhaltsma, so konstruieren wir gem Satz 28 zwei rechtwinklige Dreiund E, von denen jedes eine Kathete 1 besitzt und so da das
ecke
seien
Dreieck
einander kongruent und mithin sind nach Satz 24 die beiden Polygone
und Q einander
inhaltsgleich.
Die beiden in diesem und dem vorigen Paragraph gefundenen Tatsachen fassen wir in den folgenden Satz zusammen:
Satz 31. Zum inhaltsgleiche Polygone haben stets das gleiche Inhalts-
ma und
zwei
inhaltsgleich.
Polygone
mit
gleichem
Mialtsma sind
stets
einander
46
21.
samen
Seite
Auch
bereinstimmen.
Seiten
folgt
der Satz:
Satz 32.
Zerlegt
man
ein
so
fort,
ist
Stolz
Zum
als
Axiom
Archimedischen
des
Hilfe
gilt.
und da
dem Pascalschen
hingestellt
diese
in
im
als
der wich-
tigste Baustein.
Wir erkennen
leicht,
Parallelitt der
und
CB
folgt
Geraden CB>
nach Satz 27
ecke
OBB'
und
so folgt aus
Geraden
der
OCC;
eben-
der Parallelitt
CA
und
AC
OAA
ecke
hiernach
OAA
und
OCC
und
OBB'
inhaltsgleich sind,
Satz 29,
Von
da auch
BA'
zu
AB'
parallel
J (Q)
als
Q, je
ausfllt.
Es
einander
so ergibt
mu.
sein
Da
ist
klar,
der
sogenannten
II S.
2) Principii della
man den
105106.
3)
4)
5)
2,
Abschnitt
5,
1894.
5, 5,
1898.
Kap. V.
Der Desarguessche
seitig ausschlieen.
Satz.
leicht,
anderen Polygons
47
22.
liegt,
mu.
dieses sein
Hiermit haben wir die wesentlichen Stze der Lehre von den Flchen-
Ebene begrndet.
hat die Aufmerksamkeit der Mathematiker auf die entsprechende Frage fr den Raum gelenkt. Ich habe die Vermutung der
Unmglichkeit einer analogen Begrndung der Lehre von den Inhalten
im Rume ausgesprochen und die bestimmte Aufgabe 1 ) gestellt, zwei
Tetraeder mit gleicher Grundflche und von gleicher Hhe anzugeben, die
sich auf keine Weise in kongruente Tetraeder zerlegen lassen, und die
sich auch durch Hinzufgung kongruenter Tetraeder nicht zu solchen
inhalten in der
Bereits
Gau
M. Dehn 2 )
strenger
Weise
ist.
ist
die
dieser
Nachweis
in der
geschehen
ist.
Raum
Kapitel V.
Der Desarguessche Satz.
w.
Von den im
Gruppen
II
Kapitel I
smtlich
aufgestellten
teils lineare,
teils
Axiomen
sind
ebene Axiome;
diejenigen
die
Um
der
Axiome 4
die
Be-
irgend eine
ebene
IV
I II,
3.
ber den Raum2) ber raumgleiche Polyeder, Gttinger Nachr. 1900, sowie
Vgl. ferner Kagan, Math. Ann. Bd. 57.
inhalt, Math. Ann. Bd. 55. 1902.
Kap. V.
48
Auf Grund
der
Der Desarguessche
Axiome
der Gruppen I
Satz.
22.
IV
II,
bekanntlich leicht
ist es
Wir nehmen
derselbe ist
auf
stehenden
nebst
Satz
seiner
wie man sagt, und bezeichnen den so entUmkehrung schlechthin als Desarguesschen
so
ander parallel.
der
Wie
bereits
Satz
33
Axiome
gem
Desarguesschen
Satzes
in
Ebene
der
jedenfalls
I, II,
eine
Geometrie
in welcher
an,
in welcher
auffassen lt,
in
die
die
den Kapiteln
Axiome
I 1
ist
der
Gltigkeit
des
notwendige
Be-
Axiome
rum-
der Gruppen
I,
III
Folge
ist
erwhnt,
eine
Strecken (u
die lineare
(x, y)
von
drei
Gleichung
ux
die
ein Verhltnis
Bedingung fr
+ vy
die vereinigte
-j-
w=
darstellt.
bestehen,
hnlich
Kap. V.
da
Der Desarguessche
System von
Satz.
49
22, 23.
Strecken (x, y }
z) einen Punkt, die Vervon vier Strecken (u v w r) eine Ebene darstellen mge,
whrend die Geraden als Schnitte zweier Ebenen definiert sind; dabei
fest,
ein
drei
hltnisse
ux
aus,
+ vy + w -f r =
r) liegt.
Was
end-
Anordnung der Punkte auf einer Geraden oder der Punkte einer
Ebene in Bezug auf eine Gerade in ihr oder endlich die Anordnung der
Punkte in Bezug auf eine Ebene im Rume anbetrifft, so wird diese in
analoger Weise durch Ungleichungen zwischen Strecken bestimmt, wie
dies in 9 fr die Ebene geschehen ist.
lich die
Da
ebene
wir
durch
das
Einsetzen
des
Geometrie
als Teil
so
einer rumlichen
Wertes e
erkennen wir,
ursprngliche
die
da unsere ebene
Nun
ist hierfr die Gltigkeit des Desarguesschen Satzes nach den obigen
Ausfhrungen eine notwendige Bedingung, und daher folgt, da in der
angenommenen ebenen Geometrie auch der Desarguessche Satz gelten mu.
aus
leiten lt.
23.
Die Nichtbeweisbarkeit des Desarguesschen Satzes in der Ebene
die
Frage,
Satz 34.
Es
Axiome I 1 3,
II, III 1
5, IV, V, d. h. smtliche linearen und ebenen Axiome mit Ausnahme des Kongruenzaxioms III 6 erfllt sind, whrend der Desarguessche
Satz (Satz 32) nicht gilt. Der Desarguessche Satz Jcann mithin aus den
genannten Axiomen allein nicht gefolgert werden: es bedarf zum Beweise
desselben notwendig entweder der rumlichen Axiome oder des Axioms III 6
gibt eine ebene Geometrie, in welcher die
Beweis.
Wir whlen
in der gewhnlichen
uns
um
Ellipse
den Nullpunkt
z.
zwei
und denken
Hubert,
irgend
und
-\
mit
Der Desarguessche
Kap. V.
50
Satz.
23.
X-Achse
Wir
liegt.
nun
fassen
Gesamtheit
die
aller
welche
die
Punkten schneiden, und suchen unter allen auf diesen Kreisen gelegenen
Punkten denjenigen Punkt zu bestimmen, der auf der positiven X-Achse
am weitesten vom Nullpunkt entfernt ist. Zu dem Zwecke gehen wir
von einem beliebigen Kreise aus, der die Ellipse in vier Punkten schneidet
und die positive X-Achse im Punkte C treffen mge. Diesen Kreis denken
um
Schnittpunkten
den Punkt
oder
mehr
in
einzigen
da
derart gedreht,
einen
Punkt
zusammenfallen,
Kreise,
rhrt oder in
hierdurch
gelangen
notwendig
wir
zu
die
vierpunktige
eine
einem
be-
Berhrung aufweist
X-Achse ausgeschnitten
werden.
man
Y- Achse symmetrisch.
Rechnung, da der
der Ellipse:
Es
dann lehrt
in
x=\yi+
Der grtmgliche Wert
abschneidet.
3 2
|
dieses
Ausdrucks
tritt fr
*-
Nunmehr
Weise
der
wir uns
eine
stellen
Geraden der
Als
XY-Ebene
unverndert,
welche
die
feste
Ellipse
berhren
gar
nicht
P, Q und den
treffen;
festen
ist
Punkt
einen Kreis;
dieser
Kreis
hat,
wie aus
dem oben Bewiesenen hervorgeht, keinen weiteren Punkt mit der Ellipse
gemein. Wir denken uns nun an Stelle des zwischen P und Q innerhalb
Satz.
51
23.
zgen,
welche,
Axiomen
I 1
ordnung fr
2
die
als
Gerade
einer
Geometrie
aufgefat,
offenbar
den
und III gengen. Bei Festsetzung der natrlichen AnPunkte und Geraden in unserer neuen Geometrie er-
Axiome
AB
Lnge
hat,
II gltig sind.
und
und
AB'
in unserer
neuen
verlaufende Linienzug
Linienzug.
52
23.
auf der Ellipse liegt, nennen wir zwei Winkel einander kongruent,
wenn
im gewhnlichen Sinne einander gleich sind. Im anderen Falle treffen
wir folgende Festsetzung. Es mgen die Punkte A, B, G in dieser Reihenfolge und die Punkte , B',
in dieser Reihenfolge je auf einer Geraden
sie
ABC
$:abd = $:b'd'
<Cbd = cb'd'
und
<
erfllt
ABB
<$:
CBB = B'B'
C 'B B'
<
'
und
Geometrie
der
ist.
gltig.
Um
einzusehen,
da
in
gilt,
unserer
neu
hergestellten
XF-Ebene:
X-Achse,
die
Gerade,
Y-Achse und
welche die beiden
die
Ellipsenpunkte x
=|
?/
Da
verbindet.
y
f und
mit
einander
f
,
diese drei
gewhn-
Nullpunkt
laufen,
so
angeben,
Ecken
deren
knnen
Dreiecke
auf
bez.
entsprechende
paarweise
Seiten
sind.
welche aus
geraden Linien entspringen, sich, wie die Figur auf
man
leicht
Da
die
Linienzge,
den genannten
S.
53
zeigt
drei
und wie
treffen,
so
folgt,
Axiome
I 1
als Beispiel
3, II, III 1
5,
IV,
gltig sind,
und
die
sich
doch
nicht
53
23, 24.
als Teil
einer
rumlichen Geo-
24.
Um
die
Axiome
I 1
3, II,
IV,
d.
h.
Wir nehmen
Punkte
in
auf
fol-
ein.
dem
ist
wir als
00 =
Es
seien
und E'
je ein
oder
0=00.
OE
Strecken 1, in Zeichen:
OE =
OE' =
oder
= OE =
OE'.
und OE'
als
die
54
Die Gerade
gerade
AA'
Satz.
24.
die Einheitsgerade.
OE' und
bez.
und
Verbindungs-
die
OA
parallel
Sind ferner
luft
OA
und
OA^OA'
Um
Summe
man A
der Strecken a
zunchst die
finieren, konstruiere
OA' = OA.
oder
= OA
und
sodann durch
und durch
CL + b,C',
= OB
A"
eine Parallele zu
schneiden.
A"
durch
ziehe
eine Parallele zu OE
zur
OE'.
mgen
sich
Endlich ziehe
man
zu de-
EE' und
Einheitsgeraden
EE'
Geraden
OE
dann heie
und OE'
= OA
der Strecke a
b
c
Um
= a -\-b
oder a -\-b
OB,
= A
in
c= 0C= OC
und C:
die
Summe
in Zeichen:
c.
in eine Strecke b
= OB
zu
ccb,C
Winkels hier
die bei-
OE
und OE'
Die
treten.
Konstruktion
nach
ist
dem-
Man
folgende.
Punkt ,
EE'
geraden
zu EA']
heit c
wird, verbinde
trifft
= OC
diese
Parallele
feste
Gerade
= OA
in Zeichen:
c
ab
oder
ab
c.
AA'
der Einheits-
eine Parallele
so da
parallel
OE' im Punkte C,
in die Strecke b
so
OB,
55
25.
25.
welche von den in 13 aufgestellten Rechnungsgesetzen fr unsere neue Streckenrechnung gltig sind, wenn wir
Wir untersuchen
jetzt,
Grunde legen,
Axiome
in der die
I 1
3, II
IV
erfllt sind
kommutative
a
Es
gilt.
-\-b
Gesetz
=b
-\-
sei
= A = O,
& = OB= OB',
'
AB"
man
sowie
B'B"
BA"
und
sofort
parallel
tigkeit
dieser
auf
Grund
mit
A A'
mit
Desarguesschen
Wir
ecken
AF
die
AB"
Dj dann
und
und
den Drei-
in
die
entsprechenden
Satzes
Geraden
OA
mit
BA"
von
sind
BB'D
beiden Dreiecke
linien
'
und
in einer
Satzes
bezeichnen den
des Desarguesschen
Punkte 0, F,
Die Rich-
luft.
Schnittpunkt
B'B"
Mittels
ferner
Schnittpunkt von
den
und
ziehen; wie
Verbindungslinie
die
und
sieht,
hauptung aus, da
'B"
OA
parallel
parallel
und
Seiten
schlieen wir
Infolge dieses
liegen.
DB'"
derart,
da
einander
hieraus,
und
DA"
OA
da
parallel.
drei
die
Umstandes liegen
die
Verbindungslaufen und da
und
DB"
sowie
auf
S. 56.
(b
+ c) =
auch die
dritten
Seiten
und
b)
+c
56
Satz.
25, 26.
CL+b+C
dition
spricht
sich
Behauptung,
obige
die
man
wie
sieht,
A"B"
laufen mu.
ser
Die Richtigkeit
Behauptung
ist
die-
da
offenbar,
cv
(6
cz+ft
c)
(o
mit
j)+c
+ b) +
der
vorhergehenden
Figur
genau bereinstimmt.
26.
Annahmen
auch fr
gilt
a(bc)
Es
seien auf
(ab)c.
die
Strecken
\
die Strecken
a=OG
gegeben.
Um
gem
c=O
b=OC,
OA,
und
= OB
bc=OB'
ab
und
le.-OC
OD,
(al)c- OD'
zu konstruieren, ziehen wir
parallel
AG
AB'
parallel
AD]
AB, B' C
parallel
BC,
CD
CD
parallel
AD
CD'
und
sein
BC
mu.
mit
ABF
parallel;
0, F,
F' auf
einer
Geraden.
Wegen
dieses
CD'
ist.
CD
CDF
parallel
D>
ccbc,
\
\
"
N.
X.
a(bc)
Wir beweisen
57
26.
(ab)c
auf Grund
des
ab + ac
b)c
= ac -\-bc.
und
{a
Zum
Beweise
derselben
die Figur
des
ist
ab
und
-\-
b=O, c=OC
ab - OA", ac = OC"
OB',
u.
s.
S.
58
*).
In
f.
es luft
B"D
B'D
parallel
C"D
CD,
Geraden OA',
OA"-,
ferner ist
CG"
A'A" paraUel
und
AB"
parallel
B'A"
parallel
F' D2
parallel
^''A
F'F'
sein
Wir
A'A" und
CG"
F"J
F'J
die
paraUel
mu.
Die Figuren
S. 58,
Geraden OA',
G"Dt
und
CD
OA
G"D
und F'J,
CD
58
und
F" J
H H
heien G,
1}
26.
die
Verbindungs-
geraden entsprechender Ecken einander parallel; nach der zweiten Aussage des Desarguesschen Satzes folgt daher, da
C"
sein
mu.
falls
die
parallel
C" F"
Verbindungsgeraden
F'
und
F'GH
Ecken
entsprechender
laufen eben-
einander
wmmMgm
6
parallel;
\5
A' B'
ebb
a(b
-f-
c)
F'
b+c
ab
-f
ac
folgt
F"
sein
mu.
OA'F" und
Da
somit
JH F'
parallel
F'H2
in
A'H
OJ,
sich in
dieselbe
Weise finden
wir,
A"F'
mu und
OA'F' und
sich
F"F'
Auf
sein
da
somit
JH F''
1
in
parallel
F" B
dem Desarguesschen
OJ,
ebenfalls in einem
treffen.
da auch
Punkte
A"H1}
F'F"
dem Punkte
P.
Nunmehr
OA'A" und
fr die Dreiecke
laufen
59
26.
JH H
2
die
Verbin-
folgt,
da
HH
parallel
A'A"
HH
parallel
CG".
sein
mu; mithin
auch
ist
selben
F"H
parallel
C'F'
parallel
HC
F"C"
C'C"
HH
G"
Da
in der-
H F'
t
ausfllt, so
F'F"
sein
mu und
S.
parallel
HH
parallel
A'A"
da mithin auch
F'F"
Zum
In derselben
ist
OD,
s.
und
f.
es luft
AB
BD
DG
HJ
parallel
OA,
OB
Geraden
A'B',
B'D',
D'G',
H'J'.
DJ
sein
Wir bezeichnen
treffen,
G'D'
noch
parallel
D'J'
mu.
bez.
die
mit
Gerade
die Punkte, in
C und
H'
und
BD
und
GD
in
die
denen
Gerade
AH
B'D' und
treffen,
denen
bez.
mit
60
0, C,
Dreiecke
ABC und
Ebenso
In den Dreiecken
parallel;
26, 27.
CBF
und C'B'F', da
folgt
0, F,
F' auf
(fl
FGH
-f fyc
und
= ac -\-hc
H, H'
und
F' H' J' die Verbindungsgeraden entsprechender Ecken durch den nmlichen Punkt 0, und mithin sind zufolge der zweiten Aussage des Desarguesschen Satzes die Geraden FJ und F'J' einander parallel. Endlich
zeigt dann die Betrachtung der Dreiecke BFJ und B'F'J', da die
Geraden BJ und B'J' einander parallel sind, und damit ist der Beweis
unserer Behauptung vollstndig erbracht.
die Betrachtung
der Dreiecke
sind.
Nun
laufen
in
lehrt,
da
den Dreiecken
0,
FHJ
27.
Die Gleichung der Geraden auf Grund der neuen Streckenrechnung.
Wir haben
in
24
bis
die
Wir wollen
man
auf der
X-
Achsen Parallelen
bez.
Y-Achse
Diese
erhlt,
61
27.
Strecken
heien
zu diesen
Koordinaten
des
y
Streckenrechnung
und
mit
Hilfe
des
Auf Grund der neuen
Punktes P.
zieht.
x,
Satz
Die Koordinaten
35.
raden erfllen
stets eine
x,
ax-\- by
+ c = 0;
Koordinaten
x,
y; die Strecken
a, b
a, b
ist eine
beliebige Strecke.
stellt stets
eine
und
die
Verbindungsgerade
der
Endpunkte von
x,
y mit
g.
Endlich
ziehen
wir durch den Endpunkt der Strecke 1 auf der X-Achse eine Parallele h
zu AB; diese Parallele schneide auf der Y-Achse die Strecke e ab. Aus
der
zweiten
Aussage
des
Desarguesschen
AB luft.
Satzes
folgt
leicht,
da
die
Da
zu
Streckengleichung
ex
Nunmehr
sei
62
Wir
Punkt auf T;
liebiger
in
= OA
durch
und x' =
Wir
ferner
P'
ein be-
Gerade
ab; ferner
mgen
die Strecken
abschneiden.
=x
CD
AD
AB
Wir
sein
mu.
und
AP'
parallel
luft unsere
-\-
Zu diesem Zwecke
Da
= OB
sei
treffe die
x
besteht.
Es
parallel zu V.
die Parallele
die Parallelen
durch
27.
O'C
D'
in den Dreiecken
als
parallel zur
OCP
parallel
zur Y-Achse;
dann
O'C
parallel
konstruieren noch
und ziehen
CD
Y-Achse.
und O'C'P'
die
Verbindungsgeraden ent-
CP
sein mu; auf gleiche Weise
und C'P', da
lehrt
AG
ist.
Da
parallel
die
parallel
C'P'
Betrachtung der Dreiecke
ACD
und C'A'O'
die
ACP
entsprechenden
AC,
CA',
DO'
einem Punkte und die Betrachtung der beiden Dreiecke C'A'D und
AGO'
zeigt dann, da
parallel sind.
ex
folgt sofort die weitere
=y
und
x'
=x+c
Gleichung
ex'
=y+
ec-
Strecke
Strecke,
die
man
so folgt, wie
liefert,
63
27, 28.
die
zur Strecke
aus der
leicht beweist,
letzten Gleichung
+ ny +
ex'
und
von der
^ec
Gestalt,
ax
wo
Mhe
als
richtig;
ist,
=4=
lt
sich
-f-
by
-f c
durch
offenbar
linksseitige
mit
Multiplikation
ex
-f
ny
wec
bringen.
Es
sei
bei
unseren
Annahmen
eine
xa
in der die Strecken a, b
im allgemeinen nicht
Wir werden
in
+ yb-\- c = 0,
x,
y stehen,
Satze 35
30 eine wichtige
machen.
28.
Wir
als
komplexes Zahlensystem.
in 13 erfllt sind.
711
in
knpfung, abgesehen
Um
vom kommutativen
folgende Festsetzung.
0, E, A,
in
eine Reihenfolge.
Ist
dies
OB,
in Zeichen:
<b.
64
statt,
so
nennen wir
die Strecke
= OA
28, 29.
OA,
Zeichen
in
a> b.
A
wenn
oder
mit
ziger
lediglich
oder
Anordnung
die
dreier
Punkte
Wir erkennen
leicht,
die
II
Rechnungsgesetze 13
16
in 13 erfllt
sind;
11,
13
16
in 13,
die
d. h.
29.
Aufbau
Zahlensystems.
Um
Zahlen
einzusehen,
dies
das
vier Zahlen
Systeme (u
(x, y, z)
verschiedene Zahl in
r)
aw
Ebene
B, von denen
in
drei
wo a
ar),
und (au av
r)
(u
als
Das Be-
darstellen.
ux
mge ausdrcken, da
vy
der Punkt
-f
wz
+r=
auf der Ebene
(x, y, z)
(ii
iv
r) liegt.
Die Gerade endlich definieren wir mit Hilfe eines Systems zweier Ebenen
(u'
v'
von
w'
r')
a u
wird.
w"
Ein Punkt
gelegen,
wenn
gemeinsam
ist.
=a
(x, y, z)
fr
er
a v
wenn
r"),
=a
nicht mglich
es
ist,
zwei
zu finden, so da gleichzeitig
rr
rr
w =
r
rr
rr
heit auf dieser Geraden [(V: v: w': /), (u": v"\ w": /')]
Ebenen (u' v' w' r') und (u": v": w": r")
Zwei Gerade, welche dieselben Punkte enthalten, gelten
er den beiden
Indem wir
die
Rechnungsgesetze
11
anwenden,
in 13
gelten
65
29.
die
gelangen wir
sollen,
nach
ohne
[(':V:w':r
(*":" :?":*")]
),
dann heie der Punkt (x2 y2 z2 ) zwischen den beiden anderen gelegen,
eine der sechs Paare von Ungleichungen
,
wenn wenigstens
\-V
^l
2
( )
(3)
et
erfllt
\ #2
"^-
Xl
#3;
^ #2
--^
#3
ist.
(1),
entweder y x
y2
y3 oder notwendig eine
der beiden Doppelungleichungen (2) und ebenso da entweder z t
z2
z3
so
= =
Gleichungen
u'xi
u"x
-f v'y{
v"yi
leiten wir
aus
D,
fw'lj-fy* 0,
+ w \ + r " = 0,
1, 2,
3)
die
=f=
sind,
u"'x
(4)
v'"yi
(i =
ab.
Hierin
ist
+ r'"=0
1, 2,
3)
Aus
$ #2 $ x
schlieen wir
1 5Jr
*~2
\~
^*
(4)
yx
=v
y2
Vx^
+r = v
und daher
v
Hubert, Grundlagen
der Geometrie.
Vz^v
y3
y3
+r
66
und da
v'" nicht
ist,
so
haben wir
Vi
in
Vz ^iV^'i
oder
obere
durchweg das
29, 30.
soll
entweder durchweg
stets
oder durchweg
mittlere
untere
das
das
Zeichen
gelten.
Axiome
II 1
in
Anordnung
der
Es
zutreffen.
bleibt
Axiom
u'x -f v'y
r' kleiner oder grer als
w'z
ausfllt, auf der einen
bez. auf der anderen Seite von jener Geraden gelegen sein sollen, und
bereinstimmung
dem wir
in
Bedenken
entspringt.
IV ist, so
genaue Umkehrung desI, II,
28 gelangt
sind.
30.
Die Bedeutung des Desarguesschen Satzes.
Wenn
sind
in einer
in dieser
Geometrie
stets
I 1
so ist es
gilt,
IV
erfllt
nach 24
28
3, II,
11, 13 16 in
13 anwendbar
sind.
Wir
betrachten
nun weiter den Inbegriff dieser Strecken als ein komplexes Zahlensystem
und bauen aus denselben nach den Entwickelungen in 29 eine rumliche
Geometrie auf, in der smtliche Axiome I, II, IV gltig sind.
Fassen wir in
dieser
rumlichen
Geometrie lediglich
die
Punkte
ins
stimmen mu.
anzusehen
das Endziel
ist:
Es
dann
da
diese
I 1
3, II,
IV
erfllt:
und
hin-
ebene
IV
67
I, II,
Axiome
ist
31.
Axiome
erfllt sind.
als
sind,
sich
stets
als
Dimensionen" auffassen
I, II,
IV
smtlich
er-
Axiome
der
Verknpfung
und
Anordnung
sowie
das
Parallelenaxiom
erfllt sind.
Kapitel
VI.
In 14
ist
Axiomen
I 1
3, IV,
II
also mit
Aus-
rumlichen Axiome
der
als
verhlt,
dem
serer
in
ist.
68
Satz
Axiome I,
36.
IV, V,
II,
(Satz 21)
31, 32.
ist
beweisbar auf
Grund der
d. h.
Satz
Grund
37.
der
Axiome
soll.
32.
und Grund-
tatsachen der Arithmetik bestehen und deren Kenntnis auch an sich von
Wir
Interesse erscheint.
Satz
Fr
38.
wenn
d. h.,
13
17
besitzt,
Beweis.
so folgt notwendig,
da
11,
Formel 12 gengt.
Zahlensystems und
1-f-l H
eine ganze rationale positive Zahl
= (l4-l +
--
l)
und n
so gilt fr a
ist,
hl
stets das
kom-
nmlich
ist
+ -l +
'-
+ -l = + +
,,
'
'
und ebenso
na
(1
-f-
1 -f
= l'fl+l- + '-' +
1)
>
fl
=++
'
seien
Wir
ist.
Annahmen
a>0, b>0
machen.
Wegen
ba>0
ist.
ab
-\-
Y)c
d,
= ab
ba
die zugleich
den Ungleichungen
^> 0, fr die
rationale Zahlen
md < a <
(w
32, 33.
69
l)d
bez.
nd<b<L(n
l)d
-f-
Das Vorhandensein solcher Zahlen m, n ist eine unmittelbare Folgerung des Archimedischen Satzes (Satz 17 in 13). Mit Rcksicht auf
die Bemerkung zu Anfang dieses Beweises erhalten wir aus den letzteren
wird.
ab <[
&a
>
mnd 2
mnd2
(m
-f-
-f-
l)d 2,
-f-
ab
Nun
ba <| (m
-f-
l)^ 2
ist
nd<b, d<.l
md<_a,
und
folglich
+ * + l)tf<a-|-& + l,
h.
d.
1)^
c
<x&
&a <
(a -f & -f l)c.
c,
und damit
33.
Satz
tative
Fr
39.
Mechnungsgesetze ;
1
Eigenschaften
28
nach
Jwmmu-
d. h. es gibt
11,
16
13
besitzt
ein
JDesarguessches
Zahlensystem
der Midti-
plilcation besteht.
Beweis.
Es
sei
und
Parameter
ein
T=r
darin
mgen
eine beliebige
sei
Parameter und
(=%=
lichen Gliederzahl
0),
r1
+r
irgend
ein
Ausdruck mit
-\
^ 0.
Ferner
sei 5 ein
anderer
irgend ein Ausdruck mit einer endlichen oder unendvon der Gestalt
s'"T -f s m +
T +
t
m+2 T
70
mgen
darin
(=}=
0),
Tl} T
sei
wiederum
bezeichnen und
Die Gesamtheit
aller
man
festsetzen:
7
11
Sl(s, t)
an,
dem wir
in
^ 0.
kom-
als ein
folgende Rechnungsregeln
Regel 12
Stelle der
ts =
(1)
t,
whrend man an
in 13,
... beliebige
Zahlensystem
plexes
33.
stets die
Formel
2st
anwende.
Sind nun
S',
8'
= sm T + s m
S"=
kann man
so
S'
-+-
S"
ist;
m
s "T
'
+1 T
+ sm
'
'
T H
T "-|'
8 und
dieser
s"+
offenbar
bilden,
bestimmt
'
'
der Gestalt S:
Ausdruck S'
S"
heit die
zugleich eindeutig
Summe
S"
dargestellten Zahlen.
S'S"=
"'T
's
w "T
"+
(s
m 'T
's
m" +
'
S',
8" gelangen
T "+ sm + T s w T ")
T 'sm + T "+ sm + T 's m "TQ ") +
'
'
"
"
'
offenbar
ein
ein-
Rechnungsregeln
Vorschrift 6 in 13
men
in
13 unmittelbar
ein.
ist
- sm
'
Tj + sm '+ 1 Ti
'
sP'+'T,'
....
und
mu.
die
'
aus
'
von
verschieden
s
auf beiden
S'S"= 8 M
(2)
Zahl
m"
als
rp
derart,
Weise zunchst
eine ganze
da der Ausdruck
"
rp
ii
rp
ii
Kap. VI.
S"=
bei
Der Pascalsche
s"'"T "
M" + 1 T
s
Satz.
"+
s"'"
33, 34.
71
T "H
2
(1) der
ist
der
Um
zu
endlich die
ermglichen,
treffen
<
> 0,
folgende
Eine
Festsetzungen.
Sl (s,
Zahl
t)
des
unmittelbar
13
(vgl.
oder
da
ein,
gltig
sind,
d.
bei
je
&l (s,
h.
Festsetzungen
diesen
ein
ist
t)
die
13
Regeln
16
in
Desarguesschen Zahlensystem
28).
Die Vorschrift 12 in 13
komplexes Zahlensystem
keit des Satzes
&l (s,t)
ist,
nicht
39 vollstndig erkannt.
gilt
(s, f)
nicht.
ebenso
nur
34.
Wenn
Axiome
I, II,
IV
sind,
so
gilt
in
13
gltig
sind.
Setzen
so
gilt
wir
in
Um
S.
32)
Desarguessche Zahlensystem Sl
desselben auf die in 29
(s, t)
ins
aufgestellte
Hilfe
Kap. VI.
72
der
Axiome
smtlichen
die
Der Pascalsche
I,
IV
II,
Satz.
Die
steht.
so
Trotzdem
sind.
erfllt
der
gilt
kommutative Gesetz
dem Desarguesschen Zahlensystem Sl (s, t) nicht be-
34, 35.
aufgebaute
da das
Nicht- Pascalsche"
Geometrie
ist
in berein-
Es
ist
wenn man
lt,
die
Annahmen
rumliche Geometrie
als
auffat,
in
welcher neben den Punkten, Geraden und Ebenen noch weitere Elemente
ist.
35.
Satzes.
zunchst
ein
diese
Man
Form:
bez.
mit der Bedingung, da fr gewisse von diesen Punkten und Geraden die
Lage vorgeschrieben
vereinigte
ist;
bekannter Weise
in
sagt,
man
schlie-
einem bestimmten System von Geraden, von denen der Satz aus-
lich zu
Es
Axiome
sie
nun
sei
I 1
3, II
ebene
eine
Geometrie
vorgelegt,
in
der
smtliche
paar (x, y) und jeder Geraden ein Verhltnis von drei Zahlen (u v w)
entsprechen lassen; hierbei sind x, y, u, v, w jedenfalls reelle Zahlen,
:
ux
-f
vy
-f-
die
Bedingung fr
die
w=
falls x, y, u, v,
9 konstruierten algebraischen Bereiches Sl sind und u, v nicht beide verschwinden, annehmen, da umgekehrt das Zahlenpaar (x, y) und das Zahlentripel
metrie
(u
w) einen Punkt
Fhren wir fr
ebenen
bez.
eine
liefert.
alle
Schnittpunktsatze
die
in
betreffenden
einem beliebigen
Zahlenpaare
und
Zahlentripel ein,
druck
A (p
p1}
pr
I IV.
aussagen,
73
36.
da ein be-
lf
A(p1}
Wir
druck
Da
12
so
so da in dieser Streckenrechnung
13 gltig
smtliche Rechnungsgesetze 7
12
in
sind.
Indem wir die Achsen des bisher benutzten Achsenkreuzes auch als
Achsen dieser neuen Streckenrechnung gewhlt und die Einheitspunkte E
und E' geeignet festgesetzt denken, erkennen wir die bereinstimmung
der neuen Streckenrechnung mit der frheren Koordinatenrechnung.
Um
Ausdruckes
A (p
nicht auf
die
Kongruenzstze
zurckzugreifen.
Kapitel VII.
Die geometrischen Konstruktionen auf Grund der Axiome
IV.
36.
Eichmaes.
Es
Axiome
sei
eine
IV gelten;
ist,
in
der
die
smtlichen
ins Auge,
und untersuchen dann
die
Frage,
74
Auf Grund
stets
der
Axiome
I ist die
IV.
36.
mglich:
Aufgabe
1.
Auf Grund
gaben
der
Axiome
der
falls die
Gruppe
II
sind.
lsbar.
Auf Grund
Aufgabe
2.
h.
ist
Geometrie
Aufgabe
3.
an
die
gegebene
eine
eine
Gerade
gegebene Gerade
Wir sehen
IV
Axiome
alle
I-
und nur diejenigen Konstruktionsaufgaben lsbar sind, die sich auf die
eben genannten Aufgaben 1 4 zurckfhren lassen.
Wir fgen den fundamentalen Aufgaben 1 4 noch die folgende hinzu:
gelst
Aufgaben 2
auszufhren,
werden kann.
gengt
es,
Um
die
neben dem Lineal das Eichma anzuwenden, ein Instrument, welches das
Abtragen einer einzigen bestimmten Strecke, etwa der Einheitsstrecke
ermglicht 1 ).
Satz 40.
zu folgendem Resultat:
die
IV
unter
lsbar
Eichmaes
vgl.
etwa
dessen Note
bis
und
Es
C.
CD:
und
dann
ist
nun
und
sei
BD
CP
Treffpunkt von
und endlich
PF
nach Steiner
IV.
AP,
ferner
Treffpunkt von
der
der
AE
A
von A
Es
sei
liebiger
75
36.
ein
be-
aus auf
dieser
maes
Einheitsstrecken
die
AB und AC
men dann
ab und bestim-
anderen
durch
Geraden
die
D,
gehenden
Punkte
und
AB
AE
und
heitsstrecke werden.
BD
raden
sich in
und
F,
CD
in
die
ber
BC
mgen
Geraden
schneiden:
BC
auf
dann
-^BDC
ist
FR
^BEC
und
In der
FH
BE
die
Winkel
Tat:
Die Ge-
CE
und
sind als
dem
Winkel im Halbkreise
Satze
vom
BCF
Hhenschnitt-
anwenden, auch
senkrecht.
(AC) durch A
Wir
ziehen
parallel zu der
Von einem
beliebigen
Punkte
soll.
eines
Um
von
J.
AB
die abzutragende
Krschk angegebene Konstruktion: es sei
Man
P der gegebene Punkt auf der gegebenen Geraden
Strecke und
l.
76
ziehe durch
AB
die Parallele zu
Eichmaes von
aus die
man
auf
Parallele
durch
die
zogene Parallele
ist
gaben
und
Einheits-
die
AP
treffe
treffe
zu
l
in
durch
PC in
CD ge-
E:
dann
PE = AB.
Damit
sind,
aus
des
ferner trage
Die zu
ab.
gezogene
Q und
von
36,37.
mittels
ab etwa bis C]
Einheitsstrecke
strecke bis
I IV.
ist
gezeigt,
40
da die Auf-
durch
smtlich
Lineal
vollstndig bewiesen.
37.
blicken zu knnen,
legen
wir
bei
der
weiteren
Um
die
aller
stellen
legung an:
Es
Ziehen von
& (P);
p.
die
Anwendung
Formel fr
die
die
deren Basen
des
man
bereits
konstruiert hat.
Pythagorischen Lehrsatzes
vermge
Summe von
zwei Quadraten,
rechtwinkligen
Dreiecks
Summe
von Strecken
Aus
I IV.
77
37.
stets konstruieren.
da der Bereich il
(_R)
alle
reelle
nmlich
Operation,
man
die
als
Summe
Wir sprechen
Summe
erfordert.
Wir knnen
Zirkels
mittels
diesem
aus
lsbare
Satze
sofort
Aufgabe auch
allein
Zu dem Zwecke
da
erkennen,
nicht
jede
mittels
gebaut worden
die mittels
ist;
Lineals
&
des
nun irgend
Bereiches Sl
eine Zahl in
leicht,
da
reell
sind,
algebraische
sind,
bestimmten Strecken.
so
auch jede zu
und da
folgt
,
die
co
konjugierte
Zahlen des
da
hieraus,
der
algebraische
Bereichs &l
offenbar
Bereich Sl nur
deren
Konjugierte
solche
ebenfalls
reell sind.
Wir
und
die
stellen jetzt
Hypotenuse
einer Kathete
|
die
algebraische
Kathete
jugierte Zahl ]/
ist
Zahl y
ausdrckt,
2\^2\
y2 -
im Zahlenbereich
~|/2
|
zu konstruieren.
Nun kommt
den Zahlenwert
der
die
il
imaginr
nicht vor,
ausfllt.
anderen
ist
sein,
obwohl
78
IV.
38.
38.
Die Darstellung algebraischer Zahlen und ganzer rationaler Funktionen
Frage nach
Die
einige
Summe von
der
Ausfhrbarkeit
und Eichmaes
Lineals
mittels
als
Quadraten.
erfordert
Konstruktionen
weiteren Behandlung
ihrer
Stze
Nach Fermat
Summe von
geometrischer
zu
wie
die,
sind.
ist
vier Quadratzahlen
darstellbar.
Dieser Fermatsche Satz gemerkwrdige Verallgemeinerung von folgender Art:
Erklrung. Es sei Je ein beliebiger Zahlkrper; der Grad dieses
Krpers Je heie m, und die m 1 zu Je konjugierten Zahlkrper mgen
stattet eine
Krpern
gebildet
...
Je, Je,
sind,
Krper etwa
ft
(m_1) einer
oder
nennen wir
so
...
Je, Je,
Je,
Krper
Je, Je',
Zahl a in
Je
selbst reell;
Je
sind.
Kommen
seien
es
diese
heie in diesem
zu a konjugierten bez. in
falls die s
den
unter
U ~^
s
Je, Je',.
.,
Satz 42.
vier
Krper
diese
da
sich,
es
Trifft
Jede
total
Zahl in
positive
Je
lt
sicJi
Summe
als
von
Krpers
Je
sind.
Der Beweis
dieses
beruht wesentlich
die ich
Satzes bietet
auf der
Theorie
erhebliche
der
Schwierigkeiten dar;
entwickelt
habe.
dieser
Theorie hingewiesen,
dingungen fr
einer
ternren
die
Lsbarkeit
er
relativquadratischen Zahlkrper,
Es
sei
hier
der
die
Be-
Diophantischen Gleichung
gesuchte Zahlen in
Je
bedeuten.
Je
und
t],
wiederholte
die
Dar-
Werte haben.
Math.-Vereinigung Bd.
26.
d.
d.
Deutschen
die
Theorie
und
Erwhnt
von Nutzen
sei
IV.
79
38,39.
sein wird.
Es
rationale Funktionen
zu beweisen,
doch
einer beliebigen
licher
sei
Quotient
als
Wege
vllig anderen
definitiven
da
die
Darstellbarkeit
39.
Es
sei
und Eichmaes.
ist;
wir wollen
und
ihrer
Lsungen beurteilen
Lineals
mittels
lt,
ob
die
Konstruktion
ist.
auch
Wir werden
bei
allein
dieser
Satz 44. Es
da man
der Art,
bei
analytischer
Behandlung derselben
die Koordinaten
der gesuchten Punkte aus den Koordinaten der gegebenen Punkte lediglich
kann;
es
sei
die
Quadratwurzeln finden
Quadratwurzeln,
Konstruktionsaufgabe sich
auch
allein
soll
dann
die vor-
und Abtragen von Strecken ausfhren lassen, so ist dafr notwendig und
hinreichend, da die geometrische Aufgabe genau 2 n reelle Lsungen besitzt
und zwar fr alle Lagen der gegebenen Punkte, d. h. fr alle Werte
Der Beweis fr die Darstellbarkeit von f(x) als Quotient zweier Quadratist von mir auf Grund des Satzes 42 in der ersten Auflage ausgefhrt worden.
Inzwischen ist es E. Landau gelungen, den Beweis fr die Darstellbarkeit von f{x)
direkt als Quadratsumme, wie oben behauptet, zu erbringen und zwar lediglich mit
Benutzung sehr einfacher und elementarer Hilfsmittel. Math. Ann. Bd. 57 1903.
2) ber ternre definite Formen, Acta Mathematica Bd. 17.
1)
summen
80
der
IV.
39.
in
Tarameter.
Wir beweisen
Beweis.
diesen
sind.
Um
ein.
erfllt
wurzeln, die bei der Berechnung der Koordinaten der gesuchten Punkte
zuerst zu suchen
ist.
rationale
diese rationale
Parameterwerte
reelle
niemals
Werte annehmen, da sonst entgegen der Voraussetzung die vorgelegte Aufgabe fr gewisse Werte p imaginre Lsungen haben mte
Aus Satz 43 schlieen wir daher, da ft (p) als Quotient von Summen
negative
Nunmehr
Ya +
&2
]/a 2
+ b*+
+ ? = (]/a + b Y + c
+ d* = V (Ya + b* + c +
2
")/
vielen
Quadraten
sich
zurckfhren
stets
Nehmen
ist.
Summe
f\
Summe von
auf
be-
wiederholtes
zweier Quadrate.
dem
da der Ausdruck
so erkennen wir,
lt
d2
(p) gewi
mittels
Lineals
und
Wir
bei der
Stelle zu ziehen
ist.
rationale Funktion
teten
p und
ist
bei
beliebigen
reellen
haben mte.
p und
fr jedes Vorzeichen
folgt,
da f2 einer quadratischen
f2
<p t
-<Pl(P)f2
(p)
und
qf>,
+ ^(p) =
(j?)
Aus
IV.
81
39.
entnehmen wir
'*
<p x
(p)
Nun mssen wiederum nach Satz 43 die Funktionen tp (jp) und ^ (joi)
Quotienten von Summen von Quadraten rationaler Funktionen sein und
t
andererseits
Also lt
sich
]//*
mittels
Lineals
und Eichmaes
konstruieren.
Ebenso wie der Ausdruck f2 erweist sich auch jede andere rationale
Funktion <p 2 (p, ]/ f-J von p und y/j als Quotient zweier Summen von
Quadraten konstruierbarer Funktionen, sobald diese rationale Funktion
die Eigenschaft besitzt,
p und
Parameter
<p 2
fr beiderlei Vorzeichen
von
yfx
Weise
fortzusetzen.
Es sei f3 (p, yfi V7D em solcher Ausdruck, der von den drei Argumenten p, ]//*!, Y f2 in rationaler Weise abhngt und aus dem bei der
analytischen Berechnung der Koordinaten der gesuchten Punkte an dritter
)
ist.
Wie
da
r%
-<p*(p, vi)
<p 2
und
ty 2
u+
*2(p,
VK) -
p und
yf
9> 2 (p.
und mithin
VK)
in
dem
ist
betrachteten Falle
eines Parameters
p.
ob
der
Hubert, Grundlagen
der Geometrie.
82
Schluwort.
Anwendung
Ausdrcke
stellen
smtlich
Zahlen
algebraische
erfllt ist,
auch
allein
mittels
aufgaben
weitere
aber
nicht
aus
Elementargeometrie
der
die
und Eichmaes
kommt
sieht
ergibt
Ziehens
leicht,
da
sich,
von Geraden
entnehmen
lt.
bekannte Konstruktions-
Appollonische Berhrungsaufgabe
gelst
Man
dar.
und somit
Was
die regulren
nicht vor,
man
44 mgen
des Satzes
mittels
allein
Lineals
Schluwort.
Die vorstehende Abhandlung
Prinzipien der Geometrie;
satz, eine
ist
in dieser
eine
kritische
Untersuchung
Untersuchung der
uns der Grund-
leitete
Weise zu
errtern,
da wir
Wege
ist.
zu enthalten;
Betrachtungen
unser
in
einem
Erkenntnistrieb
wenn wir
Probleme
erst
dann
begegnen
bei
unseren
oder
befriedigt,
einen
mathematischen
Satz
wenn uns
vermuten,
entweder
die
vllige
1)
maes
Betreffs weiterer
vgl.
geometrischer
Eich-
Inaugural-
Anhang
I:
Gerade Linie
Stze
Wege
zu konstruieren.
die
als krzeste
Zahlen
Beweise errtern
soll,
Forderung
ist
83
auf algebraischem
matikern
und %
Verbindung.
zusammen,
die
ist.
Diese
als
messen
zum Beweise
oder Hilfsmittel
einer
elementar-geome-
Wahrheit ntig sind, und es bleibt dann dem jedesmaligen Eranheim gestellt, welche Beweismethode von dem gerade ein-
genommenen Standpunkte
aus zu bevorzugen
Anhang
ber die gerade Linie
als krzeste
ist.
I.
46.
Nehmen wir
so
die folgenden
als
Elemente,
Axiome
dienen:
wie
folgt:
Punkte
und
gemein.
Auf
jeder Geraden
in jeder
internationalen
die
sind,
6*
Anhang
84
Gerade Linie
I:
als krzeste
Verbindung.
eingefhrt wird.
Diese Axiome sind von M. Pasch 1 ) zuerst aufund systematisch untersucht worden; dieselben sind im wesent-
gestellt
lichen folgende:
liegt.
Wenn
B zwischen A
und C liegt.
Irgend vier Punkte Ax A 2 , A 3 A einer Geraden a knnen stets in der
Weise angeordnet werden, da allgemein A zwischen A h und Ak liegt,
sobald der Index h kleiner und ft grer als i ist.
Jede Gerade a,
welche in einer Ebene a liegt, trennt die Punkte dieser Ebene a in
zwei Gebiete von folgender Beschaffenheit: ein jeder Punkt A des einen
Gebietes bestimmt mit jedem Punkt A' des anderen Gebietes zusammen
eine Strecke AA', innerhalb welcher ein Punkt der Geraden a liegt; dagegen bestimmen irgend zwei Punkte A und B des nmlichen Gebietes
Punkt
eine Strecke
gemein
zwischen
so gibt es einen
ein weiterer
Ah
und
Punkt auf a
liegt,
Auf
diese
Axiome
lt
sich
besitzt:
allist,
smt-
liegen zwischen
ebenfalls
dies
zutrifft,
in
ist,
dies F.
folgendem Satze:
jeder
ordnen,
derart,
Relation
lineare
umgekehrt
da
alle
erfllen,
allen in
dieser
Werden
die
rechtwinkligen
Euklidischen
lichen
Rume
Koordinaten
eines
im
Punktes
x, y, 8
ent-
ferner x, y, z
gewhnlichen
eines
gewissen
Teubner
1)
2)
1;
S.
nirgends
1882.
433
u.
f.
konkaven
Anhang
Krpers
des
I:
Gerade Linie
Euklidischen
Punkten im Inneren
dieses
ursprnglichen Raumes:
als krzeste
Verbindung.
Raumes und
nirgends
unser ursprnglicher
Baum
ist
Hierbei
ist
85
Baumes
abgebildet.
des Krpers
der zwischen
diesen beiden Punkten gelegene Teil der Geraden ganz in das Innere des
Krpers
fllt.
da
H. Minkowski
eine
wichtige
Rolle
Wenn
metrie,
halb
des
Krpers verlaufenden
Raumes entsprechen
obige Satz ber die
des
Euklidischen
Rume
gleichbedeutend
ist.
Wir
definieren
AB
AB =
1)
YA
XB
[yb'xI
Teubner 1896.
Anhang
86
I:
die
Gerade Linie
AB
in
diese
allgemeinen
unserer
Wegen
Geometrie.
XB >1
X
YA
YB >1,
ist
Verbindung.
als krzeste
positive Gre.
die Eigenschaften
des
Begriffs
Art fr
AB
fhren;
dies,
Die
aufgestellte
AB
Formel fr
lehrt
in welcher
zugleich,
Weise
diese
und
fest
und ndern nur die Begrenzung des Krpers derart, da der Grenzpunkt X sich nach A hinbewegt und Y sich dem Punkte B nhert, so
ist klar,
YA
YB
und
folglich
Es
ABC
sei jetzt
gegeben.
AB
XB
XA
sich vergrert.
ein Dreieck
dem Krper
ein
AB, AC,
BC
des
Endpunkte
verlngert,
hinaus
bis
sie
Begrenzung des
die
Ovals
bezglich
in
und
V,
und
\y
raden
Verbindungs-
UZ
und
und verlngern
linien
TV
die-
mehr
statt
das Dreieck
XY bezeichnen
wir mit
X'
UWT
zu Grunde und
bezglich
Wir
'.
konkaven Ovals
erkennen
leicht,
in der
da
in
mit
legen nun-
Ebene a
der
durch
Anhang
dieses Dreieck
I:
Gerade Linie
Verbindung.
als krzeste
die
Lngen
87
AC
und
BC
die
AB
der Seite
Wir
AB
AB
ursprnglichen Lnge
Es
nun
gilt
fr die
mit
AB;
dann
zum
ist.
AB> AB.
ist
ABC
die
ein-
fache Beziehung
AB = AC+BC.
Zum
verhltnis
ist
A, D,
X',
mit
zum Durchschnitt
T~
Td
V uc
TD
X'A
VC
TIA
Y',
B, D, X'
XB tb
XHD
TB " ZC TB
und
T~
XB
TB
X'A
VA UC
VC VA
meine Behauptung.
meines
Briefes
ZB TG
ZC TB
Sie,
aufgezhlten
Axiome und
sich
In federn Dreieck
ist
die
Summe
der
mit Notwendigkeit
er-
gilt:
dritten Seite.
ist
klar,
vorkommt, wenn
die
schneiden;
jedoch
sind
insbesondere
in
zwei
sich
gegenberliegenden
88
Anhang
II:
im gleichschenkligen Dreieck.
Bedingung
fragliche
Summe
erfllt,
und
zusammengesetzter
Punkten
Weg
dann
es gibt
ist.
A und JB
In
ist die
stets
dem
betrachteten Falle
ist
A und JB ist; es lt sich ohne SchwierigWege zwischen den beiden Punkten A und B von
Eigenschaft sich aus den konstruierten Wegen zusammensetzen lassen
zeigen,
derselben
da
alle
Zum
Wenn
als
ganz
von der Eigenschaft, da durch diesen Punkt zu der Geraden nur eine einzige Parallele mglich ist, so ist jene Annahme nicht
vorhanden
ist
gerechtfertigt.
Es wird
leicht
Kleinteich
Anhang
August 1894.
II.
XXXV,
the
London Maihematical
Society,
So habe ich beispielsweise in meiner Festschrift Grundlagen der GeoV und VI (S. 47 73) die ebenen Schnittpunktstze, nmlich
metrie Kap.
Anhang
II:
89
den speziellen Pascalschen Satz fr das Geradenpaar und den Desarguesschen Satz von den perspektiv liegenden Dreiecken einer axiomatischen
Untersuchung unterworfen, und in gleicher Weise haben auf meine Anregung hin M. Beim 1 ) den Satz von der Winkelsumme im Dreieck und
G. Hamel 2 ) den Satz von der Geraden als der krzesten Verbindung
zwischen zwei Punkten behandelt.
Die vorliegende Note
betrifft die Stellung des Satzes von der Gleichim gleichschenkligen Dreieck in der ebenen Euklidischen Geometrie. Zur Erleichterung des Verstndnisses stelle ich
im
wesentlichen wie in meinen Grundlagen der Geometrie
die Axiome der
I.
I
1.
stimmen
I 2.
be-
Es
Auf
gibt wenigstens
drei
raden liegen.
II.
II 1.
zwischen
II
liegt.
Definition.
Die
und
gelegenen Punkte
AB.
BC
AG
oder
BA.
1)
2)
Geometrieen, in denen die Geraden die Krzesten sind, Math. Ann. Bd. 57, 1903,
Anhang
90
im gleichschenkligen Dreieck.
II:
III.
ein
AB
ist;
in Zeichen
AB = A'B'.
Jede Strecke
ist
AB = AB
Wenn
III 2.
die Strecke
A"B"
A" B"
Strecke
d. h.
es ist stets:
AB = BA.
und
AB
kongruent
ist,
AB'
so ist auch
als
der
kongruent.
AB
und BC zwei Strecken ohne gemeinsame Punkte auf a, und ferner A'B' und B'C zwei Strecken
ohne gemeinsame Punkte auf einer Geraden a'; wenn dann
Es
III 3.
seien
AB- A'B'
ist,
Definition.
Ji,
< 0,
oder <
Je)
AC = C.
strahlen
Je
BC = B'C,
und
(&, *).
Es
III 4.
Winkel
eine Gerade a
und eine
Es bedeute Ji einen Halbstrahl
der vom Punkte 0' ausgeht: dann gibt es
sei ein
(Ji, Je),
<$C
so da
Je,
*(M) -*<*;*)
ist
auf
und zugleich
der
inneren Punkte
alle
(Ji, Je')
Jeder Winkel
liegen.
ist
&*)<&*)
IH
als
5.
*(**).*<&*).'
Winkel ^C
IH
und
6*.
(h\ k')
Wenn
kongruent
Qi", Je")
zwei Dreiecke
ist,
^ Qi,
kongruent.
ABC
und
B'C
Kongruenzen
AB = A'B', AC = C
gelten, so gilt
auch
und
<
stets
^ABC = ^B'C
und
<
Je)
ACB = ^A'C'B'.
die
Anhang
Es
nun
ist
II:
dem
im gleichschenkligen Dreieck.
Fassung zu
erteilen,
III 6*
indem wir
91
letzten
die
Um
diesen ein-
zeichnen eine der beiden Halbebenen, in die diese Gerade die Ebene
als
AB
rechts
in
nach A\
von
BA
in der
nach B, und
Richtung von
die andere
teilt,
als links
AB,
bestimmt
stimmt
ist,
die
liegt,
ist.
nun
Stellen wir
hin,
und
und
links
wenn
in
III
Fassung:
III 6.
Wenn
fr zwei Dreiecke
und
als gltig
AB'
AC
BAC
bez.
Axiom
6* nur dann
AB
C zugleich
B'C
die
gruenzen
AB = B', AC = A'C
gelten, so gilt
auch
C
Das
letzte
die linken
Axiom
in
<
stets
^ABC^^B'C
vorausgesetzt, da
und
und
seiner ursprnglichen
AC und
B'C sind.
rechten Schenkel,
BAC
bez.
vom
Anhang
92
II:
im gleichschenkligen Dreieck.
in der engeren
III
III 5
den Beweis
ist als
Axiom
IV.
I,
II,
des
Scheitelwinkel
sowie
III
den Nachweis
gestattet
Axiom
Der Satz von der Gleichheit der Wechselwinkel, und mithin auch der
Winkelsumme im Dreieck zwei Rechte betrgt, folgen aus
dem Parallelenaxiom mit Hilfe der vorangehenden Axiome, auch wenn
wir das letzte Kongruenzaxiom nur in der engeren Fassung III 6 zu
Grunde legen.
Satz, da die
Axiome der
V.
Axiom
1.
Es
sei
Stetigkeit.
ein beliebiger
dann
A
Ai
2
die
u.
s.
A A A
A und A
Punkte
ferner
w.
zwischen
A,
3,
und berdies
liegt,
so da
.,
ferner
zwischen
zwischen
A
A
und
und
die Strecken
AA A A A A A A
1}
A
A
3J
i}
A2} A Aif
stets
und
A
An liegt.
3,
V
Ist
2.
Axiom
An
da
zwischen
der Nachbarschaft.
AB
AB
kongruente Strecke
Dieses
Axiom
der Nachbarschaft
ist
dem
wie
man
aus
dem Umstnde
erkennt, da
Summe
wegen
dieses Satzes
vom
gleich-
Ich
Anhang
II:
im gleichschenkligen Dreieck.
93
auch wenn wir das Axiom von der Dreieckslwngruenz nur in der engeren
III 6 zu Grunde legen.
Fassung
Um
Achsen
dies
dieser
die
Auge,
wo
s eine beliebige
Gre
ist,
und betrachten
und y = s ins
Kongruenz
=1
diejenige
sich selbst
bestimmt
sind.
(1, t)
um
den Koordi-
zuordnen,
er-
den Koordinaten-
=1
diese
man
mssen, da
sowie fr s
schehen
so liefert die
eine
ist,
Wenn
s,
das ge-
Formel
die
schaften besitzt:
1.
Es
gibt
Es gibt stets
gebenen Wert von t
2.
Variabein berfhrt.
der
Gruppe,
festlt.
irgend einen
einen ge-
dieser
Anhang
94
II:
im gleichschenkligen Dreieck.
holoedrisch-isomorph
ist
T
M
dargestellt wird,
wo
,_ ST+1
T+S
und T'
bedeutet.
so gelst
~A + BT>
setzen,
wobei A, B, C,
A + BT'
Fhren wir dann mittels
Konstante bedeuten.
der Formeln
= AX + BY,
y=CX + DY
x
statt der
Koordinaten
bestimmten Drehung
x,
um
r _x + sy
X'~ SXY>
und hieraus entnehmen wir
Drehungsformeln
die
X'=C (SX-Y),
S
r=c (x + SY),
s
Cs eine von S
Unter Zuhilfenahme des Axioms der Nachbarschaft
abhngige Gre bezeichnet.
wobei
die
Determinante
formeln notwendig
X' =
stellt
-JL= X1
Y'=
-j/i
diesen
2 folgt,
da
Aus
eine
dieser
+s
X+
die
sich
L=
Vi
Y,
+ s*
Gltigkeit
aller
Tatsachen
der
1)
im gleichschenkligen Dreieck.
Anhang IV
S.
143145.
Anhang
II:
im gleichschenkligen Dreieck.
95
keitsaxiome
und
und
Nunmehr
2 zu Hilfe nimmt.
Axiome der
Stetigkeit
die weitere
dann
nicht,
im folgenden
nicht
Die
konstruiere, beantwortet
verbreitet berhaupt,
wie ich
Es
sei
ein Parameter
und
cc
=a P+
mgen a
darin
sei
(=f=
a lf a2
0),
cc
a2 tn + 2
-\
und n
sehen wir
multipliziere,
sie
a 1 tn + 1
(=
Ol.
als
treffen.
Die Gesamtheit
Man
Aus-
aller
dividiere
> 0,
a <
je
nachdem
>
oder
Systems
>
oder
fortschreiten.
tienten
addiere, subtrahiere,
dem
in
betreffenden Ausdrucke
Sind
ausfllt.
Es
cc
leuchtet
cc
zwei Zahlen
irgend
vorgelegt, so heie
ausfllt.
Eine Zahl
> ,
<
bez. a
ein,
da bei
je
in
cc
und mithin
cc,
heie
<
oder
des komplexen
nachdem
cc
<
Festsetzungen
diesen
alle
formalen Regeln und Gesetze, wie bei den gewhnlichen reellen Zahlen,
gltig sind;
dagegen
gilt
fr unser
System
das Archimedische
At
<
bleibt; unser
komplexes Zahlensystem
gewhlt
Axiom
stets
sei,
sches System.
Sind
cc,
imaginre Einheit ]/
1, so heie
y
eine imaginre
cc -\-
und bedeutet
die
Anhang
96
=a
wo
im gleichschenkligen Dreieck.
II:
a (4=0), a1} a2
a2 tn + 2
-\
reelle
ax tn + 1
vT + ~\ +
3!
e<
1+ *J*.
Ist
Nunmehr
irgend
gewhnliche
eine
..
stellt
&
dann noch
setzen wir
ordnen, und
+'"
Zahl,
reelle
so
Wir denken uns ein Paar von Zahlen (x, y) des Systems T als einen
Punkt und die Verhltnisse von irgend drei Zahlen (u v w) aus T, falls
:
nicht beide
u, v
sind,
Gleichung
ux
mge
als
+ vy + w
(x, y)
w)
liegt.
sich ihrer
lassen, so
Anordnung smtlich
erfllt sind.
knnen wir
treffen,
mge dies
x2 xs
x
Reihenfolge entweder bestndig abnehmen
Forderung des letzten Axioms der Anord-
(x3 , y3 ),
irgend welche Punkte auf einer Geraden dar, so
ihre Reihenfolge auf der Geraden sein, wenn die Zahlen x
.
wachsen;
nung
II.
(x, y),
4 zu
fr die
um
ux
dieser
ferner die
erfllen,
+ vy + w
Wenn
zwei Punkte A,
II
Punkte
alle
ausfllt,
auf der
w) gelegen sein
sollen.
oder auf der y- Achse liegen, so nennen wir die absolute Differenz der
Abszissen bez. der Ordinaten dieser beiden Punkte ihre Entfernung oder
sie
bestimmten Strecke.
Nunmehr
definieren
wir das Abtragen von Strecken und Winkeln durch die Parallelverschie-
=x
y' = y +
x
-{-
a,
Parallelverschie-
Anhang
II:
oder
=x
-f iy'
-\-
iy
-{-
97
-\-
vermittelt, worin a, Zahlen in T, nmlich die Projektionen der Parallelverschiebung in Richtung der Achsen sind. Die Drehung der Ebene um
den Koordinatenanfangspunkt
x'
vermittelt, worin
-\-
werde durch
(0, 0)
= ei9+
iy'
+ i ^(x
die
Formel
iy)
0-
Es
seien
nun
(x, y)
und
(x', y')
vom
Koordinatenanfangs-
Wir
bedeutet.
irgend zwei
worin
fi
die Koordinaten
(x, y)
um
in
den
einen
x + jy
x iy
2i(#+i)
folgt
jy'
= xx +
iy'
\
oder
worin
%
gesetzt
+ in
+V =1
T sind, bei
da
x'-\-iy'
iy'
Wegen
ist.
folgt,
iy
x-\-iy
|,
rj
solche Zahlen in
niedrigsten
worin
a, b
gewhnliche
reelle
Die
reelle
Zahl
&
ist
Hubert, Grundlagen
-+!',
bedeuten.
der Geometrie.
die
einer
2i&
=a+
ib
7
und
',
r\
Anhang
98
in
im gleichschenkligen Dreieck.
II:
von
und
7t,
ferner t
als
vllig
bestimmt.
eindeutig
ib
-f-
in
die
ur-
Wir sehen
(i
daraus,
gibt,
es gelingt, dieselben
durch Verschiebungen
Axiom V 2
Wir fassen
ist.
zusammen:
Axiome
Axioms
1,
so jedoch, da das
Fassung
in der engeren
Wir
mit Ausnahme
Axiom ber
III 6 zu verstehen
ist.
leiten
des Archimedischen
gltig sind:
Winkel
ist
In der Tat,
Drehung
um
und jeder
be-
halbierbar.
in
ist
seinen Nebenwinkel
da,
bergeht.
wenn &
deutet,
Wir
-j-
Ebenso leuchtet
r einen beliebigen
be-
ist.
um
Winkel
ein,
sich selbst
ein.
Fllen
auf irgend
und verlngern
dieses
hinaus
x- Achse und fr
dinaten a, .
Der Winkel
AOB
OA
und der
Anhang
im gleichschenkligen Dreieck.
II:
t,
um
99
gehen, so da
Winkel &
die
Der Spiegelpunkt
wird.
-\-
des
cc,
t aus,
imaginre Zahl
g^-Ki+o* a
(
dargestellt wird,
folglich
mithin
d.
h.
Winkel
Winkel
der
ist
mit dem
_ i) _ _il (a _ i) = ^
OB
AOB
gleich
ebenfalls
Wir
berein.
liegt
-fr
und
t,
sprechen
dies
stimmt
Resultat
Wenn
in
gleich.
ent-
Es
sei der
--(+0 (x
e
i&+(i+ii* e
+ iy),
i-(i-i)t
e^-a-O'
^ _ iy = e
)
(3
2i(# + i)
ig)
(x
_ f'y).
+ iy =
2,'(^+ f
(x
iy)
Nun mgen
und fr, +
bez.
x-Achse einschlieen.
r1
die
Spiegelungen an
den Geraden a, a1} a2 aus > s0 wird die entsprechende Transformation des
Punktes
{x, y)
vermittelt,
+ iy = e*(+*-*i+*,+*-*x+J (x iy)
Anhang
100
II:
drei
die
ist
Wenn
ABCB
einem Vierecke
in
ohne
Winkel
und
treffen
einem Punkt.
sich in
vom
um
Ecken
einspringende
Winkel
die Proportionenlehre
die
BAC
ohne Hilfe
ntig,
Wir erkennen
kann.
hieraus,
III
Axioms
6* bedarf, sondern da
die
in
den eben
sind.
lautet:
b'
a:b
Umgekehrt, wenn
u nd a,
und
b, b' je
getrag en werden, so
bez.
von d,
b'
= d :b'.
Proportion erfllen,
s ind die
ab-
einander parallel.
Dieser Satz konnte auch direkt aus dem Umstnde abgeleitet werden,
da in unserer Geometrie die Geraden durch lineare Gleichungen definiert
sind, und zugleich erkennen wir hieraus diese Tatsachen:
der
Breieckes
Satz
von der
Gleichheit
ob
dieser
Untersuchung
sei
a eine
Gerade
sei
Geo-
gilt.
Zum Zwecke
unserer
in
in
Bezug auf
die
durch
den
&
-\-
t einschliet;
ausfllt,
#-Achse
und
Anhang
Um
II:
Koordinaten
die
um
da die Drehung
A
&t
Punktes
(x, y) des
den Winkel
den Punkt
in den
Punkt
mu;
berfhren
1,
101
c-**-^ +i>*(aj-f*y)-*
und
x
d.h.
1,
folglich
-f iy
e^+U+Q,
= OB = e* cos (# + *),
y = AB = AB = c sin (0- + x).
Um die Lnge der Strecke 0A' zu
x
bedenken wir, da
rechnen,
naten x,
besitzt;
e
d.
h.
die
OJ/
Strecke
die
iy\
fllt
= e i$ +
den Winkel
(i
&
+ i)t-i#+(i-i)t
gleich e 2t aus,
um
be-
Koordi-
um
Drehung
die
i9+(i + i)t
und
t liefert mithin
-f-
e 2
sie
unterscheidet
eine
sich
verschiedene
komplexe Zahl.
Wir
ersehen
da
hieraus,
im
allgemeinen
in
zwei
symmetrisch
Hypotenusen
voneinander
verschieden
und
ausfallen,
mithin
bei
der
In unserer Geometrie
und
also
gilt nicht
der Satz
Axiom von
vom
gleichschenkligen Dreieck,
im wei-
teren Sinne.
Wir
Flcheninhalt
Polygone
der
und
den Satz
von
der
Geraden
als
vom
der
Was
wenn
heien,
knnen,
mgen
die erstere
die
sie
Frage
betrifft, so
zerlegungsgleich
paarweise
kongruent
einander
heien,
inhaltsgleich
wenn
es
mglich
sind,
ist,
und
zwei
Polygone
Aus
sind.
Auch
gilt
in
unserer Geometrie
Hhe
bewiesen.
dem-
zufolge die beiden Quadrate ber den Katheten irgen d ein e s rechtwinkli gen
Dreieckes
zusammen
inhaltsgleich
Anhang
102
II:
in
des Pythagorischen
die
benutzt wird.
Wenden
auf die
beiden
OB
(Fig. S. 101)
an,
OA =
Hypotenusen
und
folgt,
da
O = e 2r
die
Quadrate
einander
ber
sich
und
den beiden
inhaltsgleich
es gibt in unserer
kleine von
so
vorhin
OAB
sind,
um
d.
h.
unendlich
inhaltsgleich siud.
wonach zwei
Satz Euklids,
linie stets
Gltigkeit...
Es
unmglich,
ist
man
selbst
wenn
hinzunimmt.
Hhen
maes
in
aus
einfhrte.
Grundlinie
whlt,
erfordert
im weiteren
Da
in
hnlicher Dreiecke,
Sinne.
gilt,
so
geschlossen
Geometrie nennen.
Eine weitere Folgerung, die Euklid aus dem Satze von der Gleichheit
da
in
jedem Dreiecke
ausfllt.
Um
nehmen wir
so da die
von
die
Summe
ist
der
Satz,
Hypotenuse
OB
OB
Wir
(Fig. S. 101)
&
0,
Summe
Anhang
e* (cos x
II:
= (l + x + - +
= 1 + 2x + x +
sin r)
ist
-j+
(l
+t-j+
103
offenbar
um
von
O = e - 1 + 2x + 2t +
2
Der
als
Satz,
die dritte
wonach
ist,
die
Summe
gilt also
an,
als gltig
dann
ist
Summe
dann
nicht,
wenn
Ebenso wenig
die
selbst
zweier Seiten
im Breieck grer
Wir
struieren,
scheidet,
Axiom von
Man
sich
die
von der eben behandelten Geometrie dadurch unterAxiom (V 1), dagegen nicht das
man von
die vier
Division
jedesmal
eine
nicht
ist.
beide
und
die
Operation ]/l -f
fnfte
Zahl bedeuten
und
2) gltig
wobei
(V
der Nachbarschaft
kann,
die
oo
anwendet,
vermge jener
fnf
ist.
ein Paar
von irgend
sind,
als
Gleichung
ux
-f-
vy
-f
w=
die
frheren
Festsetzung
hinsichtlich
der
dagegen weichen
Drehung
um
einen
Anhang
104
Wir
fassen
die
ein abzhlbares
System
P P P
Es
x,
die
3,
solche
#,n
wo
r, r1}
die
aus,
ki
r%i
die
eine
Wert von n
eine
* .
+ r..^^
welchem
#2 , 4fr,,
da fr keinen
Reihe bringen:
unter
- r* + r^+ rt ^+
r, rx , r2 ,
Auge; da dieselben
ins
sie in diese
der Winkel,
k
wobei
- r* + r^ + r
besteht,
Punktes
x- Achse schneidet.
dann allgemein
des
knnen wir
bilden, so
sei
Verbindungslinie
besteht,
im gleichschenkligen Dreieck.
II:
da
lt, so
rn
um
,
+r*
e **
4-
(a;
i/)
vermittelt.
Es
IV
sich heraus,
stellt
die
erfllt
oben
wenn
sind,
genannten
das
und
Stze
die
aus
Satz
Dreieck,
inhalt.
gilt
das
Axiom
Satz,
da
die
Summe
zweier
ziehenden
Dagegen
Folge-
gilt nicht
in
ist,
der Nachbarschaft
suchung
zu
ist gltig.
Der
Zur
diesen
haben wir
(S.
93
S.
in
dem
frheren Beweise
1,
am Anfange
Axiome
im
gleich-
2 erforderlich:
dieser Unter-
benutzt.
Wir haben oben (vgl. S. 91 S. 92) erwhnt, da aus dem Dreieckskongruenzaxiom in der engeren Fassung III 6 und den vorangehenden Axiomen
III 6 und mithin allgemein die Kongruenz
weiteren Fassung folgt, sobald wir den Satz von
der Gleichheit der Basiswinkel im gleichschenkligen Dreieck als gltig
annehmen. Es erscheint mir bemerkenswert, da diese Ergnzung des
Kongruenzaxioms in der engeren Fassung III 6 noch auf eine ganz
andere Weise geschehen kann, nmlich mittels einer sehr anschaulichen
Anhang
im gleichschenkligen Dreieck.
II:
dem
bewiesenen Satz 32
in
105
(S.
dieser Note (vgl. S. 102) gezeigt haben, nicht eine Folgerung der
Kongruenzstze im engeren Sinne ist.
in
Es
und
engeren
Kongruenzbegriff im
engeren Fassung
und
III 6
Sinne zu
inhaltsgleich" wie
verstehen
in
dabei
Dement-
ist.
stets
vorangehenden Axiome
die
da
jedoch,
so
I,
III 1
II,
III,
IV angewandt.
Ergnzung dienen
als
soll,
lautet:
Ein Polygon
ist
Tat,
der
Polygon
wre
inhaltsgleich,
Polygon
ein
mten
so
zwei
Polygon
P -f
Q'
und
Q'
zerlegungsgleich
zerlegungsgleich wre,
Q'
zerlegungsgleich
so
dem
einander
Polygon
das
innerhalb
zerlegungsgleiche
-\-
Da dann auch
wre.
gelegenen
sein,
widerspricht.
Nunmehr beweisen
Wenn
einem Dreiecke
in
so
ABC
die
diesen
die
und
Winkeln gegenber-
Zum
AD = BG
BE = AG
und
AB
die
Punkte
Nach dem
wird.
und D,
so da
ersten Kongruenzsatze in
der Dreiecke
Dreiecke
Wir
DAG und
sind
mithin
CBE;
auch
diese beiden
inhaltsgleich.
linien
AD
stimmen.
und
Wre
BE
dies
miteinander berein-
AD' = BE,
so
wrde
/e
J>\
\D
\j?
106
Anhang
(vgl. S.
gleich
sind.
einander
II:
AD' C und
AB
und
BE
AC
und
BC
Wenn
einander
ABC
einem Dreiecke
in
gleich
so
sind,
auch
sind
b eiden
die
stets
Seiten
diesen Seiten
die
gegenber-
Zum
grer
die
als
GAB
AB
CBA
derart,
da
<CB = ^CBA
und
<CB'A =
wird.
CA = CB
und hieraus
folgt mit
und
CB'
^CAB
mithin
ist
= CA
CA'
(1*)
Satz
CB'.
vom Auenwinkel
und
auf die
BCB'
an,
so
Dreiecke
ACA'
erhalten wir
die
Gleichungen
<
ACA'
und
<
BCB' =
mithin
B B
ACA'
in
CB'A -
CBA-
ist
^AC = ^BCB'.
(2*)
und
<
BCB'
^AA'C =
^BB'C
Diese Folgerung ist ein Widersinn, da die beiden Winkel bez. innerer
Winkel und nicht anliegender Auenwinkel im Dreieck
C sind.
Damit ist der aufgestellte Satz bewiesen und wir erkennen zugleich,
da die Dreieckskongruenzstze im weiteren Sinne eine notwendige Folgerung aus dem Kongruenzaxiom in der engeren Form III 6 sind, wenn
man noch die obige anschauliche Forderung ber den Begriff der Zer-
AB
'
die
Stetigkeitsaxiome
ebene Geometrie
als
und
ist
es
noch
Anhang
paar
der
durch
Axiom
entspricht.
Grenzpunkte
Existenz
Axiom
107
ein
weder das
der
III:
in
notwendig;
Axiom
das
den
vielmehr
allgemeineren
gengt
Charakters
zu
das
es,
ersetzen,
und
aufgestellt
Anhang
III.
57.
und dann
die Euklidische
S.
18)
Geometrie aufgestellt
da lediglich auf Grund der die Ebene betreffenden BeAxiome der Aufbau der ebenen Euklidischen Geometrie mgwenn man die Anwendung der Stetigkeitsaxiome vermeidet.
gezeigt,
standteile dieser
lich
selbst
ist,
dann ebenfalls, da ausschlielich auf Grund der ebenen Axiome ohne Anwendung von Stetigkeitsaxiomen die Begrndung der Bolyai-Lobatschefskyschen
Geometrie in der Ebene mglich ist.
Diese neue Begrndung der Bolyai-Lobatschefskyschen Geometrie
steht, wie mir scheint, auch hinsichtlich ihrer Einfachheit den bisher
bekannten Begrndungsarten, nmlich derjenigen von Bolyai und Lobatschefsky, die beide sich der Grenzkugel bedienten, und derjenigen von
F.
die
Axiome
stelle ich
der
wie folgt:
I.
I
1.
und
bestimmen
I 2.
Be-
Vergleiche auch meine Abhandlung ber den Satz von der Gleichheit der
Anhang
II.
Anhang
108
III:
II.
II
1.
und
II 2.
Es gibt
Wenn A, B, C
so liegt auch
liegt,
Wenn A und
Es
seien A, B,
die
AB
oder
gelegenen Punkte
BA.
Erklrung:
und
BC
AB
trifft;
Punkte
wenn dann
gewi
AC.
Jede Gerade
zerfllt
Wenn
A,
Punkt
kann man auf einer gegebenen Hlfte der Geraden a von A' aus stets einen und nur einen Punkt B' finden, so da
die Strecke
der Strecke A B' kongruent oder gleich ist; in Zeichen:
III 1.
einer Geraden
ist,
ein
so
AB
'
AB- A'B'.
Jede Strecke
III 2.
Strecke
Wenn
A" B"
ist
AB = AB und BA = AB.
die Strecke AB sowohl der Strecke A' B' als
kongruent
ist,
so
ist
auch
'
B'
der
auch der
Strecke
A" B"
kongruent.
AB
III 3. Es seien
und BC zwei Strecken ohne gemeinsame
Punkte auf a und ferner A'B' und B'
zwei Strecken ohne gemeinsame Punkte auf einer Geraden a'; wenn dann
A'B' und
AB =
BC = B'C,
so ist auch
AC=A'C.
Erklrung. Ein von einem Punkte A ausgehendes Paar von Halbgeraden h und k, die nicht zusammen eine Gerade ausmachen, nennen
wir einen Winkel und bezeichnen ihn entweder mit
Die Punkte der Ebene, welche bezglich h auf derselben Seite wie
Anhang
III:
109
k und zugleich bezglich k auf derselben Seite wie h liegen, bilden den
Seite
Qi'k')
in
ist,
Zeichen:
< (hk)
und da zugleich
alle
ist
= < {h'k')
liegen.
(hh) == (hh)
und
^.(Jik)
= (kh).
IH 5. Wenn ein Winkel (hk) sowohl dem Winkel Qi'k') als auch
dem Winkel Qi'k") kongruent ist, so ist auch der Winkel Qi'k') dem
Winkel Qi'k") kongruent.
III 6.
Wenn
fr zwei Dreiecke
AB = A'B', AC = A'C
und
und
^ACB = ^A'C'B'.
I III
man
Insbesondere
folgt
IV.
Summe
ist.
sich schneidenden
Geraden.
Wir sprechen nun das Axiom, welches in der Bolyai-Lobatschefskyschen Geometrie dem Parallelenaxiom der Euklidischen Geometrie entspricht, wie folgt, aus:
IV.
Punkt, so gibt
es stets
Gerade und
durch
Erklrung.
aus in die
Die Gerade
zerfalle
es
Halbgerade
o,
ihrer
mgen a 1}
AB
Punkte
b t auf der
liegen:
dann
soll
x>~*J*X-
HO
Anhang'^ III:
von denen a x
a2 Halbgerade
sagen wir, da
sind,
sie
zu b parallel sind.
Es
der Tatsachen:
Wenn
eine
Gerade
oder
Halbgerade
so ist stets
ist,
Wenn
parallel.
Erklrung.
geraden,
bestimmen.
Eine
vom Punkte
sagen wir,
da
sie
dasselbe
Ende
werde allgemein mit (Act) bezeichnet. Eine Gerade besitzt stets zwei Enden.
Allgemein werde eine Gerade, deren Enden a und sind, mit (a, ) bezeichnet.
Wenn A,
sind,
da die Strecken
AB
AB
wie
man
BA
Endlich
definieren
wir noch
in
bekannter Weise
Spiegelbildes
Erklrung. Wenn wir von einem Punkte aus auf eine Gerade das
Lot fllen und dieses ber seinen Fupunkt hinaus um sich selbst verlngern, so heie der entstehende Endpunkt das Spiegelbild des ursprnglichen Punktes
Die
an jener Geraden.
Spiegelbilder
fr
die
auf einer Geraden; diese heie das Spiegelbild der ursprnglichen Geraden.
1.
Hilfsstze.
Wir beweisen
Satz
1.
Wenn
Beweis.
sie
Wir nehmen im
Mitte
parallel.
um
die
Anhang
drehung
das
aus,
III:
d. h.
Hl
kongruente
betreffende
Dreieck,
wrde folgen, da
so
beiden
die
ersteren Geraden auch nach der anderen Richtung hin zueinander parallel
Von
Beweis.
PB'
vorgelegt
sich
die
sind,
steht.
AB und
und
b.
'
und
in demselben*Sinne
BA
in
Wir
schneidet.
in welche
diejenige Halbgerade,
von P aus zerfllt und auf welcher der Punkt A liegt, mit a y und ziehen
dann von B aus eine Halbgerade h parallel zu ax Ferner sei ti diejenige
Halbgerade, welche von B' unter demselben Winkel gegen b und nach
.
ausgeht.
Da nach
Satz 1
Halb-
die
ti
nicht zu h
leicht erkennt,
ti
und ax
mu
PT
notwendig a^ es
Da a wegen
nach Axiom
II
sei
die Gerade
a das Dreieck
PB'T
zu
B
R'
QR
auf
ab,
so
ist.
?>;
ist,
so
Von Q
ti
Wir
wollen
nach
die Strecke
112
von
dann
die Mitten
M und N der
MN das
Verbindungsgerade
Strecken
QQ'
bez.
QRMN
Suchen wir
so liefert deren
b.
QR
RR',
Q'R' auf
Q' ab.
Satz
3.
Wenn
es
gibt
stets
eine
Gerade,
die
zwei
vorgeschriebene
parallel, ist d. h.
Enden a und
besitzt.
Beweis.
Wir
zu den vorgelegten
\
"Jf
und B,
so da
OA= OB
wird und die von
aus durch
Anhang
die
von
III:
aus durch
113
zwischen
den
B
von
beiden
ausgehenden
a,
die
werde mit
Halbierungslinie
letztere
Halbgeraden.
Die
erstere
Aus der
der Winkel
mit b bezeichnet.
Gleichheit
^(aA)=^(aB)
und aus
die
letzterer
linien
ist,
so folgt
^BAO = ^i ABO
and hieraus nach den vorigen Gleichungen
mithin
^BAM^^ABMAM - BM
ist
M mit
aus der letzteren Streckengleichung und wegen der Gleichheit der Winkel
^C(aAM)
diese
und
(aBM)
Kongruenz htte
zur Folge.
Da
die
AM
aBM
Annahme
Wir nehmen
das
werden.
Die von
an,
ferner
durch
parallel;
sie
die
Geraden
a und b
zueinander
seien
bezeichnet
fi
mge
die
von
DA
In der Tat,
im gegenteiligen
DA
von
aus auf
DB
etwa bis B' ab und verbinden B' mit ^ durch eine Halbgerade. Aus der
Kongruenz der Figuren
und DB'fi wrde dann die Gleichheit der
DAa
Winkel < (DAa) und $C (DB' u) folgen und mithin wren auch die
Winkel < (DB' [i) und <^C (DB(i) einander gleich, was nach Satz 1 nicht
mglich
ist.
Winkel
^(DAB)
Hubert, Grundlagen
und <
DA
(DBA)
der Geometrie.
und
DB
dem Frheren
8
h^caJjL* sr o
Anhang
114
III:
aJ>-o^J-
srn
auch die Winkel < (CAB) und < (CBA) einander gleich sind, so wrde
auch die Gleichheit der Winkel <; (D AB) und < (CAB) folgen. Diese
Folgerung trifft aber offenbar nicht zu und mithin ist auch die Annahme
zu verwerfen, da die Geraden a und b einander parallel sind.
Da nach
a, b sich
weder schneiden
sind,
Enden
vorgelegten
Zum
habe
gesuchte Gerade
c die
ist,
die
miteinander verbindet.
c nicht das
punkte
a,
c,
bez. F.
und
Ende
a.
durch Halbgerade.
Da
EA = FB
mu, wie leicht erkannt wird, so folgt die Kongruenz der Figuren
aEA und aFB und aus dieser die Gleichheit der Winkel <; (AEa) und
^C(BFa) und folglich sind auch diejenigen Winkel einander gleich, die
die von E und F ausgehenden Halbgeraden mit der Geraden c bilden.
Diese Folgerung widerspricht dem Satze 1 und damit ist der Beweis fr
unsere Behauptung vollstndig erbracht.
Satz 4. Es seien a, b zwei zueinander parallele Gerade und
ein
Punkt innerhalb des zwischen a und b gelegenen Gebietes der Ebene;
ferner sei
an a und b das Spiegelbild
a das Spiegelbild des Punktes
des Punktes
an b und
die Mitte der Strecke
dann steht
b
a
sein
diejenige
Halbgerade von
senkrecht in
Beweis.
auf
O a Ob
aus,
die
ist,
Denn im entgegengesetzten
Falle
errichte
M auf
rechte.
den Punkten P, Q.
POa <PO
ist
Da
man nach
0
et
0.o die
der
Senk-
schneide a, b bez. in
P < PQ + Q 0, mithin
QO <QO a
und desgleichen
in
in
eine
trfe
=AO
h.
mte
sie
und
auch
etwa a im
AOa =AO
= AO
sein,
1)
co
berein; vgl.
Anhang
besitzen
und
III:
die
Spiegelungen an
Geraden
diesen
bez.
mit
Sa Sb S
,
115
,
Ende
co,
raden a,b,
der Spiegelung an
Sc Sb Sa
= Sd
ausdrcken.
Beweis. Wir nehmen zunchst an, es fiele die Gerade b ins Innere
und c gelegenen Gebietes der Ebene. Dann sei
ein Punkt
auf b und die Spiegelbilder von
an a und c seien bezeichnet mit Oa und O c
Bezeichnen wir nun mit d diejenige Gerade, die die Mitte der Strecke
O a Oc mit dem Ende co verbindet, so sind wegen Satz 4 die Punkte O a
und Oc Spiegelbilder an d und folglich ist die Operation Sd Sc Sb Sa eine
solche, die den Punkt Oa sowie diejenige Gerade ungendert lt, die Oa
mit dem Ende co verbindet. Da jene Operation berdies aus vier Spiegedes zwischen a
lungen zusammengesetzt
Operation die Identitt
ist;
da die Geraden
b'
die
da jene
Kongruenzstze,
lehren
so
ist,
5 in dem
Ist
nmlich
geht,
an
die Spiegelung
b',
so erkennen wir
Sa Sb Sa
Nunmehr nehmen wir drittens
des zwischen a
dem
und
b'-
an, es
fiele
die
Gerade
Dann
c ins
Innere
gibt es nach
ersten Teile dieses Beweises gewi eine Gerade d', so da die Formel
Sa Sc Sb
gilt.
=S
= sd
ist
nach dem
Sc^b^a
Damit
ist
2.
Die Addition der Enden.
-\-
und
Wir
bezeichnet werden.
Erklrung.
Es
Summe
seien a,
zweier
Enden folgendermaen:
sei
Oa
das
Anhang
116
III:
dem Ende
an der Geraden
oo:
das andere
das Spiegel-
sei
(, oo); die
Ende
Geraden heie
O a O?
der so konstruierten
Summe
die
der beiden
-f-
bezeichnet.
Wenn
Ende a an
so werde das
Halbgeraden mit
oo) spiegeln,
(0,
Ende der
so entstehenden
bezeichnet.
die Richtigkeit
der Gleichungen.
+ (-i)-o,
+ (-a) = 0,
Die
aus.
Um
(cc,
Da
gilt.
geht,
((?,
-/).+
letzte
Enden
= a,
-f-
so
oo), (, oo):
notwendig
SpS Sa
der Punkt
(L das Spiegelbild
= a -f , d' h. es
Sa + ^ SS Sa
Oa
in
Oa
von
an
der
Geraden
Formel
gilt die
Anwendung
und
8+(/*+/)
S+y S Sa
V,(a
KJ
>, KJ n KJ
Sy S SS Sa
S., Sn S#"0>
Sn S,
S oa +,o
y
+ ) + y
folglich ist
cc
+ ( + y)
= ^(a +
H-tf+y)
+y
i)
+ y.
S S
8^
a+
a
lehrt zugleich, da die angegebene Konstruktion der
Summe
UxJJL
o_*
ist.
i>"vU*^r
Bezeichnet mithin
\XCaXT
ff"
vwu^/Ir.
zweier
Enden
^cLu^uJjZtttA.
<w4c&_
0t
Anhang
III:
und sind O,
(0, od)
wiederum
* O'p
Gerade
die
Wir fhren
O'p die
117
(/3,
(a-\- , oo).
In
Tat,
der
a,
ist
oo).
irgend
(/3,
ungendert,
anwenden.
Wegen
d.
(2 a,
Geraden
aus
die
ist
aber
kommt
zusammengesetzte Proze
jener
h.
ein
liegt
Spiegelung
an
der
mithin notwendig
auf
einer
3.
Wir
Wenn
1
Ende negativ.
Es seien nun
Die
(0, oo);
Gerade bez. in
Ferner
OA
(0, oo)
sie
ein
mgen
wir
wir in
in der
Weise
auf der
ab,
Richtung von
die
ist:
Senkrechte
das
positive
dieser
(0,
oo)
und bezeichnen
oder
das
Senkrechten
negative
als das
+*
a,
dann konstruieren
die
Ende
senkrecht
Strecke
die
wie
stehen
bis
nach
diese
A und B schneiden.
tragen
von
a,
Geraden
beiden
Geraden
Enden folgendermaen:
Ende auf derselben Seite der Geraden (0, oo)
liegt, so heie das Ende positiv und wenn ein Ende
der Geraden (0, oo) wie das Ende 1 liegt, so heie
Erklrung.
wie das Ende +
a, ,
_Tj
Kp
Anhang
118
III:
positiv
Wir
ist.
Formel
ff.O-Oa-0
fest.
III, 1
*(r)
d.
es
gilt
= a,
- (a)r,
die Multiplikation
Auch
gelten
die
a,
Enden
a,
1)
= a.
einer Geraden
Gleichung
die
cc--l
erfllen, diese
gehen mu.
jedem
auch gibt es zu
ein
stets
Ende
positiven
tc
(und
positives
und welches
gleich wird
yV
mit
daher
bezeiclmet
werden mge.
Um
Gesetz
mit
das
fr
Enden
konstruieren
aus den
distributive
Rechnung
die
zu
beweisen,
wir
zunchst
die in 2
angegebene Weise
das
Ende
wir
Suchen
y.
eben
ccy,
u(-\-y),
so
er-
eine
die
(0,
Summe
anstatt
von
um
oo)
der
auf
die Strecke
einer
OA
Ver-
hinaus-
aus ermitteln
was nach
Anhang
einer der
fr diese
III:
Bemerkungen in 2 gestattet
das Ende a(-\-y), d.
ay
ist
Summe
119
Formel:
h. es gilt die
= a(-\-y).
4.
Die Gleichung des Punktes.
er geschehe
Wenn
|,
Enden irgend
die
r\
Wenn
Ende
Accy
Es
Enden von
drei
a, , y
2 positiv
ausfllt, so
so
=f=
die
co
wird.
die
-"
$y
K^d + y) +
v
+
Enden
*'
]/4ay
und da
u, v
+ A).
i.
=x
Zu dem Zwecke
co -j-
betrachten
formationen
co
Was
die
erstere
= xco
und
co'
Transformation
ra
-f A.
betrifft,
co
so
kommt
offenbar
die
(0, oo)
um
eine
dem
,+>
+-
vermittelt
*'
(*f-f A)(xi?
lichen
2"
jedenfalls a
Geraden, deren
^.^^^^.^^A^-^^o, a:/.^^.^.
".f-/J
yicty
da das
Beschaffenheit sind,
die smtlichen
laufen
}C
Enden
fundamentale Tatsache:
gilt die
solcher
Beweis.
die
in*
Geraden heien.
mgen
letzteren Transformation,
willkrlich vernderlichen
Ende
d. h.
co,
Anhang
120
III:
Um
dies
um
in sieb,
Ende oo
das
auffassen lt.
am
Schlu von 2 die Gerade (o, oo) durch Spiegelung an der Geraden
ro, oo) und diese wiederum durch Spiegelung
(0, oo) in die Gerade (
an der
Geraden
oo)
in die Gerade
A, oo)
(ra -f
bergeht,
die
h.
d.
kommt
(0, oo)
gleich.
da,
folgt,
wenn
|,
tj
die
Enden
einer
r(
sich die
allein
Enden
von
Enden
g,
Da
hervorgeht.
Enden
tf die
|',
+ A)H + A) = -l
Relation
s
dingung dafr
die
(x|
fr die
-f A
x, A
r\
= xrj
ist,
so ersehen wir,
v--
Bemerkung
da auch
alle
(jci
gengenden Geraden
(|,
tj)
laufen,
+ A)(>7j + A) = -
der
ist
schen
Satz
fr
das
perspektiv
liegende
Geometrie.
Auch
ist,
Geradenpaar und
Dreiecke,
sind
die
sowie
die
den
Desarguesschen
brigen
Stze
Satz
ber
der projektiven
Aufbau
in
Axiome I IV
ist
der
vollendet.
Anhang
ber
121
IV.
die
und Heimholte ber die Grundlagen der Geometrie veranlaten Lie, das Problem der axiomatischen
Behandlung der Geometrie unter Voranstellung des Gruppenbegriffes in
Angriff zu nehmen, und fhrten diesen scharfsinnigen Mathematiker zu
einem System von Axiomen, von denen er mittels seiner Theorie der
Transformationsgruppen nachwies, da sie zum Aufbau der Geometrie
Die Untersuchungen von JRiemann
hinreichend sind 2 ).
Nun
gruppen
stets
Funktionen
Annahme gemacht, da
die
die
differenziert
Gruppe definierenden
bleibt in den -Lieschen
Axiomen
ist
erscheint.
das
Auch
Axiom
ist
aufzustellen,
infinitesi-
malen Transformationen erzeugt sei. Diese Forderungen, sowie wesentBestandteile der brigen von Lie zu Grunde gelegten Axiome bezglich der Natur der die Punkte in gleicher Entfernung definierenden
Gleichung lassen sich rein geometrisch nur auf recht gezwungene und
liche
komplizierte Weise
scheinen
berdies
nur
durch die von Lie benutzte analytische Methode, nicht durch das Problem
selbst bedingt.
und insbesondere
die Differenzierbarkeit
Systems
Axiomen enthalten
sind
oder,
spezielle
Bewegung
ver-
Bestandteile
in
den
Lieschen
Meine Beweisfhrung
ich operiere vornehmlich
als
der die
ist
vllig
C. Jordan,
wonach
Vergleich mit
122
und
in
die
Ebene
in
teilt.
aufgestellten
Fassung der
die einfache
und
meine,
ich
da
ein
Axiome nur
analoges Axiomensystem
fr die Ebene,
Raum
fr den
obwohl
aufgestellt
in analoger
Weise
ermglicht *).
Wir
Kurve geschlossen,
so heie
das
Innere
des von
stetige
Ist eine
Kurve
Jordansche
derselben begrenzten
will
ich
in
der
ich
will
nmlich annehmen,
da
es
Durch die nachfolgende Untersuchung wird zugleich, wie ich glaube, eine
allgemeine die Gruppentheorie betreffende Frage, die ich in meinem Vortrag Mathe-
Die Punkte
eines gewissen
biet
einer
selbst gehrt
und
welche
Um-
heien.
Umgebung
auf
die
Punkte
wiederum ein Bild einer Umgebung von A. Liegen verschiedene Bilder einer
Umgebung vor, so ist die dadurch vermittelte umkehrbar eindeutige Transformation der
betreffenden Jordanschen Gebiete aufeinander eine stetige.
Ist B irgend ein Punkt in einer Umgebung von A, so ist diese Umgebung auch
zugleich eine Umgebung von B.
Zu irgend zieei Umgebungen eines Punktes A gibt es stets eine solche Umgebung
des Punktes A, die beiden Umgebungen gemeinsam ist.
liegt,
ist
123
die smtlichen
ist,
Punkte der Zahlenebene oder auf ein gewisses Teilsystem derselben abbilden
lassen;
diese
Zu jedem Punkte
(d.
h.
die Bildpunkte)
ebenfalls
werden auch
venvandt.
Punkte
selbst
liegt
darstellen.
und deren
Jor-
smtliche
biete
Jedes in einer
dessen der
Ist
Umgebung von
Punkt
irgend ein
in einer
wiederum
eine
Umgebung von A,
Umgebung von A.
so ist diese
Um-
Wenn
stets eine
Wir werden
die
Bewegung
als
eine
definieren.
so gibt es
Nehmen
in
ist,
wie fr die
ursprngliche
Jordansche
Diese Forderungen enthalten, wie mir scheint, fr den Fall zweier Dimensionen
Riemann und Helmholtz als mehrfach ausgedehnte Mannigfaltigkeit" und Lie als Zahlenmannigfaltigkeit" bezeichneten und
ihren gesamten Untersuchungen zu Grunde legten. Auch bieten sie die Grundlage
die scharfe Definition des Begriffes, den
Indem wir
Ebene zu Grunde
legt.
124
definiert.
Bewegung:
Definition der Bewegung.
Eine Bewegung
ist eine
umkehrbar eindeutige
M ungendert
heit eine
bleibt,
dann
Ebene in
sich
wiederum
eine
Bewegung.
Wir sagen
Axiom
kurz:
I.
Wenn
Axiom IL
unendlich
und
man
viele verschiedene
beliebige
den Punkt
Lagen
durch Drehung
um
stets
in
bringen.
Nennen wir die Gesamtheit derjenigen Punkte, die durch die smtlichen Drehungen um
aus einem von
verschiedenen Punkte ent-
Axiom IL
Dem
auch so fassen:
II
letzten
Erklrung.
Axiom
Es
AB
sei
ein
bestimmtes
Punktepaar
in
unserer
die
Punkte
Wenn
ein
A und B
Punkt A*
in der
in
die
Zahlenebene je eine
Umgebung a und
Umgebung a
bez.
ab.
B*
in
1)
Bei Lie
ist
diese
Annahme
in der
Bewegungen durch
Annahme
Annahme
(d. h.
die
sei.
Die entgegengesetzte
Beweisfhrung erleichtern, insofern alsdann die wahre Gerade" unmittelbar als der
Ort derjenigen Punkte definiert werden kann, welche bei einer den Umlaufssinn
ndernden Transformation (Umlegung) fest bleiben.
sei,
soll
und
mit
Umgebung von
Es
ABC
sei
den
Umgebung von
ist.
Wir grenzen um
Umgebung a bez. bez.
Zahlenebene je eine
der
125
die
Punkte A, B,
y ab.
Wenn
ein
Punkt A* in die Umgebung a und zugleich ein Punkt B* in die Umgebung und ein Punkt C* in die Umgebung y fllt, so sagen wir: das
Punktetripel A*B*C* liegt in der Umgebung ay von ABC. Die Aus-
sage,
nicht
tripels
A'BC
gibt,
ABC
Punktetripel
Nhe
in beliebige
liebiger
be-
des Punktetripels
stets
A'BC
bergeht 1 ).
Axiom
Wenn
III.
Axiom
wir in
III
die wir
Wenn
Axioms
III,
folgt:
AB
Punktepaar
Wenn
Nhe
des
AB'
es
bergeht.
Bewegungen
Punktepaares
werden
bergefhrt
gibt,
AB
in
knnen,
so
gibt
Nhe
AB
des Punktepaares
auch
AB'
solche
Be-
AB
es
stets
eine
bergeht.
Wenn
es
in beliebiger
Drehungen
Nhe
um
den Punkt
des Punktes
gibt,
in beliebige
126
um M,
es stets
durch
genau in AI bergeht.
Diesen letzten Spezialfall des Axioms III werde ich bei der nachfolgenden Beweisfhrung oftmals in der Weise anwenden, da fr
Punkt
der
eintritt 1 ).
wegungen
tritt
in
soll.
skizzieren
In der
Umgebung
M wird durch
ein besonderes
konstruiert ( 1
2)
notwendig eine
stetige sein
mu
( 8).
Nunmehr
ist
( 9).
Weiter
gilt
ergibt
da
Kreise x
sich auch,
dem wahren
ist
10
12).
ist diese:
rungen zusammen
im stnde ist.
diese
2) Vgl. hierzu die ein hnliches Ziel verfolgende interessante Note von A. Schnflies
ber einen grundlegenden Satz der Analysis Situs" Gttinger Nachrichten. 1902.
die
in
erfhrt
1)
sich
um
bei
Diese
( 13).
Jede Drehung
um M,
127
die
Gruppe
besitzt
folgende
Eigenschaften:
festlt; lt alle
Punkte
3) Die
fhrt ( 15).
um
ist
Diese drei Eigenschaften bestimmen vollstndig den Bau der Gruppe der
Transformationen, die allen Drehungen des wahren Kreises in sich ent-
Wir
sprechen.
stellen
Die Gruppe
ist
holoedrisch isomorph
mit der
aller
18).
wegung
wegung
Wenn
die
Identitt.
die Be-
geeignete
Zu-
nchst werden die Begriffe Halbdrehung und Mitte einer Strecke definiert
( 23).
einer Strecke
Um
25
( 24)
26).
( 27).
Wir
leiten
ferner einen
( 28)
und nur
in
128
jedem Punkte
dieses
Aufstellung eines Gesetzes ber diese Zuordnung ( 31) werden die Punkte
des gewonnenen Punktsystems untereinander angeordnet, wobei die frheren
Stze ber sich berhrende Kreise
gelingt
der
Nachweis, da
kommen
zur Geltung
Jetzt
( 32).
den Zahlen \, \, ^,
entsprechenden
konvergieren ( 33). Dieser Satz wird schrittdie
weise verallgemeinert, bis wir schlielich erkennen, da eine jede Punktreihe unseres Systems konvergiert,
konvergiert ( 34 35).
Nach diesen Vorbereitungen gelingt die Definition der wahren Ge-
raden
eines
als
Punkten
entstehen,
Mitten
nimmt,
Halb-
aller erhaltenen
zufgt ( 36).
Kurve
die
die
stetige
ist
einer anderen
in unserer
als
als
gltig,
Punkt zu
raden abgrenzen.
Im
im
Es
sei
x, y.
um
herausstellen werden.
Wir schlagen
Kreis & im Sinne
liche
in der Zahlenebene
um
M einen
als die
Zahlenkreis",
um
wahren
d. h.
einen
der gewhnlichen Mabestimmung, so klein, da smtPunkte innerhalb und auf diesem Kreise $ ebenfalls Bildpunkte sind
und
es
konzentrischen Kreis
Um
129
innerhalb
der Geometrie.
bei
bleiben.
mit abnehmenden
Reihe von konzentrischen Zahlenkreisen f1; f2 f3
konvergierenden Radien und nehmen dann im Gegensatz zur
und gegen
Behauptung in jedem dieser Kreise einen Bildpunkt von der Art an, da
an eine auerhalb des Kreises
derselbe bei einer gewissen Drehung um
liche
kommt
gelegene Stelle
sei
in eine
rckt: es
f{
geht.
im Kreise
ein solcher
den Radius ri
vom Punkte
M nach
mu
so
luft,
sei
punkte
B B B
1}
Radius rv
(7,
sie
Off C%J
der
. .
Nun
allgemein
sei
treffen;
es
Drehung A^
der
bei
und
dem Kreise
in
derjenige
bergeht.
nach Axiom
M konvergieren,
Kreises gelegene
Peripherie
welcher der auf
Punkt M bergeht. Dies widerspricht dem vorhin
gegen
gibt es
so
Drehung um M, bei
Punkt B in den
III
eine
des
der
defi-
Wie
2.
die Bedingungen des dort bewiesenen Satzes erfllt, so % da smtliche Bildinnerhalb bleiben; ferner
punkte innerhalb ! bei den Drehungen um
sei
innerhalb
hungen um
Punkte der Zahlenebene,
bleiben.
um
als
bedeckt
folgt
sofort,
bilden.
diejenigen
aus Punkten
Drehung um
und diejenigen Punkte, die bei
unbedeckt.
?,
Je
entstehen, als
Ferner
sei
ein bestimmter
Punkt
heie
ft,
auerhalb kk gelegen.
Insbesondere sind
alle
Punkte auerhalb
Jeder bedeckte
9
130
k,
liegen, wie
sicher innerhalb
kk
um
M niemals
einer jeden
Drehung
um
B. der
Punkt
M und
die
bei den
Drehungen
Punkte
von
f
f
3.
bestimmt war,
auerhalb kk,
die
da, wie
in das Innere
z.
gelegen.
die
die
liegen,
Zu jedem Punkte
A um M,
durch welche ein auf der Peripherie von k gelegener Punkt K' nach
9t
gelangt.
A um
Der Radius
MK'
Drehung
auf kk
Wir
131
k,
liegt.
Kurve mit
eine Jordansche
und bezeichnen
durch irgend
mit
jetzt
denjenigen
Punkt
kk
liegt
Punkte auf
kk.
Nach Axiom
Axiom
zum wahren
ebenfalls
III
II enthlt x
dichtungsstelle von
K*
stelle
ist eine
Wir
ist.
abgeschlossene
eine Ver-
wegen
irgend einen
um
Drehung
diejenige
da auch
berfhrt
K*
Ist
so gehrt diese
Bezeichnet
x.
wenn wir
so folgt,
x,
in
Kreise
x,
eine Verdichtungs-
und
in sich dichte d.
h.
eine
perfekte Punktmenge.
4.
Das wichtigste
Entwickelungen besteht
darin,
stets
ist.
K K
1}
des
wahren
binden lassen, die abgesehen von den Endpunkten ganz innerhalb kk verluft,
als durch eine solche Jordansche Kurve, die abgesehen von
ganz auerhalb kk
den Endpunkten
verluft.
MK
Jordanschen Kurven
punkt
MK
und
M mit K bezglich K
M ausgehend den
von
Stck
PK
PK
MK
letzten auf
MK
gelegenen Punkt P, so
Kurve
K in K
bezglich in
eine Verbindungskurve
um
ins
bez.
von
A2
9*
132
Kurve
Kurve zwischen x und
Jordanschen
Jordansche
hh
verluft.
5.
Der eben gefundene Satz
wahren Kreises x
Es seien
x
K K
,
Kreises
Wir
x.
setzt
(d. h.
zwischen
2)
hh
zusammen
K K
Weise aus
K K
x
hergestellte
mit
stets
Da
verluft.
Punkte des
die
Weise anzuordnen.
in bestimmter
diese
stetig sind,
Eine in dieser
KK
bezeichnen.
KK
KK
die
KK
Kurve
nicht getrennt, d.h. sie liegen beide innerhalb oder beide auerhalb derselben;
es liegt
K K
Zy
innerhalb und
K K getrennt,
K K oder umgekehrt.
JQ auerhalb
K K
Ich
x ,
der Kurve
Weg,
verlaufenden
KK
d. h.
eintritt,
wie
In der Tat, liegt beispielsweise der erste Fall vor, und befinden
vorhin.
KK
im Innern von
so verbinde man
und T4
2
X
s
durch einen innerhalb hh verlaufenden Weg W. Sollte derselbe aus dem
Inneren der geschlossenen Kurve
heraustreten, so mte er im weiX
2
sich
beide
KK
Weges
W durch
laufenden
Weg
einen nahe an
dem
KK
X
verlaufenden Teil
dieses
KK
X
ver-
3
x
K
KK
Weg, welcher
die
Kurve
und
JBT4
KK
X
so ist
W*
offenbar ein
zu durchsetzen,
zusammen,
Hieraus
d. h.
folgt
KK
X
paar
folgt
auch im zweiten
paar
die
KK
Kurve
nicht getrennt
K K
K
3
Wir fhren nun irgend
Punkte
die
133
Wir drfen daher im ersten Falle schlechthin sagen: Das PunkteK wird durch das Punktepaar lt K2 nicht getrennt. Dann aber
werden.
3
der Geometrie.
K K ,K K
1}
in
K K K
',
Drehung um
eine
K[
aus,
Bedenken
bergehen.
wir, da
K K
',
K K
sich
paare
K K
1}
und
3,
bleibt
d. h.
bei
die gegenseitige
einer beliebigen
verndert.
Wir leiten in hnlicher Weise auch die Stze ab, die den brigen bekannten
Tatsachen hinsichtlich der gegenseitigen Lage der Punktepaare auf der Peripherie eines gewhnlichen Zahlenkreises entsprechen, nmlich die Stze:
ly
r>
6-
Zu
irgend einem
Punktepaar
Wir
Punktepaar
es
ein
stets
trennt.
bezeichnen mit
Kreises x
K
K
K Km getrennt
Punktepaar
K K
x liegt.
134
es
uns in der
1}
K,
das Punktepaar
einander vertauscht.
Sodann whlen wir eine unendliche Reihe jR von
Punkten des wahren Kreises x, die gegen den Punkt
konvergieren, und
verbinden
mit
sowohl
K'
durch
eine
innerhalb
kk
verlaufende
Kurve,
t
wie durch eine auerhalb kk verlaufende Kurve. Durch Zusammensetzung
dieser beiden Kurven erhalten wir eine geschlossene Jordansche Kurve
K K',
welche
trennt und daher notwendig auch von unendlich
x von
Punkten der gegen
konvergenten Punktreihe B trennen mu.
Es sei
einer
dieser
Punkte
der Reihe B. Da
zwischen
und K'
2
%
t
liegt und nicht zwischen
und K' liegen darf, so liegt
notwendig
2
und K. Nunmehr verbinden wir analog
zwischen
mit K' durch
t
2
X
vielen
K K'
zwischen K
Kurve
Punkte
der Reihe B, der
s
3
Weise erhalten wir eine unendliche Beihe von Punkten
1}
2
3
von denen jeder Punkt zwischen dem vorangehenden und
gelegen ist, und
die gegen den Punkt
konvergieren.
Wir fhren jetzt eine Drehung um
aus, bei welcher
in einen
der Punkte
etwa
in
bergeht.
Der
Punkt
gehe
K'
x
2
3
bei dieser Drehung in den Punkt K[ ber. Da unserer Annahme zufolge
und K' durch kein Punktepaar getrennt werden, so ist das gleiche mit
K K K
,
K K K
,
dem Punktepaar
K+
Infolgedessen
i}
mu K'
i ^ml
',
1}
Kg'f
K K
stelle
',
xl ,
einen von
so
',
K gelegen
konvergieren
haben,
X1
liegen;
auch die
so da
gewi von
ist,
K+
und
der Beschaffenheit
entweder mit
K
in jedem Falle liegt also K{ zwischen Ki-2 und Ki+2
unendliche Reihe von Punkten K K K K^ K K
whle
mssen.
man
ist.
Punkte
verschiedenen Punkt
aus
ihnen
einen
gegen
K/, K[ly
wrden die Punkte
In der Tat,
zur Verdichtungs-
Punkt
'
Da
aus.
und daher auch von Q trennt, d. h. Q liegt notKi + i, K{+ 8, Ki'+ i2,
wendig zwischen K[ und K. Wegen der Anordnung der Punkte
zu den
i
Punkten K[ folgt hieraus, da Q auch zwischen den smtlichen Punkten
.
K K K
lf
b,
K
gegen K
von
und
andererseits liegt.
Die geschlossene
mte mithin smtliche Punkte
lt
9
trennen; dann knnten aber die Punkte
nicht
...
9
1}
5
(J
einerseits
Jordansche Kurve
K K K
K K K
QK^
sollte.
Nunmehr
K Kn
1}
und
Punkte
die
der Punkt
nach Axiom
T7
',
',
K[XJ
konvergierenden Punkte
.
die
3,
nach
135
III
in
bewiesen.
7.
K^
diese
auf:
dann
besitzt
als eine
geordnete
PunMmenge den
Zum
Rangordnung,
d.
mglich,
derart
von denen B zwischen A und G liegt, von den drei zugeordZahlen a, b, c allemal die Zahl b ihrem Werte nach
sind,
neten
ist
die rationalen
in
h. es
aller
rationalen
zwischen a und
Es
sei
nun
c liegt.
welcher nicht
x,
auf
Sinne Bedekinds
durch das System der rationalen Zahlen: wir ordnen dem Punkte
Es kann
wir eine
zwischen
so
mu
1)
geschlossene
K
es,
Jordansche
Kurve
folglich innerhalb
H eine Verdichtungsstelle
die
zu.
KK'
KK'
geben, denen
und
sei
irgend
ein
x,
ist,
Beitrge zur Begrndung der transfiniten Mengenlehre, Math. Annalen Bd. 46,
man insbesondere 11.
136
auch zwischen
und K'
in
KK'
Die zu
liegt.
gehrige
und daher
Zahl a
rationale
bedingt daher jedenfalls eine "Verschiedenheit der Schnitte, die unter Ver-
Wir
K und
Punkte
inittelung der
K'
entstanden sind.
K auf
dem
x gibt,
irratio-
Zu dem Zwecke
eine Reihe
konstruiere
die
B B B
diesen
...
3,
Der Punkt
Ai B
x ,
3,
Man
.
bez.
A A A
b3 ,
eine
A i+2 , i + 3 , ..,
i + l ,
un d folglich auch der Verdichtungspunkt
inner+ i? ^i + 2? ^i + 3>
halb
JBi d. h. zwischen den Punkten
Der unter Vermittelung
i
i}
{
Kurve
konstruieren,
^i
so
liegen
A B
von
Punkte
die
entstehende Schnitt
ist
als
Zahl a bestimmt.
Betrachten wir nun die Punkte auf der Peripherie eines gewhnlichen
dem Radius
Zahlenkreises
Zeichen
Km
Resultat:
Anordnung umkehrbar
unter Erhaltung
sich
eindeutig
Um
eines
8.
gewonnenen Abbildung,
Stetigkeit der
d. h.
wahren
Punkte
wahren Kreises x durch die Koordinaten x, y der Zahlenebene und
andererseits die Punkte des Zahlenkreises mit dem Radius 1 durch den
Bogen t von einem festen Anfangspunkte an bestimmt: dann haben wir
zu beweisen, da x, y stetige Funktionen von t sind.
irgend eine Reihe gegen <* konvergierender
Es seien nun tlf t2 t3
die
des
entweder smtlich
K K K
L
wachsender
oder
mge.
sprechen
K K K
Kurve K K*,
1}
smtlich
Es
sei
ferner
Wert
eine
t*
Verdichtungsstelle
Punkte
der
so liegen
notwendig
die
Punkte
K+ K+ K+
i
3>
und
gehrige
Der
Wert
letztere
zwischen
Widerspruch
K K*
innerhalb
Punkte
1}
und
K*
wenn Q und
K K K
liegt
auch der zu
sich
tt
es
h.
d.
allgemein zwischen
die
137
des Parameters
konvergieren
mithin
folglich
der Geometrie.
t* befinden.
zusammenfllt;
ist die Stetigkeit der Funktion x, y vom Parameter t vllig bewiesen und es folgt eine Tatsache, die wir in 4 als das erste wichtige
Damit
Ziel unserer
ist
Kurve.
9.
Wir
smtlich zu den
ist identisch
gilt:
zugleich
die
die
Um
x,
M,
innerhalb x
durch eine stetige Kurve verbunden werden kann, ohne da dabei der
wahre Kreis x berschritten wird.
In der Tat, ziehen wir durch
und
die
ersten Punkte dieser Zahlengeraden, die auf x liegen, nach den beiden
auch Punkte auf
und
Richtungen hin von J aus gerechnet. Da
2
x
MK
bez.
durch je eine Jordansche Kurve
X
gewi
daher
und
verlaufen
innerhalb
kk
die
ganz
werden,
verbunden
2
Trifft eine dieser Jordanschen
nicht den wahren Kreis x berschreiten.
etwa im Punkte B, so bildet das KurvenKurven das Geradenstck
t
2
mit dem Geradenstck JB zusammen den gesuchten Verbinstck
kk
sind, so
knnen
sie
mit
MK
KK
MB
dungsweg.
Im entgegengesetzten
KK
t
eine
Falle bilden
MK
und
MK
zusammen
y.
Da
so lt sich
diese
von
mit
138
dieser
Weg
ist
wnschten Art.
Wir
M
M
innerhalb x liegt,
d. h.
der
des
Gbe
x.
so liegt jeder
trifft,
es
einen Punkt
Punkt auf kk
gelegene Punkt
nicht mit
Widerspruch.
nicht ein
Punkt auf kk
sein;
ist
ein
womit
die
dies
10.
Das Punktgebilde kk
dem
ist
in
Da
Zahlenkreise k hervorgegangen.
gezeigt
worden
ist,
liegt
und
die
anderes als der wahre Kreis x sind, so haben wir in der obigen Konstruktion zugleich ein Mittel,
um
aus
dem
ist
und den
von
Zahlenkreis
umschliet,
diesen
andere im Inneren enthlt und mit ihr wenigstens einen Punkt gemein hat,
da die erste die zweite von auen, diese aber jene von innen berhrt.
Durch
durch
eine
eine
die
frheren Verfahrens,
nmlich
Wenn nun
ein unbedeckter
alle
Punkt
M verbinden
lt,
verluft, diesen
so
heie
dieser
innerhalb kkk
auerhalb kkk.
139
11.
An
M im
dann zu
dieser
um M,
Kreis
berhrt,
um M,
als
Kurve
Kurve
ist
und
auen
z von
Wir bemerken
und
ist
konstruierte wahre Kreis auch aus einem Zahlenkreise erzeugt werden kann:
man
gelegten wahren Kreises ihn von innen berhrend verluft bez. ihn von
sei es
geschlossene
die
beide umschlieend,
identisch.
12.
Nunmehr knnen
Tatsache beweisen,
gehende wahre Kreis
ohne erhebliche
wir
da
jeder
um
durch
Schwierigkeit
die
wichtige
innerhalb
im Innern enthlt.
wahren Kreise um
ins
Auge, die geschlossene Jordansche Kurven sind und P ausschlieen: sie
mgen wahre Kreise erster Art heien; und andererseits alle diejenigen,
Zum
einerseits
ist,
die
alle
einschlieen:
mgen
sie
jenigen Zahlenkreise ins Auge, aus denen wahre Kreise entspringen, die
erster
Art
kreis g,
d.
sind.
h.
diese
den Grenz-
Zahlenkreise
sie
smtlich
enthlt.
Alle
Zahlenkreise, die kleiner als g sind, liefern dann wahre Kreise erster Art.
sie
umschliet.
ist;
hineintritt,
durch einen
er umschliet ferner
den Punkt
140
ist.
entspringen,
so
Kurven
offenbar
ist
der
alle
wahren Kreise um M,
um
sind,
aus g
M
ein
Art
erster
umschliet.
Indem wir
andererseits aus
schliet,
Wege
die Existenz
eines
wahren
Kreises zweiter Art, welcher von allen anderen wahren Kreisen zweiter Art
umschlossen wird.
Wrden nun
die
man
gehen, so knnte
eine Jordansche
Kurve
in
aber weder von der ersten noch von der zweiten Art wre;
die
13.
erfhrt.
Es
seien den
Entwickelungen in 8 gem
Radius
die
dem
Drehung
einer jeden
eindeutige
unserer Ebene
um
stetige
eine bestimmte
t
des
umkehrbar
Einheitskreises
in
sich,
dem wahren
der Parameterwerte
ungendert
Anordnung
bleibt.
t'=A(t)
darstellen,
weder
wo
A(f) eine stetige Funktion ist, die mit wachsendem t entwchst oder stets abnimmt und die bei Vermehrung des
stets
Arguments
um
2 % sich ebenfalls
um
die
wachsendem Argument
ab-
Bewegung
bei einer
Bewegung
soll,
141
stets
wachsen mu.
14.
Wir
eine
dargestellt wird.
Ferner
dem Parameterwert
Sowohl A(t)
Art, da
sie
bei
sei
= b,
Annahme
<
Drehung
a,
seine
als
Lage verndere;
liegt.
Wegen A(a)
=a
symbolischen Potenzen
A(b),
AA(6)
- A\b), A
dargestellt werden,
fllt,
die
(6),
.,
unterhalb a liegen.
aus-
Gren
A{b),A\b),A\b),...
eine Reihe bestndig
gleiche
<b
gilt
das
A-\b),A-*(b),A-*(b),....
Aus
A(fo)
b liegt oder mit a bereinstimmt. Entg etwa der Punkt G auf dem wahren Kreise x, so
bilden die Potenzen von A mit positiven bez. negativen Exponenten Bewegungen, so da durch sie der Punkt B schlielich in beliebige Nhe von G
bergeht und zugleich durch sie Punkte in beliebig kleiner Umgebung von G
in beliebig kleiner Umgebung von G bleiben. Nach Axiom III mte es dem-
dem
festlt,
d. h.
in
Begriffe der
festlt,
Bewegung. Es
notwendig eine
ist
unge-
demnach
ist.
15.
Aus
Tatsache ein:
Anhang IV
142
des
berfhrt.
16.
Wir leiten jetzt eine weitere Eigenschaft fr die Gruppe der Bewegungen eines wahren Kreises in sich ab.
Es seien 0, S, T, Z vier solche Punkte auf dem wahren Kreise x, da
diejenige Drehung um M, vermge welcher
in S bergeht, den Punkt
T nach Z bewegt, so da die Lage von Z eindeutig durch die Punkte
Halten wir
fest und bewegen S und T auf
0, S, T mitbestimmt ist.
dem wahren Kreise, so erfolgt bei stetiger nderung von S und T auch die
nderung von Z stetig.
Um
,
dies zu beweisen,
Sx S2 S3
die
Tlf T T
2
um M,
vermge deren
A 1? A A
2
8U S2 S3
in
und
die
.,
die
konvergieren.
bergeht, be-
bez.
dann haben
Z Z Z
wir zu zeigen, da die Punkte Z1} Z Z
gegen Z konvergieren. Es
sei Z* eine Verdichtungsstelle der Punkte Z
Nach Axiom III
lf Z2f Z
aus
T ,T ,T
2
...
3,
Z*
in
und mit
Drehung
vermge deren
bergeht.
um M,
Z*
in
S und
als eindeutig
zugleich
bestimmt
identisch.
17.
In 14
2.
Wenn
sind, so gibt es
in
um M,
ber;
um M,
3.
0,
nach
die
0, S,
des
welche
wahren Kreises %
in
berfhrt.
eindeutig
wenn S und
bestimmte Punkt
Lage ndern.
Diese drei Eigenschaften bestimmen vollstndig den Bau der Gruppe
der Transformationen A(), die den
sich entsprechen.
Die Gruppe
um
sind,
Wir
aller
ist
stellen
Bewegungen
des
wahren Kreises
in
holoedrisch -isomorph
um
mit der
in sich, die
Drehungen
in sich.
143
18.
Wenn
wert
um M,
Kreises % mit
dem Parameterwert
in den
s berfhrt,
f'- A(t,s)
dargestellt denken,
nehmen, so
erkennen wir auf Grund der gefundenen Eigenschaften der Drehungsgruppe, da die Funktion A(t,
beiden
V ernderlichen
t,
s)
Auch
ist.
Werte
Funktion A(t,
bei konstantem
s)
sie fr
Nun
ein.
und
bestimmt
ist,
da
nur entweder
in s bergeht,
so
ist
(*>o)
A(,9-*;
A{t,t)>A{0,t),
t'
mit wachsendem
Werte der
folgt,
und wegen
A(2jt,
s)
2x
A(0,
s)
2x
folgt
= 4jt.
A(2ar, 2x)
von
schaft, bestndig
bis
t)
(>
t)
wchst.
2it
A (t
die Eigen-
von
Tatsache:
Wenn
stets eine
und nur
t'
ist t
<
Der Parameterwert
'.
liefert
sich nach
Wir
t)
nach
Wert von
t,
2%
A(M) =
'
'
''i
so
gibt
es
Drehung
ist,
so da
=f
A{t,t)
wird; es
<L2it vorgelegt
t,
9>(^f)
t'
um
bewegt.
fr welchen
der Punkt
144
wo
und
2 a eine gerade ganze Zahl bedeutet und n eine ganze Zahl ^>
ferner setzen wir
= 0,
9>(0)
Damit
ist
Ist
Funktion
die
eine Potenz
von 2
nun 6
ist,
eS}
ti .>
<
Argument
so entwickeln wir
Form
22
23
'
Da
widerspruchslos definiert.
wo U
ist,
= 2x.
cp(l)
fr alle rationalen
qp
die
gewi niemals abnehmen und smtlich ^y>(l) bleiben, so nhern sie sich
einem Grenzwert; diesen bezeichnen wir mit (p{p). Die Funktion <p(<j)
ist eine Funktion, die mit wachsendem Argument stets wchst; wir wollen
beweisen, da sie auch stetig
ff
=y+
Sf
2*
\ 2n
mten
nicht stetig, so
ist.
"'
+
T
?~'L #->
==jL
T" T
'
2*
an einer Stelle
sie
L<p(^)
Ly(^l)
und
n= oo
oo
und mithin
die unendliche
Reihe von
"-HW.
-fr).
<'()'
Nun
entsprechen.
t
(jp(
== <p(-)
(st)
in
den Punkt
P unkt
n ^ en
V (o )
fhrt
>
'
"
"
dieselbe
=
t
<)p(
-~-
Drehung, vermge
= <p(-i)
Des tndig
deren
der
Punkt
abnehmen und
die
diesen
(--)
>
Parameterwerten
<p
Axiom
kon-
der Geometrie.
die vorhin
145
genannten unendlichen
und
eine eindeutige
Drehung
Die
Punkt
<P (
cp
\~)
+ -
-^
stetige
+*
welche
bergeht,
fhrt
zugleich
und,
da
(?
nach
bewegt,
<p
d. h.
r,
t'
neue Parameter
einfhren,
sich
(<f)
in
den
in
qp
(-j-j-J
Da
fr
die
Dieser
Axiom
r,
t',
a \
-;
III eine
Drehung,
<p
-~
j
folgt
so
hieraus
allgemein fr be-
(p(r+
6).
in der Transformationsformel
-A
ft s)
Drehung
<p
an
Stelle
von
gem
<j
= 9>(t),
Satz
<p
es ist
ist,
wenn wir
^-f.(V),
in den
x
ausdrckt.
die Zahlen
auch
den Punkt
und zugleich
()
bewiesen, da,
ist
gegen
A(<p(T),<p(a))
Damit
Parameter werte
liebige
Punkt
der
= 9(-^ + j
ist,
nach
stets
Umkehrung.
durch
q> ( -jjj
sie
um M,
(a
gegen
da
gestattet,
<p(<?)
lehrt
y(ff)
=t+
die
die
Formel
Richtigkeit der in 17
aufgestellten
Behauptung.
Wir
ra
= 2jrtf,
Winkel
co.
Hubert,
10
146
der Geometrie.
19.
Wegen 11 und
da die in 13 18 fr den wahren Kreis jc angewandten Schluweisen und bewiesenen Tatsachen auch fr alle wahren
der Drehungen des wahren Kreises x in sich beendet.
12 erkennen wir,
um
Kreise
?c
liegen.
um
M und
beweisen der
Es
sei
Kurve
schlossene Jordansche
ist,
ft
um
wahren Kreises
des
Zum
[i
bekannt,
deren Innerem
in
um M,
liegt:
welche jeden
Punkt
festlt.
yu
klein
ist,
zutrifft.
bei der
Bemerkung der
Es
sei
alle
mit
festlt,
fest,
demnach
ju.;
dann charakte-
Bei einer
festbleibt.
erweist sich
Bewegung
Punkte auf a
Satz in 14 fr ihn
ist;
unsere erstere
Annahme
als unzulssig.
nehmen wir
Kurve
zweitens
Systems innerhalb
Dann
es sei X
Punkte
und X bei jeder Drehung M festbleiben, whrend in beliebiger Nhe der Kurve X solche Punkte vorhanden
sind, die nicht bei jeder Drehung M festbleiben.
Es sei A ein Punkt auf X, in dessen beliebiger Nhe bei M bewegliche
Punkte liegen; dann schlagen wir um A einen wahren Kreis, der durch
einen dieser beweglichen Punkte luft und hinreichend klein ist, so da
eine
in
dieses
dem ringfrmigen
[i
Gebiete zwischen
zutrifft.
bez. auerhalb
^,,
so da alle
fi
Da
gengender Klein-
festbleibenden
Gebietes
hindurchluft,
so
charakterisiert
Bewegungen
sich
die
Be-
wegung
Drehung
Punkte von a
alle
147
Bei
festbleiben,
20.
Wir
stellen
wahren Kreise
um
irgend einen
um
auf:
geschlossene Jordansche
ist eine
Punkt
M jeden anderen
[eo]
unsere
lckenlos
erfllt
Ebene
unserer
um
y=g{x,y;co)
x=f{x,y;<a),
ausgedrckt;
ebene
darin bedeuten x, y
und
Endlich
die
gilt
Formel
A[a>]A[/]
= A[(o +
um
die
Winkel a, a'
<l.
21.
Zum
nchst den in 3
18
um
ins
Auge, der
der
Ebene
um
die
Funktionen
oo
f,
g fr
die Periode
2%
alle
x,y a
}
eindeutige
Funktionen
besitzen.
/',
10*
148
Punkte, die aus
<o 1} g> 2
mgen
stehen,
bez.
Z bezeichnet
Z Z Z
den Winkel
co 1} co
und
a3
die
ent-
heien.
werden.
gegen
bez.
die
konvergieren.
Punkte
die
S1} S2 S3
den Drehungen
bez. bei
um
der Drehungen
aus
1}
mit 8,
Punkte
Da
Anwendung
bez. bei
Punkte
M,
T,
so aus
um
nach
an, welche
H;
Das
bewegt.
Punkte
halb
Drehung
um
mit
allgemein
sich
mit
durch
ih
eine
Jordansche innerhalb
die
man
denke
so
liegen,
verbindet
ifi
es sei
. .
enthlt.
Zu Z Z
2
ganz
Es
Da
die
Axiom
sei
nun Z*
Punkte
III eine
bergeht.
Da
Verdichtungsstelle
eine
8lf S2 83
,
Drehung
gegen
um M,
der
Punkte
konvergieren,
bei welcher
in
8 und
um M,
so
Z Z2> Ztt
1}
gibt
zugleich
welche
in
es
T
8
nach
in
Z*
ber-
fhrt,
in
bergehen
sollte,
folgt
ist
f,
149
Funktionen
g in x,
f,
y,
eo
bewiesen.
Wir
in der Vernderlichen
Denn da
Funktionen von
sind,
cd
was Axiom
so
wren
bei
sie
allen
II widersprche.
(to)
bis
ohne Doppelpunkte;
Kreis
um
den Winkel
dar.
von
co
Hieraus
in
7t
sie
stellt
daher
folgt,
der
Form
um
dann
fest-
- sein,
da der durch
wo n
gehende
den Formeln
Diese Kurve
laufen lt.
Wenden
allein
den Wert
in
mu demnach von
co
sie stetige
den
durch
ist
geschlossen und
gehenden wahren
7t
Punkte
dieses durch
um
gelegten
fest,
22.
Wir erkennen
Wenn
jetzt leicht
so bleiben alle
Punkte
fest,
d. h.
die
Bewegung
ist
die Identitt.
Die erstere Tatsache folgt sofort mit Rcksicht auf den Satz
die letztere,
h.
zwei
in 20;
Geraden in unserer
Geometrie
einzufhren
und
fr den
Aufbau
der
150
A,
(wahren) Strecke
wenn
A'B
'.
Bewegung
es eine
gibt,
sie
um
Drehung
den Winkel %,
um
Drehung,
eine
d. h.
die
einen Punkt
sind, so
da
bei
zugleich
einer
dieser
Halbdrehung
in
bergeht, so heie
bei
AC.
Wenn C
ein
Punkt
in
den nmlichen
fallen.
24.
AC
AC
gbe
nmlich
es
zwei Mitten
HH
jy2
H ^H
d.h.
Wenn
zwei
Strecken
einander
kongruent sind,
so
Fr
die
Es mgen
Punkte
Punkte
die
M M M
,
A lf A A
%
3,
wenn dann
um
konvergieren;
lf
der Punkt
B B B
ebenfalls
um
und
in
die
und zwar
M aus
151
dessen
Wir
auf das
B*
eine
Yerdiehtungsstelle
der
Punkte
B*
B>.
=B
and damit
ist
26.
Es
sei
Strecke
AC,
als
da jede
sagen,
Streckt
die Meiner
AB;
AB
ebenfalls
eine
Wsn v kssH
Zu dem Zwecke ziehen wir irgend eine stetige Eurre y Ton Abis 31
and soeben za jedem Punkte 3 dieser Eurre y den. Punkt B", so da
AB'
wird;
dam
ist
dem
in
. .
-:- '-'.-/..: l
.-:
Da nun
der
um A
anserci
durch
*--!
zufolge
J.C
kleiner als
&
AB ist, so mu
B verbindende
mit
Surre
.,l ..
7' in irgend
einem Punkte
Punkt Jf auf y
'
treffen.
Die Strecke
da die
Grande gelegte Strecke
AB ist
152
den Punkt
Strecken bez.
konvergieren,
AC AC AC
1}
wenn
da,
gegen
die
Punkte
die
auch
stets
Mitten
N N N
lt
gegen
.
der
konvergieren.
27.
kommt
es
keine
Strecke
liegt,
die
gelegten Strecke
AB
zeigt,
da
ist,
sich
und
gleichzeitig
beliebig nahe an
liegender
Kreis
um
denselben
Mittelpunkt wie x
zueinander
um
diese
kongru-
seien
die
Kreise
Kreises x
liegen.
und auerhalb x
innerhalb
Kreise %
ferner q
Drehung
cc,
so
klein
gewhlt,
da
sie
ganz
innerhalb
des
cc
die
Berhrungs-
der Geometrie.
Drehung
153
um
Da wegen
der
Wahl
Punkte von
Punkte von S
um
S
es
da die brigen
Punkte bergehen,
ist
so
die
AB
Halbdrehung
um C*
Dann geht
in
7t,
q durch
Punkte des einen Kreises ein Punkt des andern. Da der Punkt C beiden
Kreisen 7t, q gemeinsam ist, so mu er bei einer solchen Halbdrehung
ebenfalls in einen den Kreisen %, q gemeinsamen Punkt bergehen, er
mu folglich bei dieser Halbdrehung ungendert bleiben und stimmt mithin
notwendig mit dem Punkte C* berein,
um
ausgefhrt wurde.
zugleich
folgende
Tatsache
Kreise
auen
berhrt.
28.
Wenn
7t
umschlossen und
Zum
berhrt
statt.
Beweise nehmen wir an, es seien Q, Q' zwei voneinander verund %. Dann fhren wir eine
t
154
Halbdrehung
der
um
Q' aus;
und
einen
ber, der
Fhren wir
rend.
% nur
Drehung
diejenige
jetzt
in Q' berh-
um
i",
nur
Q' berhrend
in
zwei Kreise
Damit
diesen
haben
i, i",
und
it
liegt,
wir
kongruenten
dem
spricht
Satze in 27.
Zum
co
zu
7t
PQ
Wre nun
22,
co
Falle
0,
als
wrde
der
der Kreis
der
?r;
um
denn
gelegte
eine zu
Ev
co
eintreten
mit
Kreis
notwendig kleiner
im anderen
sei
zunchst
den
Kreis
ist
um
denjenigen
sollte.
Nach dem
in
28 bewiesenen
man um
diejenige
der Geometrie.
155
damit
ist
30.
Bei den folgenden Entwicklungen legen wir die zu Beginn des 29
OE
konstruierte Strecke
Zahlenwerte
bez.
Mitte
dieser
erteilen
1;
OE
die
und
Strecke
und so
Punkt
der
und
fort.
eine
aus
%mit
zur
(f , 1)
),
dem
a;
wert
bez. (*,*),
(0, \)
erteilen allgemein
um
Punkte
den Punkt
demjenigen Punkte,
um
eine
und
den
den
Zahlen-
Halbdrehung aus
dem
und
um
um
demjenigen Punkte,
hervorgeht,
der aus
den Zahlenwert 2
bez. |, f, f;
erteilen allgemein
Zahl a gehrigen
Werte |
die
fort
denken
ausgefhrt
und
Nenner
eine Potenz
von 2
ist.
31.
diese
Zuordnung
jeder
32.
Um
in folgender Weise:
Kreis
um
um
Der Kreis
den Punkt
156
um
| durch
durch ^
|,
um
i|
u.
4-,
da
als alle
s. f.,
erkennen wir,
so
Strecke
die
(0,
positive
eine
grer
|-)
ist,
wenn
rationale
Zahl
Strecken (0, a)
von 2
tenz
ist
unterhalb
liegt.
um
um
durch | == \-
seits
Xg
um ~
durch
durch ~,
diese
Kreise
um
und
-^
umschlieen wiederum
neren Kreise
um
|,
bez.
g|
3|,
u.
f.;
s.
die
klei-
da die
Strecke (0, \) grer ist als alle Strecken (0, a), wenn a eine positive
rationale Zahl bedeutet, deren Nenner eine Potenz von 2 ist und deren
Wert unterhalb \
liegt.
um
grer
als
bedeutet,
halb
-J
um ~
gj
durch
durch
g|
j|
u.
s. f.;
und
um
dieser
wiederum umschliet
die kleineren
liegt.
Durch Fortsetzung
dieses
allgemeine Resultat:
Ist
Nenner
liegt,
so
ist
Strecke
die
(0, a)
Meiner
stets
)
33.
Nunmehr
sind wir
Hilfsstze
zu beweisen:
entsprechen,
konvergieren
Denn im
entgegengesetzten
Falle
-,
\,
(0, ^),
\ t ^,
um den
.
'
..
Punkt
Es
haben.
etwa -=-,-=->,
eine Reihe von Punkten, die
n
2^ 2
2
sei
2"1 +
i
'
i '
2 Wa
K*
am
K*
dem Umstnde, da
Puukte
die
OK
Tatsache
mgen
da dann
geht hervor,
2i
im Punkte T*
157
25
mte;
sein
dies
ebenfalls auf
dem
Kreise x
liegt.
34.
Es mgen at a2 as
,
gegen
konvergiert,
so
Beweise whlen
wir
Exponenten
ganzen
die
und
die
Reihe
2^
ebenfalls
n1} w 2 n3)
durch
um
liegt
durch
gegen
Da
konvergiert.
in
gegen
n3
Kreise
0.
um
alf a2 ,a 3 ,
da
derart,
wird,
konvergiert
Zum
positive rationale
Wenn dann
Endlich
Es
seien
gilt
ax , a2 , a3)
dann konvergieren
und
entsprechenden
die
Zahl a
Punkte a1} 2 , a3
Zum
es seien
etwa
V und
V"
.
Punkte av av a3 ,,
und av ,, a% , a3 ,
gegen
gegen V" konvergieren. Nach den Bemerkungen in 31 gibt es fr
jeden Punkt ak eine aus zwei Halbdrehungen zusammengesetzte Bewegung, die allgemein den Punkt a in den Punkt a ak und zugleich
die
158
werte av
als
a^,
oft
Erteilen wir
konvergieren,
so
ist
Punkte a 1} a 2 a3
die
wenn man
entstehen,
fgt.
die
fortgesetzt
aller erhaltenen
Punkte hinzu-
zerfllt
der Halbdrehung
Punkt x in den Punkt 2a x bergeht; bei der Ausund a geht also allfhrung zweier Halbdrehungen um die Punkte
gemein x in x -\- 2 a ber.
Aus dem Satze in 35 folgern wir leicht, da auch dann, wenn
beliebige gegen a konvergente Zahlen sind, die entsprechenait a 2 a3
stets gegen den entsprechenden Punkt a konden Punkte ax ,a2 ,a3
vergieren; d. h. die wahre Gerade ist eine stetige Kurve.
allgemein
der
38.
die Annahme, da es zwei Zahlenwerte a und b gbe,
wahren Geraden den nmlichen Punkt P der Ebene darstellen.
Versuchen wir
die auf der
Der Punkt
a
~t
ist die
den Strecken
(a,
und
"Z~
V~Z,
und ^j
gelten.
wir, da smtliche
Indem wir
Punkte
fortgesetzt
mte daher
bereinstimmen.
a
derselbe
wo
b)
die
d. h.
den Punkten
^-
An) Bn
positive
ganze Zahlen
159
mit der
2 n bedeuten, mit
folgt
die
laufen kann.
39.
hchstens einen
sie die
Punkt gemein.
zwei Punkte A und B gemein und
ent-
sprchen diesen Punkten auf der einen Geraden die Zahlenwerte a, b und
auf der andern Geraden die Zahlenwerte a, b', so mten nach 24 auch
die Mitten
und
miteinander bereinstimmen.
Indem wir
fort-
da
smtliche
40.
Unsere wahre Gerade schneidet jeden
den Punkt
um
um
gelegten Kreis.
Annahme
um den Punkt 0,
von der wahren Geraden g noch getroffen wird, whrend die den
Kreis x umschlieenden Kreise um
von g nicht mehr getroffen werden;
oder es gibt einen bestimmten Kreis x, der von g nicht getroffen wird,
whrend alle innerhalb x verlaufenden Kreise um den Punkt
von g
mglich:
der
getroffen werden.
Da
die
hinaus stets fortgesetzt werden kann und, wie in 38 gezeigt worden ist,
keinen Doppelpunkt besitzen darf, so mte es im ersteren Falle gewi
einen innerhalb x verlaufenden Kreis
Fhrt
ist.
in
man nun
um
an zwei Stellen A,
den Punkt
trfe,
geben, den
wobei
sie
auf
eine
schnitte;
in dessen
Man
um
welche g auer in
noch in
wiesenen Satze zufolge unmglich.
Im
beliebige
Nhe
die
dies
um
dem
in
39
schlage dann
be-
ist
ist
160
ist.
Dieser Kreis n enthlt, da er grer als n* ist, den
im Inneren, und da er kleiner als % ist, so ergibt unsere Annahme in Verbindung mit dem vorhin Bewiesenen, da die durch
gehende Gerade g stetig innerhalb % verluft, nach der einen oder anderen
Richtung hin verlngert je durch einen Punkt auf % aus dem Kreise it
Da die
heraustritt und dann nicht mehr in den Kreis tc zurckluft.
beliebig nahe
Gerade g andererseits dem innerhalb % gelegenen Punkte
selbst; hierin liegt
kommen soll, so enthlt sie notwendig den Punkt
ein Widerspruch mit unserer gegenwrtigen Annahme.
Da das System aller Kreise um einen Punkt die ganze Ebene
kleiner als %
Punkt
bedeckt,
lckenlos
so
aus
dem
stets
folgt zugleich
Geometrie
vorigen,
da irgend zwei
41.
aus
nmlich derjenige,
?c
der
sich
ergibt,
wenn
handlung definierten Begriff der Bewegung nicht mglich ist, den ursprnglichen Kreis n mit sich selbst im umgekehrten Umlaufssinn zur
Deckung zu bringen,
so
existiert
in
stimmter Umlaufssinn.
Jetzt
ausgehende Halbgeraden,
nehmen wir zwei von einem Punkte
zusammen eine wahre Gerade ausmachen, schlagen um
fixieren dasjenige
) selbst das
Ma
fr
Umlaufssinn fhrt
(<
festgesetzte
fixierten Kreisbogenstckes
Der
Bewegung
folgt
dann der
erste
der Geometrie.
161
folgender Gestalt:
fr zwei Dreiecke
Kongruenzen
^ABG = ^A'B'C'
und
^AGB = ^iC'B'
BC^B'C.
42.
Nachdem
in
30
40
die
wahre Gerade
definiert
und
ihre Eigen-
Erstens nehmen wir an, da es durch einen Punkt nur eine Gerade
gibt,
eine
die
unsere Ebene
gelten
die
Fr
ich
in
I) aufgestellt
da
das
aufgestellten engeren
und
die
nicht
da
zusammen
es
ein
und
dieselbe
Gerade
zwei Halb-
ausmachen,
die eine
durch
sie
die Gerade
sammen
ein
gehrt,
und
g
Halbgeraden nicht schneidet, dagegen von jeder
Vgl. meine
Geometrie,
11
162
Zum
eine solche
hinter
allen
dann naturgem
die
Frage
befolgt worden,
letzter
den Vordergrund
in
gefordert wird,
Stelle
tritt,
von Forderungen zu ermitteln, um aus demselben unter weitester Benutzung der Stetigkeit die elementaren Gebilde der Geometrie (Kreis und
Gerade) und ihre
zum Aufbau
gewinnen zu knnen.
da hierzu
zeigt,
die
10.
obigen Axiomen I
den
in
Forderungen hinreichend
Gttingen, den
III
ausgesprochenen
sind.
Mai 1902.
Anhang
V.
Nach Beltrami 2 )
Krmmung
Ebene, wenn
man
als
L ob atschefsky sehen
(Nicht- Euklidischen)
Krmmung
die geod-
und als
Lngen und Winkel in der Lobatschefskyschen Ebene die wirklichen
Lngen und Winkel auf der Flche nimmt. Unter den bisher unter-
sich stetig
und mit
gebung jeder
stetiger
nderung
115
S.
der Ebene,
1)
October
2)
der
Society,
die
Um-
Enden
Drehung
Presented to
9,
Um
ihrer Tangentialebene in
Krmmung
suchten
betrachtet
October
1900.
6,
1868.
27,
1900.
Received
for
publication
Krmmung
mglich
ist.
gelingt es
Interesse,
ob
die
mittels
keiner
Krmmung,
konstanter
von prinzipiellem
163
die
der
bisher
ganze
Loba-
mung auf
Krm-
Um
die
im Endlichen
berall
spruch fhrt.
aus,
aufweist;
Krmmung
sie
die
Stellen
Annahme
annehmen
wollen,
ist
durch
Bedeutet
irgend einen Punkt der Flche, so ist es stets
mglich, die rechtwinkligen Koordinatenaxen x,y,z so zu legen,
da
der Anfangspunkt des Koordinatensystems wird und die
Gleichung der Flche in der Umgebung dieses Punktes
wie
folgt lautet:
8
(1)
wo
die
Konstanten
- ax + by + ^
2
a, b die
(x, y),
Relation
4a& 1
befriedigen und die Potenzreihe ^ (x, y) nur Glieder dritter
oder hherer Dimension in x, y enthlt. Offenbar ist dann die
0-Achse die Normale der Flche und die x- und /-Achse geben
die Richtungen
bestimmt sind.
an, die
Die Gleichung
ax 2
bestimmt
die
-f
by 2
in
11*
164
die
verlaufen.
Umgebung
decken.
des Punktes
die
ganze
ber-
die
Wir
Lnge
tragen
auf einer
der
beiden durch
als
an,
ab, ziehen
Asymptotenkurve und tragen auf dieser den Parameterwert v als Lnge ab:
der nun erhaltene Endpunkt ist ein Punkt der Flche, der durch die
Parameterwerte u, v eindeutig bestimmt ist. Fassen wir demgem die
rechtwinkligen Koordinaten x, y, z der Flche als
indem wir setzen:
Funktionen von u, v
auf,
(1)
so
sind
= x(u,v),
jedenfalls
diese
= y(u,v),
= z(u,v),
fr
v.
Bedeutet
<p
den Punkt u,
die
Krmmung
so
Werte:
erhalten
,~
,,
'dx\*
r
'
/0
fdy\
Fundamentalgren
drei
die
der
Flche
,*-,
/dz
dx_dx
dy dy
du dv
du ov
dz dz
COS
dudv
dz'
f-t>-+-i
fiy
und mithin wird das Quadrat der Ableitung der Bogenlnge einer beliebigen Kurve auf der Flche nach einem
Parameter t von der Form:
2)
y=
Der Winkel
{dd
+2cos<p di-dt-+{di)
gengt
<p
als
Funktion von u, v
3)
irt,
dudv
= *m
<P
theorie
ferenziale, 67.
3,
4,
Nr. 773.
1870,
S. 175.
Bianchi,
Lezioni
di
geometria
la
dif-
165
von
Darboux 1 )
ist
auf diesem
Wege
zu
dem folgenden
Satze gelangt:
ist
um
gleich der
Summe
der
Winkel
2jr.
u
Asymptotenkurven
die
= const
sind.
,
.
const
sich
die
d. h.
Formeln
auf ein
Flche
unserer
Stck
der
in
Unsere Aufgabe besteht darin, die gesamte Abbildung der uv- Ebene auf
unsere Flche zu untersuchen, welche durch die analytische Fortsetzung
der Formeln (1) erhalten wird.
so
darf;
legen
und
dies
gbe
einen
Widerspruch
stets
mit
Punkt
unseren frheren
ver-
Aus-
auf
gengend kleine Umgebung des Punktes
unserer Flche durch regulr verlaufende Asymptotenkurven lckenlos
durchlaufen
und
eine
erfllt wird.
die
analytische Tatsache,
da
und unbegrenzt fortUm dies sicher zu erkennen, tragen wir vom Punkte
setzbar sind.
die Lnge u nach der einen oder
aus auf der Asymptotenkurve v =
anderen Richtung, jenachdem u positiv oder negativ ist, ab, ziehen
durch den erhaltenen Endpunkt die andere Asymptotenkurve, tragen dann
die
Funktionen x, y, z fr
alle rellen
u, v eindeutig
1) loc. cit.,
Bd.
3,
Nr. 773.
oder
je-
166
nachdem
und
erteilen endlich
dem
so
erhaltenen Endpunkte,
mge,
und
die
unserer
Flche
zugeordnet
ein-
Funktionen.
Auch
Um
x
dargestellt werden,
Abbildung
unsere
(u, v),
mit P,
nicht
y(u,v),
z(u,v)
betroffen
werden,
mit
Q.
Wrden nun im
Punkte
Es
einen
(bez.
Q) enthielte.
nun
die
daher
u, v
die
sind,
so
wird der
es fr
da
Formeln
darstellen,
die
ist
167
fr
stets ein
ab.
Stck
Die
nach derselben
erhaltenen
Endpunkte
Asymptotenkurve
rckkehrende
ein
wenn unsere Flche eine sogenannte DoppelFassen wir nun eine derjenigen Asymptotenkurven von der
flche wre.
Lnge s ins Auge, die uns vorhin zur Konstruktion der neuen geschlossenen
Asymptotenkurve dienten, so bildet dieselbe doppelt gerechnet zusammen
mit den beiden geschlossenen Asymptotenkurven ein Asymptotenviereck,
Diese Tatsache aber
offenbar genau gleich 2x ist.
Satze^ wonach der
angefhrten
vorhin
dem
zu
Widerspruch
steht im
berschu der
dem
gleich
stets
Inhalt eines Asymptotenkurvenvierecks
notwendig
daher
berschu
Summe seiner Winkel ber 2n ist und dieser
dessen
Winkelsumme
positiv sein
2.
sich in
mu.
eine
als
schnitte,
da
sie in
so
sie dieselbe
verlassen hat;
Zweitens:
die
Asymptotenkurve
knnte
derart verlaufen,
da
sie
168
Punkte
Wir
ausging.
Was
den ersten
Fall betrifft,
Lnge \l abgetragen.
und
P P auf b liegt,
P der Kurve a
1
wir
erhalten
Weise
Punkt
den
auf
diese
nmlichen
als
Endpunkt.
eine
Punkte
Dies
unmglich, da es nach
ist
1.
Damit
ist
gezeigt,
ist
unmglich.
sie
nmlich die
nach berschreitung des Schnittpunktes
die nmliche
PP
PP
von
die
andere
PP
so
hinaus
des Stckes
Aber
Asymptoten-
Verliefe
bis zu
einem
Punkte
auf
a.
169
Wir
nun
das
PQ P
betrachten
P P P P P
auf a, P^q
Asymptotenkurven viereck
X
PP
auf a,
auf
PP
b,
+%a +
x
+ n a > 2n,
a2
h.
Ebenso
<h-k+i><H+i-<h+i>
(* 0, 1,
nicht zugleich
sein;
a
treffen.
folgt allgemein
(5)
Wegen
a >a a
(4)
Aus
ct
2,...).
und ax
Annahme
- j 4=
Ungleichungen:
- a- p+ > % ~ a
a
> ap ap+l
(6)
a- p
und
oder
(7)
ap+1
>a -a
Op-1,2,3,...).
p=
1, 2,
3 ...
n, so folgt
"
170
nun a
Fllt
ax
>
falls
aus, so ist fr
sind;
jz
Gleichungen unmglich,
fllt
3.
Stelle,
d. h.
Zum
sie besitzt
an keiner
sich selbst
keinen Doppelpunkt.
es existiere eine
Asymp-
Zweige
beiden
die
der
diesen
in
zu
Kurvenschleife
Koordinatenlinien,
Wir
linie
vom Punkte ( s,
ziehen jetzt
auf dieser nach der positiven Seite hin eine Strecke s ab: whlen wir diese
Strecke s gengend klein, so
werden
ec
8,0
*5Z _
W^V
s,,^
yS
T*"""
\
I
angefhrten
derum
"^
^s
s, 0),
da
also,
geht
die
soeben konstruierte
Asymptotenkurve
und (
4.
s,
Asymptotenkurve
vom Punkte (
s, s) aus,
(s,
s)
(s,
0)
(s, s) bez.
Asymptotenkurve
in zwei verschiedenen
das
Asymptotenkurve
eine
bilden. Diese
luft
bez.
ber
Satze
Asymptotenkurvenviereck wie-
Wir sehen
s, s).
die
ursprngliche
bez. (0,s)
Wenn
Asymptotenkurve ziehen und auf dieser nach der nmlichen Seite hin eine
bestimmte Strecke s abtragen, so bilden die erhaltenen Endpunkte eine neue
Asymptotenkurve
liche
b, die die
ursprng-
Asymptotenkurve a an keiner
Stelle schneidet.
Denn wre
-2/\^
"*
der
P ein
Asymptotenkurve
Schnittpunkt
b
mit
der
171
1.
bis 4.
Scharen.
zwei
Flche
angehrende
zerfallen
in
zivei
Asymptotenkurven
Scharen
verschiedenen
Schar
derselben
unserer
angehren,
stets
in
Punkte
der Flche.
= 0,
Die Koordinatenlinien u
verschiedenen
als
den
ausgesprochenen
Tatsachen
stets
flche
da
zugleich,
zu
bestimmt
ge-
Insbesondere folgt
unsere
besitzt
und
hieraus,
da
keine Doppel-
ist.
Nachdem wir zu
wir
Wegen
h. die
ist
naten u, v
eben
Scharen angehren.
berechnen
den gesamten Inhalt unserer Flche auf zwei Wegen; wir werden
Der
erstere
Weg
ist
der folgende.
Wir
dessen
Ecken durch
die Koordinaten
U, V]
U, V] U, V]
u,
bestimmt
die
sind.
Summe
der
weiteren Vierecke,
so
Wir entnehmen
daraus,
da
der
Gesamt-
Wegen
der
negativen
Krmmung
unserer
Flche
ist
jede
geodtische
172
Linie
als
d. h.
den nmlichen zwei Punkten verluft und sich durch stetige nderung
in
geodtische
die
vom Punkt
Wir
und nehmen
der Flche.
fachen
Zusammenhang
Linien
OB
also
fassen
Flche
beiden geodtischen
Vernderung berfhren;
punktes
ist also
ist.
einen ein-
es
mte
Durch
zu verwerfen.
die
wir auch,
allen
von
ausgehenden geodtischen
Das von
nach den bekannten Formeln der
besitzt
Da
dieser
\e
e V
selbst
ber
Grenzen wchst,
stets <[
2x
so
ausfallen sollte.
Wir
sind
daher gezwungen,
unsere Grund-
lt.
Wir gingen
Flche
einer
Krmmung *).
negativer
konstanten
sprechenden Methode
mung
Wir
es eine solche
behandeln.
gleiche
die
173
Frage
fr
positive
konstante
Krm-
Kugel eine geschlossene singularittenfreie Flche positiver konstanten Krmmung, und nach dem von H. Liebmann 1) auf meine Anregung hin gefhrten Beweise gibt es auch keine
andere geschlossene Flche von derselben Eigenschaft.
Diese Tatsache
Offenbar
ist
die
herleiten,
der
Krmmung 2)
und folgendermaen
Auf
einer
singularittenfreies
Endlichen
lautet:
einfach
abgegrenzt;
oder
wir
denken
Krmmung
uns
dann
in
jedem
sei
ein
Gebiet
im
-f 1
mehrfach zusammenhngendes
Punkte
dieses
Randpunkten desselben
die
beiden
dann
hauptung an,
es
>
dann nehmen wir im Gegensatz zu der Begbe im Inneren des Flchenstckes einen Punkt 0, in
1;
Inauguraldissertation,
S. 44.
interessanten Arbeiten
nachzuweisen
E.
Holmgren
in
positiver
Krmmung
ist
G.
174
Da dieser Punkt
gewi kein
welchem jenes Maximum stattfinde.
Nabelpunkt sein kann und berdies ein regulrer Punkt unserer Flche
und einfach
ist,
so wird die Umgebung dieses Punktes lckenlos
von
jeder
beiden
der
deckt.
den Punkt
selbst
als
der
Flche
be-
und
Koordinatenlinien
als
systems, so gelten nach der bekannten Theorie der Flchen positiver konstanter
Krmmung
Es bedeute
den Punkt
(ti,
rt
1
die folgenden Tatsachen ).
Umgebung
in dieser
dann gengt
Umgebung
in der
v)
die
rx
>
positive
= (0, 0);
des Anfangspunktes
Man
1.
es ist
setze
Gre p
reelle
als
Funktion von u, v
der
partiellen Differentialgleichung
Da
abnehmendem
bei
die
t\
als
aufweisen,
und
Stelle
wo
a, a, ,
= a -f
m 2
reelle
Umstnde
2uv
yv 2
-\
au 2
fr
u, v
niemals
folgen
fr
negative
2uv
-f
yv %
Konstanten
die
gleichungen:
^0
(9)
Andererseits
wollen
wir
Entwicklung
die
y^O.
und
= 0,
fr
in
die
Differential-
-2<z_ Ja
Da
die
mithin positiv
falls
< 0;
ausfllt,
so
hier
ist
a
1)
la
(0, 0)
darstellt
Hand
und
jeden-
Ungleichung
+ y<0,
theorie
generale
des
surfaces,
Bd. 3,
Nr.
776.
unsere
ursprngliche
in
(9)
Annahme, wonach
als
Widerspruch
die
steht.
des
Stelle
175
Damit
ist
Maximums im
unzutreffend
lehrt offenbar
Wenn
folgende Tatsache.
und dann
aller
dieses
vorkommenden
greren
geschlossene
Krmmung
Resultat
verbiegen
drckt
kann,
Eine
bereits
singularittenfreie
stets
die
Kugel
zugleich
aus,
findet
sich
Hauptkrmmungsradien
geschlossene
Flche
das
stets
Maximum
auf
besitzt
dem
keinen
mit der
positiven
konstanten
Dieses
dem Radius 1 sein mu.
da man die Kugel als Ganzes nicht
mit
auftritt.
Gttingen, 1900.
Zum
Schlsse
spreche
ich
meinem
Freunde
Hermann Minkowski
und Dr. Max Dehn fr ihre Untersttzung beim Lesen der Korrektur
und die empfangenen mannigfachen und wertvollen Ratschlge meinen
herzlichsten
Dank
aus.
K 1 1 UKIN
TO
Astronomy Mathematics
1
00 Evans
Hnll
Statistics
f>4?-MR
CQMa 577sit
ttf
/903
\
\
*3*