Lösung von Aufg. 7.4: Unterschied zwischen den Versionen

Version vom 16. Dezember 2010, 14:52 Uhr

Beweisen Sie: Jede Ebene enthält wenigstens drei paarweise verschiedene Punkte.

Vor: Ebene $\epsilon$
, nkomp(A,B,C,D) Beh: $\epsilon$ enthält weinigstens drei paarweise verschiedene Punkte

Fall 1:
3 der vier Punkte liegen in der Ebene $\epsilon$ $\rightarrow$ trivial

Fall 2:
2 der vier Punkte liegen in der Ebene $\epsilon$
$A \in\epsilon$ , $B \in\epsilon$
1) $A \in\epsilon$ , $B \in\epsilon$ , $C \notin\epsilon$ und $D \notin\epsilon$
2) $\operatorname{nkoll} \left( ABC \right)$ $\rightarrow$ $\delta_1$ ________Lemma 3 und Axiom I/4
3) $D \notin\delta_1$ __________________wegen nkomp(A,B,C,D)
4) $\operatorname{nkoll} \left( BCD \right)$ $\rightarrow$ $\delta_2$ ___________3)
5) $A \notin\delta_2$ ________________wegen nkomp(A,B,C,D)
6) $A \in\delta_2$ und $B \in\epsilon$ ____________2) und 4)
7) $\exists P$ , $P \in\epsilon$ , $A \in\delta_2$ ________6) und Axiom I/6

bleibt zu zeigen : $A\not\equiv P$ $\delta_1$ : $P \in\delta_1$ , $B \in\delta_1$ , $C \in\delta_1$
$\delta_2$ : $P \in\delta_2$ , math>C \in\delta_2 </math>, math>B \in\delta_2 </math>

daraus folgt $delta_1\equiv delta_2$ $\rightarrow$ komp(A,B,C,D) 8) Widerspruch zur Vorraussetzung nkomp(A,B,C,D)

@@ Zeile 1: / Zeile 1: @@
 Beweisen Sie: Jede Ebene enthält wenigstens drei paarweise verschiedene Punkte.<br />
-<u>Vor:</u> Ebene <math>\epsilon</math><br />
+<u>Vor:</u> Ebene <math>\epsilon</math><br />, nkomp(A,B,C,D)
 <u>Beh:</u> <math>\epsilon</math> enthält weinigstens drei paarweise verschiedene Punkte<br />
@@ Zeile 21: / Zeile 21: @@
 )<math>\exists P</math>,<math>P \in\epsilon </math>,<math>A \in\delta_2 </math>________6) und Axiom I/6
 bleibt zu zeigen : <math>A\not\equiv P</math>
+<u><math>\delta_1</math></u>: <math>P \in\delta_1 </math>, <math>B \in\delta_1 </math>, <math>C \in\delta_1 </math><br />
+<u><math>\delta_2</math></u>: <math>P \in\delta_2 </math>, math>C \in\delta_2 </math>, math>B \in\delta_2 </math> <br />
+daraus folgt <math>delta_1\equiv delta_2</math> <math>\rightarrow</math> komp(A,B,C,D)
+) Widerspruch zur Vorraussetzung nkomp(A,B,C,D)

Lösung von Aufg. 7.4: Unterschied zwischen den Versionen

Version vom 16. Dezember 2010, 14:52 Uhr

Navigationsmenü

Meine Werkzeuge

Namensräume

Varianten

Ansichten

Aktionen

Suche

Navigation

Werkzeuge