Winkelmessung WS 12 13: Unterschied zwischen den Versionen
(→Definition V.12: (senkrecht für Ebenen)) |
*m.g.* (Diskussion | Beiträge) (→Definition V.12: (senkrecht für Ebenen)) |
||
(Eine dazwischenliegende Version von einem Benutzer wird nicht angezeigt) | |||
Zeile 98: | Zeile 98: | ||
:: Zwei Strecken <math>\overline{AB}</math> und <math>\overline{PQ}</math> stehen senkrecht zueinander, wenn ... . | :: Zwei Strecken <math>\overline{AB}</math> und <math>\overline{PQ}</math> stehen senkrecht zueinander, wenn ... . | ||
... beim Schnitt von <math>\overline{AB}</math> und <math>\overline{PQ}</math> ein rechter Winkel entsteht. --[[Benutzer:...lw)...|...lw)...]] 16:45, 21. Jan. 2013 (CET) | ... beim Schnitt von <math>\overline{AB}</math> und <math>\overline{PQ}</math> ein rechter Winkel entsteht. --[[Benutzer:...lw)...|...lw)...]] 16:45, 21. Jan. 2013 (CET) | ||
+ | |||
+ | ======Bemerkungen zu den Definitionen V.9 und V.10 --[[Benutzer:*m.g.*|*m.g.*]] 22:11, 21. Jan. 2013 (CET)====== | ||
+ | |||
+ | Prinzipiell geht das schon so. Der Teufel steckt jedoch im Detail. Eine Gerade und eine Strecke bzw zwei Strecken können auch senkrecht zueinander stehen, wenn sie sich nicht schneiden. Die Formulierungen sind also nicht ganz korrekt.--[[Benutzer:*m.g.*|*m.g.*]] 22:11, 21. Jan. 2013 (CET) | ||
===== Definition V.11: (senkrecht für Ebenen und Geraden)===== | ===== Definition V.11: (senkrecht für Ebenen und Geraden)===== | ||
Zeile 107: | Zeile 111: | ||
::Eine Ebene <math>\varepsilon</math> steht senkrecht auf einer Ebene <math>\alpha</math>, wenn ... | ::Eine Ebene <math>\varepsilon</math> steht senkrecht auf einer Ebene <math>\alpha</math>, wenn ... | ||
...sich eine Gerade g der Ebene <math>\varepsilon</math> und eine Gerade h der Ebene <math>\alpha</math> schneiden und dabei rechte Winkel entstehen. --[[Benutzer:...lw)...|...lw)...]] 16:47, 21. Jan. 2013 (CET) | ...sich eine Gerade g der Ebene <math>\varepsilon</math> und eine Gerade h der Ebene <math>\alpha</math> schneiden und dabei rechte Winkel entstehen. --[[Benutzer:...lw)...|...lw)...]] 16:47, 21. Jan. 2013 (CET) | ||
+ | |||
+ | ======Bemerkungen zu den Definitionen V.11 und V.12====== | ||
+ | So einfach ist es nicht: Eine Gerade <math>g</math> und eine Gerade <math>h</math> der Ebene <math>\varepsilon</math> können senkrecht stehen, obwohl <math>g</math> nicht senkrecht auf <math>\varepsilon</math> steht.--[[Benutzer:*m.g.*|*m.g.*]] 22:14, 21. Jan. 2013 (CET) | ||
==== Eigenschaften der Relation senkrecht ==== | ==== Eigenschaften der Relation senkrecht ==== |
Aktuelle Version vom 21. Januar 2013, 22:14 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ÜA 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)
beim Schnitt der Gerade g mit der Strecke AB ein rechter Winkel entsteht. --...lw)... 16:41, 21. Jan. 2013 (CET) Definition V.10: (senkrecht für Strecken)
... beim Schnitt von und ein rechter Winkel entsteht. --...lw)... 16:45, 21. Jan. 2013 (CET) Bemerkungen zu den Definitionen V.9 und V.10 --*m.g.* 22:11, 21. Jan. 2013 (CET)Prinzipiell geht das schon so. Der Teufel steckt jedoch im Detail. Eine Gerade und eine Strecke bzw zwei Strecken können auch senkrecht zueinander stehen, wenn sie sich nicht schneiden. Die Formulierungen sind also nicht ganz korrekt.--*m.g.* 22:11, 21. Jan. 2013 (CET) Definition V.11: (senkrecht für Ebenen und Geraden)
...sich g und eine Gerade h Element schneiden und dabei rechte Winkel entstehen. Definition V.12: (senkrecht für Ebenen)
...sich eine Gerade g der Ebene und eine Gerade h der Ebene schneiden und dabei rechte Winkel entstehen. --...lw)... 16:47, 21. Jan. 2013 (CET) Bemerkungen zu den Definitionen V.11 und V.12So einfach ist es nicht: Eine Gerade und eine Gerade der Ebene können senkrecht stehen, obwohl nicht senkrecht auf steht.--*m.g.* 22:14, 21. Jan. 2013 (CET) Eigenschaften der Relation senkrecht
Satz V.5: (Existenz und Eindeutigkeit der Senkrechten zu einer Geraden auf einem Punkt dieser Geraden)
Beweis von Satz V.5ÜA Einige Lemmata zu WinkelnDie Lemmata noch mal in einer eigenen Datei: Lemmata zu Winkeln VorbemerkungenUnter 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
|