Lösung von Aufg. 7.4 (SoSe 11): Unterschied zwischen den Versionen
Zeile 26: | Zeile 26: | ||
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 /> | 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 /> | + | |
+ | ---- | ||
+ | |||
+ | keine Zeit für 4., gleich kommen die Simpsons ;-), ist aber doch im Grunde der Widerspruchsbeweis von oben, oder? WikiNutzer hat an dieser Stelle schon viel gearbeitet und wir wollen ja nicht, dass er die Simpsons verpasst :) Vllt. könnte an dieser Stelle jemand anderes den Beweis führen... oder ist der Beweis wirklich identisch zu dem Beweis unter Punkt 2? --[[Benutzer:Andreas|Tutor Andreas]] 09:50, 26. Mai 2011 (CEST)<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 /> | 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 /> | 6. Nein, gilt nicht: drei verschiedene Punkte auf einer Geraden sind das Gegenbeispiel --[[Benutzer:WikiNutzer|WikiNutzer]] 20:26, 24. Mai 2011 (CEST)<br /><br /> |
Version vom 26. Mai 2011, 09:50 Uhr
Satz I: Je drei nicht kollineare Punkte sind paarweise verschieden.
- Wir formulieren Satz I neu und beginnen mit „Es seien
,
und
drei Punkte.“ Ergänzen Sie: „Wenn
,
und
… , 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?
1. Es seien ,
und
drei Punkte. Wenn
,
und
nicht kollinear sind , dann sind sie paarweise verschieden.
2. Beweis:
Voraussetzung: nkoll (,
,
)
Behauptung: ,
und
paarweise verschieden
Annahme (für indirekten Beweis): zwei der drei Punkte sind NICHT verschieden, also identisch, sagen wir mal, o.B.d.A. und
Aus Axiom I/1 folgt, dass es genau eine Gerade gibt, der und der dritte Punkt
angehören.
Da aber mit
identisch ist (Annahme), gehört
auch dieser Geraden
an.
Da es also eine Gerade gibt, der alle drei Punkte angehören, sind sie kollinear, was ein Widerspruch zur Voraussetzung ist.
Das gleiche gilt, wenn ich und
oder
und
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
,
und
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.
3. Kontraposition: Es seien ,
und
drei Punkte. Wenn
,
und
nicht paarweise verschieden sind , dann sind sie kollinear.
keine Zeit für 4., gleich kommen die Simpsons ;-), ist aber doch im Grunde der Widerspruchsbeweis von oben, oder? WikiNutzer hat an dieser Stelle schon viel gearbeitet und wir wollen ja nicht, dass er die Simpsons verpasst :) Vllt. könnte an dieser Stelle jemand anderes den Beweis führen... oder ist der Beweis wirklich identisch zu dem Beweis unter Punkt 2? --Tutor Andreas 09:50, 26. Mai 2011 (CEST)
5. Umkehrung: Es seien ,
und
drei Punkte. Wenn
,
und
paarweise verschieden sind, dann sind sie nicht kollinear.
6. Nein, gilt nicht: drei verschiedene Punkte auf einer Geraden sind das Gegenbeispiel --WikiNutzer 20:26, 24. Mai 2011 (CEST)