Lösung von Zusatzaufgabe 6.1P (WS 12 13)

Beweisen Sie: Aus $\mathrm{Zw}(A,B,C)$ folgt $\mathrm{koll}(A,B,C)$.

Zum Verwenden von mathematischen Zeichen, kann man den Formeleditor öffnen (Symbol ganz links, Summenzeichen). Als Hilfestellung schon mal eine Tabelle. --Tutorin Anne 12:38, 10. Dez. 2012 (CET)

Voraussetzung	Zw (A,B,C)
Behauptung	koll (A,B,C)

Beweisschritt	Begründung
1 g sei Gerade durch A und C	Voraussetzung
2 $B\in g$	1.), Def. Zwischenrelation
3 $A,B,C\in g$	1,) ; 2,)
4 koll (A,B,C)	3.); Def. koll

Ich bin mir aber nicht sicher, ob man das so machen kann, kommt mir irgendwie zu primitiv vor...--Unicycle 22:13, 17. Jan. 2013 (CET)