Lösung von Aufgabe 6.3

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:

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)