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

Version vom 19. Mai 2012, 16:13 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) $⋁$ nkoll(BCD) $⋁$ nkoll(CDA) $⋁$ nkoll(BCA)

  Annahme: nkomp (ABCD) $⋀$ koll (ABC) oBdA

1 Fall: D $\in$ g 2 Fall: D ist nicht $\in$ g

@@ Zeile 5: / Zeile 5: @@
 ) Voraussetzung: nkomp (ABC)
-       Behauptung: nkoll (ABC)  <br />bigvee
+       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
+Fall: D<math>\in</math>g
+Fall: D ist nicht <math>\in</math>g