Lösung von Aufgabe 11.8
Beweisen Sie Satz VII.6 b:
Wenn ein Punkt zur Mittelsenkrechten der Strecke gehört, dann hat er zu den Punkten und ein und denselben Abstand.
Lösung 1
VSS: m ist die Mittelsenkrechte von ,
Beh:
Nr. | Beweisschritt | Begründung |
---|---|---|
(I) | (Existenz und Eindeutigkeit Mittelpunkt), (Def. Mittelsenkrechte) | |
(II) | es existiert ein Punkt | (VSS) |
(III) | (Definition Mittelsenkrechte), (Def. Nebenwinkel), (Supplementaxiom) | |
(IV) | (trivial) | |
(V) | (I), (III), (IV), (SWS) | |
(VI) | |
(V), (Def Dreieckskongruenz) |
--> Beh ist wahr.
qed --Löwenzahn 09:36, 3. Jul. 2010 (UTC)
Der Fall P=M sollte bei Schritt IV vielleicht noch ergänzt werden. Wenn P=M, dann hat P den gleichen Abstand zu A und B (Begründung Schritt I) --Principella 17:03, 12. Jul. 2010 (UTC)
Bei Schritt (III) würde ich als Begründung "Def. Mittelsenkrechte", "Def. senkrecht" und "Def. rechte winkel" aufführen, da man von Def. Mittelsenkrechte nicht unmittelbar schließen kann, dass die Winkel Nebenwinkel und supplementär sind! Ich habe das nochmal in 3 Extraschritte
aufgeteilt. --TheGeosi 09:41, 15. Jul. 2010 (UTC)