Lösung von Aufgabe 6.1P (SoSe 12)

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

Nr.	Beweisschritt	Begründung
1)	$\mathrm{Zw}(A,B,C)$	Vor.
2)	$\left|AB\right|+\left|BC\right|=\left|AC\right|$	def. zwischenrelation
3)	$\mathrm{koll}(A,B,C)$	dreiecksungleichung (axiom II/3)

--Studentin 13:47, 3. Jun. 2012 (CEST)