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:

Definition: Halbgerade $AB^+$

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:16, 26. Jul. 2010 (UTC)