Lösung von Aufg. 8.1

Beweisen Sie: Zu jeder Strecke $\overline{AB}$ existiert genau eine Strecke $\overline{A{B}^{*}}$ mit $\left|A{B}^{*}\right|=\pi \left|AB\right|$ und $\overline{AB}\subset \overline{A{B}^{*}}$.

Vor: $\overline{AB}$ Beh: es existiert $\overline{A{B}^{*}}$