Lösung von Aufg. 7.4: Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Engel82 (Diskussion | Beiträge)
Keine Bearbeitungszusammenfassung
Engel82 (Diskussion | Beiträge)
Keine Bearbeitungszusammenfassung
Zeile 19: Zeile 19:
5)<math>A \notin\delta_2 </math>________________wegen nkomp(A,B,C,D)<br />
5)<math>A \notin\delta_2 </math>________________wegen nkomp(A,B,C,D)<br />
6)<math>A \in\delta_2 </math> und <math>B \in\epsilon </math>____________2) und 4)<br />
6)<math>A \in\delta_2 </math> und <math>B \in\epsilon </math>____________2) und 4)<br />
7)<math>\exists P</math>,<math>P \in\epsilon </math>,<math>A \in\delta_2 </math>________6) und Axiom I/6
7)<math>\exists P</math> ,<math>P \in\epsilon </math>,<math>A \in\delta_2 </math>________6) und Axiom I/6


bleibt zu zeigen : <math>A\not\equiv P</math><br />   
bleibt zu zeigen : <math>A\not\equiv P</math><br />   
Zeile 31: Zeile 31:
[[Bild:DSC02860.JPG|500px]]
[[Bild:DSC02860.JPG|500px]]
<u>3.Fall:</u><br />
<u>3.Fall:</u><br />
1)<math>A \in\epsilon </math>__________________Axiom I/4 und Lemma 3<br />
1)<math>A \in\epsilon </math> <br />
2)<math>ABD \in\beta </math>__________________Axiom I/4 und Lemma 3<br />
2)<math>A,B,D \in\beta </math>__________________Axiom I/4 und Lemma 3<br />
3)<math>ACD \in\gamma </math>________________da sonst A,B,C,D  
3)<math>A,C,D \in\gamma </math> ________________Axiom I/4 und Lemma 3<br />
 
4)<math>beta\not\equiv gamma</math>_____________da sonst<math>A,B,C,D \in\beta </math> Widerspruch zur nkomp(A,B,C,D)<br />
 
5)<math>A \in\beta </math>, <math>A \in\gamma </math>__________2) und 3)<br />
 
6)<math>\exists P_1</math>, <math>P_1 \in\epsilon </math>, <math>P_1 \in\beta </math> 





Version vom 16. Dezember 2010, 14:56 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


Fehler beim Erstellen des Vorschaubildes: Datei fehlt

Fall 2:
2 der vier Punkte liegen in der Ebene ϵ
Aϵ ,Bϵ
1) Aϵ , Bϵ, Cϵ und Dϵ
2)nkoll(ABC) δ1 ________Lemma 3 und Axiom I/4
3)Dδ1__________________wegen nkomp(A,B,C,D)
4)nkoll(BCD) δ2 ___________3)
5)Aδ2________________wegen nkomp(A,B,C,D)
6)Aδ2 und Bϵ____________2) und 4)
7)P ,Pϵ,Aδ2________6) und Axiom I/6

bleibt zu zeigen : A≢P
δ1: Pδ1, Bδ1, Cδ1
δ2: Pδ2, Cδ2, Bδ2
daraus folgt δ1 δ1 komp(A,B,C,D)
8) Widerspruch zur Vorraussetzung nkomp(A,B,C,D)

Fehler beim Erstellen des Vorschaubildes: Datei fehlt

Fehler beim Erstellen des Vorschaubildes: Datei fehlt 3.Fall:
1)Aϵ
2)A,B,Dβ__________________Axiom I/4 und Lemma 3
3)A,C,Dγ ________________Axiom I/4 und Lemma 3
4)beta≢gamma_____________da sonstA,B,C,Dβ Widerspruch zur nkomp(A,B,C,D)
5)Aβ, Aγ__________2) und 3)
6)P1, P1ϵ, P1β


Fehler beim Erstellen des Vorschaubildes: Datei fehlt

Fehler beim Erstellen des Vorschaubildes: Datei fehlt

Fall 4:
Keine der vier Punkte ist Element von ϵ
ϵ enthält einen Punkt________nach Axiom I/4
Fall 3