BERKEI

LIBR _A

UNJVERSITY _OF

\CAUFORNJA

V ⁶

MATH.-

_ST AT.

GRUNDLAGEN _{DER GEOMETRIE}

VON

Dr. DAVID HILBERT,

O. PROFESSOR AN DER UNIVERSITÄT _GÖTTINGEN.

ZWEITE, DURCH ZUSÄTZE VERMEHRTE _{UND MIT FÜNF ANHÄNGEN}

VERSEHENE _AUFLAGE.

MIT ZAHLREICHEN _{IN DEN TEXT GEDRUCKTEN FIGUREN.}

LEIPZIG,

DRUCK UND VERLAG _{VON B. ö.} TEUBNER.

1903.

MATH-STAT.

ALLE EECHTE, EINSCHLIESZLICH DBS ÜBEESETZUNGSEECHTS, VOBBEHALTEN.

TU,.

.T.

L132ARY

Inhalt.

Grundlagen der Geometrie.

Aus der Festschrift zur Feier der Enthüllung des Gauß -Weber - _{Denkmals in Göttingen, Leipzig 1899.}

Einleitung

Seite

₁

Kapitel I. Die fünf _{Axiomgruppen.}

§ Die Elemente der Geometrie und die fünf Axiomgruppen 1.
§ Die 2. Axiomgruppe	I: Axiome der Verknüpfung

_{§ 3.} Die Axiomgruppe II: Axiome _{der Anordnung}

₂

₂

₄

§ Folgerungen aus den Axiomen der Verknüpfung und der Anordnung 4.	5
§ Die Axiompruppe III: Axiome der Kongruenz 5.	7
§ Folgerungen aus den Axiomen der Kongruenz 6.	10
§ 7. Die Axiomgruppe IV: Axiom der Parallelen (Euklidisches Axiom)	15
§ 8. Die Axiomgruppe V: Axiome der Stetigkeit	16
Kapitel IL Die Widerspruchslosigkeit und gegenseitige Unabhängigkeit der Axiome.
§ 9. Die Widerspruchslosigkeit der Axiome	18
§ 10. Die Unabhängigkeit des Parallelenaxioms (Nicht-Euklidische Geometrie) .	20
§ 11. Die Unabhängigkeit der Kongruenzaxiome	20
§ 12. Die Unabhängigkeit der Stetigkeitsaxiome V (Nicht - Archimedische
Geometrie)	22
Kapitel III. Die Lehre von den Proportionen.
§ Komplexe Zahlensysteme 13.	24
§ Beweis des Pascalschen Satzes 14.	26
§ Die Streckenrechnung auf Grund des Pascalschen Satzes 15.	31
§ Die Proportionen und die Ähnlichkeitssätze 16.	35
§ Die Gleichungen der Geraden und Ebenen 17.	36
Kapitel IV. Die Lehre von den Flächeninhalten in der Ebene.
§ Die Zerlegungsgleichheit und Inhaltsgleichheit von Polygonen 18.	39
§ 19. Parallelogramme und Dreiecke mit gleicher Grundlinie und Höhe	41
§ Das Inhaltsmaß von Dreiecken und Polygonen 20.	42
§ Die Inhaltsgleichheit und das Inhaltsmaß 21.	45
Kapitel V. Der Desarguessche Satz.
§ Der Desarguessche Satz und der Beweis desselben in der Ebene mit Hilfe 22.

_der Kongruenzaxiome

₄₇

_§ 23. Die Nichtbeweisbarkeit des Desarguesschen Satzes in der Ebene ohne

Hilfe der Kongruenzaxiome

M775838

₄₉

_IV

Inhalt.

Seite

_{§ 24. Einführung einer} Streckenrechnung ohne Hilfe der Kongruenzaxiome auf

_{§ 25.}

_{Grund des} Desarguesschen Satzes

_{Das kommutative und} assoziative Gesetz der Addition in _der neuen

Streckenrechnung

53

55

_{§ 26. Das assoziative Gesetz der} Multiplikation und die beiden distributiven

_{Gesetze in der} neuen Streckenrechnung

_{§ 27. Die Gleichung der Geraden} auf Grund der neuen Streckenrechnung

_{§ 28. Der Inbegriff der Strecken} aufgefaßt als komplexes Zahlensystem

_{§ 29. Aufbau einer} räumlichen Geometrie mit Hilfe eines Desarguesschen Zahlensystems

_{§ 30. Die Bedeutung des} Desarguesschen Satzes

56

60

63

64

66

_{Kapitel VI. Der} Pascalsche Satz.

_{§ 31. Zwei Sätze über die} Beweisbarkeit des Pascalschen Satzes

_{§ 32. Das kommutative Gesetz der} Multiplikation im Archimedischen Zahlen-

system

67

68

_{§ 33. Das} kommutative Gesetz der Multiplikation im Nicht -Archimedischen

Zahlensystem

_{§ 34. Beweis der beiden Sätze über den Pascalschen} Satz (Nicht -Pascalsche Geometrie)

_{§ 35. Beweis eines} beliebigen Schnittpunktsatzes mittels des Desarguesschen

_und des Pascalschen Satzes

69

71

72

_{Kapitel VII. Die} geometrischen Konstruktionen auf Grund der Axiome I—IV.

_{§ 36. Die} geometrischen Konstruktionen mittels Lineals und Eichmaßes

_{§ 37. Analytische} Darstellung der Koordinaten konstruierbarer Punkte

_{§ 38. Die Darstellung} algebraischer Zahlen und ganzer rationaler Funktionen als Summe von Quadraten

_{§ 39. Kriterium für die Ausführbarkeit geometrischer} Konstruktionen mittels

Lineals und Eichmaßes

Schlußwort

Anhang I.

73

76

78

79

82

_{Über die gerade Linie als kürzeste Verbindung} zweier Punkte, aus Math.

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 III.

83

88

_{Neue Begründung der Bolyai-Lobatschefsky} sehen Geometrie, aus Math. Ann.

Bd. 57 1903

Anhang IV.

_{Über die Grundlagen der} Geometrie, aus Math. Ann. Bd. 56 1902

Anhang V.

107

121

Über Flächen von konstanter Gaußscher Krümmung, aus den Transactions of the

Americain Math. Society Vol. 2 1901

162

Verzeichnis der Begriffsnamen.

Verzeichnis der Begriffsnamen.

_{Die den} Begriffsnamen beigefügten Zahlen bezeichnen diejenigen _Seiten des Buches, _{auf denen der}

Begriff erklärt _ist.

_{Axiom der} Abgeschlossenheit des Systems

der Bewegungen 125.

— Archimedisches _16, 92. — der Gruppeneigenschaft des Systems

der Bewegungen 124.

—	der Dreiv ikskongruenz 9.
—	der Dreieckskongruenz in engerer Fas- sung 91.
—	der Nachbarschaft 92.
—

Parallelen- _15, 92.

— _sich schneidender und nicht schnei-

dender Geraden 109.

— _{der unendlichen} Anzahl der Drehungen

124.

— Vollständigkeits- 16.

_{Axiome der} Anordnung _{4, 83, 89,} 108.

— der Kongruenz _{7, 90,} 108.

— der Stetigkeit _{16, 84,} 92.

— _der Verknüpfung _{2, 83, 89,} 107.

Bewegung 124.

Desarguesscher Satz (Satz ₃₃₎ 48.

Drehung _124.

Ebene 2, 122, 123.

— Zahlen- 122.

Eichmaß 74.

_{Elemente der} linearen Geometrie 2.

— — ebenen Geometrie _2.

räumlichen Geometrie 2.

Ende einer Halbgeraden 110.

Figur _14.

Geometrie, Nicht-Archimedische _22. — Nicht-Desarguessche 49.

— Nicht-Euklidische _20.

— Nicht-Pascalsche 71.

— Nicht-Pythagoräische 102*

Gerade _2.

— wahre _158.

Inhaltsgleichheit _{39, 101.}

Inhaltsmaß des Dreiecks 43. Polygons _44.

Jordansche _{Kurve 122.} Jordansches _{Gebiet 122.}

Kongruenz _von Strecken 7.

Winkeln 8.

*- — Dreiecken _10. Figuren _14.

Kreis _16.

— wahrer 124.

— Zahlen- 128.

Nebenwinkel 10.

Parallelenaxiom _15, 92. Pascalscher Satz (Satz ₂₁₎ 27.

Polygon _6.

— Zerfallen und Zusammensetzen 39. Punkt _{2, 123.}

Rechter Winkel _10.

Scheitelwinkel _10.

Seite _{eines Punktes} auf einer Geraden 6. — _{einer Geraden} in einer Ebene 6.

— einer Ebene 7.

Spiegelbild _110.

Strecke 4.

Streckenprodukt _32.

Streckenzug _6.

Winkel 8.

Zahlenebene 122.

Zahlenkreis 128.

Zahlensystem, komplexes 26. — Archimedisches 26.

— Nicht-Archimedisches 26.

— Desarguessches 64.

Zerlegungsgleichheit _39, 101.

Halbdrehung _150.

Zwischen 4.

So fängt denn alle menschliche Erkenntnis

_mit Anschauungen an, geht von da zu Begriffen

und endigt mit Ideen.

Kant, Kritik der reinen Vernunft,

Elementarlehre 2. T. 2. Abt.

Einleitung.

_{Die Geometrie bedarf} — _{ebenso wie} die Arithmetik — zu ihrem

_{folgerichtigen} Aufbau nur weniger und einfacher Grundsätze. Diese Grund-

_{sätze heißen Axiome der Geometrie. Die} Aufstellung der Axiome der _{Geometrie und} die Erforschung ihres Zusammenhanges ist eine Aufgabe,

_{die seit Euklid in zahlreichen} vortrefflichen Abhandlungen der mathe-

_{matischen Literatur} ¹ _{) sich} erörtert findet. Die bezeichnete Aufgabe läuft auf die logische Analyse unserer räumlichen Anschauung hinaus.

_{Die vorliegende} Untersuchung ist ein neuer Versuch, für die Geometrie

_{ein vollständiges und} möglichst einfaches System von Axiomen auf-

_{zustellen und aus denselben} die wichtigsten geometrischen Sätze in der _Weise abzuleiten, daß dabei die Bedeutung der verschiedenen Axiom-

_{gruppen und} die Tragweite der aus den einzelnen Axiomen zu ziehenden

Folgerungen möglichst klar zu Tage tritt.

_{1) Man vergleiche die zusammenfassenden und} erläuternden Berichte von

_{G. Veronese,} „Grundzüge der Geometrie", deutsch von A. Schepp, Leipzig 1894 (An-

_{hang), und F. Klein, „Zur ersten Verteilung des} Lobatschefsky-Vreisea", Math. Ann.

Bd. 50.

Hilbert, Grundlagen der Geometrie.

Kapitel I.

_{Die fünf} Axiomgruppen.

_§ 1.

_{Die Elemente der Geometrie} und die fünf Axiomgruppen.

_Erklärung. Wir denken drei verschiedene Systeme von Dingen:

_{die Dinge des ersten} Systems nennen wir Punkte und bezeichnen sie mit

die Dinge _des zweiten Systems nennen wir _Gerade und

_die Dinge des dritten Systems nennen

_; ; die Punkte heißen auch

A, B, _{C t}

;

bezeichnen sie mit a,b,c,

;

wir Ebenen und bezeichnen sie mit a, _{ß, f,}

die _{Elemente der linearen Geometrie,} die Punkte und Geraden heißen die

_{Elemente der ebenen Geometrie und} die Punkte, Geraden und Ebenen heißen die Elemente der räumlichen Geometrie oder des Raumes.

Wir denken die Punkte, Geraden, Ebenen in gewissen gegenseitigen

Beziehungen und bezeichnen diese Beziehungen durch Worte wie „liegen",

„zwischen", _{„parallel",} „kongruent", „stetig"; die _{genaue und voll-}

ständige Beschreibung _dieser Beziehungen erfolgt durch _{die Axiome der}

Geometrie.

Die Axiome der Geometrie gliedern sich in fünf Gruppen; _{jede ein-}

zelne dieser Gruppen drückt gewisse zusammengehörige _{Grundtatsachen}

unserer Anschauung aus. Wir benennen diese Gruppen von Axiomen _in

folgender _Weise:

I 1 — 8.

Axiome der _{Verknüpfung,}

II

1 —4. Axiome der Anordnung,

EU 1 — 6. Axiome der Kongruenz,

IV. Axiom der Parallelen,

V ¹ —2. Axiome der Stetigheit.

_§ 2.

Die Axiomgruppe I: Axiome der Verknüpfung.

Die Axiome dieser Gruppe stellen zwischen den oben erklärten _Be- griffen Punkte, _{Geraden und Ebenen eine Verknüpfung her und lauten}

wie folgt:

Kap. I. Die fünf Axiomgruppen.

_{§ 2.}

₃

I 1. _{Zwei von} einander verschiedene _{Punkte A, B bestimmen stets eine}

Gerade a.

Statt „bestimmen" werden wir auch andere Wendungen gebrauchen,

z. _{B. a} „geht durch" A „und durch" B, _{a „verbindet" A „und"}

_{Wenn A} ein Punkt ist, der _{mit einem anderen Punkte}

oder „mit" _B.

zusammen die Gerade _a bestimmt, so gebrauchen _{wir auch die Wen-}

_A „liegt auf" _a, A „ist ein _{Punkt von" a, „es gibt den}

dungen:

Punkt" A „auf" _a u. s. w.

Wenn A auf der Geraden _{a und außerdem}

auf einer anderen Geraden b liegt, _so gebrauchen _{wir auch die Wendung:}

„die _{Geraden" a} „und" b „haben _den Punkt _{A gemein" u. s. w.}

I 2. Irgend zwei voneinander verschiedene Punkte einer _{Geraden be-}

stimmen diese Gerade.

I 3. _Auf einer Geraden gibt _{es stets wenigstens zwei Punkte, in einer}

Ebene gibt es stets wenigstens drei nicht _{auf einer Geraden gelegene Punkte.}

I 4. Drei nicht _auf ein und derselben Geraden _{liegende Punkte A, B, C}

bestimmen stets _{eine Ebene cc.}

Wir gebrauchen auch

die Wendungen: A, B, _C „liegen in" _cc;

A, B, _C „sind Punkte _{von" cc u. s. w.}

I 5.

Irgend drei Punkte einer Ebene, die _{nicht auf ein und derselben}

Geraden liegen, bestimmen die _{Ebene cc.} Wenn zwei Punkte A, _B einer

I 6.

_{Geraden a in einer Ebene cc}

liegen, so liegt jeder Punkt von a in der Ebene _cc.

In diesem Falle sagen wir:

die Gerade _a liegt in der _{Ebene cc}

u. _s. w.

I 7.

Wenn zwei Ebenen cc, _ß einen Punkt A gemein _{haben, so haben}

sie wenigstens noch einen weiteren Punkt B _gemein.

18. Es gibt wenigstens vier nicht in einer Ebene gelegene Punkte.

Die Axiome I 1 —3 mögen die ebenen _{Axiome der} Gruppe _{I heißen}

zum Unterschied von den Axiomen I 4 _{— 8,} die ich als die _räumlichen

Axiome der Gruppe I bezeichne.

Von den Sätzen, die aus den Axiomen I 1 —8 folgen, erwähne ich nur diese _beiden:

Satz 1. Zwei Geraden einer Ebene haben einen oder keinen Punkt

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. Die fünf} Axiomgruppen.

_§

3.

_§

3.

Die Axiomgruppe II: Axiome der Anordnung ¹

).

_{Die Axiome dieser Gruppe definieren den} Begriff „zwischen" und er-

_{möglichen auf Grund dieses Begriffes die} Anordnung der Punkte auf einer Geraden, in einer Ebene und im Räume.

_{Erklärung. Die Punkte einer Geraden} stehen in gewissen Be- _{ziehungen zueinander, zu deren Beschreibung uns} insbesondere das Wort

^wischen" dient.

A	7?	C
		~
	-f:

auch zwischen C und A.

II 1.

_Wenn A, _B, C Funkte

einer Geraden sind, und B zwi-

schen A

und

_C liegt,

so

liegt B

_{II 2.}

_A

1

_{Wenn A und C zwei Punkte} einer

Geraden sind, so gibt es

JB

_i

C

1

stets wenigstens einen Punkt

D

1

B,

der zwischen A

und C

liegt, und ivenigstens einen

Punkt D, so daß _C zwischen A und T> liegt.

II 3. Unter irgend drei Punkten einer Geraden _{gibt es stets einen und}

nur einen, der zwischen den beiden andern liegt.

Erklärung. Wir betrachten auf einer Geraden _a zwei _{Punkte A}

und _2?; wir nennen das System der beiden Punkte A _{und B} eine _Strecke

und bezeichnen dieselbe mit AB oder mit BA. Die Punkte zwischen _A

und B heißen Punkte der Strecke AB oder auch innerhalb der Strecke

AB gelegen; die Punkte A, _B heißen _{Endpunkte der Strecke AB.}

_Alle

übrigen Punkte der Geraden a heißen außerhalb der Strecke AB gelegen.

II 4.

Es seien A, B, C drei nicht in gerader Linie gelegene Punkte

und a eine Gerade in der Ebene ABC, die keinen der Punkte A, B, _{C trifft:} wenn dann

die Gerade _a durch _einen Punkt _{der Strecke}

AB geht,

so geht sie gewiß _{auch entweder}

durch einen Punkt

_der Strecke _{BC oder}

durch einen Punkt der Strecke AC.

Die Axiome II 1 —3 enthalten nur Aus-

sagen über die Punkte auf einer Geraden

und mögen daher _{die linearen} Axiome der

₁₎ Diese Axiome hat zuerst M. Pasch in seinen Vorlesungen über neuere _Geo-

metrie, Leipzig _1882, ausführlich untersucht. Insbesondere _{rührt das} Axiom _{II 4 in-}

haltlich von _{M. Pasch her.}

Kap. _I. Die fünf Axiomgruppen.

§

_3, 4.

₅

Gruppe II heißen; das _Axiom II 4 enthält _{eine Aussage} über die Elemente

der ebenen Geometrie und heiße daher das _ebene Axiom _der Gruppe _II.

§4.

Folgerungen ans den Axiomen der Verknüpfung und der Anordnung.

Aus den Axiomen I und II folgen die nachstehenden Sätze:

Satz 3. _Zwischen irgend zwei Punkten _einer Geraden _{gibt es stets}

unbegrenzt viele Punkte.

Satz 4.

Sind irgend vier Punkte einer Geraden gegeben, so lassen

_{sich dieselben} stets in der Weise mit A, B, C, D bezeichnen, daß der mit

_B bezeichnete Punkt zwischen A und C und auch zwischen A und D _{und ferner der mit C bezeichnete Punkt} zwischen _A und _D und auch

zwischen B und D liegt ¹ Satz ₅ (Verallgemeinerung von Satz _4). Sind irgend eine endliche

Anzahl von Punkten einer Geraden gegeben, so lassen sich dieselben stets

).

in der Weise mit A, B, _C, B, E,

, K bezeichnen, daß der mit B be-

zeichnete Punkt zwischen A einerseits

und _C, B, E,

_{, K} andererseits,

A

*

B

»- _— .

C _{D E}

h—

₁

_K

₁

>

, K andererseits, sodann

_{, K} andererseits u. s. w. liegt.

_{B zwischen A, B, C einerseits und E,}

_{Außer dieser} Bezeichnungsweise gibt es nur noch die umgekehrte Be-

_{, E, B, C, B, A,} die von der nämlichen Beschaffen-

_{zeichnungsweise K,}

heit ist.

_{Satz 6. Jede} Gerade _a, welche in einer Ebene a liegt, trennt die nicht _{auf ihr liegenden Punkte dieser Ebene a in zwei} Gebiete, von folgender Be-

schaffenheit: ein jeder Punkt A

_{des einen} Gebietes bestimmt

mit jedem Punkt B des an-

_{deren Gebietes} eine Strecke

_{ferner C zwischen} A, B einerseits und

D, E,

_AB, innerhalb

derer

ein

_„^

_{Punkt der} Geraden _a liegt;

_dagegen bestimmen irgend _{zwei Punkte A} und A' ein

und desselben Gebietes eine

Strecke AA', welche keinen Punkt von a enthält ²

B

).

_**L

_{1) Dieser in der} ersten Auflage als Axiom bezeichnete Satz ist von E. H. Moore, Transactions of the American Mathematical Society 1902, ^{als eine Folge der auf-}

_{gestellten ebenen Axiome der} Verknüpfung und der Anordnung erkannt worden.

_{2) Vgl. den} Beweis bei M. Pasch 1. c. S. 25.

daß

_Erklärung.

_{Kap. I. Die fünf} Axiomgruppen.

_§

4.

_{Es seien A, A', 0, B vier} Punkte _einer Geraden a, so

zwischen A und B, aber nicht zwischen A und A' liegt; dann

sagen wir: die Punkte _A, A' liegen in der Geraden _{a auf ein und der-} selben Seite vom Punkte 0>

-4	A	O
4	1	— ,

Jß

1

und die Punkte A, _B liegen

&

in der Geraden _{a auf ver-}

schiedenen Seiten vom Punkte 0. Die sämtlichen auf ein _{und derselben}

Seite von

gelegenen Punkte der Geraden a heißen _{auch ein von}

ausgehender HaTbstrahl; _somit teilt jeder Punkt einer _{Geraden diese in}

zwei Halbstrahlen.

Erklärung. Indem wir die Bezeichnungen des _{Satzes 6 benutzen,}

sagen wir: die Punkte A, A' liegen _{in der Ebene a auf ein und derselben}

Seite von der Geraden _a und die Punkte _{A, B liegen in der Ebene a auf}

verschiedenen Seiten von der Geraden a.

, KL heißt

ein Streckenzug, der die _{Punkte A und L miteinander verbindet; dieser}

_{KL bezeichnet. Die Punkte}

Streckenzug wird _{auch kurz mit AB CD}

Erklärung. Ein System von Strecken AB, _{BC, CD,}

innerhalb der Strecken

_{,KL, sowie die Punkte A,B,C,D,}

_., K, L heißen insgesamt die Punkte des Streckenzuges. _{Fällt insbeson-}

dere der Punkt L mit dem Punkt A zusammen, _{so wird der Streckenzug}

ein Polygon genannt

und als Polygon _ABCD

_{K bezeichnet.}

_Die

Strecken AB, BC, CD,

_, KA heißen auch

die _{Seiten des Polygons.}

Die

mit _{3, 4,}

Punkte A, B, C, D,

_, K heißen die Ecken _{des Polygons.}

_Polygone

_, n Ecken heißen bez. Dreiecke, _Vierecke,

_{., n-Ecke.}

Erklärung. Wenn die Ecken eines Polygons sämtlich voneinander

verschieden _sind

und keine Ecke des Polygons in _{eine Seite fällt und}

endlich irgend zwei Seiten eines Polygons keinen Punkt miteinander

gemein haben, so heißt das Polygon einfach.

Mit Zuhilfenahme _{des Satzes 6 gelangen wir jetzt ohne erhebliche}

Schwierigkeit _{zu folgenden Sätzen:}

Satz 7. Ein jedes einfache _Po-

lygon, dessen Ecken sämtlich in _einer

Ebene a liegen,

trennt

die Punkte

dieser Ebene a, die nicht dem Strecken-

zuge des Polygons angehören, in _zwei

Gebiete, ein Inneres und ein Äußeres, von folgender Beschaffenheit: _{ist A}

ein Punkt

Punkt) und B ein Punkt _{des Äuße-} ren (äußerer Punkt), _{so hat jeder}

des Inneren _(innerer

Streckenzug, _{der A mit B verbindet,}

Kap. I. Die fünf Axiomgruppen.

_{§ 4,}

_5.

₇

mindestens einen _{Punkt mit dem Polygon gemein; sind dagegen A, A'}

zwei Punkte des _{Inneren und B, B' zwei}

Punkte des Äußeren, _{so gibt}

Ä und B mit B' verbinden und keinen

es stets Streckenzüge, _{die A mit}

Punkt mit dem Polygon gemein haben.

Es _{gibt Gerade in cc, die ganz}

im Äußeren des Polygons verlaufen, _{dagegen keine solche Gerade, die}

ganz im Inneren des Polygons verläuft.

Satz 8.

Jede Ebene _a trennt die übrigen _{Punkte des Raumes in}

zwei Gebiete von folgender Beschaffenheit: _{jeder Punkt A des einen Ge-}

bietes bestimmt mit jedem _{Punkt B des andern Gebietes eine Strecke AB,}

innerhalb derer ein Punkt von _a liegt; _{dagegen bestimmen irgend zwei} Punkte von A und A eines und desselben Gebietes _{stets eine Strecke A Ä,}

die keinen Punkt von a enthält.

Erklärung, Indem wir

die Bezeichnungen

sagen wir: die Punkte A, _Ä liegen im _{Räume auf ein und derselben Seite}

dieses Satzes 8 benutzen,

von der Ebene a und die Punkte A, _B liegen _{im Räume auf verschiedenen}

Seiten von der Ebene a.

Der Satz ₈ bringt die wichtigsten _{Tatsachen betreffs der Anordnung}

der Elemente im Räume zum Ausdruck; _{diese Tatsachen sind daher}

lediglich Folgerungen aus _den bisher _{behandelten Axiomen und es be-}

durfte in der Gruppe II keines neuen _{räumlichen Axioms.}

_§ 5-

Die Axiomgruppe III: Axiome der Kongruenz.

_Die Axiome dieser Gruppe definieren den _{Begriff der Kongruenz}

_und damit auch den der Bewegung.

Erklärung. Die Strecken stehen in gewissen _{Beziehungen zu-} einander, zu deren Beschreibung uns die Worte „kongruent" _{oder „gleich"}

dienen.

III.

1.

Wenn A, B zwei _{Tunkte auf} einer _{Geraden a und ferner Ä}

ein Punkt _auf derselben oder einer anderen Geraden a

_auf einer gegebenen Seite der Geraden a

ist, _so kann _man

_{von Ä stets einen und nur}

eitlen Punkt B' _finden, so daß die Strecke AB der Strecke AB' _kongruent

oder gleich ist, in _Zeichen:

AB = ÄB.

Jede Strecke ist sich selbst kongruent, _{d. h.} es ist stets:

AB = AB und AB = BA.

Wir sagen auch kürzer: _{eine jede} Strecke kann auf einer gegebenen

Seite einer gegebenen Geraden _{von einem} gegebenen Punkte in eindeutig

bestimmter Weise abgetragen _werden.

₈

Kap. I.

Die fünf Axiomgruppen. _§ 6.

III.

2.

_Wenn eine

Strecke AB soivohl der

Strecke A'B'

als auch

der Strecke A"B" kongruent ist,

gruent, d. h. wenn

so ist auch A'B' der Strecke A"B" kon-

so ist auch

AB = A'B und AB = A"B",

A'B' = A"B".

III. 3. Es seien AB und _BC zwei Strecken ohne _{gemeinsame Punkte}

_auf der

Geraden a und ferner A'B' und B'C

zwei Strecken _{auf der-}

^.

—

A.

—

f

_A'

₁

	B	C	cu
			»—
	i
	B'	C	a'
1	1	1

selben oder einer anderen Geraden a ebenfalls ohne _{gemeinsame Punkte;}

wenn dann

AB = A'B und BC=B'C

ist, _so ist auch stets

_,

AC=A'C.

_irgend

zwei verschiedene von einem Punkte ausgehende _{Halbstrahlen in a, die} verschiedenen Geraden angehören. Das System dieser _{beiden Halb-}

strahlen h, _k nennen wir einen _Winkel und bezeichnen _{denselben mit}

_<^ (]i, k) oder mit _<^ (k, h).

Aus den Axiomen II 1 —4 kann _{leicht ge-}

schlossen werden, daß die Halbstrahlen h und k, zusammengenommen

_Gebiete

von folgender Beschaffenheit _teilen:

_{Ist A} ein Punkt _{des einen und B}

ein Punkt des anderen Gebietes, _{so geht} jeder Streckenzug, der _{A mit B}

_einen

Erklärung.

Es sei cc eine beliebige _{Ebene und h, k}

_seien

mit dem Punkte

die

übrigen Punkte

der Ebene _a in _zwei

verbindet, entweder durch

Punkt gemein; sind _{dagegen A, AI Punkte}

oder hat mit _h oder _k wenigstens

desselben Gebietes,

so

A mit Ä verbindet und weder _{durch 0,}

gibt

es stets einen Streckenzug, _der

noch durch einen Punkt der Halbstrahlen h, _k hindurchläuft.

_Eines

dieser beiden Gebiete ist vor dem anderen ausgezeichnet, _{indem jede} Strecke, die irgend zwei Punkte dieses ausgezeichneten _{Gebietes ver-} bindet, stets ganz in demselben liegt; dieses ausgezeichnete Gebiet heiße das Innere des Winkels (h, _k) zum Unterschiede _{von dem anderen Ge-}

biete, welches das Äußere des Winkels _{(h, k) genannt werden möge.}

Die

Halbstrahlen h, k heißen Schenkel des Winkels und der Punkt

heißt der Scheitel des Winkels.

Erklärung. Die Winkel stehen in gewissen _Beziehungen zueinander,

zu deren Bezeichnung uns ebenfalls die Worte „kongruentf ¹ oder „gleich ¹¹

dienen.

_Kap. I. _Die fünf Axiomgruppen.

_§

5.

₉

III.

4.

_{Gerade a}