Diskussion:Lösung von Aufgabe 7.1

Voraussetzung: Strecke $\overline{AB}\subset AB^+$
Behauptung: es existiert genau eine Strecke $\overline{AB^{*}}$ mit $\left| AB^{*} \right| = \pi \left| AB \right|$ und $\overline{AB} \subset \overline{AB^{*}}$

So steht es in der Lösung. Aber wie kann ich von dieser Voraussetzung ausgehen? Meines Erachtens ist die Voraussetzung, dass eine Strecke $\overline{AB}$ existiert und damit fertig, oder? --Maude001 09:05, 25. Jul. 2010 (UTC) P.S. Natürlich ist $\overline{AB}\subset AB^+$ logisch, aber kann man denn von logischen Dingen ausgehen, ohne zu Begründen?