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…“) |
Version vom 31. Mai 2011, 16:15 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) | |
| 2) | Axiom |
| 3) | |
| 4) | |
| Widerspruch zur Vor. |
