Lösung von Aufgabe 11.8: Unterschied zwischen den Versionen
(→Lösung 1) |
(→Lösung 1) |
||
| (2 dazwischenliegende Versionen von einem Benutzer werden nicht angezeigt) | |||
| Zeile 42: | Zeile 42: | ||
qed --[[Benutzer:Löwenzahn|Löwenzahn]] 09:36, 3. Jul. 2010 (UTC) | qed --[[Benutzer:Löwenzahn|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) | |
| − | --[[Benutzer: | + | --[[Benutzer:Principella|Principella]] 17:03, 12. Jul. 2010 (UTC) |
| + | |||
| + | <br /> | ||
| + | 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. --[[Benutzer:TheGeosi|TheGeosi]] 09:41, 15. Jul. 2010 (UTC) | ||
Aktuelle Version vom 15. Juli 2010, 10:41 Uhr
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)
