Winkelmessung SS 2012: Unterschied zwischen den Versionen
*m.g.* (Diskussion | Beiträge) |
(→Beweis von Satz V.2) |
||
Zeile 39: | Zeile 39: | ||
::Wenn der Punkt <math>P</math> im Inneren des Winkels <math>\angle ASB</math> und nicht auf einem der Schenkel des Winkels <math> \angle ASB</math> liegt, dann ist die Größe der beiden Teilwinkel <math>\angle ASP</math> und <math>\angle PSB</math> jeweils kleiner als die Größe des Winkels <math>\angle ASB</math>. | ::Wenn der Punkt <math>P</math> im Inneren des Winkels <math>\angle ASB</math> und nicht auf einem der Schenkel des Winkels <math> \angle ASB</math> liegt, dann ist die Größe der beiden Teilwinkel <math>\angle ASP</math> und <math>\angle PSB</math> jeweils kleiner als die Größe des Winkels <math>\angle ASB</math>. | ||
− | ==== Beweis von Satz V.2 ==== | + | ==== Beweis von Satz V.2 ====<br /> |
+ | |||
+ | '''Lösung von Nummero6/Tchu Tcha Tcha:'''<br /> | ||
+ | |||
+ | '''Vor:''' <br /> | ||
+ | <math>\angle ASB</math>, P liegt im I von <math>\angle ASB</math>, P liegt nicht auf einem der Schenkel von <math>\angle ASB</math><br /> | ||
+ | '''Beh:'''<br /> | ||
+ | <math>\angle ASP</math><math>\ge</math><math>\angle ASB</math> oder <math>\angle PSB</math><math>\ge</math><math>\angle ASB</math> | ||
+ | <br /> | ||
+ | '''Ann:'''<br /> | ||
+ | oBdA: <math>\angle ASP</math><math>\ge</math> <math>\angle ASB</math> | ||
+ | <br /> | ||
+ | |||
+ | {| class="wikitable" | ||
+ | ! Nr. !! Beweisschritt!!Begründung | ||
+ | |- | ||
+ | |1)|| <math>\angle ASB</math> || Vor | ||
+ | |- | ||
+ | |2) || Es gibt einen Winkel <math>\angle ASP</math>und einen Winkel <math>\angle PSB</math> || laut Voraussetzung (oder muss man zuerst das Winkelkonstruktionsaxiom IV.2 anwenden??) | ||
+ | |- | ||
+ | |3)|| <math>\left| \angle ASP \right| + \left| \angle PSB \right| = \left| \angle ASB \right|</math> || Axiom IV.3 (Winkeladditionsaxiom), (1), (2) | ||
+ | |- | ||
+ | |4)|| Widerspruch zur Annahme || (3) | ||
+ | |- | ||
+ | |5)|| Behauptung stimmt || (4) | ||
+ | |}qed<br />--[[Benutzer:Nummero6|Tchu Tcha Tcha]] 17:01, 10. Jun. 2012 (CEST) | ||
== Rechte Winkel == | == Rechte Winkel == |
Version vom 10. Juni 2012, 16:01 Uhr
Das WinkelmaßWas bedeutet es, die Größe eines Winkels zu messen?
Das WinkelmaßaxiomAxiom IV.1 (Winkelmaßaxiom)
Definition V.5: (Größe eines Winkels)
WinkelkonstruktionExistenz und Eindeutigkeit des WinkelantragensAxiom IV.2: (Winkelkonstruktionsaxiom)
WinkeladditionAxiom IV.3: (Winkeladditionsaxiom)
Satz V.2
==== Beweis von Satz V.2 ==== Lösung von Nummero6/Tchu Tcha Tcha: Vor: oder
oBdA:
--Tchu Tcha Tcha 17:01, 10. Jun. 2012 (CEST) Rechte WinkelDefinition V.6 : (Rechter Winkel)
Definition V.7 : (Supplementärwinkel)
Axiom IV.4: (Supplementaxiom)
Satz V.3 : (Existenz von rechten Winkeln)
Beweis von Satz V.3 :Wir haben zu zeigen, dass wenigstens ein rechter Winkel existiert. Nach Definition V.6 ist ein rechter Winkel ein solcher, der das selbe Maß wie einer seiner Nebenwinkel hat. Das Supplementaxiom (Axiom IV.4) besagt, dass die Summe der Größen zweier Nebenwinkel in jedem Fall 180 beträgt. Wenn es denn einen rechten Winkel gäbe, so müsste dessen Maß die Hälfte von 180 sein.
In der Tat gibt es einen derartigen Winkel: Das Axiom IV.2 (Winkelkonstruktionsaxiom) besagt, dass es in jeder der beiden Halbebenen einer Ebene bezüglich etwa der Geraden zu jeder beliebigen Zahl zwischen 0 und 180 genau einen Winkel gibt, dessen Größe gerade die Zahl zwischen 0 und 180 ist. Die Zahl 90 ist größer als 0 und kleiner als 180 und demzufolge als Winkelmaß zulässig. Satz V.4 :
Beweis von Satz V.4 :
Die Relation Senkrecht auf verschiedenen PunktmengenDefinition V.8 : (Relation senkrecht auf der Menge der Geraden)
Bemerkung: Testen Sie ob die Definition korrekt ist: Warum muss nicht gefordert werden, dass die beiden Geraden komplanar sind? Definition V.9: (senkrecht für Strecken und Geraden)
Definition V.10: (senkrecht für Strecken)
Definition V.11: (senkrecht für Ebenen und Geraden)
Definition V.12: (senkrecht für Ebenen)
Eigenschaften der Relation senkrecht
Satz V.5: (Existenz und Eindeutigkeit der Senkrechten zu einer Geraden auf einem Punkt dieser Geraden)
Beweis von Satz V.5Aufgabe_Tutorium Einige LemmataVorbemerkungenUnter einem Lemma versteht der Mathematiker einen Hilfssatz. Wir geben hier die folgenden Hilfssätze an, die wir im weiteren verwenden werden, ohne sie hier bewiesen zu haben. Die Beweise dieser Lemmata sind nicht wirklich schwer aber unerquicklich. Wer sich für die Beweise interessiert findet sie hier: Lemma W/1
Lemma W/2
Lemma W/3
|