Lösung von Aufgabe 4.5 (WS 11/12)

Das Parallelenaxiom lautet wie folgt:
Zu jeder Geraden g und zu jedem nicht auf g liegenden Punkt A gibt es höchstens eine Gerade, die durch A verläuft und zu g parallel ist.
Nutzen Sie dieses Axiom, beim Lösen der folgenden Aufgabe:
Es seien a, b und c drei paarweise verschiedene Geraden in ein und derselben Ebene.
a) Beweisen Sie folgende Implikation durch einen Widerspruchsbeweis: $a\Vert |b\wedge b\Vert |c\Rightarrow a\Vert |c$ .
b) Welche Eigenschaft der Relation $\Vert |$ auf der Menge aller Geraden einer Ebene haben Sie hiermit gezeigt?

a) Vor.: a,b,c sind paarweise verschiedene Geraden    Annahme: $\mathrm{\exists }P:P\in a,P\in c$ 

1	Fehler beim Parsen (Unbekannte Funktion „\c“): {\displaystyle \ a \|| b \c}	Vor.
2	Fehler beim Parsen (Unbekannte Funktion „\c“): {\displaystyle \ b \|| c \c}	Vor.
3	$P\in a$	Beh.
4	$P\in c$	Beh.
5	$a=c$	3,4 ; Widerspruch zur Vorraussetzung

--Todah raba 20:07, 4. Nov. 2011 (CET)

b) Transitivität --Todah raba 20:07, 4. Nov. 2011 (CET)