Lösung von Aufg. 9.2 (SoSe 11)

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}$.