Lösung von Aufgabe 11.7: Unterschied zwischen den Versionen
(→Versuch 1:) |
(→Versuch 1:) |
||
Zeile 49: | Zeile 49: | ||
"Wenn ein Winkel das gleiche Maß hat, wie einer seiner Nebenwinkel, dann ist es ein rechter Winkel" (Def. rechter Winkel). Diese Bedingung ist ja durch Schritt (V) erfüllt. Meinst du trotzdem, dass es notwendig ist, nochmal darauf hinzuweisen? --[[Benutzer:Löwenzahn|Löwenzahn]] 10:34, 11. Jul. 2010 (UTC) | "Wenn ein Winkel das gleiche Maß hat, wie einer seiner Nebenwinkel, dann ist es ein rechter Winkel" (Def. rechter Winkel). Diese Bedingung ist ja durch Schritt (V) erfüllt. Meinst du trotzdem, dass es notwendig ist, nochmal darauf hinzuweisen? --[[Benutzer:Löwenzahn|Löwenzahn]] 10:34, 11. Jul. 2010 (UTC) | ||
+ | |||
+ | Ich denke schon, bin mir da aber auch immer unsicher. Manchmal müssen wir ganz genau sein und ein anderes Mal ist es wieder egal... --[[Benutzer:Barbarossa|Barbarossa]] 13:58, 11. Jul. 2010 (UTC) | ||
== Versuch 2: == | == Versuch 2: == |
Version vom 11. Juli 2010, 15:58 Uhr
Beweisen Sie Satz VII.6a:
Wenn ein Punkt zu den Endpunkten der Strecke
jeweils ein und denselben Abstand hat, so ist er ein Punkt der Mittelsenkrechten von
.
Versuch 1:
VSS: Punkt P, ,
, Mittelsenkrechte m
Beh:
Nr. | Beweisschritt | Begründung |
---|---|---|
(I) | ![]() |
(VSS) |
(II) | es existiert ein Punkt ![]() |
Existenz und Eindeutigkeit Mittelpunkt (I) |
(III) | ![]() |
Basiswinkelsatz |
(IV) | ![]() |
(I), (II), (III), (SWS) |
(V) | ![]() |
(Def Dreieckskongruenz) (IV) |
(VI) | ![]() |
(Axiom I.1), (II), (V) |
--> , die Behauptung ist wahr.
qed --Löwenzahn 13:52, 4. Jul. 2010 (UTC)
Welches Winkel sind und
und welche Bedingungen müssen erfüllt sein, dass der Basiswinkelsatz überhaupt angewandt werden kann? Schritt 3 muss nochmal überprüft werden! Ist ein kongruenter Winkel überhaupt nötig? Warum nicht der Kongruentssatz SSS?
--Tja??? 13:06, 10. Jul. 2010 (UTC)
Die Winkel und
entsprechen den Winkel
und
. Die Kongruenz dieser Winkel ist nötig, um den Satz über SWS zu beweisen. Wenn du den Satz über SSS beweist, dann brauchst du die Winkel logischer Weise nicht. --Löwenzahn 15:27, 10. Jul. 2010 (UTC)
Müsste man nicht noch einen Zwischenschritt einschieben und schreiben, wie man von den beiden kongruenten Winkeln in (V) zu in (VI) kommt?
Ich meine, dass es sich wegen der Definition von rechten Winkeln um solche handelt, wodurch ja erst der zweite Aspekt für die Mittelsenkrechte (siehe deren Definition) gegeben ist. --Barbarossa 10:16, 11. Jul. 2010 (UTC)
"Wenn ein Winkel das gleiche Maß hat, wie einer seiner Nebenwinkel, dann ist es ein rechter Winkel" (Def. rechter Winkel). Diese Bedingung ist ja durch Schritt (V) erfüllt. Meinst du trotzdem, dass es notwendig ist, nochmal darauf hinzuweisen? --Löwenzahn 10:34, 11. Jul. 2010 (UTC)
Ich denke schon, bin mir da aber auch immer unsicher. Manchmal müssen wir ganz genau sein und ein anderes Mal ist es wieder egal... --Barbarossa 13:58, 11. Jul. 2010 (UTC)
Versuch 2:
VSS:
- Punkt P, Strecke
, es gilt
- Mittelsenkrechte m; für die gilt laut Definition: senkrecht zu
und geht durch
und es gilt:
Behauptung:
Annahme (indirekter Beweis):
Nr. | Beweisschritt | Begründung |
---|---|---|
(I) | Das Dreieck ![]() |
Definition gleichschenkliges Dreieck, da laut VSS ![]() |
(II) | ![]() |
Basiswinkelsatz |
(III) | Es existiert eine Winkelhalbierende w des winkels ![]() |
Satz VI.2 (Existenz und Eindeutigkeit der Winkelhalbierenden): Zu jedem Winkel gibt es genau eine Winkelhalbierende. |
(IV) | Die Winkelhalbierende w und die Strecke ![]() ![]() |
... (Skizze? Reicht das als Begründung?)
Nein, Satz: Ist SP+ ein Strahl im Inneren des Winkels <ASB, so schneidet er die Strecke |
(VI) | SWS: ![]() ![]() ![]() | |
(VII) | ![]() |
Dreieckskongruenz: (VI) |
(VIII) | ![]() |
(VII), Existenz und Eindeutigkeit eines Mittelpunktes, da laut (VSS) gilt: ![]() |
(IX) | ![]() |
Dreieckskongruenz: (VI), kongruente Nebenwinkel sind rechte Winkel |
(X) | ![]() |
(VIII), (IX), (III), (VSS) |
Einige Schritte sind zum besseren Verständnis in kleinste Einheiten aufgeteilt, deswegen sind es letztlich 10 Beweisschritte. Die Grundidee ist simpel: mit der Winkelhalbierenden erzeugt man zwei kongruente Dreiecke. Analog zur Lösung 1, wo der Knackpunkt der Mittelpunkt der Basis (gleichschenkliges Dreieck) ist, läuft der Beweis ab der Winkelhalbierenden "automatisch" durch.
--Heinzvaneugen 12:19, 10. Jul. 2010 (UTC)