Lösung von Aufgabe 7.1

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^{*}}$.

mal ein Anfang:
Behauptung: es existiert genau eine Strecke $\overline{AB^{*}}$ mit $\left| AB^{*} \right| = \pi \left| AB \right|$ und $\overline{AB} \subset \overline{AB^{*}}$
Es müssen zwei Beweise geführt werden:
1. Existenz
2. Eindeutigkeit

Beweis 1:

Beweis

Nr.	Beweisschritt	Begründung
(I)	es ex. d $\in \mathbb{R}^+$: d= $\left| AB \right|$	Axiom II.1
(II)	es ex. d*$\in \mathbb{R}^+$: d*= $\pi \left| AB \right|$ =$\left| AB^{*} \right|$	Axiom II.1, Rechnen in $\mathbb{R}$
(III)	d < d*	$\pi$ und d sind positiv
(VI)

Irgendwie verstricke ich mich. Wer mag weitermachen, oder neu anfangen? --Maude001 17:21, 11. Jun. 2010 (UTC)