Streckenantragen oder das Axiom vom Lineal: Unterschied zwischen den Versionen

Version vom 31. Mai 2010, 13:00 Uhr

Der Mittelpunkt einer Strecke

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

Definition III.1: (Mittelpunkt einer Strecke)

Wenn ein Punkt der Strecke ...

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