Streckenantragen oder das Axiom vom Lineal: Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
(→‎Beweis der Existenz und Eindeutigkeit des Mittelpunktes einer Strecke)
(→‎Beweis der Existenz und Eindeutigkeit des Mittelpunktes einer Strecke)
Zeile 18: Zeile 18:
 
[[Beweis dafür, dass momentan der Beweis von Satz III.1 nicht geführt werden kann]]
 
[[Beweis dafür, dass momentan der Beweis von Satz III.1 nicht geführt werden kann]]
  
−
Der Knackpunkt bezüglich des Nachweises der Existenz und Eindeutigkeit des Streckenmittelpunktes besteht darin, dass unsere derzeitige Theorie noch nicht genügend Punkte überhaupt zu Verfügung stellt. Momentan muss unser Raum nicht mehr als 4 Punkte enthalten. Nach Axiom I.7 müssen diese nicht komplanar sein, woraus folgt, dass je drei von ihnen nicht auf ein und derselben Geraden liegen.
+
Der Knackpunkt bezüglich des Nachweises der Existenz und Eindeutigkeit des Streckenmittelpunktes besteht darin, dass unsere derzeitige Theorie noch nicht genügend Punkte zu Verfügung stellt. Momentan muss unser Raum nicht mehr als 4 Punkte enthalten. Nach Axiom I.7 dürfen diese vier Punkte nicht komplanar sein, woraus folgt, dass je drei von ihnen nicht auf ein und derselben Geraden liegen. Damit könnte eine durch zwei verschiedene dieser vier Punkte eindeutig bestimmte Strecke gar keinen Mittelpunkt haben, denn dieser müsste entsprechend Definition III.1  bezüglich unserer zwei Endpunkte auf derselben Geraden liegen.

Version vom 31. Mai 2010, 12:44 Uhr

Inhaltsverzeichnis

Der Mittelpunkt einer Strecke

Wir wissen nun, dass eine offene Strecke \overline{AB} die Menge aller Punkte ist, die zwischen \ A und \ B liegen. Vereinigt man diese Menge mit der Menge der beiden Endpunkte \ A und \ B, so hat man die gesamte Strecke \overline{AB}. Zu unseren grundlegenden Vorstellungen von Strecken gehört, dass jede Strecke \overline{AB} einen Mittelpunkt \ M hat. \ M wäre der Punkt auf \overline{AB}, der sowohl zu \ A als auch zu \ B denselben Abstand \frac{| \overline{AB} |}{2} hat.

Definition III.1: (Mittelpunkt einer Strecke)
Wenn ein Punkt \ M der Strecke \overline{AB} ...


Was das Definieren angeht, werden wir langsam vorsichtig. Definieren dürfen wir alles was wir wollen. Wir müssen uns dann allerdings die Frage nach Sinn und Korrektheit unserer Definition gefallen lassen. Von beidem dürften wir bezüglich Definition III.1 überzeugt sein, weshalb wir den folgenden Satz formulieren:

Satz III.1: (Existenz und Eindeutigkeit des Mittelpunkte einer Strecke)
Jede Strecke hat genau einen Mittelpunkt.
Beweis der Existenz und Eindeutigkeit des Mittelpunktes einer Strecke
Die Materie erscheint einsichtig und einfach. Übungsaufgabe?? Nichts ist einfach. Mit den bisher bereitgestellten axiomatischen Grundlagen unserer Geometrie wird es Ihnen nicht gelingen, etwa zu zeigen, dass jede Strecke einen Mittelpunkt besitzt.

Beweis dafür, dass momentan der Beweis von Satz III.1 nicht geführt werden kann

Der Knackpunkt bezüglich des Nachweises der Existenz und Eindeutigkeit des Streckenmittelpunktes besteht darin, dass unsere derzeitige Theorie noch nicht genügend Punkte zu Verfügung stellt. Momentan muss unser Raum nicht mehr als 4 Punkte enthalten. Nach Axiom I.7 dürfen diese vier Punkte nicht komplanar sein, woraus folgt, dass je drei von ihnen nicht auf ein und derselben Geraden liegen. Damit könnte eine durch zwei verschiedene dieser vier Punkte eindeutig bestimmte Strecke gar keinen Mittelpunkt haben, denn dieser müsste entsprechend Definition III.1 bezüglich unserer zwei Endpunkte auf derselben Geraden liegen.

Von „http://geometrie.zum.de/index.php?title=Streckenantragen_oder_das_Axiom_vom_Lineal&oldid=1350“