Drehungen 2010: Unterschied zwischen den Versionen
(→Konstruktionsbeschreibung) |
|||
Zeile 82: | Zeile 82: | ||
+ (h) Es gibt eine Drehung für die gleichzeitig gilt: Das Bild von <math>\ L</math> ist <math>\ O</math>, das Bild von <math>\ O</math> ist <math>\ R</math>, das Bild von <math>\ R</math> ist <math>\ U</math>, ..., das Bild von <math>\ F</math> ist <math>\ I</math> | + (h) Es gibt eine Drehung für die gleichzeitig gilt: Das Bild von <math>\ L</math> ist <math>\ O</math>, das Bild von <math>\ O</math> ist <math>\ R</math>, das Bild von <math>\ R</math> ist <math>\ U</math>, ..., das Bild von <math>\ F</math> ist <math>\ I</math> | ||
</quiz> | </quiz> | ||
+ | |||
+ | == 2 Sätze und der dazugehörige Beweis== | ||
+ | Ich habe mal zwei Beweise angefertigt und stelle sie an dieser Stelle allen zur Verfügung um darüber zu diskutieren. Gibt es Fehler in der Logik, der Schreibweise oder bei den Begründungen? Ich bin mir eben nicht ganz sicher :) | ||
+ | |||
+ | == Satz: Jede Drehung <math>D_{Z,\beta}</math> ist eine Bewegung. == | ||
+ | <ggb_applet width="547" height="470" version="3.2" ggbBase64="UEsDBBQACAAIAHdxaT0AAAAAAAAAAAAAAAAMAAAAZ2VvZ2VicmEueG1s3VnLcts2FF03X8HhojvTePE1lZxp001m0vqVZuEdREISaopUSdCW/Ffxh/ibegGQEiVZsuQ6TVWOPRQvwIuLc+4Lw9772SRz7kRZySLvu9hDriPypEhlPuq7tRqeRO77s3e9kShGYlByZ1iUE676LvWIq+W1PHv3Q68aF/cOz8yUL1Lc990hzyrhOtW0FDytxkKoFTmvZzKTvJyfD/4UiaqWA1bJx3xawyqqrEGWTNJPsmofT82C00yqX+WdTEXpZEXSdwMfTIdfX0SpZMKzvsuQlZC+S9YGQUT16Lgo5UORKz19qXwIEsep5IMARIiW9U7NRnuiTjKZSp7rzRg7YJLj3MtUjfuuz0JQKeRoDLayILLakqIo0+t5pcTEmd2IsgBzCPUC4rvOvHkOfE8/VmCaXjOIvFCPrj4bbeLuWigF7FQOn4klbqNSpisPH6tfimwpmhYyVx/4VNWloZY2oms110sAFqW2++d8lIlGRgD5sUhuB8Xs2mJBrerP86l5xRg0GH0osqJ0So0yGD1q7gN7N3O0pYtZyMxBZkajQytdjOOYmBnmPrB3MyuTuTWt2Tlud41Ru4ysHC0A5dojF5vP+EAAw65T51J9ah/AE26brWL7wu/1ZACh0PWFhU78Vjp7p2te1LsVZS4y6ys5cFsXdeXcaZ+0axlDUpHICTzagQYSrun6Awyw0lSMStEabgPJAmZGUdcf18S909YIbUMFtiYKMgLsR+m96IBVECz6V8qVluhoyMREQKgo4w/GnRa43LiLvFCYEG+DuRlfIgzDz/qG8SKeTcccJF5jfMbnEPDd7Rh958NhJZQz67snBHCfw9txZ/i3Il3FgOeApdkghOVU69dsTYVImxyoGhd3prCiCZgOFQbByqyGvNgsZ3882LfNJBtdOj2YhWlDvYXsBfAu/lXwvhk62GN45bJQgYqYdi//7ZC7/L8g57Ooe/kGOuT5IaLdv8OQS4rJhOepk/MJWHHF5wYtqWutw5EOWodj7X4WoVq1A9xqat7f4KAETS3C3F3N1WoMKTEXVWUKiuqWju00dUDZxhN6PUtLnIGfVVfUFVxnD4+ue+6DlhIfmorlxdYL047Nir9yO6ey5UFOoIVJpFpgnWl/+JgrKBbCJN/NGnArxFQX3/P8c8nzSvdidk6nthxK9uUG2YP9yR4cE9mQeNhG+Biy2WqwMcM28qIIBZ3riNg2bdwa3xeWb007eY72p6+7eTe9xoI0mK3fB3vqFm9oaRmOEWUspLHvxy/xvisXY7RJPN6zBaA2hk92dgB7scjLZJlNF81slhX3V2KYiZmBeV9OrsVIy9dYudyWcpPdbFSNthbM5JgiEXtBsBKHYdtEYRp2L9+2BicQonFEURjhKIaDG0Ph8cTiVaGgY36e9pPQ112BDsibDQ+4/JFPi+qn3X6w1v40r3zXJqhbXsMoRBGNsB8FEQ0xMzxDHkYsBkZjhgmNfJ/8ozbmOXwv9sD34nB8L/5b+GKPIp9ANOCQEhTG+sTcxFGE4zjSEoR85kcHtth7Za4GC5u/lliuZrF9MN7IZR2UjyajgYfHDP4pJYwh3PbrQIQfxAgz4ImEkU1n2IvDELEA4yAOGCFRcDzp7HlnuNntBulhDpAeE/UQbSGOEMIQahBwzGekaSvJanA2IUgh42HfD7SzEHxMZ4id1F9uoV4cRr04KurhnLhayZr6FmyUvQfjKEA7eAKcQhiJY+ofEffPnii6FaA9V2xxg6ev+1SC9TNGpxDsOmng73XUIPYEeULCXQ5z+FkjbIWvPGu8fP7blqmfHg9i6HGTGxpHhNAgCiDJQWcfvY6b9lvCody8AfjxNwD/cr8geXxFkDxuC5I1IsKjI0JH5oFMnHa/Xpjvds2Hy7O/AVBLBwhr4XgMiQUAAOocAABQSwECFAAUAAgACAB3cWk9a+F4DIkFAADqHAAADAAAAAAAAAAAAAAAAAAAAAAAZ2VvZ2VicmEueG1sUEsFBgAAAAABAAEAOgAAAMMFAAAAAA==" framePossible = "false" showResetIcon = "false" showAnimationButton = "true" enableRightClick = "false" errorDialogsActive = "true" enableLabelDrags = "false" showMenuBar = "false" showToolBar = "false" showToolBarHelp = "false" showAlgebraInput = "false" allowRescaling = "true" /><br /> | ||
+ | |||
+ | ==Beweis== | ||
+ | Voraussetzung: Drehung D um Punkt Z mit dem Winkel <math>\beta</math><br /> | ||
+ | Behauptung: |PQ|=|P'Q'| | ||
+ | |||
+ | {| class="wikitable " | ||
+ | ! Beweisschritt | ||
+ | ! Begründung | ||
+ | |- | ||
+ | | 1) <math>\overline {ZP} \cong \overline {ZP'}</math> | ||
+ | | folgt unmittelbar aus der Definition: (Drehung) | ||
+ | |- | ||
+ | | 2) <math>\overline {ZQ} \cong \overline {ZQ'}</math> | ||
+ | | folgt unmittelbar aus der Definition: (Drehung) | ||
+ | |- | ||
+ | | 3) <math>\angle {PZP'} \cong \angle {QZQ'}</math> | ||
+ | | folgt unmittelbar aus der Definition: (Drehung) | ||
+ | |- | ||
+ | | 4) <math>|\alpha'|=|\beta'|+|\alpha - \beta|</math><br /> | ||
+ | <math>|\alpha'|= |\alpha|</math><br /> | ||
+ | | rechnen in den reellen Zahlen, folgt aus Schritt 3, da <math>\beta = \angle {PZP'} </math> und <math> \beta' = \angle {QZQ'}</math> | ||
+ | |- | ||
+ | | 5) <math>\triangle {ZPQ} \cong \triangle {ZP'Q'}</math> | ||
+ | | folgt aus den Schritten 1-4, sws | ||
+ | |- | ||
+ | | 6) <math>\overline {PQ} \cong \overline {P'Q'}</math> | ||
+ | | folgt aus Schritt 5 | ||
+ | |- | ||
+ | | 7) <math>|PQ|=|P'Q'|</math> | ||
+ | | folgt aus Schritt 6, q.e.d | ||
+ | |- | ||
+ | |||
+ | |} | ||
+ | --[[Benutzer:Andreas|Andreas]] 14:22, 9. Nov. 2010 (UTC) | ||
+ | |||
+ | ==Satz: Wenn eine Bewegung <math>\phi</math> genau einen Fixpunkt Z hat, dann ist <math>\phi</math> eine Drehung um den Fixpunkt Z.== | ||
+ | |||
+ | <ggb_applet width="529" height="343" version="3.2" ggbBase64="UEsDBBQACAAIAMF8az0AAAAAAAAAAAAAAAAMAAAAZ2VvZ2VicmEueG1s3VnNcts2ED43T8HhoTfR+Cc5lZJp00tm0saO0xxy6UAkJLGmSJWEbMlvlTxInqkLgJQpyVLkn8RWfbDEBbgAvm93v6XYf7WY5t6lquqsLAY+DpDvqSIp06wYD/y5HvUi/9XLF/2xKsdqWElvVFZTqQc+DYhv7PPs5Yuf+vWkvPJkbqd8zNTVwB/JvFa+V88qJdN6opRes8v5IsszWS3fDf9Ria5vBpyTN8VsDqvoag62ZJq+zer28sQuOMsz/Xt2maWq8vIyGfiCw9bh20dV6SyR+cBnyFnIwCcbg2CiZnRSVtl1WWgz/cb5CCyeV2fXChAhxtY/sQftq3mSZ2kmC3MYuw+Y5HlXWaonA5+TGFyqbDwxADHsvCVlWaXny1qrqbf4pKoSthMxA/SyuRLcXNWwL1iQIzvUvbJu1OW50hpoqT25UDeAjassXbt4U/9W5jemWZkV+rWc6XllOaWN6VwvzQKwVmU2/GsxzlVjIwD5RCUXw3Jx7kCgzvWH5czeYjc0HL8u87LyKgMvhwnN59B92jlmp6tZyM5BdkbjwzhdjeOY2Bn2c+g+7aw8K9zWmpPj9tQYtctktWcMBkYIxdXhczlUQK3vzYtMv20vIAQumqNid8Of8+kQcqAbBCuf+LF89k82wqd/oapC5S5ICuB2Xs5r79IEo1vLbiRVSTaFSzfQQCINXX/BBpw1VeNKtRt3GeQAs6OoG4gb5v5Juwmzhxr2mmgoBXAebc5iMlVDlphvqdTGYtIgV1MFOaJtPNhwWuFy6q8KQmlzu83iZvwGYRi+NTZsFMl8NpFgacM/l0vI9O5xrL8/ynT9kLIAsOwJIOFmxoGhY6ZU2lQ33cSwNwOXNiM6WFuIam8BxSNgkIUDvwc3Rb537e62k1z6mMS3C9OGW4fJN9D59EPReTca1Uqb4/QIssfB5EeA10NBLFr4KHk8+M6eCD7s0It/BHgkIBHq/hG7NrlzHCbldCqL1CvkFNZ9L5cWvMwoqyeRiUVPYpOwDrC5bgek89Tcv0VJBZ5awKW/XqD1BOpgoeraqoju6sVu1jow7KIN3b8irIUlcVnNAyosmCKIGOvAjTcVZ8+B1L+Fm1O7up9NoSlJMr3CMzcsvyk0qICyVXW7uF8oNTOq+q74UMmiNt2Vm9MRjbsSerZF6PBwQodHRSgN2FqqIEcvtTy7XMFr2cSOh99zNTb2DY7PdiVtsp/juvHWUpQcE880wKIpgtipSQ/jQGDWYX+rV3y+zL4vNbRStxMb2fZfEpPNmxSf/SxnZf3L33g/1RuSubrpSfuyrr4hgbkQIafwDBYLJ289FsSYc8wjEYaCsfhhYncbwqffRvj0PgifPjeETdOFKWaEcoQoFxF3EItAhDSkAsMAR0LQR4e4CeLeAVF8jxh+qt45alpZfCD8LBCxiEKBYkrDMI5d5x1wwqKIgFXwKA7Z94rvveCf3h380ycAf39whzEiKIoRjTH8Z3Gj+XGEQo4IExyFMUEPiu4d4ttA4ST4Bsp1IT4E4i057oB8JKLcIwHjplwLKiIWxYB7o9Ex1BYRAjeMxyjirFFsDg+FIaGEMOjJ4uNS7J299o4gSA/vuNMjI908MK2VsaVtxEFXOiWvyb5eGIDMQISELOIUVP//wPmuxFeHc66OinN4Wkbd0ood5yiI6GYhvrZtBo4g83kcxRFBUCKOh3P7K/jtsvrJSer2w/XXz/t5tz/VrkiD2eZ+2M+8xTuAfjdkVHBOoffl7XuD+2ktRtvM473Md37lahqdvT9zHUSjrJKO1LbGPC+v3qtRrhYW5weR0lXilpodefn18yGKvElTR5CfJVk981LGtqVHQNfZYUR9uQdRX24nCgciwgyKEwgSZYIwej+i2ldbDyCKNETRvc8PdydKfI+8WiNql9J9/XI3ip4vOSx03BD2uNzEd+bmpPv6zb5xbl65v/wPUEsHCKvppQu1BQAApB8AAFBLAQIUABQACAAIAMF8az2r6aULtQUAAKQfAAAMAAAAAAAAAAAAAAAAAAAAAABnZW9nZWJyYS54bWxQSwUGAAAAAAEAAQA6AAAA7wUAAAAA" framePossible = "false" showResetIcon = "false" showAnimationButton = "true" enableRightClick = "false" errorDialogsActive = "true" enableLabelDrags = "false" showMenuBar = "false" showToolBar = "false" showToolBarHelp = "false" showAlgebraInput = "false" allowRescaling = "true" /> | ||
+ | |||
+ | ==Beweis== | ||
+ | Voraussetzung: <math>\phi </math> ist eine Bewegung, <math>\phi </math> hat genau eine Fixpunkt Z<br /> | ||
+ | Behauptung: <math>\beta \cong \beta'</math> | ||
+ | {| class="wikitable " | ||
+ | ! Beweisschritt | ||
+ | ! Begründung | ||
+ | |- | ||
+ | | 1. <math>P \ne P', Q \ne Q'</math> | ||
+ | | folgt unmittelbar aus der Voraussetzung (genau ein Fixpunkt Z) | ||
+ | |- | ||
+ | | 2. <math>\overline {ZP} \cong \overline {ZP'}</math> | ||
+ | | folgt unmittelbar aus der Voraussetzung bzw. der Def. Bewegung (Bewegung ist abstandserhaltend) | ||
+ | |- | ||
+ | | 3. <math>\overline {ZQ} \cong \overline {ZQ'}</math> | ||
+ | | folgt unmittelbar aus der Voraussetzung bzw. der Def. Bewegung (Bewegung ist abstandserhaltend) | ||
+ | |- | ||
+ | | 4. <math>\overline {PQ} \cong \overline {P'Q'}</math> | ||
+ | | folgt unmittelbar aus der Voraussetzung bzw. der Def. Bewegung (Bewegung ist abstandserhaltend) | ||
+ | |- | ||
+ | | 5. <math>\triangle {ZPQ} \cong \triangle {ZP'Q'}</math> | ||
+ | | sss, folgt aus den Schritten 2-4 | ||
+ | |- | ||
+ | | 6. <math>\alpha \cong \alpha'</math><br /> <math>|\alpha|= |\alpha'|</math> | ||
+ | | folgt aus Schritt 5 | ||
+ | |- | ||
+ | | 7.<math>|\beta'|=|\alpha'|+|\beta|-|\alpha|</math><br /> <math>|\beta'|=|\beta|</math><br /> <math> \beta' \cong \beta</math> | ||
+ | | rechnen in den reellen Zahlen, Schritt 6 | ||
+ | |}<br />--[[Benutzer:Andreas|Andreas]] 15:13, 11. Nov. 2010 (UTC) |
Version vom 12. November 2010, 13:00 Uhr
Konstruktion des Bildes eines Punktes bei einer Drehung um mit dem Drehwinkel
Konstruktionsbeschreibung
Es seien und zwei Punkte der Ebene. Ferner sei ein gerichteter Winkel.
Das Bild von bei einer Drehung um wird wie folgt konstruiert:
Fall 1: ,dann ist (P' ist das Bild)
Fall 2: , dann
Schrittnr. | Konstruktionsschritt | Begründung der Korrektheit des Konstruktionsschrittes |
---|---|---|
(I) | Konstruiere den Strahl an den Strahl mit dem Winkel so an, dass die positive Orientierung von für < erhalten bleibt. | Winkelkonstruktionsaxiom |
(II) | Trage die Strecke auf an ab und nenne den Punkt . | Axiom vom Lineal--Tja??? 10:56, 11. Nov. 2010 (UTC) |
Konstruktionsbeschreibung für Konstruktion nur mit Zirkel und Lineal
1) Wir zeichnen mit dem Zirkel einen Kreis k1 um Z, der durch P geht.
2) Mit demselben Radius zeichnen wir nun einen Kreis um S.
3) Die Schnittpunkte mit den Schenkeln p un q bezeichnen wir mit R und Q.
4) Wir nimm die Strecke RQ in die Zirkelspanne,
5) zeichne mit der Strecke RQ als Radius einen zweiten Kreis k2 um P.
6) Die Schnittpunkte der beiden Kreise k1 und k2 benennen wir mit S1 und S2.
7) Da der Winkel α mathematisch positiv gerichtet ist, muss auch der Drehwinkel der Abbildung positiv gerichtet sein.
8) Wir zeichnen die Strahlen ZP+ und ZS2+.
9) S2 ist P', der Bildpunkt von P.
--Nicola 12:35, 11. Nov. 2010 (UTC)
--Andreas 13:00, 11. Nov. 2010 (UTC)
--phhd_mat 12:35, 11. Nov. 2010 (UTC)
Definition des Begriffs der Drehung um einen Punkt mit dem Drehwinkel
Definition 5.1: (Drehung um einen Punkt mit dem Drehwinkel
- Es sei ein Punkt der Ebene und ein gerichteter Winkel. Unter der Drehung um mit dem Drehwinkel versteht man eine Abbildung der Ebene auf sich für die folgendes gilt:
der Ebene gilt:
- , falls
- und || = , falls --Tja??? 17:38, 11. Nov. 2010 (UTC)
Bei 2. würde ich oder benutzen. --Andreas 22:44, 11. Nov. 2010 (UTC)
Definition verstanden?
2 Sätze und der dazugehörige Beweis
Ich habe mal zwei Beweise angefertigt und stelle sie an dieser Stelle allen zur Verfügung um darüber zu diskutieren. Gibt es Fehler in der Logik, der Schreibweise oder bei den Begründungen? Ich bin mir eben nicht ganz sicher :)
Satz: Jede Drehung ist eine Bewegung.
Beweis
Voraussetzung: Drehung D um Punkt Z mit dem Winkel
Behauptung: |PQ|=|P'Q'|
Beweisschritt | Begründung |
---|---|
1) | folgt unmittelbar aus der Definition: (Drehung) |
2) | folgt unmittelbar aus der Definition: (Drehung) |
3) | folgt unmittelbar aus der Definition: (Drehung) |
4)
|
rechnen in den reellen Zahlen, folgt aus Schritt 3, da und |
5) | folgt aus den Schritten 1-4, sws |
6) | folgt aus Schritt 5 |
7) | folgt aus Schritt 6, q.e.d |
--Andreas 14:22, 9. Nov. 2010 (UTC)
Satz: Wenn eine Bewegung genau einen Fixpunkt Z hat, dann ist eine Drehung um den Fixpunkt Z.
Beweis
Voraussetzung: ist eine Bewegung, hat genau eine Fixpunkt Z
Behauptung:
Beweisschritt | Begründung |
---|---|
1. | folgt unmittelbar aus der Voraussetzung (genau ein Fixpunkt Z) |
2. | folgt unmittelbar aus der Voraussetzung bzw. der Def. Bewegung (Bewegung ist abstandserhaltend) |
3. | folgt unmittelbar aus der Voraussetzung bzw. der Def. Bewegung (Bewegung ist abstandserhaltend) |
4. | folgt unmittelbar aus der Voraussetzung bzw. der Def. Bewegung (Bewegung ist abstandserhaltend) |
5. | sss, folgt aus den Schritten 2-4 |
6. |
folgt aus Schritt 5 |
7. |
rechnen in den reellen Zahlen, Schritt 6 |
--Andreas 15:13, 11. Nov. 2010 (UTC)