Lösung von Aufgabe 6.3: Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
(→‎Lösung:)
 
(12 dazwischenliegende Versionen von 5 Benutzern werden nicht angezeigt)
Zeile 5: Zeile 5:
 
# Formulieren Sie den Satz noch einmal, ohne ''wenn-dann'' zu gebrauchen.
 
# Formulieren Sie den Satz noch einmal, ohne ''wenn-dann'' zu gebrauchen.
 
# Beweisen Sie den Satz. Hier ein Anfang für den Beweis:
 
# Beweisen Sie den Satz. Hier ein Anfang für den Beweis:
 +
 +
== Lösung: --[[Benutzer:Schnirch|Schnirch]] 12:46, 16. Jun. 2010 (UTC)==
 +
zu 1) Wenn vier Punkte nicht in einer Ebene liegen, dann gibt es keine drei, die auf einer Geraden liegen.<br />
 +
zu 2) Von vier Punkten, die nicht komplanar sind, gibt es keine drei, die kollinear sind.<br />
 +
zu 3):<br />
 +
Voraussetzung: <math>\operatorname{nkomp}(A,B,C,D)</math><br />
 +
Behauptung: Je drei der Punkte <math>A,B,C,D </math> sind nicht kollinear.<br />
 +
Annahme: Es gibt drei kollineare Punkte, oBdA sei <math>\operatorname{koll}(A,B,C)</math><br />
 +
Beweis:<br />
 +
 +
{| class="wikitable"
 +
|-
 +
| Schritt || Begründung
 +
|-
 +
|1) Es gibt eine Gerade <math>\ g</math> mit <math>A,B,C \in g</math>
 +
||Annahme
 +
|-
 +
|Fall 1: <math>D\notin g </math>
 +
||
 +
|-
 +
|2) Es gibt eine Ebene <math>\ E</math> mit <math>A,B,D \in E</math>
 +
||Axiom I/4
 +
|-
 +
|3) <math>C \in E</math>
 +
||(1),(2), Axiom I/5
 +
|-
 +
|4) <math>(A,B,C,D) \in E</math>
 +
||(2),(3)
 +
|-
 +
|5) <math>\operatorname{komp}(A,B,C,D)</math>
 +
||(4)
 +
|-
 +
|Widerspruch zur Voraussetzung
 +
||
 +
|-
 +
|Fall 2: <math>D\in g </math>
 +
||
 +
|-
 +
|6) <math>\operatorname{koll}(A,B,C,D)</math>
 +
||
 +
|-
 +
|7) es gibt einen Punkt <math>F</math>, der nicht auf der Geraden <math>g</math> liegt
 +
||Axiom I/3
 +
|-
 +
|8) es existiert genau eine Ebene <math>E</math> mit <math>(A,B,F) \in E</math>
 +
||Axiom I/4
 +
|-
 +
|9) mit <math>A,B \in E</math> gilt auch <math>C,D \in E</math>
 +
||Axiom I/5
 +
|-
 +
|10) <math>\operatorname{komp}(A,B,C,D)</math>
 +
||(9)
 +
|-
 +
||Widerspruch zur Voraussetzung
 +
|-
 +
|}
 +
Annahme ist zu verwerfen! Behauptung stimmt!
 +
 +
== vorangegangene Diskussion:==
 +
 
===Beweis===
 
===Beweis===
 
::Es seien <math>\ A, B, C</math> und <math>\ D</math> drei Punkte, die nicht komplanar sind.
 
::Es seien <math>\ A, B, C</math> und <math>\ D</math> drei Punkte, die nicht komplanar sind.
Zeile 19: Zeile 79:
  
 
# ...
 
# ...
 +
 
===Beweis===
 
===Beweis===
 
====Voraussetzung:====
 
====Voraussetzung:====
Zeile 44: Zeile 105:
 
Man muss sich die Grafik dreidimensional vorstellen, deswegen wurden auch Farben gewählt, die an sich gegen die Genfer Konvention verstoßen.
 
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 <math>\Epsilon</math>.
 
Der Punkt D (o.B.d.A.) "schwebt" über der Ebene <math>\Epsilon</math>.
−
 
+
<br /> --[[Benutzer:Heinzvaneugen|Heinzvaneugen]]
  
 
<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" />
 
<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 />
  
−
<br /> --[[Benutzer:Heinzvaneugen|Heinzvaneugen]]
+
: Schick! Es wäre natürlich noch schicker, wenn das Ganze tatsächlich dreidimensional wäre. Vielleicht haben Sie Lust, sich an einer dreidimensionalen Modellierung zu versuchen? GeoGebra unterstützt in gewissem Maße Dreidimensionalität - siehe [http://www.geogebra.org/de/wiki/index.php/3D_Geometrie hier] --[[Benutzer:Spannagel|Spannagel]] 22:06, 7. Jun. 2010 (UTC)
 +
 
 +
=== Beweis der Kontraposition ===
 +
Ich versuche zu beweisen, dass gilt: <s>koll(A,B,C,D)</s> (Das war Quatsch!)<br />
 +
<math>\operatorname{koll}(A,B,C) \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, <s>Punktauswahl o.B.d.A.</s> (1)
 +
|-
 +
|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)<br />
 +
--[[Benutzer:Sternchen|Sternchen]] 17:37, 4. Jun. 2010 (UTC)
 +
 
 +
== zur Kontraposition ==
 +
Wir gehen von 4 Punkten <math>\ A, B, C, D</math> aus.
 +
=== noch einmal die Voraussetzung ===
 +
Es gibt keine Ebene, die alle 4 Punkte  <math>\ A, B, C, D</math> enthält.
 +
Das ist in Worten ausgedrückt, was der Mathematiker kurz als <math>\operatorname{nKomp} \left( A, B, C, D \right)</math> schreibt.
 +
 
 +
=== noch einmal die Behauptung ===
 +
Es gibt keine Gerade, die drei der vier Punkte <math>\ A, B, C, D</math> enthält.
 +
=== Die Umkehrung ===
 +
Wenn es keine Gerade gibt, die drei der vier Punkte <math>\ A, B, C, D</math> enthält, dann sind die vier Punkte <math>\ A, B, C, D</math> nicht komplanar.
 +
=== Die Kontraposition ===
 +
Wir negieren die Voraussetzung der Umkehrung:<br />
 +
''Es gibt keine'' wird zu ''Es gibt eine'' (Doppelte Verneinung: Es gilt nicht, dass es keine Gerade gibt ...)<br />
 +
Also: Es gibt eine Gerade, die drei der vier Punkte <math>\ A, B, C, D</math> enthält<br />
 +
Wir negieren die Behauptung der Umkehrung: <br />
 +
die vier Punkte <math>\ A, B, C, D</math> sind nicht nicht komplanar<br />
 +
also: die vier Punkte sind komplanar<br />
 +
Alles zusammen: Wenn es eine Gerade gibt, die drei der vier Punkte <math>\ A, B, C, D</math> enthält, dann sind die vier Punkte <math>\ A, B, C, D</math> komplanar.<br />
 +
oder so: (komplanar übersetzt)<br />
 +
Wenn es eine Gerade gibt, die drei der vier Punkte <math>\ A, B, C, D</math> enthält, dann gibt es (auch) eine Ebene die alle vier Punkte <math>\ A, B, C, D</math> enthält.
 +
Anders formuliert:
 +
Wenn (o.B.d.A.) <math>\operatorname{Koll} \left( A, B, C \right)</math>, dann <math>\operatorname{Komp} \left( A, B, C , D\right)</math>
 +
 
 +
Erkennen Sie den Zusammenhang mit dem indirekten Beweis?
 +
 
 +
Wichtig: Voraussetzung und Behauptung unseres Satzes (egal ob als Satz oder Umkehrung) sind letztlich negierte Existenzaussagen.
 +
Diese Existenzaussagen sind bei der Bildung der Kontraposition zu negieren.
 +
 
 +
Hinweis: Häufig ist es sinnvoll, beim Beweis von Sätzen die im Satz verwendeten Begriffe (egal ob Objekt- oder Relationsbegriff) zu übersetzen. Im speziellen Fall war das:<br />
 +
 
 +
* <math>\operatorname{nKomp} \left( A, B, C, D \right)</math> : Es existiert keine Ebene ....
 +
* <math>\operatorname{nKoll} \left( A, B, C \right)</math> :Es existiert keine Gerade ...
 +
 
 +
noch ein persönlicher Kommentar: Ich habe lange überlegt, ob ich das jetzt schon schreibe oder noch ein wenig warte. Ich hab mich dann doch entschieden, den Fehler in der Kontraposition möglichst schnell zu verdeutlichen. Lassen Sie sich um Himmels Willen nicht entmutigen. Ihr Beitrag ist für den weiteren Verlauf der Lehrveranstaltung unglaublich wichtig. Wir wissen jetzt, dass wir  Existenz- <math> \exists</math> und Allaussagen <math>\forall</math> sowie deren Verneinungen deutlicher hervorheben und expliziter behandeln müssen und Ihnen wird es mit Sicherheit nicht noch einmal passieren. Mathematik lernt man nur durch die aktive Auseinandersetzung mit der Materie.
 +
 
 +
 
 +
Ich erinnere mich immer wieder an meine erste Mathematikvorlesung überhaupt (Ich kam einen Monat zu spät zum Studium): Es war eine Analysisvorlesung: Existenz und Eindeutigkeit der n-ten Wurzel. Ich dachte ich kapier das nie.
 +
 
 +
 
 +
Man merkt an allen Ecken und Enden das Fehlen der Lehrveranstaltung'' Einführung in die Mathematik'' (in den 90ger Jahren gab es sowas).
 +
--[[Benutzer:*m.g.*|*m.g.*]] 17:08, 7. Jun. 2010 (UTC)--[[Benutzer:*m.g.*|*m.g.*]] 17:08, 7. Jun. 2010 (UTC)
 +
<br />
 +
<br />
 +
:So leicht lass ich mich bestimmt nicht entmutigen, [[Benutzer:*m.g.*|*m.g.*]], aber nicht um des Himmels Willen, sondern weil ich wissen will, was ich falsch gemacht habe. Sonst macht das Ganze doch nicht halb so viel Freude!
 +
:Ich hab jetzt oben was geändert. War es das, was Sie gemeint haben? Ist der Rest richtig?
 +
:--[[Benutzer:Sternchen|Sternchen]] 19:29, 7. Jun. 2010 (UTC)

Aktuelle Version vom 16. Juni 2010, 13:46 Uhr

Inhaltsverzeichnis

Satz:

Wenn vier Punkte nicht komplanar sind, sind je drei von ihnen nicht kollinear.
  1. Formulieren Sie den Satz noch einmal, ohne die Bezeichnungen komplanar und kollinear zu verwenden.
  2. Formulieren Sie den Satz noch einmal, ohne wenn-dann zu gebrauchen.
  3. Beweisen Sie den Satz. Hier ein Anfang für den Beweis:

Lösung: --Schnirch 12:46, 16. Jun. 2010 (UTC)

zu 1) Wenn vier Punkte nicht in einer Ebene liegen, dann gibt es keine drei, die auf einer Geraden liegen.
zu 2) Von vier Punkten, die nicht komplanar sind, gibt es keine drei, die kollinear sind.
zu 3):
Voraussetzung: \operatorname{nkomp}(A,B,C,D)
Behauptung: Je drei der Punkte A,B,C,D sind nicht kollinear.
Annahme: Es gibt drei kollineare Punkte, oBdA sei \operatorname{koll}(A,B,C)
Beweis:

Schritt Begründung
1) Es gibt eine Gerade \ g mit A,B,C \in g Annahme
Fall 1: D\notin g
2) Es gibt eine Ebene \ E mit A,B,D \in E Axiom I/4
3) C \in E (1),(2), Axiom I/5
4) (A,B,C,D) \in E (2),(3)
5) \operatorname{komp}(A,B,C,D) (4)
Widerspruch zur Voraussetzung
Fall 2: D\in g
6) \operatorname{koll}(A,B,C,D)
7) es gibt einen Punkt F, der nicht auf der Geraden g liegt Axiom I/3
8) es existiert genau eine Ebene E mit (A,B,F) \in E Axiom I/4
9) mit A,B \in E gilt auch C,D \in E Axiom I/5
10) \operatorname{komp}(A,B,C,D) (9)
Widerspruch zur Voraussetzung

Annahme ist zu verwerfen! Behauptung stimmt!

vorangegangene Diskussion:

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 ...


  1. 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.
  1. Bei vier zueinander nicht komplanaren Punkten gibt es immer drei nicht kollineare Punkte.
  1. ...

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


Schick! Es wäre natürlich noch schicker, wenn das Ganze tatsächlich dreidimensional wäre. Vielleicht haben Sie Lust, sich an einer dreidimensionalen Modellierung zu versuchen? GeoGebra unterstützt in gewissem Maße Dreidimensionalität - siehe hier --Spannagel 22:06, 7. Jun. 2010 (UTC)

Beweis der Kontraposition

Ich versuche zu beweisen, dass gilt: koll(A,B,C,D) (Das war Quatsch!)
\operatorname{koll}(A,B,C) \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. (1)
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)
--Sternchen 17:37, 4. Jun. 2010 (UTC)

zur Kontraposition

Wir gehen von 4 Punkten \ A, B, C, D aus.

noch einmal die Voraussetzung

Es gibt keine Ebene, die alle 4 Punkte \ A, B, C, D enthält. Das ist in Worten ausgedrückt, was der Mathematiker kurz als \operatorname{nKomp} \left( A, B, C, D \right) schreibt.

noch einmal die Behauptung

Es gibt keine Gerade, die drei der vier Punkte \ A, B, C, D enthält.

Die Umkehrung

Wenn es keine Gerade gibt, die drei der vier Punkte \ A, B, C, D enthält, dann sind die vier Punkte \ A, B, C, D nicht komplanar.

Die Kontraposition

Wir negieren die Voraussetzung der Umkehrung:
Es gibt keine wird zu Es gibt eine (Doppelte Verneinung: Es gilt nicht, dass es keine Gerade gibt ...)
Also: Es gibt eine Gerade, die drei der vier Punkte \ A, B, C, D enthält
Wir negieren die Behauptung der Umkehrung:
die vier Punkte \ A, B, C, D sind nicht nicht komplanar
also: die vier Punkte sind komplanar
Alles zusammen: Wenn es eine Gerade gibt, die drei der vier Punkte \ A, B, C, D enthält, dann sind die vier Punkte \ A, B, C, D komplanar.
oder so: (komplanar übersetzt)
Wenn es eine Gerade gibt, die drei der vier Punkte \ A, B, C, D enthält, dann gibt es (auch) eine Ebene die alle vier Punkte \ A, B, C, D enthält. Anders formuliert: Wenn (o.B.d.A.) \operatorname{Koll} \left( A, B, C \right), dann \operatorname{Komp} \left( A, B, C , D\right)

Erkennen Sie den Zusammenhang mit dem indirekten Beweis?

Wichtig: Voraussetzung und Behauptung unseres Satzes (egal ob als Satz oder Umkehrung) sind letztlich negierte Existenzaussagen. Diese Existenzaussagen sind bei der Bildung der Kontraposition zu negieren.

Hinweis: Häufig ist es sinnvoll, beim Beweis von Sätzen die im Satz verwendeten Begriffe (egal ob Objekt- oder Relationsbegriff) zu übersetzen. Im speziellen Fall war das:

  • \operatorname{nKomp} \left( A, B, C, D \right) : Es existiert keine Ebene ....
  • \operatorname{nKoll} \left( A, B, C \right) :Es existiert keine Gerade ...

noch ein persönlicher Kommentar: Ich habe lange überlegt, ob ich das jetzt schon schreibe oder noch ein wenig warte. Ich hab mich dann doch entschieden, den Fehler in der Kontraposition möglichst schnell zu verdeutlichen. Lassen Sie sich um Himmels Willen nicht entmutigen. Ihr Beitrag ist für den weiteren Verlauf der Lehrveranstaltung unglaublich wichtig. Wir wissen jetzt, dass wir Existenz- \exists und Allaussagen \forall sowie deren Verneinungen deutlicher hervorheben und expliziter behandeln müssen und Ihnen wird es mit Sicherheit nicht noch einmal passieren. Mathematik lernt man nur durch die aktive Auseinandersetzung mit der Materie.


Ich erinnere mich immer wieder an meine erste Mathematikvorlesung überhaupt (Ich kam einen Monat zu spät zum Studium): Es war eine Analysisvorlesung: Existenz und Eindeutigkeit der n-ten Wurzel. Ich dachte ich kapier das nie.


Man merkt an allen Ecken und Enden das Fehlen der Lehrveranstaltung Einführung in die Mathematik (in den 90ger Jahren gab es sowas). --*m.g.* 17:08, 7. Jun. 2010 (UTC)--*m.g.* 17:08, 7. Jun. 2010 (UTC)

So leicht lass ich mich bestimmt nicht entmutigen, *m.g.*, aber nicht um des Himmels Willen, sondern weil ich wissen will, was ich falsch gemacht habe. Sonst macht das Ganze doch nicht halb so viel Freude!
Ich hab jetzt oben was geändert. War es das, was Sie gemeint haben? Ist der Rest richtig?
--Sternchen 19:29, 7. Jun. 2010 (UTC)
Von „http://geometrie.zum.de/index.php?title=Lösung_von_Aufgabe_6.3&oldid=1976“