Lösung von Aufgabe 11.8

Wenn ein Punkt $P$ zur Mittelsenkrechten der Strecke $\overline{AB}$ gehört, dann hat er zu den Punkten $A$ und $B$ ein und denselben Abstand.

VSS: m ist die Mittelsenkrechte von $\overline{AB}$, $P\in m$
Beh: $a\cong b$

Beweis

Nr.	Beweisschritt	Begründung
(I)	$\overline{AM}\cong \overline{BM}$	(Existenz und Eindeutigkeit Mittelpunkt)
(II)	es existiert ein Punkt $P\in m$	(VSS)
(III)	$\mathrm{\angle }AMP\cong \mathrm{\angle }BMP$	Definition Mittelsenkrechte
(IV)	$\overline{MP}\cong \overline{MP}$	trivial
(V)	$\overline{AMP}\cong \overline{BMP}$	(I), (III), (IV), (SWS)
(VI)	$a\cong b$	(V), (Def Dreieckskongruenz)

--> Beh ist wahr.
qed --Löwenzahn 09:36, 3. Jul. 2010 (UTC)