Lösung von Aufg. 9.1 (SoSe 11)

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

Kann mir jemand helfen? Ich weiß nicht, was Voraussetzung und was Behauptung ist in diesem Beweis. Kann es sein, dass die Behauptung aus zwei Teilen besteht 1) $\left| AB^{*} \right| = \pi \left| AB \right|$ und 2) $\overline{AB} \subset \overline{AB^{*}}$ ?

Verwendet man hier das Abstandsaxiom und ist dabei der Abstand d = $\pi \left| AB \right|$ ?

Vielen Dank schonmal :) --Bubble 17:36, 7. Jun. 2011 (CEST)

Ich würde sagen die Vor: $\overline{AB}$ Und du hast recht, es sind zwei Behauptungen. Aber ich habe sie in einem Beweis bewiesen, da man von der ersten Beh auf die zweite Beh kommt. Aber sicher bin ich mir auch nicht.--Vollyschwamm 19:01, 7. Jun. 2011 (CEST)