Lösung von Aufgabe 6.1P (SoSe 12)

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

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

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