Lösung von Aufg. 7.4: Unterschied zwischen den Versionen
| Zeile 26: | Zeile 26: | ||
daraus folgt <math>\delta_1</math> <math>\equiv </math> <math>\delta_1</math> <math>\rightarrow</math> komp(A,B,C,D)<br /> | daraus folgt <math>\delta_1</math> <math>\equiv </math> <math>\delta_1</math> <math>\rightarrow</math> komp(A,B,C,D)<br /> | ||
8) Widerspruch zur Vorraussetzung nkomp(A,B,C,D) | 8) Widerspruch zur Vorraussetzung nkomp(A,B,C,D) | ||
| − | |||
[[Bild:DSC02856.JPG|500px]] | [[Bild:DSC02856.JPG|500px]] | ||
[[Bild:DSC02860.JPG|500px]] | [[Bild:DSC02860.JPG|500px]] | ||
| + | <u>3.Fall:</u><br /> | ||
| + | 1)<math>A \in\epsilon </math>__________________Axiom I/4 und Lemma 3<br /> | ||
| + | 2)<math>ABD \in\beta </math>__________________Axiom I/4 und Lemma 3<br /> | ||
| + | 3)<math>ACD \in\gamma </math>________________da sonst A,B,C,D | ||
| + | |||
| + | |||
| + | |||
| + | |||
[[Bild:DSC02849.JPG|500px]] | [[Bild:DSC02849.JPG|500px]] | ||
Version vom 16. Dezember 2010, 15:47 Uhr
Beweisen Sie: Jede Ebene enthält wenigstens drei paarweise verschiedene Punkte.
Vor: Ebene
,nkomp(A,B,C,D)
Beh:
enthält weinigstens drei paarweise verschiedene Punkte
Fall 1:
3 der vier Punkte liegen in der Ebene 
trivial
Fall 2:
2 der vier Punkte liegen in der Ebene 
,
1)
,
,
und 
2)
________Lemma 3 und Axiom I/4
3)
__________________wegen nkomp(A,B,C,D)
4)
___________3)
5)
________________wegen nkomp(A,B,C,D)
6)
und
____________2) und 4)
7)
,
,
________6) und Axiom I/6
bleibt zu zeigen : 
:
,
, 
:
,
, 
daraus folgt
komp(A,B,C,D)
8) Widerspruch zur Vorraussetzung nkomp(A,B,C,D)
3.Fall:
1)
__________________Axiom I/4 und Lemma 3
2)
__________________Axiom I/4 und Lemma 3
3)
________________da sonst A,B,C,D
Fall 4:
Keine der vier Punkte ist Element von 
enthält einen Punkt________nach Axiom I/4
Fall 3

