Lösung von Aufg. 7.3 (WS 11/12): Unterschied zwischen den Versionen

Aktuelle Version vom 4. Dezember 2011, 11:28 Uhr

Beweisen Sie: Je vier nicht komplanare Punkte sind paarweise verschieden (Hinweis: Nutzen Sie bei der Beweisführung den Satz aus Aufgabe 6.6).

Vor.: $\exists A, B, C, D \land n K o m p (A, B, C, D)$

Beh.: A,B,C,D sind paarweise verschieden

Ann.: o.B.d.A.: C=D

Bew.:

Schritt	Begründung
(1) nkoll(A,B,C)	Satz aus Übung 6.6; Vor.
(2) C=D	Ann.
(3) $\exists ϵ : A, B, C \in ϵ$	A I/4 ,(1)
(4) $D \in ϵ$	(2),(3)
(5) komp A,B,C,D Fehler beim Parsen (Unbekannte Funktion „\lightning“): {\displaystyle \lightning} zur Vorr.; Ann verwerfen	(3),(4)

--RicRic 12:28, 4. Dez. 2011 (CET)

@@ Zeile 1: / Zeile 1: @@
 Beweisen Sie: Je vier nicht komplanare Punkte sind paarweise verschieden (Hinweis: Nutzen Sie bei der Beweisführung den Satz aus Aufgabe 6.6).
+Vor.: <math>\exists A,B,C,D \wedge nKomp \left( A,B,C,D\right)</math>
+Beh.: A,B,C,D sind paarweise verschieden
+Ann.: o.B.d.A.: C=D
+Bew.:
+{| class="wikitable sortable"
+!Schritt!!Begründung
+|-
+| (1) nkoll(A,B,C) || Satz aus Übung 6.6; Vor.
+|-
+| (2) C=D || Ann.
+|-
+| (3) <math>\exists \epsilon : A,B,C \in \epsilon</math> || A I/4 ,(1)
+|-
+| (4) <math>D\in \epsilon</math> || (2),(3)
+|-
+| (5) komp A,B,C,D <math>\lightning</math>zur Vorr.; Ann verwerfen|| (3),(4)
+|}--[[Benutzer:RicRic|RicRic]] 12:28, 4. Dez. 2011 (CET)
 [[Category:Einführung_Geometrie]]