Benutzer:*m.g.*: Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
Zeile 74: Zeile 74:
 
==== Euklidisches Parallelenaxiom ====
 
==== Euklidisches 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.
 
::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.
 +
 +
 +
<ggb_applet width="543" height="509"  version="3.2" ggbBase64="UEsDBBQACAAIAPZlZD0AAAAAAAAAAAAAAAAMAAAAZ2VvZ2VicmEueG1szVhLc9s2ED43vwLDQ2+m8SJITSVnVPdQz7h1O07Tmd4gEqJQU4RKgrbkX98FQOplx7WcNqkvNHfBfXz77QLQ+P16WaF71bTa1JOIxDhCqs5NoetyEnV2fpZF7y/ejUtlSjVrJJqbZintJGIxjZy80xfvvhm3C/OAZOWXfNTqYRLNZdWqCLWrRsmiXShlD+SyW+tKy2ZzM/tT5bbdKYKRq3rVgRfbdCDLl8W1bofXc+9wVWn7g77XhWpQZfJJJBIIHf77qBqrc1lNIo6DhE4ieqQEEXPahWn0o6mtW74zPgcJQq1+VICIcLLxuU90rLq80oWWtUvGxwGLEHrQhV1MooQzMKl0uXAAjXiwlhvTFLeb1qolWv+hGjOJRiLmAmOGE04IT0QaoU3QUJrFKRMZ54IzntE0AQwhYIhE0FiMRoxQMWI4zTLwtfmkyntW97fKWqhki+Ra7TAuG10cvFy135tqJ1oZXdtLubJd42nAetGt3ThvgFvjcpzWZaV6GYUqLVR+NzPr24AbC6Y/bFb+Ex/QrLw0lWlQ4yoCmZX9cxaefo2LdLsK+zXYr+htOKNbPRlRv8I/Z+HpV1W6DqH1mZMha4IHN7pFTgDGHXu3yVdypoANEepqba+HF2DNXZ8qCR/83C1n0Db7vNnaJP+WzfH5EePGd6qpVRV4VUNtO9O16N7xN/jygRQq10t4DYoeEunK9RsEEKSFKhs1BB6aLgDmtXifu0fi8fkQhIuhhVhzC9MD8rEul9uVVqWqurp0bW6hxSbRMi7jCBXSgj5yhh9Mc+enwge1tkjOzD1ofpRVZdDvqrJQTFU5AL0/Vamlgpa0nkueiltMf4m288f4UXIM+q48oH+WWJ6CslotJEjiPvNKbmCy7GPh7d3M562yaD2JzhzDN+G50/9kikMEZQ2V8PDAAFg5B67WK6WKftravkHQClz6dtsrpMe/de4gMB78Qa8D2R/D535VaE43ibxn1jMnoPYP+P361fBjQz5fAj4Wh2rhOM1OAy83y6WsC1TLJTi6hrniEdNug0ISOwYiSRyQAaTODooymOoNPKmDG1FblMvocGrZBQyHWrWtH612f4ge1CpskK8uFX5LoUTioePipULtoD5jMey8+3+h0HBiEB76LBZp+mROv5Cx+qsOa9owLfUSdv9c21N4Pn3K8xOxO4Xmp/H41SzmMU4TwSkcCxLGqT83uAkUUzhMZJQLyigTjHwOw28aGNmlqWX1DNengevlE67LE7gu/29cf5nMjrWbT9AaYB4B+AkdMTixMU4A/f+A2IcVuqotHBIAkqPilKE48klxrl8uzmGjXL+pUQT3yLvHLDw+H/tkFCeEwGlYsASnNGOinyOYYEaTlEAvYBGqQGlMslTsisPewv1L3eTVMeevA6zTJ7DmL8MKZyOdb2HLX0F6+nVZ/7rg4Hqj6nsIzTQtQmvc78MbHDyix0GyBtDOvGhDetEj2RtLMA8bvUbTYf10WDV1t7OYZ8mIZhyPUkIzAaWfst7DlIdTUEYpTjEFvUg4disS75EwuFEJzHEiCKcseb7XYPjmeq7zt/VaPvQaku56OeS0x47pt3Jl2u9Oab3hky/agPsn2v5ERvjrGhT2nSxLoQ/TLCVZRnj4nsQcZIzDddhdY9NMnLYfne/fKvzdu//x4eJvUEsHCB/oGz3jBAAArhAAAFBLAQIUABQACAAIAPZlZD0f6Bs94wQAAK4QAAAMAAAAAAAAAAAAAAAAAAAAAABnZW9nZWJyYS54bWxQSwUGAAAAAAEAAQA6AAAAHQUAAAAA" framePossible = "false" showResetIcon = "false" showAnimationButton = "true" enableRightClick = "true" errorDialogsActive = "true" enableLabelDrags = "true" showMenuBar = "true" showToolBar = "true" showToolBarHelp = "true" showAlgebraInput = "true" allowRescaling = "true" />

Version vom 4. November 2010, 14:21 Uhr

Inhaltsverzeichnis

Axiome von Moise/Downs

  • Inzidenzaxiome:
Axiom I.0:
Geraden und Ebenen 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.
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.
  • 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)
Für drei beliebige Punkte \ A, B und \ C gilt: \left|AB \right|+ \left| BC \right| \geq \left| AC \right|.
Falls \operatorname{koll} \left( ABC \right), dann ist eine der folgenden Gleichungen erfüllt:
\left| AB \right| + \left| BC \right| = \left| AC \right|
\left| AC \right| + \left| CB \right| = \left| AB \right|
\left| BA \right| + \left| AC \right| = \left| BC \right|
Ist umgekehrt eine dieser drei Gleichungen erfüllt, so sind \ A, \ B und \ C kollinear.
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}.

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)

Wenn der Punkt \ P zum Inneren des Winkels \ \angle ASB gehört , dann gilt \ \left| \angle ASP \right| + \left| \angle PSB \right| = \left| \angle ASB \right|.

Axiom IV.4: (Supplementaxiom)

Nebenwinkel sind supplementär.

Axiom V: (Kongruenzaxiom SWS)

Wenn für zwei Dreiecke \overline{ABC} und \overline{DEF} die folgenden 3 Kongruenzen
  1. \overline{AB} \cong \overline{DE}
  2. \overline{AC} \cong \overline{DF}
  3. \angle CAB \cong \angle FDE
gelten,
dann sind die beiden Dreiecke \overline{ABC} und \overline{DEF} kongruent zueinander.

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