Lösung von Aufgabe 5.10 S SoSe 13: Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
(Die Seite wurde neu angelegt: „<div style="margin:0; margin-right:4px; border:1px solid #27408B; padding: 1em 1em 1em 1em; background-color:#FFFF99; align:left;"> {|width=80%| style="background…“)
 
(→‎Lösung User --Illu13 00:24, 31. Mai 2013 (CEST))
 
(4 dazwischenliegende Versionen von 2 Benutzern werden nicht angezeigt)
Zeile 4: Zeile 4:
 
<!--- ---------------------------------------------------------------- --->
 
<!--- ---------------------------------------------------------------- --->
  
−
 
+
==Aufgabe 5.10==
 +
Es seien <math>A, B, C, D</math> vier paarweise verschiedene Punkte.<br />
 +
Beweisen Sie: <br />
 +
<math>\operatorname{nKomp}(A, B, C, D) \Rightarrow \operatorname{nKoll}(A, B, C)</math><br /><br />
 +
[[Lösung von Aufgabe 5.10 S SoSe 13]]
 
<br />
 
<br />
  
−
==Lösung User ...==
+
==Lösung User --[[Benutzer:Illu13|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) <math>\Rightarrow</math> (nach Definition I/4 und Axiom I/4) <math>\exists</math> Ebene E: A,B,C <math>\in</math> E <math>\wedge D \not\in  E</math>
 +
 
 +
Annahme: koll(A,B,C) <math>\Rightarrow</math> <math>\exists</math> Gerade g: A,B,C <math>\in</math> g
 +
 
 +
D <math>\not\in</math> g <math>\Rightarrow</math> <math>\exists</math> Ebene F: D <math>\in</math> F <math>\wedge</math> g <math>\in</math> F <math>\Rightarrow</math> A,B,C,D <math>\in</math> F <math>\Rightarrow</math> komp(A,B,C,D) <math>\Rightarrow</math> Widerspruch zur Voraussetzung
 +
 
 +
<math>\Rightarrow</math> nkoll(A,B,C)  q.e.d.
  
 +
--[[Benutzer:Illu13|Illu13]] 00:24, 31. Mai 2013 (CEST)
 +
===Bemerkung --[[Benutzer:*m.g.*|*m.g.*]] 23:45, 3. Jun. 2013 (CEST)===
 +
# Sie haben die Beweisidee erkannt und das Prinzip des Beweises gut in den ersten Worten illustriert.
 +
# nkomp(A,B,C,D) <math>\Rightarrow</math> (nach Definition I/4 und Axiom I/4) <math>\exists</math> Ebene E: A,B,C <math>\in</math> E <math>\wedge D \not\in  E</math>, <br />nach Definition I/4 hat hier nichts verloren, Sie können aus einer Definition nicht die Existenz von etwas schließen. Schreiben Sie doch einfacher, dass Sie davon ausgehen, dass D nicht in der Ebene ABC liegt. (eigentlich wäre hier eine Fallunterscheidung angesagt. s. Übung
 +
# Das sollten Sie noch einmal formulieren:<br />D <math>\not\in</math> g <math>\Rightarrow</math> <math>\exists</math> Ebene F: D <math>\in</math> F <math>\wedge</math> g <math>\in</math> F <math>\Rightarrow</math> A,B,C,D <math>\in</math> F <math>\Rightarrow</math> komp(A,B,C,D) <math>\Rightarrow</math> Widerspruch zur Voraussetzung
  
 
==Lösung User ...==
 
==Lösung User ...==

Aktuelle Version vom 3. Juni 2013, 22:49 Uhr

Inhaltsverzeichnis

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)

Bemerkung --*m.g.* 23:45, 3. Jun. 2013 (CEST)

  1. Sie haben die Beweisidee erkannt und das Prinzip des Beweises gut in den ersten Worten illustriert.
  2. 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,
    nach Definition I/4 hat hier nichts verloren, Sie können aus einer Definition nicht die Existenz von etwas schließen. Schreiben Sie doch einfacher, dass Sie davon ausgehen, dass D nicht in der Ebene ABC liegt. (eigentlich wäre hier eine Fallunterscheidung angesagt. s. Übung
  3. Das sollten Sie noch einmal formulieren:
    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

Lösung User ...

Lösung User ...

zurück zu Serie 5 SoSe 2013

Von „http://geometrie.zum.de/index.php?title=Lösung_von_Aufgabe_5.10_S_SoSe_13&oldid=23779“