Tut Aufgabe 8.2.(SoSe 11)

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.