Lösung von Aufgabe 6.3: Unterschied zwischen den Versionen

Version vom 4. Juni 2010, 18:31 Uhr

Inhaltsverzeichnis

1 Satz:
2 Beweis
- 2.1 zu zeigen
- 2.2 Annahme:
3 Beweis
4 Beweis der Kontraposition

Satz:

Wenn vier Punkte nicht komplanar sind, sind je drei von ihnen nicht kollinear.

Formulieren Sie den Satz noch einmal, ohne die Bezeichnungen komplanar und kollinear zu verwenden.
Formulieren Sie den Satz noch einmal, ohne wenn-dann zu gebrauchen.
Beweisen Sie den Satz. Hier ein Anfang für den Beweis:

Beweis

Es seien $\ A, B, C$ und $\ D$ drei Punkte, die nicht komplanar sind.

zu zeigen

...

Annahme:

Es gibt drei der Punkte vier Punkte $\ A, B, C, D$ , die kollinear sind. Es mögen dieses o.B.d.A. die Punkte ...

Wenn es vier Punkte gibt, bei denen mehr als eine Ebene aufgespannt werden, so befinden sich je drei Punkte nicht auf ein und derselben Geraden.

Bei vier zueinander nicht komplanaren Punkten gibt es immer drei nicht kollineare Punkte.

...

Beweis

Voraussetzung:

Es seien A, B, C, D vier Punkte, mit nkomp(A,B,C,D)

Behauptung:

Je drei von den Punkten sind nicht kollinear

Annahme:

Es gibt drei der vier Punkte, die kollinear sind. Es mögen diese o.B.d.A. die Punkte A,B und C sein.

Beweis:

Beweisschritt	Begründung
1) A,B,C Element von g 2)D nicht Element von g 3) Es Existiert eine Ebene E mit A,B,D 4)komp(A,B,D) 5)Widerspruch zur Voraussetzung, Annahme ist zu verwerfen. analog A,C,D und B,C,D	1)koll(A,B,C) 2)nkoll(A,B,D) o.B.d.A. 3) Axiom I/4 4)Definition komplanar und 3)

--Skellig 22:17, 1. Jun. 2010 (UTC)

Hier noch ein Versuch, das ganze grafisch darzustellen. Sobald drei Punkte kollinear sind, gibt es nur noch eine Ebene, nämlich die mit der jeweiligen Gerade (auf der die drei kollinearen Punkte liegen) und der vierte Punkt. Man muss sich die Grafik dreidimensional vorstellen, deswegen wurden auch Farben gewählt, die an sich gegen die Genfer Konvention verstoßen. Der Punkt D (o.B.d.A.) "schwebt" über der Ebene $\Epsilon$ .
--Heinzvaneugen

Beweis der Kontraposition

Ich versuche zu beweisen, dass gilt: $\operatorname{koll}(A,B,C,D) \Rightarrow \operatorname{komp}(A,B,C,D)$
Das ist ja die Kontraposition zu der Aussage: Wenn vier Punkte nicht komplanar sind, dann sind je drei davon nicht kollinear.

1.Fall: $\operatorname{koll}(A,B,C,D)$

Schritt	Begründung
1) $\operatorname{koll}(A,B,C,D)$	Voraussetzung
2)Es gibt genau eine Gerade $\ g$ mit $A,B,C,D \in g$	(1)
3)Es gibt eine Ebene $\ E$ mit $A,B \in E$	Satz I/7
4) $A,B \in g \land A,B, \in E$	(2),(3)
5) $\operatorname{komp}(A,B,C,D)$	(4), Axiom I/5

2.Fall: $\operatorname{nkoll}(A,B,C,D)$

Schritt	Begründung
1) $\operatorname{koll}(A,B,C)$	Voraussetzung, Punktauswahl o.B.d.A.
2) $\operatorname{nkoll}(A,B,D)$	Voraussetzung, Punktauswahl o.B.d.A.
3)Es gibt genau eine Ebene $\ E$ mit $A,B,D \in E$	(2), Axiom I/4
4) $C \in E$	(1),(3), Axiom I/5
5) $(A,B,C,D) \in E$	(3),(4)
6) $\operatorname{komp}(A,B,C,D)$	(5)

vgl. Diskussion:Lösung von Aufgabe 6‎ (aus Woche 5)

@@ Zeile 47: / Zeile 47: @@
 <ggb_applet width="1159" height="554"  version="3.2" ggbBase64="UEsDBBQACAAIAIAQxDwAAAAAAAAAAAAAAAAMAAAAZ2VvZ2VicmEueG1s7VrNcuI4ED7vPIXKdxxLNmCqIFP5OWyqsjtbldk57CUl28JoY2TWlhPIs+zb7IttS7KNMT8zZCAZUsPFSGqk7v66+2sBw4/zaYIeWZbzVIwsbDsWYiJMIy7ikVXIcce3Pp5/GMYsjVmQUTROsymVI8u1iaXmC37+4ZdhPkmfEE20yBfOnkaWzApmoXyWMRrlE8akmR7TJId5Wsx5wmm2+BT8zUKZLxfMHjdiVshqk3Aa3fK8Gp7p82YJl9f8kUcsQ0kajqxeFzSHd19YJnlIk5HlOWaGjCzSWoQpV61O0ow/p0Iq8eXmY5hBKOfPDBxC1NzwTNs5ZEWY8IhToYzReoAQQk88khOQxVjtyXg8AWV72DPbhWmaRXeLXLIpmv/FsnRkdYivHL0wo67rqFEOisGJXT1YNEd6G/Z4x6QEWHJE52zpsTjj0crgJr9Mk+XULOVCXtGZLDKNqVtO3cmFOgDOypTCFyJOWDlHwOcTFj4E6fzOeME1W39ezPRHtEJBfJUmaYYy5d8uCJTPwDy1jNK0lnK0jKMlyj3UpvU6HhAtoZ+BeWqphAujWmk5rqzGTnUMz5GaUG6EUKyNT2jAAFsLFYLL22oAMfBQmorNB34vpgHkQDMK6j3xofYcnrXiZ/jAMsESEyQCsC3SIkePKhrNWVqRiIV8CkOzULqEKrj+BAXMbMTijFWKmxQyDtOrTjMQW9PDs0oJpUMOuoYSSgHYI5Ut//0bFCJGPZWyEtJlZP3KuHh+pIIVMRMWiqgEMVUKWMKmDDJH6iDRMVY768Kqq0SqM77K7XJ96XZY3hgwOrRoMptQmKlyIqELyP+mjXq/39Jo1XIqwIPaLMjCmdpAYTRjzMAry7BGM9hQJ0nD/dprOZqDCrbnQ2aOLN/GxGm8YItnUzv1J0x6qcqgdXBL7I17vuKoy/fgKM/uE+0ox3YP55qr9+Aa7NldrxU7OqKc/RwVptMpFRESdArH/pEmizgV2kFcUSeijko6RLEKKUSJcp/xTSGrdShCCVR5bMRCI0bh4Y6swBxYHrMBGXNg5ft6q9VyLSdQFQXLc80psske23Fs+K0JZJtjsEMaYOJ9wNwecTmL1ajWJTyEQZsDc7c9ewbnMsD6tt+uTQtVuog7aL58HW4dt293feK1aXaHmewfYWRyQ3Z8Cq1YyGUdXYmK/hshgfqYppJ1RntgbKZaiU/ic0ZFrlpKI9Ngym8EiJ4cQJ2+3deYDAApjYLr2u6g3wCnd7p4BKeHh7PO5oBOBxPb6Wl8Br5NiOfXAmtd6Y8LzyqDXr8HBq3Sp2dD3foOzrwF+FqEeW2Y8GKNKaPdbKgioXZidLwMWL1AHSL2se37zdh3TIPb6ULEr3e4Xt92vMYH8IES4SUgXa6BxPYAiZ0QSF174BlUiD1YRcskQIf0bewR/w3RWG8ux3ugMT4hNCBl+t12K6XLkd/u6zU0A2CXQW857x4dpZ2XgWvT5a9nT9nBEyMW3OPyOqDfwIUguscvuhKQI14JDLi6DwB4u/j49wHllyPH6kZzXhyuWwr85vreOVaBf4uLwakh9dpl/g0wiU4Nk87m23Rny3X6BG7T+1PF1u+N3PJ7oyVVkIoqyIuowj0iVeCuu/YLxfG/PTpmvO+26Cdh7E8YB2lVXhWsH6UZfRMuOUG43tdXTd/CJfVtfTeXeBWXECMY3bvl7xAv5BLvFbhE9Rita+XRiOQVgn2DOT+b2V0F6CD9yuth8s5/eDi1FNlC3Z3N3H1a1H3W/CuJ/vtU+fex8/8BUEsHCBHPzMY0BQAAcCYAAFBLAQIUABQACAAIAIAQxDwRz8zGNAUAAHAmAAAMAAAAAAAAAAAAAAAAAAAAAABnZW9nZWJyYS54bWxQSwUGAAAAAAEAAQA6AAAAbgUAAAAA" framePossible = "false" showResetIcon = "false" showAnimationButton = "true" enableRightClick = "false" errorDialogsActive = "true" enableLabelDrags = "false" showMenuBar = "false" showToolBar = "false" showToolBarHelp = "false" showAlgebraInput = "false" allowRescaling = "true" />
+<br />
+=== Beweis der Kontraposition ===
+Ich versuche zu beweisen, dass gilt: <math>\operatorname{koll}(A,B,C,D) \Rightarrow  \operatorname{komp}(A,B,C,D)</math><br />
+Das ist ja die Kontraposition zu der Aussage: Wenn vier Punkte nicht komplanar sind, dann sind je drei davon nicht kollinear.<br />
+<br />
+<u>1.Fall</u>: <math>\operatorname{koll}(A,B,C,D)</math>
+{| class="wikitable"
+|-
+| Schritt || Begründung
+|-
+|1)<math>\operatorname{koll}(A,B,C,D)</math>
+||Voraussetzung
+|-
+|2)Es gibt genau eine Gerade <math>\ g</math> mit <math>A,B,C,D \in g</math>
+||(1)
+|-
+|3)Es gibt eine Ebene <math>\ E</math> mit <math>A,B \in E</math>
+||Satz I/7
+|-
+|4)<math>A,B \in g \land A,B, \in E</math>
+||(2),(3)
+|-
+|5)<math>\operatorname{komp}(A,B,C,D)</math>
+||(4), Axiom I/5
+|}<br />
+<u>2.Fall</u>: <math>\operatorname{nkoll}(A,B,C,D)</math><br />
+{| class="wikitable"
+|-
+| Schritt || Begründung
+|-
+|1)<math>\operatorname{koll}(A,B,C)</math>
+||Voraussetzung, Punktauswahl o.B.d.A.
+|-
+|2)<math>\operatorname{nkoll}(A,B,D)</math>
+||Voraussetzung, Punktauswahl o.B.d.A.
+|-
+|3)Es gibt genau eine Ebene <math>\ E</math> mit <math>A,B,D \in E</math>
+||(2), Axiom I/4
+|-
+|4)<math>C \in E</math>
+||(1),(3), Axiom I/5
+|-
+|5)<math>(A,B,C,D) \in E</math>
+||(3),(4)
+|-
+|6)<math>\operatorname{komp}(A,B,C,D)</math>
+||(5)
+|}
+vgl. [[Diskussion:Lösung von Aufgabe 6‎]] (aus Woche 5)

Lösung von Aufgabe 6.3: Unterschied zwischen den Versionen

Version vom 4. Juni 2010, 18:31 Uhr

Inhaltsverzeichnis

Satz:

Beweis

zu zeigen

Annahme:

Beweis

Voraussetzung:

Behauptung:

Annahme:

Beweis der Kontraposition

Navigationsmenü

Meine Werkzeuge

Namensräume

Varianten

Ansichten

Aktionen

Suche

Navigation

Werkzeuge