Streckenantragen oder das Axiom vom Lineal

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.