Lösung von Aufgabe 5.10 S SoSe 13

Aufgabe 5.10 Es seien $A, B, C, D$ vier paarweise verschiedene Punkte. Beweisen Sie: $\operatorname{nKomp}(A, B, C, D) \Rightarrow \operatorname{nKoll}(A, B, C)$ Lösung von Aufgabe 5.10 S SoSe 13 Lösung User --Illu13 00:24, 31. Mai 2013 (CEST) Je drei der vier Punkte dürfen nicht kollinear sein, da sie sonst mit dem vierten Punkt immer in ein und derselben Ebene liegen würden und somit komplanar wären. Dies ist aber ein Widerspruch zur Voraussetzung nkomp(A,B,C,D). Nach Axiom I/4 bilden die Punkte A,B,C eine Ebene E, welche Punkt D nicht enthält. Wenn Punkt D auch in dieser Ebene liegen würde, dann wären die vier Punkte wieder komplanar, was unserer Voraussetzung widersprechen würde. nkomp(A,B,C,D) $\Rightarrow$ (nach Definition I/4 und Axiom I/4) $\exists$ Ebene E: A,B,C $\in$ E $\wedge D \not\in E$ Annahme: koll(A,B,C) $\Rightarrow$ $\exists$ Gerade g: A,B,C $\in$ g D $\not\in$ g $\Rightarrow$ $\exists$ Ebene F: D $\in$ F $\wedge$ g $\in$ F $\Rightarrow$ A,B,C,D $\in$ F $\Rightarrow$ komp(A,B,C,D) $\Rightarrow$ Widerspruch zur Voraussetzung $\Rightarrow$ nkoll(A,B,C) q.e.d. --Illu13 00:24, 31. Mai 2013 (CEST) Lösung User ... Lösung User ... zurück zu Serie 5 SoSe 2013