Lösung von Aufgabe 1.2 WS2010: Unterschied zwischen den Versionen

Version vom 20. Oktober 2010, 17:10 Uhr

Es seien $\ A, B, C$ drei paarweise verschiedene Punkte mit

(*) $\operatorname{Zw}(A, B, C)$ .

zu zeigen:

(**) $\operatorname{Zw}(A', B', C')$

Wir übersetzen zunächst (*):

$\ |AB| + |BC| = |AC|$

entsprechend (**) haben wir zu zeigen, dass $\ |A'B'| + |B'C'| = |A'C'|$ gilt.

Den Rest können Sie alleine ... .

Voraussetzung:	Existenz von A, B, C mit A ungleich B, B ungleich C , C ungleich A und Zw (A, B, C)
Behauptung:	$\ \|A'B'\| + \|B'C'\| = \|A'C'\|$

Nr.	Beweisschritt	Begründung
(I)	$\ \|AB\| + \|BC\| = \|AC\|$	Voraussetzung + Def. Zwischenrelation
(II)	$\ \|AB\| = \|A'B'\|; \|BC\| = \|B'C'\|;\|AC\| = \|A'C'\|$	(I) + Abstandsinvarianz der Bewegung (Def. Bewegung)
(III)	$\ \|A'B'\| + \|B'C'\| = \|A'C'\|$	(I)+(II) Rechnen mit rationalen Zahlen
(IV)	$\operatorname{Zw}(A', B', C')$	(III) + Def. Zwischenrelation

--Tja??? 17:56, 19. Okt. 2010 (UTC)

sehr gut, --*m.g.* 16:10, 20. Okt. 2010 (UTC)

@@ Zeile 46: / Zeile 46: @@
 | (III) + Def. Zwischenrelation
 |}--[[Benutzer:Tja???|Tja???]] 17:56, 19. Okt. 2010 (UTC)
+sehr gut, --[[Benutzer:*m.g.*|*m.g.*]] 16:10, 20. Okt. 2010 (UTC)