Winkelmessung: Unterschied zwischen den Versionen

Aktuelle Version vom 25. Juli 2010, 13:06 Uhr

Inhaltsverzeichnis

1 Das Winkelmaß
- 1.1 Was bedeutet es, die Größe eines Winkels zu messen?
- 1.2 Das Winkelmaßaxiom
  - 1.2.1 Axiom IV.1 (Winkelmaßaxiom)
  - 1.2.2 Definition V.5: (Größe eines Winkels)
2 Winkelkonstruktion
- 2.1 Existenz und Eindeutigkeit des Winkelantragens
  - 2.1.1 Axiom IV.2: (Winkelkonstruktionsaxiom)
3 Winkeladdition
4 Rechte Winkel
5 Die Relation Senkrecht auf der Menge der Geraden

Das Winkelmaß

Was bedeutet es, die Größe eines Winkels zu messen?

Länge einer Strecke	Größe eines Winkels
nichtnegative reelle Zahl	reelle Zahl zwischen 0 und 180

Das Winkelmaßaxiom

Axiom IV.1 (Winkelmaßaxiom)

Zu jedem Winkel $\ \alpha$ gibt es genau eine reelle Zahl $\ \omega$ zwischen 0 und 180.

Definition V.5: (Größe eines Winkels)

Die Zahl $\ \omega$ , die entsprechend des Winkelmaßaxioms einem jeden Winkel $\ \alpha$ eindeutig zugeordnet werden kann, wird die Größe oder das Maß von $\ \alpha$ genannt.
In Zeichen: $\omega = \left| \alpha \right|$ .

Winkelkonstruktion

Existenz und Eindeutigkeit des Winkelantragens

Axiom IV.2: (Winkelkonstruktionsaxiom)

Es sei $\ g \equiv SA$ eine Gerade in der Ebene $\ \Epsilon$ . Zu jeder reellen Zahl $\ \omega$ mit $\ 0 < \omega < 180$ gibt es in jeder der beiden durch $\ g$ bestimmten Halbebenen der Ebene $\ \Epsilon$ genau einen Strahl $\ SB^+$ mit $\ \left| \omega \right| = \left| \angle ASB \right|$

Winkeladdition

Axiom IV.3: (Winkeladditionsaxiom)

Satz V.2

Wenn der Punkt $\ P$ im Inneren des Winkels $\ \angle ASB$ und nicht auf einem der Schenkel des Winkels $\ \angle ASB$ liegt, dann ist die Größe der beiden Teilwinkel $\ \angle ASP$ und $\ \angle PSB$ jeweils kleiner als die Größe des Winkels $\ \angle ASB$ .

Beweis von Satz V.2

Beweis
Nr.	Beweisschritt	Begründung
(I)	$\ P$ liegt im Inneren des Winkels $\ \angle ASB$	Voraussetzung
(II)	$\left\| \angle ASP \right\| + \left\| \angle PSB \right\| = \left\| \angle ASB \right\|$	Axiom IV.3
(III)	$\left\| \angle ASP \right\| < \left\| \angle ASB \right\|$	Axiom IV.1, 0 kann nicht sein aufgrund VSS
(IV)	$\left\| \angle PSB \right\| < \left\| \angle ASB \right\|$	Axiom IV.1, 0 kann nicht sein aufgrund VSS

--Maude001 12:06, 25. Jul. 2010 (UTC)

Rechte Winkel

Definition V.6 : (Rechter Winkel)

Wenn ein Winkel die selbe Größe wie einer seiner Nebenwinkel hat, so ist er ein rechter Winkel.

Definition V.7 : (Supplementärwinkel)

Zwei Winkel heißen genau dann supplementär, wenn die Summe ihrer Größen 180 beträgt.

Axiom IV.4: (Supplementaxiom)

Nebenwinkel sind supplementär.

Satz V.3 : (Existenz von rechten Winkeln)

Es gibt rechte Winkel.

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.

Wenn es uns gelänge nachzuweisen, dass es einen Winkel der Größe 90 gibt, so wären wir eigentlich mit unserem Beweis fertig.

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 $\ SA$ zu jeder beliebigen Zahl zwischen 0 und 180 genau einen Winkel $\ \angle ASP$ 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 :

Jeder rechte Winkel hat das Maß 90.

Beweis von Satz V.4 :

Schreiben Sie das Skript selbst. Das Video ist als Hilfe zu verstehen.

Beweis:
Voraussetzung: Ein Winkel hat die selbe Größe wie einer seiner Nebenwinkel (Definition V.6): $\alpha = \beta$
Behauptung: Jeder dieser rechten Winkel hat die Größe 90.
Anmerkung: Die Existenz von rechten Winkeln (Satz V.3) wird als gegeben angenommen.

Schritt	Aussage	Begründung
(1)	Der rechte Winkel und sein Nebenwinkel (gleich groß!) sind supplementär.	nach Voraussetzung und Axiom IV.4: (Supplementaxiom) - Nebenwinkel sind supplementär.
(2)	Die Größen von zwei supplementären Winkel ergeben zusammen 180.	(Zulässige?) Umkehrung der Definition V.7 : (Supplementärwinkel)
(3)	$\alpha + \beta = 180$	Nach (1), (2)
(4)	$\alpha + \alpha = 180$ $2 \alpha = 180$ $\alpha = 90$ $\rightarrow \beta = 90$	Nach Voraussetzung ( $\alpha = \beta$ ) und (3) algebraische Umformung algebraische Umformung Nach Voraussetzung ( $\alpha = \beta$ )

--Heinzvaneugen 13:46, 23. Jun. 2010 (UTC)

Eigentlich steckt in der Problematik rechte Winkel/90 eine Äquivalenz. Können sie diese formulieren?
Ein Versuch:
Wenn ein Winkel die Größe 90 hat (wenn er 90° beträgt), so ist es ein rechter Winkel und umgekehrt.
Der Winkel hat die Größe 90 $\Leftrightarrow$ Rechter Winkel (Äquivalenzrelation) --Heinzvaneugen 13:46, 23. Jun. 2010 (UTC)
Ein zweiter Versuch:
Ein Winkel ist genau dann ein rechter Winkel, wenn er die Größe 90 hat. --TimoRR 13:26, 26. Jun. 2010 (UTC)

Kommentar --*m.g.* 13:38, 28. Jun. 2010 (UTC): Ich hab Ihnen die Definition "supplementär" anders formuliert. (Meist ist eine Definition als Äquivalenz gemeint.) Jetzt dürften Ihre Probleme ausgeräumt sein. Der Beweis und die Äquivalenz sind korrekt.

Die Relation Senkrecht auf der Menge der Geraden

Definition V.8 : (Relation senkrecht auf der Menge der Geraden)

Es seien $\ g$ und $\ h$ zwei Geraden. Wenn sich $\ g$ und $\ h$ schneiden und bei diesem Schnitt rechte Winkel entstehen, dann stehen die Geraden $\ g$ und $\ h$ senkrecht aufeinader.

In Zeichen: $\ g \perp \ h$ (in der Formelbeschreibungssprache Tex: \perp , läßt sich gut merken, von perpendicular)

Bemerkung: Testen Sie ob die Definition korrekt ist: Warum muss nicht gefordert werden, dass die beiden Geraden komplanar sind?

Nach Axiom I/2 enthält jede Gerade wenigstens zwei verschiedene Punkte. Seien das für die Gerade g die Punkte A und S und für die Gerade h die Punkte B und S. S sei dann der Schnittpunkt der Geraden g und h. Wir haben somit drei paarweise verschiedene Punkte. Naxch Axiom I/4 existiert damit genau eine Ebene, die diese Punkte enthält. Die Geraden g und h sind also komplanar. --Maude001 11:40, 27. Jun. 2010 (UTC)

korrekt --*m.g.* 13:51, 28. Jun. 2010 (UTC)

Definition V.9 : (noch mehr Senkrecht)

Eine Gerade $\ g$ und eine Strecke $\overline{AB}$ stehen senkrecht aufeinander, wenn die $\ g$ und die Gerade $\ AB$ senkrecht aufeinander stehen.

Ergänzen Sie:

Eine Strecke $\ \overline{AB}$ und eine Strecke $\ \overline{CD}$ stehen senkrecht aufeinander, wenn ... .

die Gerade AB und die Gerade CD senkrecht aufeinander stehen??? --Maude001 11:45, 27. Jun. 2010 (UTC)

Eine Gerade $\ g$ und eine Ebene $\epsilon$ stehen senkrecht aufeinander, wenn es in $\epsilon$ ... zwei Geraden gibt, die nicht parallel oder identisch sind und vollständig in $\epsilon$ liegen und auf die

$g$ senkrecht steht. --Löwenzahn 15:18, 2. Jul. 2010 (UTC)

Eigenschaften der Relation senkrecht

Satz V.5: (Existenz und Eindeutigkeit der Senkrechten zu einer Geraden auf einem Punkt dieser Geraden)

Es sei $\ g$ eine Gerade der Ebene $\ \Epsilon$ . Ferner sei $\ P$ ein Punkt auf $\ g$ . In der Ebene $\ \Epsilon$ gibt es genau eine Gerade $\ s$ , die durch $\ P$ geht und senkrecht auf $\ g$ steht.

Beweis von Satz V.5

Übungsaufgabe

@@ Zeile 1: / Zeile 1: @@
-== Winkelmessung ==
+== Das Winkelmaß ==
-=== Das Winkelmaß ===
+=== Was bedeutet es, die Größe eines Winkels zu messen? ===
-==== Was bedeutet es, die Größe eines Winkels zu messen? ====
 {| class="wikitable center"
@@ Zeile 10: / Zeile 9: @@
 |}
-==== Das Winkelmaßaxiom ====
+=== Das Winkelmaßaxiom ===
-===== Axiom IV.1 (Winkelmaßaxiom) =====
+==== Axiom IV.1 (Winkelmaßaxiom) ====
 ::Zu jedem Winkel <math>\ \alpha</math> gibt es genau eine reelle Zahl <math>\ \omega</math> zwischen 0 und 180.
-=====Definition V.4: (Größe eines Winkels) =====
+====Definition V.5: (Größe eines Winkels) ====
 :: Die Zahl <math>\ \omega</math>, die entsprechend des Winkelmaßaxioms einem jeden Winkel <math>\ \alpha</math> eindeutig zugeordnet werden kann, wird die Größe oder  das Maß von <math>\ \alpha</math> genannt.<br />In Zeichen: <math>\omega = \left| \alpha \right|</math>.
-=== Winkelkonstruktion ===
+== Winkelkonstruktion ==
-==== Existenz und Eindeutigkeit des Winkelantragens ====
+=== Existenz und Eindeutigkeit des Winkelantragens ===
-===== Axiom IV.2: (Winkelkonstruktionsaxiom) =====
+==== Axiom IV.2: (Winkelkonstruktionsaxiom) ====
 :: Es sei <math>\ g \equiv SA</math> eine Gerade in der Ebene <math>\ \Epsilon</math>. Zu jeder reellen Zahl  <math>\ \omega</math> mit <math>\ 0 < \omega < 180</math> gibt es in jeder der beiden durch <math>\ g</math> bestimmten Halbebenen der Ebene <math>\ \Epsilon</math> genau einen Strahl <math>\ SB^+</math> mit <math>\ \left| \omega \right| = \left| \angle ASB \right|</math>
 <ggb_applet width="664" height="442"  version="3.2" ggbBase64="UEsDBBQACAAIAK210TwAAAAAAAAAAAAAAAAMAAAAZ2VvZ2VicmEueG1s7VjNcts2ED43T4HhqT2IJvgHckZyxkkvmXHrmSjNoZcOSEIUapJQSdCW/AZ5neQ9klfqAiD1a8tUnHqSmepCcbFcLL5v9+NK45fLskA3rG64qCYWth0LsSoVGa/yidXK2SiyXp6/GOdM5CypKZqJuqRyYnm2ayl7y89f/DRu5uIW0UK7vOfsdmLNaNEwCzWLmtGsmTMmd+y0XfKC03p1lfzNUtlsFkyQN9WihV1k3YItLbNL3vS3Z3rDRcHlr/yGZ6xGhUgnVhhA6vDtPaslT2kxsXzHWNyJ5e4tgslTq3NR8ztRSeW+CT4DC0INv2PwpKNs4zN90DFr04JnnFbqMDoPcELolmdyDimEPoRkPJ9Drr7vmGipEHU2XTWSlWj5J6sFwOxqoFfdXaTvGsgLNgwcvbR9p8OwmymTEmhpEF2yDWB5zbOdmzfNK1FsTAvBK/maLmRba069zjSVK7UB7FWrhC+qvGCdDQPkc5ZeJ2I51SBgz4R+t1roR3RCSf5aFKJGtYI3AIfumpir9lGZrr0c7eNojy6GCrpex7GrPfQ1MVftVfDKpNadHPenxk6/DW+QMigYoRTXhy9owoBaC7UVl5f9DZTA9eao6oHf2zKBHtgugnVM/K1ijs/2ymd8zeqKFaZIKuC2FW2DblQxmr10IhlLeQm3ZgF32Sm6/oAEjDVjec36xE0HGcD06k4h7pnHZ30SKocGck0lSAGcR6qzqE6V0CUTq7Rz20IZlcqqWqFgJYM+kbomdD5rbL58sNSGsEvb72WHfkAIjlzP9Ujs4Ljr40J3cMkr5QP0lXSpxAX7OIjdMPCCKCYxlB9NGlG0kk1TOGh1KVIqtWIZhegaEEc6xlLVTqzbCPowUl9mfMk2PXF/22sRE1qP+rjdeTY+sLxXz9jpKxq0azGn6hwdSQVdwdm2KdDxfhMZ2yFzU99yDmVUsQaqBnpAbrcbrVPVjOZBrzdWUBqaL5CXhYYQEz/w3NgNAAIfvgRKhJk6vFaZPiZaQHZaENalBvVpOD1gVwvGGo2p9fVoOWt92KDlHEXrajZrmFScjlyiGcXuvWA+CAkejEDXI43azbUDV283gtoNLXRnHtdeRkA3bJyC3sWzovefwUNsEq7h8U+DJxVlSasMVbSErS6h+jUmXL3zEXVUhSGKFVQGh1b2C7kJ1QU4QFo10hrI3Hq8t1znKa1/2PiDSzky4kSOUbUBGzB2XGfngyMdILBdA75nB04UDdGT/szsn8o4Nea1xUuYqVIuj7P1lq6GkpUcJ6uGSD3KyQCuHqVqq06fztVzsTGADA1qoXrxTSVhomD6DX04KFwztlAT2lX1rqZVoyZ147M1gDzEqpDwYt8j9sIQCy9zRF3F8z7Br/7CxyneVT7l/jXNpuQlN5fEXE7vN2z6bYS9YRyHdhi7EfYIcXHkE+Lrx+Gd4MR+5PkeDjAJSfwU3dMT9/2QTw3iHb47mH/+eBzy3UEMvIcOYs8+/BwM90OHn6g3FoW4fctmBVtqLAcX+0MSdh/e6XARS38oEYMZO9yrZTUt25js1H1gStyxiY9xEHgecUL4qX0Ked+xto1+/vLhl4flzT1N3tznlbej8kVwGEWhRzyMnSgwgzNwTmISeJGD4ROQiJBvLWAKhG0JO5wKPn86ScA+PSpg0f8CthEw9wDvbLiAZT+SgIF+eTu1HPYCFu9VPlT4KABvpVskwiSIwv6t933q19n2PzH6z8fu39fzfwFQSwcIrEvu1xgFAACvFQAAUEsBAhQAFAAIAAgArbXRPKxL7tcYBQAArxUAAAwAAAAAAAAAAAAAAAAAAAAAAGdlb2dlYnJhLnhtbFBLBQYAAAAAAQABADoAAABSBQAAAAA=" framePossible = "false" showResetIcon = "true" showAnimationButton = "true" enableRightClick = "true" errorDialogsActive = "true" enableLabelDrags = "true" showMenuBar = "false" showToolBar = "false" showToolBarHelp = "false" showAlgebraInput = "false" allowRescaling = "true" />
-=== Winkeladdition ===
+== Winkeladdition ==
-===== Axiom IV.3: (Winkeladditionsaxiom)=====
+==== Axiom IV.3: (Winkeladditionsaxiom)====
 ::Wenn der Punkt <math>\ P</math> zum Inneren des Winkels <math>\ \angle ASB</math> gehört , dann gilt <math>\ \left| \angle ASP \right| + \left| \angle PSB \right| = \left| \angle ASB \right|</math>.
-===== Satz V.2 =====
+<ggb_applet width="664" height="442"  version="3.2" ggbBase64="UEsDBBQACAAIAIe40TwAAAAAAAAAAAAAAAAMAAAAZ2VvZ2VicmEueG1s7VlLcuM2EF1nToHiIpspU/yTqkie8kw2rprErpEzi+wgEpIQ8zckaEu+QU6RM/hzDh0iJ0kDICVS9Ee07Bm5KlyYJgA2Gu/1625Jgw/zKEQXJMtpEg8VXdUURGI/CWg8HSoFmxx4yofDd4MpSaZknGE0SbIIs6FiqobCxwt6+O6nQT5LLhEOxZKvlFwOlQkOc6KgPM0IDvIZIawxjos5DSnOFifjv4jP8vWENHIcpwXswrICxvwo+Ezz6rEnNkxDyn6lFzQgGQoTf6g4NrgO/30lGaM+DoeKpckRY6gYG5MwZPLZWZLRqyRmfPna+ARGEMrpFYE3NT426ImDDkjhhzSgOOaHEX7AIoQuacBm4IJjgUlCpzPw1bI0ac1PkiwYLXJGIjT/k2QJzLkc54V8MDSLP+XgFuxna2Kq/iSskIsRYQxYyRGekzVe04wGjYfj/GMSrofShMbsE05ZkQlKzXJoxBZ8A9gr4/4exdOQlGM6ID4j/vk4mY8EBropTZ8tUvGKcGg8/ZSESYYyjq4NC8r7WN7FGu7papUm1mhiRWmDG13N631DrBD3sbyLVSGNpWvlyfXq1LpWbUNzxAc4jBCJq8OHeEyAWQUVMWWfqweIgPP1UfkLvxfRGCRQj4GVTf2lbA56G9EzOCdZTEIZIzFwWyRFji54LMq9hCMB8WkEj3JCL73jdP0BDsjRgEwzUjkuBSQBE7ONONwYHvQqJ7gPOfjqM8gEcB7Gz8KFykAkQyVSp6qCAsz4KFdCSCICMmEiJkRIrbA5UlY5IRHyroRczq9Rhul740NEEg7TGYaRSgIhXoDY60cS9k4mk5wwNB8qB7oH0gF5ebXp35KgiQOOAU9xSJBkyu1zxlJCJNmsDHKUwn5CMjUyBIY538tVbbHXgalqjoKuZO4Ui6S+eGIQ25ol+RKwJ6Ab/SjoTF0cR3deHzpdNQ2JnaFyrb8Udh9/WNjJUNBeHzpb1SV0uup5Wv3Su+HoJ1GE4wDFOIJ9RfYX6FFedxHWuIgR1nlAImxwbCVwBavml7fSZmmpxY1IUSvsYTV/H5wpKlyAe9PTXMPwXMeydLNfVvZn8adrVWFZ86dvyZ9hyWi0H+NvXYTYDHJ9THJI7caaOEly5q8x5y6VGTlMLr+QSUjmAmg5XSsLD7DyBS82OBlJTtpk4Me5yMBShSJWtj7Ow1TUgvMhLWlbK6mF9TreDyxVpnST33mAu6plGrW4b/UIj5yHfIvlmlxWahpBF+lTtoIz5NI7jhnUbSLqYLscnxOS8j7oJD7LcJzzdnhnPo9afI6353P8lvgEUVrNtCXTmaPqK349R3P7q8vbZ34fq0an37UavVK98VTN2qgyC5G6N1jcpfg8KIvTliz87WXhv7AsoDsOqMQTlp+Uq5fX6D1a3qB///4HyYL42gkREqFTSsY12hwYlurqrrPPounaerTDYHndqfW4brceNnw6Nx3HtXUA0bE6tB67xEH3JuUF2hB3xy7kPoJOn+oNbzoRdNMmyHT7rqvZtmlDl2h5fed/hup1Z55mYJefsTz+GZkzyAAwUR71529Fwn6RfxXUa1HA4AWl+fb3AHjnVJgznLFTXmCQbChs2b0bqtP4GP40XEYF181z4DLeKFxO+fGx73VDyyzRkhAtr4clVltAZe7cCb0cAAeg537z8qr4sbohYjURuemAiLVfiBglAlo3AOxKQLfPEZC9RxiALOxmUJR9rtExpzjNmLjtEBPOHuEBMdHs+zXNrhBxm0C53QByN9LI+066cfcLI6f5FZxVplbT3IylbRFa3tVLOPRF9whpo3e62/Z7tV27C69y7e45avfeeLk0H/m2tY5dr/4rivjdsPzh9PA/UEsHCMM6q7lzBQAAah0AAFBLAQIUABQACAAIAIe40TzDOqu5cwUAAGodAAAMAAAAAAAAAAAAAAAAAAAAAABnZW9nZWJyYS54bWxQSwUGAAAAAAEAAQA6AAAArQUAAAAA" framePossible = "false" showResetIcon = "true" showAnimationButton = "true" enableRightClick = "true" errorDialogsActive = "true" enableLabelDrags = "true" showMenuBar = "false" showToolBar = "false" showToolBarHelp = "false" showAlgebraInput = "false" allowRescaling = "true" />
-::Wenn der Punkt <math>\ P</math> im Inneren 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 =====
-=== Rechte Winkel ===
+==== Satz V.2 ====
-===== Definition V.5 : (Rechter Winkel) =====
+::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 ====
+VSS: <math>\ P</math> liegt im Inneren des Winkels <math>\ \angle ASB</math> und nicht auf einem der Schenkel des Winkels <math>\ \angle ASB</math> <br />
+Beh: <math>\left| \angle ASP \right| < \left| \angle ASB \right|</math> und <math>\left| \angle PSB \right| < \left| \angle ASB \right|</math>
+{| class="wikitable "
+|+ Beweis
+! Nr.
+! Beweisschritt
+! Begründung
+|-
+! style="background: #FFDDDD;"|(I)
+| <math>\ P</math> liegt im Inneren des Winkels <math>\ \angle ASB</math>
+| Voraussetzung
+|-
+! style="background: #FFDDDD;"|(II)
+| <math>\left| \angle ASP \right| + \left| \angle PSB \right| = \left| \angle ASB \right| </math>
+| Axiom IV.3
+|-
+! style="background: #FFDDDD;"|(III)
+| <math>\left| \angle ASP \right| < \left| \angle ASB \right| </math>
+| Axiom IV.1, 0 kann nicht sein aufgrund VSS
+|-
+! style="background: #FFDDDD;"|(IV)
+| <math>\left| \angle PSB \right| < \left| \angle ASB \right| </math>
+| Axiom IV.1, 0 kann nicht sein aufgrund VSS
+|}
+--[[Benutzer:Maude001|Maude001]] 12:06, 25. Jul. 2010 (UTC)
+== Rechte Winkel ==
+==== Definition V.6 : (Rechter Winkel) ====
 ::Wenn ein Winkel die selbe Größe wie einer seiner Nebenwinkel hat, so ist er ein rechter Winkel.
-===== Definition V.6 : (Supplementärwinkel) =====
+==== Definition V.7 : (Supplementärwinkel) ====
-:: Zwei Winkel, deren Größen zusammen 180 ergeben, sind supplementär.
+:: Zwei Winkel heißen genau dann supplementär, wenn die Summe ihrer Größen 180 beträgt.
-===== Axiom IV.4: (Supplementaxiom) =====
+==== Axiom IV.4: (Supplementaxiom) ====
 ::Nebenwinkel sind supplementär.
-===== Satz V. : (Existenz von rechten Winkeln) =====
+==== Satz V.3 : (Existenz von rechten Winkeln) ====
 ::Es gibt rechte Winkel.
-===== Beweis von Satz V. : =====
-Wir haben zu zeigen, dass wenigstens ein rechter Winkel existiert.<br />
+==== Beweis von Satz V.3 : ====
-Nach Definition V.5 ist ein rechter Winkel ein solcher, der das selbe Maß wie einer seiner Nebenwinkel hat.
+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.
-<ggb_applet width="505" height="348"  version="3.2" ggbBase64="UEsDBBQACAAIAIqy0TwAAAAAAAAAAAAAAAAMAAAAZ2VvZ2VicmEueG1s7VjLcts2FF03X4HhXjRA8DkjJSOnm8y4tSdKs+imA5GQhJoPlQRtyX+VfEi/qRcASVGPkUU7kz6m2kC8AC8uzrnnAuD43SZL0QMvK1HkE4vY2EI8j4tE5MuJVcvFKLTevX0zXvJiyeclQ4uizJicWNR2LGWvxds3P4yrVfGIWKqHfBb8cWItWFpxC1XrkrOkWnEu9+ys3ohUsHJ7O/+dx7LadRgnH/J1DbPIsgZbnCU3omofr/SE61TIH8WDSHiJ0iKeWL4HocO/z7yUImbpxHKxsTgTyznoBBNVvauiFE9FLtXwnfMFWBCqxBOHN7Gyja/0Qse8jlORCJarxeg4YBBCjyKRq4nlYQ9ccrFcKYAINd7ioiiT2baSPEObX3lZTKyR7yugt+bJxeqhgrC48qF7+k/aC3+YcSmBlQqxDd/htSxFsvfwobou0p1pXYhcvmdrWZeaUtqYZnKrJoC5ShXvNF+mvLE5gPiKx/fzYjPTGMBKtOtP27V+RQc0X74v0qJEpUIX1r1s2rlp9RgVaTcK6zFYj2h8KKddP4kcPUK3c9PqUanITWjNykm7aoLbaUSFlEHBCJnYLT5lcw7MWqjOhbxpHyAD7pulEvPCz3U2Bwn0c6DzSb6Vz/HVQfaM73mZ89TkSA7c1kVdoQeVi2YuHUjCY5HBo+kgTXSKrl8gAGNN+LLkbeBGQAYw3Yv7eXhgHl+1QagYKog1llAJYD1SrUUJVYJIJlZmL20LJUwqq1JCyjMOMpE6J3RKddhMfyNWVxUKLfBD+HoLhAEnc0RnE0vXKwaWVgYp24Lg+8vSDn8qkv3FshxA0ysB3a2VA0XLmvOkKXKyyWW0BpdaGb2QNFQV2oAAbYL3fhDTFgTs2i5k6ZNxpt8xqlLlQMdBG8oNTM8Adv3fASyyQ6eDyB0GUVxkGcsTlLMMproB2WtUhNoLEMMmsRAjBjCDRS3bTmbcNU6OEFdVpEOTWfuFRa5AvzmvKl39ZL/O7XFi9qPLKcEvJ2QHKbzq7OWg6xuIXTswSehgO/AxjbpfcFg5zyyQ/5GbMZWpXyKDvTUW8jw7dzqB9+lhR5zMznOyr4LZsQb28N4V5z7cxDGbj24HquB2sai4VBiPCNGQUvJ9qkoYYhzggEZh5DuOuysqlGKPhq4bERz6r5HPe1HG6aGAZkY+buuyR1V8nirYHUTcURG/UD+Da9orBHRZ8oslzx8gtqKsENrghsctNhOip9ayAdhG5mxGGtMT6ZEDeVGKDZq246ftqKk6a4Y2cYFPx6XY94jnA7NT2kwxdcHziYyYeoqow4w4KVlIwVgsRHw+Iz7kEg4ksNaDpIhNUjBo1FH5RG5Mh8h4+iIZ+65mXTVz0wzXMDUSdi4rq5GGnLohJcQLnf62hR3PBcjDIAgiteO/XIWXYU5OYH49BPPrvw1zx9RN98K9jCjQCfZ9N/SpS/wg7FDHPvV8QJ1gwH7g4Wof9BnPYAM7Uf6uDerTI7CTC4rfmpU7wJP/C+BrCmDwXP3zBtW//pFF85qqzbfTHmzYx/eqe87X6kJ7m38qWV6p7xpmTO++NuDskxzl1N0QAd/9A84+o/DFZ58hJ58o8iJKQuIR4kTNdQprnj2qCm+EfQeHr9H/R7Y9fe65OyJpfp6kEjy1FMz/TXeGEbXVPcBzqBfpG4NnNkdwScDquFB7iQeCiyJzynSo7esK7Lmh45HwW90gvoMc9berw5uiIXxm9tdj3v/8cp54/YGlYw1Gq/chnroBnNhegIkHCRzBESH0aPAc86cVbIgnuPnkpdqOfO9C8skZqugBVayMdzIKW2OaFo8f+SLlG43lATnDkL/bQ/76GPmvg5D/egp54tLIj2gAewWNXoW8g90TlfM88r3K6QdaVeS7EnNKEVf9r3f6e3Xzwf7tX1BLBwhOOxK7mAUAAOIXAABQSwECFAAUAAgACACKstE8TjsSu5gFAADiFwAADAAAAAAAAAAAAAAAAAAAAAAAZ2VvZ2VicmEueG1sUEsFBgAAAAABAAEAOgAAANIFAAAAAA==" framePossible = "false" showResetIcon = "true" showAnimationButton = "true" enableRightClick = "true" errorDialogsActive = "true" enableLabelDrags = "true" showMenuBar = "false" showToolBar = "false" showToolBarHelp = "false" showAlgebraInput = "false" allowRescaling = "true" />
+<ggb_applet width="505" height="348"  version="3.2" ggbBase64="UEsDBBQACAAIAIqy0TwAAAAAAAAAAAAAAAAMAAAAZ2VvZ2VicmEueG1s7VjLcts2FF03X4HhXjRA8DkjJSOnm8y4tSdKs+imA5GQhJoPlQRtyX+VfEi/qRcASVGPkUU7kz6m2kC8AC8uzrnnAuD43SZL0QMvK1HkE4vY2EI8j4tE5MuJVcvFKLTevX0zXvJiyeclQ4uizJicWNR2LGWvxds3P4yrVfGIWKqHfBb8cWItWFpxC1XrkrOkWnEu9+ys3ohUsHJ7O/+dx7LadRgnH/J1DbPIsgZbnCU3omofr/SE61TIH8WDSHiJ0iKeWL4HocO/z7yUImbpxHKxsTgTyznoBBNVvauiFE9FLtXwnfMFWBCqxBOHN7Gyja/0Qse8jlORCJarxeg4YBBCjyKRq4nlYQ9ccrFcKYAINd7ioiiT2baSPEObX3lZTKyR7yugt+bJxeqhgrC48qF7+k/aC3+YcSmBlQqxDd/htSxFsvfwobou0p1pXYhcvmdrWZeaUtqYZnKrJoC5ShXvNF+mvLE5gPiKx/fzYjPTGMBKtOtP27V+RQc0X74v0qJEpUIX1r1s2rlp9RgVaTcK6zFYj2h8KKddP4kcPUK3c9PqUanITWjNykm7aoLbaUSFlEHBCJnYLT5lcw7MWqjOhbxpHyAD7pulEvPCz3U2Bwn0c6DzSb6Vz/HVQfaM73mZ89TkSA7c1kVdoQeVi2YuHUjCY5HBo+kgTXSKrl8gAGNN+LLkbeBGQAYw3Yv7eXhgHl+1QagYKog1llAJYD1SrUUJVYJIJlZmL20LJUwqq1JCyjMOMpE6J3RKddhMfyNWVxUKLfBD+HoLhAEnc0RnE0vXKwaWVgYp24Lg+8vSDn8qkv3FshxA0ysB3a2VA0XLmvOkKXKyyWW0BpdaGb2QNFQV2oAAbYL3fhDTFgTs2i5k6ZNxpt8xqlLlQMdBG8oNTM8Adv3fASyyQ6eDyB0GUVxkGcsTlLMMproB2WtUhNoLEMMmsRAjBjCDRS3bTmbcNU6OEFdVpEOTWfuFRa5AvzmvKl39ZL/O7XFi9qPLKcEvJ2QHKbzq7OWg6xuIXTswSehgO/AxjbpfcFg5zyyQ/5GbMZWpXyKDvTUW8jw7dzqB9+lhR5zMznOyr4LZsQb28N4V5z7cxDGbj24HquB2sai4VBiPCNGQUvJ9qkoYYhzggEZh5DuOuysqlGKPhq4bERz6r5HPe1HG6aGAZkY+buuyR1V8nirYHUTcURG/UD+Da9orBHRZ8oslzx8gtqKsENrghsctNhOip9ayAdhG5mxGGtMT6ZEDeVGKDZq246ftqKk6a4Y2cYFPx6XY94jnA7NT2kwxdcHziYyYeoqow4w4KVlIwVgsRHw+Iz7kEg4ksNaDpIhNUjBo1FH5RG5Mh8h4+iIZ+65mXTVz0wzXMDUSdi4rq5GGnLohJcQLnf62hR3PBcjDIAgiteO/XIWXYU5OYH49BPPrvw1zx9RN98K9jCjQCfZ9N/SpS/wg7FDHPvV8QJ1gwH7g4Wof9BnPYAM7Uf6uDerTI7CTC4rfmpU7wJP/C+BrCmDwXP3zBtW//pFF85qqzbfTHmzYx/eqe87X6kJ7m38qWV6p7xpmTO++NuDskxzl1N0QAd/9A84+o/DFZ58hJ58o8iJKQuIR4kTNdQprnj2qCm+EfQeHr9H/R7Y9fe65OyJpfp6kEjy1FMz/TXeGEbXVPcBzqBfpG4NnNkdwScDquFB7iQeCiyJzynSo7esK7Lmh45HwW90gvoMc9berw5uiIXxm9tdj3v/8cp54/YGlYw1Gq/chnroBnNhegIkHCRzBESH0aPAc86cVbIgnuPnkpdqOfO9C8skZqugBVayMdzIKW2OaFo8f+SLlG43lATnDkL/bQ/76GPmvg5D/egp54tLIj2gAewWNXoW8g90TlfM88r3K6QdaVeS7EnNKEVf9r3f6e3Xzwf7tX1BLBwhOOxK7mAUAAOIXAABQSwECFAAUAAgACACKstE8TjsSu5gFAADiFwAADAAAAAAAAAAAAAAAAAAAAAAAZ2VvZ2VicmEueG1sUEsFBgAAAAABAAEAOgAAANIFAAAAAA==" framePossible = "false" showResetIcon = "true" showAnimationButton = "true" enableRightClick = "true" errorDialogsActive = "true" enableLabelDrags = "true" showMenuBar = "false" showToolBar = "false" showToolBarHelp = "false" showAlgebraInput = "false" allowRescaling = "true" /><br /><br />
 Wenn es uns gelänge nachzuweisen, dass es einen Winkel der Größe 90 gibt, so wären wir eigentlich mit unserem Beweis fertig.
-Nach dem Winkelmaßac
+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 <math>\ SA</math> zu jeder beliebigen Zahl zwischen 0 und 180 genau einen Winkel <math>\ \angle ASP</math> 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 : ====
+::Jeder rechte Winkel hat das Maß 90.
+==== Beweis von Satz V.4 : ====
+:: Schreiben Sie das Skript selbst. Das Video ist als Hilfe zu verstehen.
+<br />Beweis:
+<br />Voraussetzung: Ein Winkel hat die selbe Größe wie einer seiner Nebenwinkel (Definition V.6): <math>\alpha = \beta</math>
+<br />Behauptung: '''Jeder''' dieser rechten Winkel hat die Größe 90.
+<br />Anmerkung: Die Existenz von rechten Winkeln (Satz V.3) wird als gegeben angenommen.
+{| class="wikitable"
+|-
+| ''Schritt'' || ''Aussage'' || ''Begründung''
+|-
+| (1) || Der rechte Winkel und sein Nebenwinkel (gleich groß!) sind supplementär. || nach Voraussetzung und Axiom IV.4: (Supplementaxiom) - Nebenwinkel sind supplementär.
+|-
+| (2) || Die Größen von zwei supplementären Winkel ergeben zusammen 180. || (Zulässige?) Umkehrung der Definition V.7 : (Supplementärwinkel)
+|-
+| (3) || <math>\alpha + \beta = 180</math> || Nach (1), (2)
+|-
+| (4) || <math>\alpha + \alpha = 180</math>
+<br /> <math>2 \alpha = 180</math>
+<br /> <math>\alpha = 90</math>
+<br /> <math>\rightarrow \beta = 90</math>
+|| Nach Voraussetzung (<math>\alpha = \beta</math>) und (3)
+<br />algebraische Umformung
+<br />algebraische Umformung
+Nach Voraussetzung (<math>\alpha = \beta</math>)
+<br />
+|}
+--[[Benutzer:Heinzvaneugen|Heinzvaneugen]] 13:46, 23. Jun. 2010 (UTC)
+<br />Eigentlich steckt in der Problematik rechte Winkel/90 eine Äquivalenz. Können sie diese formulieren?
+<br />Ein Versuch:
+<br />Wenn ein Winkel die Größe 90 hat (wenn er 90° beträgt), so ist es ein rechter Winkel '''und umgekehrt'''.
+<br />Der Winkel hat die Größe 90<math>\Leftrightarrow</math>Rechter Winkel (Äquivalenzrelation)
+--[[Benutzer:Heinzvaneugen|Heinzvaneugen]] 13:46, 23. Jun. 2010 (UTC)
+<br />Ein zweiter Versuch:
+<br />Ein Winkel ist genau dann ein rechter Winkel, wenn er die Größe 90 hat. --[[Benutzer:TimoRR|TimoRR]] 13:26, 26. Jun. 2010 (UTC)
+Kommentar --[[Benutzer:*m.g.*|*m.g.*]] 13:38, 28. Jun. 2010 (UTC):
+Ich hab Ihnen die Definition "supplementär" anders formuliert. (Meist ist eine Definition als Äquivalenz gemeint.) Jetzt dürften Ihre Probleme ausgeräumt sein. Der Beweis und die Äquivalenz sind korrekt.
+<br /> {{#ev:youtube|Lur1-hWGgH0}}
+== Die Relation ''Senkrecht'' auf der Menge der Geraden==
+===== Definition V.8 : (Relation senkrecht auf der Menge der Geraden) =====
+:: Es seien <math>\ g</math> und <math>\ h</math> zwei Geraden. Wenn sich <math>\ g</math> und <math>\ h</math> schneiden und bei diesem Schnitt rechte Winkel entstehen, dann stehen die Geraden <math>\ g</math> und <math>\ h</math> senkrecht aufeinader.
+:: In Zeichen: <math>\ g \perp \ h</math> (in der Formelbeschreibungssprache Tex: \perp , läßt sich gut merken, von perpendicular)
+Bemerkung: Testen Sie ob die Definition korrekt ist: Warum muss nicht gefordert werden, dass die beiden Geraden komplanar sind?
+Nach Axiom I/2 enthält jede Gerade wenigstens zwei verschiedene Punkte. Seien das für die Gerade g die Punkte A und S und für die Gerade h die Punkte B und S. S sei dann der Schnittpunkt der Geraden g und h. Wir haben somit drei paarweise verschiedene Punkte. Naxch Axiom I/4 existiert damit genau eine Ebene, die diese Punkte enthält. Die Geraden g und h sind also komplanar. --[[Benutzer:Maude001|Maude001]] 11:40, 27. Jun. 2010 (UTC)
+korrekt --[[Benutzer:*m.g.*|*m.g.*]] 13:51, 28. Jun. 2010 (UTC)
+===== Definition V.9 : (noch mehr Senkrecht) =====
+:: Eine Gerade <math>\ g</math> und eine Strecke <math>\overline{AB}</math> stehen senkrecht aufeinander, wenn die <math>\ g</math> und die Gerade <math>\ AB</math> senkrecht aufeinander stehen.<br />
+Ergänzen Sie:
+:: Eine Strecke <math>\ \overline{AB}</math> und eine Strecke <math>\ \overline{CD}</math> stehen senkrecht aufeinander, wenn ... .
+die Gerade AB und die Gerade CD senkrecht aufeinander stehen??? --[[Benutzer:Maude001|Maude001]] 11:45, 27. Jun. 2010 (UTC)
+::Eine Gerade <math>\ g</math> und eine Ebene <math>\epsilon</math> stehen senkrecht aufeinander, wenn es in <math>\epsilon</math> ... zwei Geraden gibt, die nicht parallel oder identisch sind und vollständig in <math>\epsilon</math> liegen und auf die
+<math> g </math> senkrecht steht. --[[Benutzer:Löwenzahn|Löwenzahn]] 15:18, 2. Jul. 2010 (UTC)
+==== Eigenschaften der Relation senkrecht ====
+<quiz display="simple">
+{Die Relation ''eine Gerade steht senkrecht auf einer anderen Geraden'' hat die folgenden Eigenschaften:
+}
+- Sie ist reflexiv.
++ Sie ist symmetrisch.
+- Sie ist transitiv.
++ Sie ist keine Äquivalenzrelation.
+- Sie erzeugt eine Klasseneinteilung auf der Menge aller Geraden.
+- Zwei Geraden sind entweder identisch oder stehen senkrecht aufeinander.
+</quiz>
+===== Satz V.5: (Existenz und Eindeutigkeit der Senkrechten zu einer Geraden auf einem Punkt dieser Geraden) =====
+:: Es sei <math>\ g</math> eine Gerade der Ebene <math>\ \Epsilon</math>. Ferner sei <math>\ P</math> ein Punkt auf <math>\ g</math>. In der Ebene <math>\ \Epsilon</math> gibt es genau eine Gerade <math>\ s</math>, die durch <math>\ P</math> geht und senkrecht auf <math>\ g</math> steht.
+===== Beweis von Satz V.5 =====
+Übungsaufgabe

	Sie ist reflexiv.
	Sie ist symmetrisch.
	Sie ist transitiv.
	Sie ist keine Äquivalenzrelation.
	Sie erzeugt eine Klasseneinteilung auf der Menge aller Geraden.
	Zwei Geraden sind entweder identisch oder stehen senkrecht aufeinander.