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)

Gebe dir in allem recht, würde nur sagen, dass es Aufgrund der Augabenstellung Sinn macht bei dem Beweis den Schritt 5 eher so zu formulieren:

5

$P\in a\wedge P\in c$

3,4 ; Widerspruch zum Parallelaxionom, Durch jeden Punkt kann nur eine Gerade gehen welche Parallel zu b ist.

Bei der Annahme eventuell noch ergänzen, dass es sich beim dem Punkt P um den Schnittpunkt der beiden Geraden a und c handelt, von welchen wir ja annehmen, dass die nicht parallel sind und somit diesen Schnittpunkt haben müssen.--RicRic 18:13, 5. Nov. 2011 (CET)