Lösung von Aufg. 10.3

Formulieren Sie den Beweis von Satz VI.1, ohne das Tabellenbeweischema zu verwenden. Ferner mögen Sie angehalten sein, die mathematische Formelsprache zu vermeiden. Kurz und gut, ein Beweis mit eigenen Worten, grammatikalisch korrekt formuliert.

Gegeben sei eine Strecke $\overline{AB}$.
Nach Existenz und Eindeutigkeit des Mittelpunktes gibt es genau einen Mittelpunkt M der Strecke $\overline{AB}$, wobei der Abstand von M zu A und M zu B gleich ist.
Es sei ein Punkt Q, der nicht auf der Geraden $AB$ liegt.
In der Halbebene AB,Q+ gibt es einen weiteren Punkt P. Nach Winkelkonstruktionsaxiom existiert in der Halbebene AB,Q+ einen Winkel $\mathrm{\angle }PMB$ mit dem Maß 90.
Die Gerade $PM$ ist die Mittelsenkrechte von $\overline{AB}$ nach Def. Relation senkrecht und Definition Mittelsenkrechte.--Engel82 16:02, 15. Dez. 2010 (UTC)

das ist korrekt --Schnirch 15:23, 19. Jan. 2011 (UTC)