Tut Aufgabe 8.2.(SoSe 11): Unterschied zwischen den Versionen
Aus Geometrie-Wiki
(Die Seite wurde neu angelegt: „Im Tutorium fragten wir uns heute, wie genau ein Beweis geführt werden muss. Hier mal einige Aufführungen: (diese Seite entsteht gerade!) Satz: Es existieren m…“) |
|||
| Zeile 23: | Zeile 23: | ||
| Beweisschritt || Begründung | | Beweisschritt || Begründung | ||
|- | |- | ||
| − | | 1) || | + | | 1) koll(A,B,C) || Annahme, Def. kollinear |
| + | |- | ||
| + | | 2) Es exisitert eine Ebene E,<br />die A,B und D enthält. || Axiom I,4 und Fall1 nkoll (A,B,D)* | ||
|- | |- | ||
| − | | | + | | 3) C <math>\in</math> AB || 1) |
| − | |- | + | |- |
| − | | | + | | 4) C <math>\in</math> E || 2) und 3) Axiom I.5 |
|- | |- | ||
| − | | | + | | 5) komp (A,B,C,D) || 2) und 4) Def. komplanar |
|- | |- | ||
| − | + | |Widerspruch zum Schritt A.1 || Die Annahme ist zu verwerfen! | |
|} | |} | ||
| + | Fall 2: | ||
| + | |||
| + | |||
| + | Es exisiteren 6 paarweise verschiedene Geraden. | ||
| + | q.e.d. | ||
Version vom 31. Mai 2011, 17:24 Uhr
Im Tutorium fragten wir uns heute, wie genau ein Beweis geführt werden muss. Hier mal einige Aufführungen: (diese Seite entsteht gerade!)
Satz: Es existieren min. 6 paarweise verschiedene Geraden.
Vor.: geltende Inzidenzaxiome
Beh.: A. Es existieren 6 Geraden und B. diese sind paarweise verschieden.
A.
| Beweisschritt | Begründung |
| 1) Es gibt vier Punkte A,B,C,D, für die gilt nkomp(A,B,C,D). |
Axiom I.7 |
| 2) Es exisiteren folgende Geraden: AB, BC, CD, DA, AC, BD |
Axiom I.1 und 1) |
B. indirekter Beweis
Annahme: Wir nehmen an,(min.) zwei Geraden sind identisch. o.B.d.A AB=BC
| Beweisschritt | Begründung |
| 1) koll(A,B,C) | Annahme, Def. kollinear |
| 2) Es exisitert eine Ebene E, die A,B und D enthält. |
Axiom I,4 und Fall1 nkoll (A,B,D)* |
3) C  AB |
1) |
| 4) C E |
2) und 3) Axiom I.5 |
| 5) komp (A,B,C,D) | 2) und 4) Def. komplanar |
| Widerspruch zum Schritt A.1 | Die Annahme ist zu verwerfen! |
Fall 2:
Es exisiteren 6 paarweise verschiedene Geraden.
q.e.d.
