Lösung von Aufg. 6.4 (WS 11/12): Unterschied zwischen den Versionen
Aus Geometrie-Wiki
(Die Seite wurde neu angelegt: „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 …“) |
LGDo12 (Diskussion | Beiträge) |
||
| Zeile 8: | Zeile 8: | ||
# Gilt auch die Umkehrung von Satz I? | # Gilt auch die Umkehrung von Satz I? | ||
| + | <br /><br /> | ||
| + | zu 1. Wenn A,B,C nicht kollinear sind, dann sind sie paarweise verschieden.<br /> | ||
| + | zu 2. Behauptung: A ungleich B ungleich C<br /> | ||
| + | Annahme: o.B.d.A. A = B<br /> | ||
| + | Beiweis: | ||
| + | {| class="wikitable" | ||
| + | |- | ||
| + | | Schritt || Begründung | ||
| + | |- | ||
| + | | <math>\exists AB,BC,AC</math> || Vorraussetzung A,B,C koll Axiom I1 | ||
| + | |- | ||
| + | | BC=AC || Annahme A=B | ||
| + | |- | ||
| + | | AB=A=B || Annahme | ||
| + | |- | ||
| + | | koll(A,B,C) || Wiederspruch zur Voraussetzung, daraus folgt die Punke müssen paarweise verschieden sein. | ||
| + | |} | ||
| + | |||
| + | <br /> | ||
| + | zu 3. Wenn A,B,C nicht paarweise verschieden, dann sind sie Kollinear.<br /> | ||
| + | zu 4. Voraussetzung Es seien drei Punkte A,B,C und o.B.d.A A=B<br /> | ||
| + | Behauptung: koll (A,B,C) | ||
| + | Beweis: | ||
| + | |||
| + | {| class="wikitable" | ||
| + | |- | ||
| + | | Schritt || Begründung | ||
| + | |- | ||
| + | | <math>\exists AB,BC,AC</math> || Axiom I/1 | ||
| + | |- | ||
| + | | BC=AC || Voraussetzung A=B | ||
| + | |- | ||
| + | | AB=A=B || Voraussetzung | ||
| + | |- | ||
| + | | koil(A,B,C) || Axiom I/1 | ||
| + | |} | ||
| + | <br /> | ||
| + | zu 5. Drei paarweise verschiedene Punkte sind nicht kollinar<br /> | ||
| + | zu 6. Nein, da auch Punkte existieren, welche koll sind und paarweise verschieden.--[[Benutzer:LGDo12|LGDo12]] 13:07, 17. Nov. 2011 (CET) | ||
[[Category:Einführung_Geometrie]] | [[Category:Einführung_Geometrie]] | ||
Version vom 17. November 2011, 13:07 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?
zu 1. Wenn A,B,C nicht kollinear sind, dann sind sie paarweise verschieden.
zu 2. Behauptung: A ungleich B ungleich C
Annahme: o.B.d.A. A = B
Beiweis:
| Schritt | Begründung |
|
Vorraussetzung A,B,C koll Axiom I1 |
| BC=AC | Annahme A=B |
| AB=A=B | Annahme |
| koll(A,B,C) | Wiederspruch zur Voraussetzung, daraus folgt die Punke müssen paarweise verschieden sein. |
zu 3. Wenn A,B,C nicht paarweise verschieden, dann sind sie Kollinear.
zu 4. Voraussetzung Es seien drei Punkte A,B,C und o.B.d.A A=B
Behauptung: koll (A,B,C)
Beweis:
| Schritt | Begründung |
|
Axiom I/1 |
| BC=AC | Voraussetzung A=B |
| AB=A=B | Voraussetzung |
| koil(A,B,C) | Axiom I/1 |
zu 5. Drei paarweise verschiedene Punkte sind nicht kollinar
zu 6. Nein, da auch Punkte existieren, welche koll sind und paarweise verschieden.--LGDo12 13:07, 17. Nov. 2011 (CET)

