Quelltext der Seite Lösung von Aufg. 7.4 (SoSe 11)

Satz I: Je drei nicht kollineare Punkte sind paarweise verschieden.

# Wir formulieren Satz I neu und beginnen mit „Es seien <math>A</math>, <math>B</math> und <math>C</math> drei Punkte.“ Ergänzen Sie: „Wenn <math>A</math>,<math>B</math> und <math>C</math> … , dann … .“
# Beweisen Sie Satz I indirekt.
# Bilden Sie die Kontraposition von Satz I.
# Beweisen Sie auch die Kontraposition von Satz I.
# Formulieren Sie die Umkehrung von Satz I. 
# Gilt auch die Umkehrung von Satz I?


[[Category:Einführung_Geometrie]]
<br /><br />
1. Es seien <math>A</math>, <math>B</math> und <math>C</math> drei Punkte. Wenn <math>A</math>,<math>B</math> und <math>C</math> nicht kollinear sind , dann sind sie paarweise verschieden.<br />
2.  Voraussetzung: nkoll (<math>A</math>, <math>B</math>, <math>C</math>)<br />Behauptung: <math>A</math>, <math>B</math> und <math>C</math> paarweise verschieden<br />Annahme (für indirekten Beweis): zwei der drei Punkte sind NICHT  verschieden, also identisch, sagen wir mal, <math>A</math> und <math>B</math><br />
Aus Axiom I/1 folgt, dass es genau eine Gerade gibt, der <math>A</math> und der dritte Punkt <math>C</math> angehören.<br />
Da <math>A</math> aber mit <math>B</math> identisch ist (Annahme), gehört <math>B</math> auch dieser Geraden <math>AC</math> an.<br />
Da es also eine Gerade gibt, der alle drei Punkte angehören, sind sie kollinear, was ein '''Widerspruch''' zur Voraussetzung ist.<br />
Das gleiche gilt, wenn ich <math>B</math> und <math>C</math> oder <math>A</math> und <math>C</math> in der Annahme identisch setze.
Ich habe das Gefühl, hier viele Schritte gemacht zu haben, die gar nicht notwendig sind - und auch beim nächsten bin ich mir unsicher, ob der überhaupt gebraucht wird:
Falls <math>A</math>, <math>B</math> und <math>C</math> identisch sind, kann ich einen vierten Punkt wählen, durch den und die drei identischen eine Gerade legen und schon wieder gibt es eine Gerade, die alle drei Punkte enthält und damit einen Widerspruch zur Voraussetzung erzeugt.<br />
3. Kontraposition: Es seien <math>A</math>, <math>B</math> und <math>C</math> drei Punkte. Wenn <math>A</math>, <math>B</math> und <math>C</math> nicht paarweise verschieden sind , dann sind sie kollinear.<br />
keine Zeit für 4., gleich kommen die Simpsons ;-), ist aber doch im Grunde der Widerspruchsbeweis von oben, oder?<br />
5. Umkehrung: Es seien <math>A</math>, <math>B</math> und <math>C</math> drei Punkte. Wenn <math>A</math>,<math>B</math> und <math>C</math> paarweise verschieden sind, dann sind sie nicht kollinear.<br />
6. Nein, gilt nicht: drei verschiedene Punkte auf einer Geraden sind das Gegenbeispiel   --[[Benutzer:WikiNutzer|WikiNutzer]] 20:26, 24. Mai 2011 (CEST)<br /><br />