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?

Ich würde diesen Schritt einfach mit Definition Halbgerade begründen, da steckt es ja mit drin: "Gegeben seien zwei verschiedene Punkte \ A und \ B. Unter dem Strahl bzw. der Halbgeraden \ AB^+ versteht man die Strecke \overline{AB} vereinigt mit der Menge aller der Punkte, die man erhält, wenn man \overline{AB} über \ B hinaus verlängert". --Principella 15:14, 26. Jul. 2010 (UTC)