Lösung von Aufg. 7.3 (WS 11/12)

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

Vor.: $\mathrm{\exists }A,B,C,D\wedge nKomp(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) $\mathrm{\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)