Lösung von Aufgabe 7.1

Aus Geowiki

Beweisen Sie: Zu jeder Strecke existiert genau eine Strecke mit und .

Lösung --Schnirch 10:03, 1. Jul. 2010 (UTC)

Voraussetzung: Strecke
Behauptung: es existiert genau eine Strecke mit und

Beweis

Nr.	Beweisschritt	Begründung
(I)	es ex. genau ein Punkt mit	Axiom III.1
(I)	existiert und ist eindeutig	(I), Def. Strecke
(II)		Rechnen in und > 1
(III)		(III), Def. Zw
(VI)		(IV)

vorangegangene Diskussion

mal ein Anfang:
Behauptung: es existiert genau eine Strecke mit und
Es müssen zwei Beweise geführt werden:
1. Existenz
2. Eindeutigkeit

Beweis 1:

Beweis

Nr.	Beweisschritt	Begründung
(I)	es ex. d : d=	Axiom II.1
(II)	es ex. d*: d*= =	Axiom II.1, Rechnen in
(III)	d < d*	und d sind positiv
(VI)

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