Lösung von Zusatzaufgabe 4.4 S (SoSe 12): Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
 
(22 dazwischenliegende Versionen von 5 Benutzern werden nicht angezeigt)
Zeile 5: Zeile 5:
 
3) Voraussetzung: nkomp (ABC)
 
3) Voraussetzung: nkomp (ABC)
  
−
      Behauptung: nkoll (ABC)<math>\bigvee</math>nkoll(BCD)<math>\bigvee</math>nkoll(CDA)<math>\bigvee</math>nkoll(BCA)
+
  Behauptung: nkoll (ABC)<math>\bigvee</math>nkoll(BCD)<math>\bigvee</math>nkoll(CDA)<math>\bigvee</math>nkoll(BCA)
  
 
   Annahme: nkomp (ABCD)<math>\bigwedge</math>koll (ABC) oBdA
 
   Annahme: nkomp (ABCD)<math>\bigwedge</math>koll (ABC) oBdA
Zeile 14: Zeile 14:
 
2 Fall: D ist nicht <math>\in</math>  
 
2 Fall: D ist nicht <math>\in</math>  
 
g
 
g
 +
 +
 +
Hallo hier mal ein direkter Beweis: Ist der so richtig?????
 +
Vor: nkomp(A,B,C,D)
 +
Beh: nkoll (A,B,C) oBdA
 +
 +
1:nKomp(A,B,C,D) laut Vor
 +
 +
2:EX A,B,C,: nkoll(A,B,C) laut Ax I/3 (1) oBdA
 +
 +
3: nKoll(A,B,C) laut (2) q.e.d
 +
 +
--[[Benutzer:Nemo81|Nemo81]] 13:21, 28. Mai 2012 (CEST)<br />
 +
*Diesen Beweis halte ich für nicht richtig. In Schritt 2 wird ja direkt gesagt, dass A,B,C nicht auf einer Geraden liegen... aber was ist mit dem Punkt D. Gibt es dann eine Gerade die z.B. A,B,D enthält? --[[Benutzer:Andreas|Tutor Andreas]] 11:23, 12. Jul. 2012 (CEST)
 +
 +
 +
 +
 +
Hier mal indirekt:
 +
 +
Vor: nkomp(A,B,C,D)
 +
 +
Beh: nkoll(A,B,C)
 +
 +
Ann: koll(A,B,C), Fall 1: D nicht Element g, Fall 2: D Element g
 +
 +
 +
Beweis:
 +
 +
 +
Fall 1:
 +
 +
(1) koll(A,B,C); Ann
 +
 +
(2) <math>\exists </math> g: A,B,C <math>\in </math> g und D<math>\not\in </math>g; Ann, (1)
 +
 +
(3) <math>\exists</math> Ebene E: A,B,D <math>\in</math> E; Ax. I/4, (2)
 +
 +
(4) <math>\exists</math> Ebene E: A,B,C,D <math>\in</math> E; Ax. I/5, (2), (3)
 +
 +
(5) komp(A,B,C,D); Def komp
 +
 +
 +
Fall 2:
 +
 +
(1) koll(A,B,C); Ann
 +
 +
(2) <math>\exists </math> g: A,B,C <math>\in </math> g und D<math>\in </math>g; Ann, (1)
 +
 +
(3) <math>\exists </math> g: A,B,C,D <math>\in </math> g; (2)
 +
 +
(4) <math>\exists</math>P: nkoll(A,B,P); Ax I/3
 +
 +
(5) <math>\exists</math> Ebene E: A,B,C,D,P <math>\in</math> Ebene E; Ax. I/4, Ax. I/5, (4), (3)
 +
 +
(6) komp(A,B,C,D)
 +
 +
--[[Benutzer:Mohnkuh|Mohnkuh]] 22:31, 30. Mai 2012 (CEST)<br /><br />
 +
*Von der Idee her passt es. Ich konnte es auch nachvollziehen, aber ich finde es immer gut, wenn man lieber ein paar Schritte mehr macht, dann kann man es besser nachvollziehen. In den einzelnen Schritten bzw. Begründungen steckt teilweise sehr viel drin.--[[Benutzer:Andreas|Tutor Andreas]] 11:27, 12. Jul. 2012 (CEST)
 +
<u>Lösungsversuch Nummero6/Tchu Tcha Tcha:</u><br />
 +
1.) Wenn vier Punkte nicht in ein und derselben Ebene liegen, dann liegen auch jeweils drei Punkte von ihnen nicht auf ein und derselben Geraden.<br />
 +
2.) Von vier Punkten die nicht in ein und derselben Ebene liegen, liegen auch jeweils drei Punkte von ihnen nicht auf ein und derselben Geraden.<br />
 +
3.) folgt..<br />--[[Benutzer:Nummero6|Tchu Tcha Tcha]] 10:48, 8. Jun. 2012 (CEST)
 +
<br />
 +
[[Kategorie: Einführung_S]]

Aktuelle Version vom 12. Juli 2012, 10:27 Uhr

1) Wenn vier Punkte nicht in der selben Ebene liegen, dann sind drei Punkte von ihnen auf der selben Ebene

2) 4 Punkte die nicht auf der selben Ebene sind, haben drei Punkte die nicht auf der selben Geraden liegen

3) Voraussetzung: nkomp (ABC) 

 Behauptung: nkoll (ABC)\bigveenkoll(BCD)\bigveenkoll(CDA)\bigveenkoll(BCA)

  Annahme: nkomp (ABCD)\bigwedgekoll (ABC) oBdA

1 Fall: D \in g

2 Fall: D ist nicht \in g


Hallo hier mal ein direkter Beweis: Ist der so richtig????? Vor: nkomp(A,B,C,D) Beh: nkoll (A,B,C) oBdA

1:nKomp(A,B,C,D) laut Vor

2:EX A,B,C,: nkoll(A,B,C) laut Ax I/3 (1) oBdA

3: nKoll(A,B,C) laut (2) q.e.d

--Nemo81 13:21, 28. Mai 2012 (CEST)

  • Diesen Beweis halte ich für nicht richtig. In Schritt 2 wird ja direkt gesagt, dass A,B,C nicht auf einer Geraden liegen... aber was ist mit dem Punkt D. Gibt es dann eine Gerade die z.B. A,B,D enthält? --Tutor Andreas 11:23, 12. Jul. 2012 (CEST)



Hier mal indirekt:

Vor: nkomp(A,B,C,D)

Beh: nkoll(A,B,C)

Ann: koll(A,B,C), Fall 1: D nicht Element g, Fall 2: D Element g


Beweis:


Fall 1:

(1) koll(A,B,C); Ann

(2) \exists g: A,B,C \in g und D\not\in g; Ann, (1)

(3) \exists Ebene E: A,B,D \in E; Ax. I/4, (2)

(4) \exists Ebene E: A,B,C,D \in E; Ax. I/5, (2), (3)

(5) komp(A,B,C,D); Def komp


Fall 2:

(1) koll(A,B,C); Ann

(2) \exists g: A,B,C \in g und D\in g; Ann, (1)

(3) \exists g: A,B,C,D \in g; (2)

(4) \existsP: nkoll(A,B,P); Ax I/3

(5) \exists Ebene E: A,B,C,D,P \in Ebene E; Ax. I/4, Ax. I/5, (4), (3)

(6) komp(A,B,C,D)

--Mohnkuh 22:31, 30. Mai 2012 (CEST)

  • Von der Idee her passt es. Ich konnte es auch nachvollziehen, aber ich finde es immer gut, wenn man lieber ein paar Schritte mehr macht, dann kann man es besser nachvollziehen. In den einzelnen Schritten bzw. Begründungen steckt teilweise sehr viel drin.--Tutor Andreas 11:27, 12. Jul. 2012 (CEST)

Lösungsversuch Nummero6/Tchu Tcha Tcha:
1.) Wenn vier Punkte nicht in ein und derselben Ebene liegen, dann liegen auch jeweils drei Punkte von ihnen nicht auf ein und derselben Geraden.
2.) Von vier Punkten die nicht in ein und derselben Ebene liegen, liegen auch jeweils drei Punkte von ihnen nicht auf ein und derselben Geraden.
3.) folgt..
--Tchu Tcha Tcha 10:48, 8. Jun. 2012 (CEST)

Von „http://geometrie.zum.de/index.php?title=Lösung_von_Zusatzaufgabe_4.4_S_(SoSe_12)&oldid=16536“