Lösung von Aufg. 8.2

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