Lösung von Aufgabe 5.2 S (SoSe 12)

Zeigen Sie, dass für drei paarweise verschiedene Punkte $A,B$ und $C$ gilt:
$\mathrm{Z}w(A,B,C)$ $\Rightarrow$ $\overline{AB}$ $\subset$ $\overline{AC}$

Tipps zu Aufgabe 5.2 (SoSe_12)

Schritt	Aktion
(1)	Zw (A,B,C)
(2)	VxE$\overline{AB}$.xE$\overline{AC}$ UND (VxE$\overline{AC}$.xE$\overline{AB}$ ODER xnichtE$\overline{AB}$)
(3)	$\overline{AB}$ c $\overline{AC}$

Wie schreibt man bloß diese Formeln? (außer zu kopieren)^^
--RitterSport 16:44, 20. Mai 2012 (CEST)
Wäre Folgendes möglich?
Wegen Axiom I/1: $\overline{AC}$
Wegen Zw (A,B,C): |$\overline{AB}$| + |$\overline{BC}$| = |$\overline{AC}$|
Somit ist $\overline{AB}$ c $\overline{AC}$
--RitterSport 16:56, 20. Mai 2012 (CEST)