Quelltext der Seite Winkelmessung SS 2012

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

{| class="wikitable center" 
|- 
| 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 <math>\alpha</math> gibt es genau eine reelle Zahl <math>\omega</math> zwischen 0 und 180.

====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 ==
=== Existenz und Eindeutigkeit des Winkelantragens ===
==== Axiom IV.2: (Winkelkonstruktionsaxiom) ====
:: Es sei <math>\ g \equiv SA</math> eine Gerade in der Ebene <math>\ \varepsilon</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>\ \varepsilon</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 ==
==== 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>.

<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" />

==== Satz V.2 ====
::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 ====

== 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 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.
<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.

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 />

<br /> {{#ev:youtube|Lur1-hWGgH0}}

== Die Relation ''Senkrecht'' auf verschiedenen Punktmengen==
===== 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?

===== Definition V.9: (senkrecht für Strecken und Geraden) =====
:: Eine Gerade <math>g</math> und eine Strecke <math>\overline{AB}</math> stehen senkrecht zueinander, wenn ... .
===== Definition V.10: (senkrecht für Strecken)=====
:: Zwei Strecken <math>\overline{AB}</math> und <math>\overline{PQ}</math> stehen senkrecht zueinander, wenn ... .
===== Definition V.11: (senkrecht für Ebenen und Geraden)=====
::Eine Gerade <math>g</math> steht senkrecht auf einer Ebene <math>\varepsilon</math> wenn, ... .
===== Definition V.12: (senkrecht für Ebenen)=====
::Eine Ebene <math>\varepsilon</math> steht senkrecht auf einer Ebene <math>\alpha</math>, wenn ... .

==== Eigenschaften der Relation senkrecht ====

<quiz display="simple">
{Für beliebige <math>g, h, i</math> aus der Menge der Geraden der Ebene gilt:
}
- <math>g \perp g</math>
+ <math>g \perp h \Rightarrow h \perp g</math>
- <math>g \perp h \wedge h \perp i \Rightarrow g \perp i </math>
- <math>g \perp h \vee g \equiv h</math>

</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> \varepsilon</math>. Ferner sei <math>P</math> ein Punkt auf <math>g</math>. In der Ebene <math>\varepsilon</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 =====
Aufgabe_Tutorium

==Einige Lemmata==
===Vorbemerkungen===
Unter 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:

[http://www.ph-heidelberg.de/wp/gieding/lehre/Geometrieeinfuehrung/pdf_07_08/V08.pdf]
===Lemma W/1===
::Gegeben seien drei nicht kollineare Punkte <math>A, B, S</math>. Wenn <math>P</math> ein Punkt der offenen Strecke <math>\overline{AB}</math> ist, dann liegt der Strahl <math>SP^+</math> vollständig im Inneren von <math>\angle ASB</math>.

[[Datei:Lemma01.jpg]]
===Lemma W/2===
::Liegt ein Punkt <math>P</math> im Inneren eines Winkels mit dem Scheitel <math>S</math>, dann liegt der gesamte Strahl <math>SP^+</math> im Inneren dieses Winkels.
===Lemma W/3===
::Es seien <math>A,B,S</math> drei nichtkollineare Punkte. WEenn der Punkt <math>P</math> im Inneren des Winkels <math>\angle ASB</math> und nicht auf den Schenkeln dieses Winkels liegt, dann schneidet der Strahl <math>SP^+</math> die offene Strecke <math>\overline{AB}</math>.
[[Category:Einführung_Geometrie]]