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 .
Nach Existenz und Eindeutigkeit des Mittelpunktes gibt genau einen Mittelpunkt M der Strecke , wobei der Abstand von M zu A und M zu B gleich ist.
Es sei ein Punkt Q, der nicht auf der Geraden liegt.
In der Halbebene AB,Q+ gibt es ein Punkt P, der nicht auf der Geraden liegt .
Nach Winkelkonstruktionsaxiom existiert in der Halbebene AB,Q+ einen Winkel mit dem Maß 90.
Die Gerade ist die Mittelsenkrechte von
nach Def. Relation senkrecht und Definition Mittelsenkrechte.--Engel82 16:02, 15. Dez. 2010 (UTC)