Aktuelle Version vom 21. Januar 2011, 09:54 Uhr

Axiome

Hier geht es zu den Definitionen WS10/11

Hier geht es zu den Sätze WS10/11

Axiome I: Inzidenzaxiome

Axiom I/0

Geraden sind Punktmengen.

Axiom I/1 (Axiom von der Geraden)

Zu zwei beliebigen verschiedenen Punkten gibt es genau eine Gerade, die die beiden Punkte enthält.

weitere Bezeichnungsmöglichkeit von Geraden

Eine Gerade g, die durch zwei verschiedene Punkte A und B eindeutig bestimmt ist wird auch mit AB bezeichnet.

Axiom I/2

Zu jeder Geraden gibt es wenigstens zwei Punkte, die dieser Geraden angehören.

Axiom I/3

Es gibt wenigstens 3 Punkte, die nicht kollinear sind.

Axiom I/4

Zu je drei nichtkollinearen Punkten gibt es genau eine Ebene, die diese drei Punkte enthält. Jede Ebene enthält (wenigstens) einen Punkt.

Axiom I/5

Wenn zwei Punkte einer Geraden g in einer Ebene E liegen, so gehört g zu E.

Axiom I/6

Wenn zwei Ebenen einen Punkt gemeinsam haben, so haben sie noch mindestens einen weiteren Punkt gemeinsam.

Axiom I/7

Es gibt vier Punkte, die nicht komplanar sind.

Axiome II: Abstandsaxiome

Axiom II.1 (Abstandsaxiom)

Zu je zwei Punkten $\ A$ und $\ B$ gibt es eine eindeutig bestimmte nicht negative reelle Zahl $\ d$ mit $d=0:\Longleftrightarrow A=B$ .

Axiom II.2

Für zwei beliebige Punkte $\ A$ und $\ B$ gilt $\left| AB \right| = \left| BA \right|$ .

Axiom II/3 (Dreiecksungleichung)

Falls $\operatorname{koll} \left( ABC \right)$ , dann ist eine der folgenden Gleichungen erfüllt:

Ist umgekehrt eine dieser drei Gleichungen erfüllt, so sind $\ A$ , $\ B$ und $\ C$ kollinear.

Axiome III

Axiom III.1 (Axiom vom Lineal)

Zu jeder nicht negativen reelen Zahl $\ d$ gibt es auf jedem Strahl $\ p$ genau einen Punkt, der zum Anfangspunkt von $\ p$ den Abstand $\ d$ hat.

Axiom III.2 (Das Axiom von Pasch)

Gegeben sei ein Dreieck $\overline{ABC}$ . Ferner sei $\ g$ eine Gerade, die durch keinen der drei Eckpunkte $\ A, B, C$ geht. Wenn $\ g$ eine der drei Seiten des Dreiecks $\overline{ABC}$ schneidet, dann schneidet $\ g$ genau eine weitere Seite des Dreiecks $\overline{ABC}$ .

Axiome IV

Axiom IV.1 (Winkelmaßaxiom)

Zu jedem Winkel $\ \alpha$ gibt es genau eine reelle Zahl $\ \omega$ zwischen 0 und 180.

Axiom IV.2 (Winkelkonstruktionsaxiom)

Es sei $\ g \equiv SA$ eine Gerade in der Ebene $\ \Epsilon$ . Zu jeder reellen Zahl $\ \omega$ mit $\ 0 < \omega < 180$ gibt es in jeder der beiden durch $\ g$ bestimmten Halbebenen der Ebene $\ \Epsilon$ genau einen Strahl $\ SB^+$ mit $\ \left| \omega \right| = \left| \angle ASB \right|$

Axiom IV.3 (Winkeladditionsaxiom)

Axiom IV.4 (Supplementaxiom)

Nebenwinkel sind supplementär.

Axiome V

Axiom V (Kongruenzaxiom SWS)

Wenn für zwei Dreiecke $\overline{ABC}$ und $\overline{DEF}$ die folgenden 3 Kongruenzen

$\overline{AB} \cong \overline{DE}$
$\overline{AC} \cong \overline{DF}$
$\angle CAB \cong \angle FDE$

gelten,
dann sind die beiden Dreiecke $\overline{ABC}$ und $\overline{DEF}$ kongruent zueinander.

Parallelenaxiom

Das Euklidische Parallelenaxiom

Zu jedem Punkt $\ P$ außerhalb einer Geraden $\ g$ gibt es höchstens eine Gerade $\ h$ , die durch $\ P$ geht und zu $\ g$ parallel ist.

@@ Zeile 1: / Zeile 1: @@
-== '''Axiome''' ==
+= Axiome =
 Hier geht es zu den [[Definitionen WS10/11]]
@@ Zeile 6: / Zeile 6: @@
-*<u> '''Inzidenzaxiome:'''</u>
+== Axiome I: Inzidenzaxiome ==
-=====AXIOM I/0=====
+===Axiom I/0===
-:Geraden sind Punktmengen.
+Geraden sind Punktmengen.
-=====AXIOM I/1 (Axiom von der Geraden)=====
+===Axiom I/1 (Axiom von der Geraden)===
-:Zu zwei beliebigen verschiedenen Punkten gibt es genau eine Gerade, die die beiden Punkte enthält.
+Zu zwei beliebigen verschiedenen Punkten gibt es genau eine Gerade, die die beiden Punkte enthält.
 :weitere Bezeichnungsmöglichkeit von Geraden
@@ Zeile 19: / Zeile 19: @@
 :Eine Gerade g, die durch zwei verschiedene Punkte A und B eindeutig bestimmt ist wird auch mit AB bezeichnet.
-=====AXIOM I/2=====
+===Axiom I/2===
-:Zu jeder Geraden gibt es wenigstens zwei Punkte, die dieser Geraden angehören.
+Zu jeder Geraden gibt es wenigstens zwei Punkte, die dieser Geraden angehören.
-=====AXIOM I/3=====
+===Axiom I/3===
-:Es gibt wenigstens 3 Punkte, die nicht kollinear sind.
+Es gibt wenigstens 3 Punkte, die nicht kollinear sind.
-=====Axiom I/4=====
+===Axiom I/4===
-:Zu je drei nichtkollinearen Punkten gibt es genau eine Ebene, die diese drei Punkte enthält. Jede Ebene enthält (wenigstens) einen Punkt.
+Zu je drei nichtkollinearen Punkten gibt es genau eine Ebene, die diese drei Punkte enthält. Jede Ebene enthält (wenigstens) einen Punkt.
-=====Axiom I/5=====
+===Axiom I/5===
-:Wenn zwei Punkte einer Geraden g in einer Ebene E liegen, so gehört g zu E.
+Wenn zwei Punkte einer Geraden g in einer Ebene E liegen, so gehört g zu E.
-=====Axiom I/6=====
+===Axiom I/6===
-:Wenn zwei Ebenen einen Punkt gemeinsam haben, so haben sie noch mindestens einen weiteren Punkt gemeinsam.
+Wenn zwei Ebenen einen Punkt gemeinsam haben, so haben sie noch mindestens einen weiteren Punkt gemeinsam.
-=====Axiom I/7=====
+===Axiom I/7===
-:Es gibt vier Punkte, die nicht komplanar sind.
+Es gibt vier Punkte, die nicht komplanar sind.
-*<u> '''Abstandsaxiome:'''</u>
+== Axiome II: Abstandsaxiome ==
-===== Axiom II.1: (Abstandsaxiom) =====
-:Zu je zwei Punkten <math>\ A</math> und <math>\ B</math> gibt es eine eindeutig bestimmte nicht negative reelle Zahl <math>\ d</math> mit <math>d=0:\Longleftrightarrow A=B</math>.
-===== Axiom II.2: =====
+=== Axiom II.1 (Abstandsaxiom) ===
-:Für zwei beliebige Punkte <math>\ A</math> und <math>\ B</math> gilt <math>\left| AB \right| = \left| BA \right|</math>.
+Zu je zwei Punkten <math>\ A</math> und <math>\ B</math> gibt es eine eindeutig bestimmte nicht negative reelle Zahl <math>\ d</math> mit <math>d=0:\Longleftrightarrow A=B</math>.
+=== Axiom II.2 ===
+Für zwei beliebige Punkte <math>\ A</math> und <math>\ B</math> gilt <math>\left| AB \right| = \left| BA \right|</math>.
+=== Axiom II/3 (Dreiecksungleichung) ===
+Für drei beliebige Punkte <math>\ A, B</math> und <math>\ C</math> gilt: <math>\left|AB \right|+ \left| BC \right| \geq \left| AC \right|.</math>
+Falls <math>\operatorname{koll} \left( ABC \right)</math>, dann ist eine der folgenden Gleichungen erfüllt:
+:<math>\left| AB \right| + \left| BC \right| = \left| AC \right| </math>
+:<math>\left| AC \right| + \left| CB \right| = \left| AB \right| </math>
+:<math>\left| BA \right| + \left| AC \right| = \left| BC \right| </math><br />
+Ist umgekehrt eine dieser drei Gleichungen erfüllt, so sind <math>\ A</math>, <math>\ B</math> und <math>\ C</math> kollinear.
+== Axiome III ==
+=== Axiom III.1 (Axiom vom Lineal) ===
+Zu jeder nicht negativen reelen Zahl <math>\ d</math> gibt es auf jedem Strahl <math>\ p</math> genau einen Punkt, der zum Anfangspunkt von <math>\ p</math> den Abstand <math>\ d</math> hat.
+=== Axiom III.2 (Das Axiom von Pasch) ===
+Gegeben sei ein Dreieck <math>\overline{ABC}</math>. Ferner sei <math>\ g</math> eine Gerade, die durch keinen der drei Eckpunkte <math>\ A, B, C</math> geht. Wenn <math>\ g</math> eine der drei Seiten des Dreiecks <math>\overline{ABC}</math> schneidet, dann schneidet <math>\ g</math> genau eine weitere Seite des Dreiecks <math>\overline{ABC}</math>.
+== Axiome IV ==
+=== Axiom IV.1 (Winkelmaßaxiom) ===
+Zu jedem Winkel <math>\ \alpha</math> gibt es genau eine reelle Zahl <math>\ \omega</math> zwischen 0 und 180.
+=== Axiom IV.2 (Winkelkonstruktionsaxiom) ===
+Es sei <math>\ g \equiv SA</math> eine Gerade in der Ebene <math>\ \Epsilon</math>. Zu jeder reellen Zahl  <math>\ \omega</math> mit <math>\ 0 < \omega < 180</math> gibt es in jeder der beiden durch <math>\ g</math> bestimmten Halbebenen der Ebene <math>\ \Epsilon</math> genau einen Strahl <math>\ SB^+</math> mit <math>\ \left| \omega \right| = \left| \angle ASB \right|</math>
+=== Axiom IV.3 (Winkeladditionsaxiom)===
+Wenn der Punkt <math>\ P</math> zum Inneren des Winkels <math>\ \angle ASB</math> gehört , dann gilt <math>\ \left| \angle ASP \right| + \left| \angle PSB \right| = \left| \angle ASB \right|</math>.
+=== Axiom IV.4 (Supplementaxiom) ===
+Nebenwinkel sind supplementär.
+== Axiome V ==
+=== Axiom V (Kongruenzaxiom SWS) ===
+Wenn für zwei Dreiecke <math>\overline{ABC}</math> und <math>\overline{DEF}</math> die folgenden 3 Kongruenzen
+:# <math>\overline{AB} \cong \overline{DE}</math>
+:# <math>\overline{AC} \cong \overline{DF}</math>
+:# <math>\angle CAB \cong \angle FDE</math>
+gelten,<br />
+dann sind die beiden Dreiecke <math>\overline{ABC}</math> und <math>\overline{DEF}</math> kongruent zueinander.
+== Parallelenaxiom ==
+=== Das Euklidische Parallelenaxiom ===
+Zu jedem Punkt <math>\ P</math> außerhalb einer Geraden <math>\ g</math> gibt es höchstens eine Gerade <math>\ h</math>, die durch <math>\ P</math> geht und zu <math>\ g</math> parallel ist.

Axiome WS10/11: Unterschied zwischen den Versionen