Satz: Asteroiden besitzen (wenigstens) die gleichen Spiegelachsen wie ein Quadrat: Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
(Die Seite wurde neu angelegt: „=Satz= Sei a eine Asteroide. Die Schnittpunkte der Asteroide a mit dem Umkreis seien folgend mit A, B, C, D bezeichnet. <br /> Für alle Spiegelachsen, die das Vi…“)
 
(Zeige, dass DB spiegelachse der Asteroide ist)
Zeile 23: Zeile 23:
 
<br />
 
<br />
 
<br />
 
<br />
Ich weiß, dass auch der Winkel <math>\angle AZP'</math> existiert und <math>|\angle AZP'| + \ |\alpha| \ = |\angle AZP|</math> ist (nach Konstruktion Asteroide.<br />
+
Nehmen wir dazu an, dass die Streckenlängen nicht gleich lang sind.<br />
(ZWISCHENSPEICHERN)
+
Dann existiert auf unserer Asteroide ein Punkt P* mit der Eigenschaft, dass <math>|PS| = |SP*|</math> ist. Jetzt ist das Dreieck <math>\overline{PZP*}</math> ein gleichschenkliges (wegen Kongruenzssatz SWS sind die beiden Teildreiecke kongruent) Dreieck.<br />
 +
Ferner gilt, dass die Winkel <math>\angle AZP* \ und \ \angle CZP</math> gleich groß sind (Rechnen in |R, NW 180, Kongruenz der Dreiecke). Zudem gilt auch, dass die Länge der Strecken <math>|ZP| = |ZP*|</math> gilt.<br />
 +
Nach unserer Konstruktion der Asteroide a muss nun aber gelten, dass P* = P' ist. Dieser Beweisteil wird erneut mittels Dreieckskongruenzen geführt und ausgelagert:
 +
<br />
 +
<br />
 +
Zunächst noch die bisherige Skizze:
 +
<br />
 +
<ggb_applet width="500" height="507"  version="4.0" ggbBase64="UEsDBBQACAAIAACc7EAAAAAAAAAAAAAAAAAWAAAAZ2VvZ2VicmFfamF2YXNjcmlwdC5qc0srzUsuyczPU0hPT/LP88zLLNHQVKiuBQBQSwcI1je9uRkAAAAXAAAAUEsDBBQACAAIAACc7EAAAAAAAAAAAAAAAAAMAAAAZ2VvZ2VicmEueG1s3Vrrcts2Fv6dPgWGP3baTiQRAMFLVk4ncSazmXEaT53d2fGPzUAkJKGmCJakZCnbvlN3H2EfoM+0BwApURcrluI4dmfigCAOcM75zhWS+j/MJymaiaKUKjtxcNd1kMhilchsdOJMq2EndH54/k1/JNRIDAqOhqqY8OrE8TSlTE6cxPc86nHWGfAEd7wwGXaiRAQdd0g9NvT5YEgCB6F5KZ9l6kc+EWXOY3ERj8WEn6mYV4bxuKryZ73e9fV1t2HVVcWoNxoNuvMycRCImZUnTv3wDI5b23RNDTlxXdz759sze3xHZmXFs1g4SKswlc+/edK/llmirtG1TKoxKExD4qCxkKMxKBV4noN6mioHRHIRV3ImStjbmhqlq0nuGDKe6fUn9gmlS30clMiZTERx4rhdyhgJCY6iALvM1zxUIUVW1bS45tlrTuvPpLi2x+onwxE2VUqlA65PRL/+iohLXPRUD9gOBAbft0uufedSOxA7eHZglsaz2z1L6lkaz9J41EEzWcpBKk6cIU9LgFBmwwLMt5yX1SIVRp76xUp7/BR0KuVHIKYu+InFHN677lP958Ofpxd660riFteqmB7ItGGJqe/fnif5LE1pw9SL8DZPwm7Q09/D1Cp+K0VZC1tgZf6Zvy2OdJ+amxzt/PMY+t69qNjvNbHSr8MDlWNNW7tPJSalDhgaIRZpv8eIQXD4Abg5QziCISAIwgFhhjwGUxwiX48BogEseIiiEGk6TJGJDhbCf15gDvMRg8P02wCCEmFg5CFGETZB5SEIJWQCE4KUUKBgDDHYpNljoo+gPvJ8mNEQeSCjjskAAyGFjTAH9gRRjKjejANEfOTr87CnY90PtehwJEG+i3ysD4SwhpC24Qz0IaJaG7+GS2b5tFqDKJ4kzWOl8qUtgBoS0irt2QS1lhWf9FM+EClUigttSYRmPNURYRgNVVahxojEvhsVPB/LuLwQVQW7SvQzn/EzXon5a6AuG96GNlZZeV6o6lSl00lWIhSr1F3KrFLceiZLqWFCWwtee4G1FvzWc7CTr4IVNC0F8FdF2ZDzJHmjKVapAZB8l6WLl4XgV7mS62r0e6bo9MU0TmUiefYPcFbNReOCVjVI56umBrEgaiRRRXKxKMGF0fxSFApyFQ27vkcYhqzNQhYAsGhRLzHSDamHsQ8ZF0dEl7Uy5jr6CAm6bkRDiokbEsZYCLt2r/mNqcRsaSQ+Fyt9R4UO7tbkTflSpatXBoJTnlfTwnQQkB8LrdeLbJQK4yYm40J5jq8Gan5RJ2x71vtFDjPXSjAYGehRoXVjQFCPAzsaGi3akso1NK6hcBuHk8lyHUAxFGYc2NFQgQdb0WpVcaMmdhs2sjRJzXXq0GkSlvZ/XeynmazOmkkl46taVWw3/DidDMTSi9bPxHd1Zr+34Wb9K1FkIq29Gow5VdPSBmnL4RMRywlM7UINCdfm+jsIYN8mYlSIRvDUdGcWMLPqtv1167U56nWhJm+y2XvwhQ0B+r1Gyn4ZFzLXPocGUAmuxMqrEllyKCRJe58OQ1A91gUD4Kk0NBCg02qswNivU+WDtRJILvDakE8mPEtQZgrQ6bSYiVNeVKIEuJxVZuSQY2JVflt9969v6XdwHuSZUmarOeSaCgZqnIFDgqG++/3/fre6qmnVHMKtcjVbnQNSMYGeD1XGyWMtQLwUoLE6N6Jo8yI1+Bky7bIY2/WW3WD9BtdHPM3HXDeetQlSvhDFmlHMcW9Vsm6qVSBUkKavoBktTbRWdVyah7/JJBGmRFufs2ptKWgSwVLuy0/otYqLm9QysX9Lxd4Nh6Wo0PzE6ehOawG7vX168wwiwPgRJNtcn69jLBfChqdVCB5y4Gey2lq9AK8vNS8tleZlxo/2LmXvEhoKnenWCqR9uxEut8Xzxb3i+UnAjoEL3yNcLx8/XI134XuA6/Txw9W5T/d69fjxatyrc1f+tV5vz1W6GKnNQvvK1tcXtqy+tGX1dKuUQjeTQruILXViqfkHbOkHtgzH++ttXgvQmGR55nF174gaTVzPNrF63DI5PsTkN/tlKUZ6tpQlOa6f2C/rge65Iyi3nOwYC4hfMrultH2xnOSpjGW19J9U+/ubrIIuWZg2cbv5vRIi17eOd9n7gmel/nDT0rSa6ltCrR3yQYK9HdJ/ArQHDwrrPzXU8YOE+nEivVkVdRexXhP5Vvk7/1Rla7ci50e1Is0HLJ99g7ybm1TH7TLmEZ9ElIUBI2EY1L0cDpkXYdelxHPdKAro3l7FO6pX+YkvNmxyaTuP8y3TiP2mKeCkBnjxVW/2a9juAHFxA+gf27weX4C9K6qxgraPp2cg/IZVz61VFy/mstyy7HC/ZTUWK9M9ENNu9fC7TP1FTHmzBd7KolDFIcif/4XnqvzrQUmv3vJVU1/bDrfLXn54r9lrhesa3qPb57DRA3H07RymoVzsRv6RpzDzxclm/NSmNHa9tPfh7eL0x3/2W9Z8ML+0HVDr/SDVtIaddL2IBa7rMkpISF3mf+rmuzvCGDb218OB197W57iRsW+0zz+OMS4v4lXAsaaJSVN1/ZMYpmJu0L+tqZY+sGGu4b50d3FIors4KsX5thH3bR+uh7urNYe2ZMd9fLQrCOq0dlG7/w3Z7Y//fiAHhYGm3wgE3IUwCCKfEj+IvDDyjwwEmwexu50JbxsG2LN3ny8aBvQzw2Bnxloz1uUuM+EDzYQfrpmW3zo9aDvtaIlfWjO92rLP+IB2ePxAugSy8Q1A54u1AQdhfNp86L2JsTwAY/lAMG7KAPmKGO/6FGW4fa348O/vfzvoUmE2HJNAMLFXCjPe9Zc7x343TSnWPw+CWh3pztj/otW71/5xhvkZVP2b3uf/B1BLBwg42LZHaAgAAHAsAABQSwECFAAUAAgACAAAnOxA1je9uRkAAAAXAAAAFgAAAAAAAAAAAAAAAAAAAAAAZ2VvZ2VicmFfamF2YXNjcmlwdC5qc1BLAQIUABQACAAIAACc7EA42LZHaAgAAHAsAAAMAAAAAAAAAAAAAAAAAF0AAABnZW9nZWJyYS54bWxQSwUGAAAAAAIAAgB+AAAA/wgAAAAA" showResetIcon = "true" enableRightClick = "false" errorDialogsActive = "true" enableLabelDrags = "false" showMenuBar = "false" showToolBar = "false" showToolBarHelp = "false" showAlgebraInput = "false" useBrowserForJS = "true" allowRescaling = "false" />
 +
 
 +
===Ausgelagerter Beweisteil===
 +
Wir betrachten dazu mal folgendes: Sehen wir zunächst einfach mal davon ab, dass sich innerhalb des großen Kreises ein weiterer kleinerer dreht, dann gilt doch, dass unser sich drehender Ausgangspunkt (sei dies A) auf dem großen Kreis verbleibt. Die Winkel <math>\alpha \ und \ \beta</math> sind (wie vorher gezeigt) kongruent zueinander.<br />
 +
Damit jetzt A auf A' abgebildet wird, wird nach der Konstruktion der Asteroide der Punkt A um den Winkel Alpha gedreht. Damit Punkt A'' auf den Punkt C abgebildet wird, muss der Punkt A'' noch um Beta gedreht werden (bei gleichem Drehzentrum, logischerweise). <br /><br />
 +
OK, habe grad festgestellt, dass auch dieser Ansatz zu verwerfen ist, weil A' und P* nur dann auf dem gleichen Strahl liegen, wenn Alpha gleich 45 (oder 90) - was irgendwie auch logisch ist, bei Betrachtung der kleinen Kreisdrehung.
 +
<br /><br />
 +
<ggb_applet width="700" height="507"  version="4.0" ggbBase64="UEsDBBQACAAIAD2g7EAAAAAAAAAAAAAAAAAWAAAAZ2VvZ2VicmFfamF2YXNjcmlwdC5qc0srzUsuyczPU0hPT/LP88zLLNHQVKiuBQBQSwcI1je9uRkAAAAXAAAAUEsDBBQACAAIAD2g7EAAAAAAAAAAAAAAAAAMAAAAZ2VvZ2VicmEueG1s5Vvrbts4Fv7deQrCPxadoo55l9R1OkhTFFugnRaT7mCRHzugJdrhRJa8kpzYxTzUdh5hH6DPtIek5LuT2G3SpAPUpSge8vCc79xIO92fJsMUXeiiNHl22CIHuIV0FueJyQaHrXHVb4etn57/0B3ofKB7hUL9vBiq6rDFLaVJDlsBDmPaY6KNw55qc9LvtyMe0LaQfdUXPREJGbUQmpTmWZb/rIa6HKlYn8Rneqje5LGqHOOzqho963QuLy8PGlYHeTHoDAa9g0mZtBBsMysPW/XDM1huadIlc+QUY9L519s3fvm2ycpKZbFuISvC2Dz/4VH30mRJfokuTVKdgcAspC10ps3gDIQKOG+hjqUagUZGOq7MhS5h7kLXCV0NRy1HpjI7/sg/oXQmTwsl5sIkujhs4QMmBA0piaKAYCEtj7wwOqtqWlLz7DSrdS+MvvTL2ifHESZVeZ72lF0R/fEHophi9NQ2xDcUGin9EPbvMPMN9Q33jfA03E/nnpR7Gu5pOGuhC1OaXqoPW32VlqBCk/ULgG/WL6tpqt1+6hdz6clTkKk0H4GYYbATr3N4j/FT+5Hw4XagsywkWeBaFeMdmTYsCZPy5jzpF0nKGqY8Ius8qdgip7yCqRf8RoKKBd0CK/fPfdY4sqvEXOXo+1/GUPI7EbHbaXylW7sHKs8sbW0+lR6W1mFYhERk7Z4gAc4hAzBzgUgETUARuAMiAnEBXRIiadsAsQAGOGIoRJaOMOS8Q4TwHw/cYhIJWMy+DcApEQFGHAmGiHMqjsCVkHNMcFLKgEIIJGCSZU+oXYJJxCX0WIg47NH6ZECAkMFE6AN7ihhBzE4mAaISSbse4dbXZWi3DktSJDGSxC4Ibg0u7d0Z6EPErDSyVpfJRuNqSUXxMGkeq3w0wwKoISDNw54PUEtR8VE3VT2dQqY4sUgidKFS6xGOUT/PKtSASP27QaFGZyYuT3RVwawS/a4u1BtV6ckroC4b3o42zrPyfZFXx3k6HmYlQnGe4tme85QsPNPZrqHDFgb44oBYGJALz8FGvjmMoHGpgX9elA25SpLXlmIeGkCT77J0+qLQ6nyUm2Uxuh2XdLp6HKcmMSr7FYzVcrF6QfMcZONVk4NEEDU7yYvkZFqCCaPJqS5yiFWCHQgpCOGSRNBQCD/TeoiyA8IDiNw4pAGnDJJuGSvrfUTKAxyFmIYBJSENCbjmdMsY4565vpiBpCZ6Jv+gsL5dy247r8sXeTp/5TRwrEbVuHAFBOyvsGIdZYNUOytxAReyc3zeyycndbz2a32YjqCH/QZ6A6d5VFipBRDUbc+3jsbubEaFHQ12FLixN5PMxklEHYVre751VGDAfmu1pKQRk+CGjSldTMOtJc9x1m9T/Tgz1ZumU5n4vJaUePqfx8OentnQ8pLkKy3Z7azYWPdcF5lOa5MGJMf5uPQeumDtiY7NELp+oFaIsmD9Ezbg3yZ6UOhm36krzby63CheNNa1126pV0U+fJ1dfABLWNlAt9PsslvGhRlZg0M9SAPnem5TiSkVZJFkcZ71QRA9ttkC1FNZ1YB3jquzHKB+leYSsEogssBrRz4cqixBmcs+x+PiQh+rotIlqKs1D4sKAkycl4+rH//9mP0I60GQKU0270OgqaBhzhQURBcm8ZP//dfLmo+rZhHlhavZ2gCQ6iEUfKhyJh7bDcSzDTSoK7cVCy/Ke79DmF2xigXcYHyL4SOVjs6UrTprCFI11cUSKG65t3myDNXcDSqI0edQiZbOV6vaK93DP0ySaJefvc15sdYEdGFgtu+ja+Sau8U2sZzn7yuYysDEnaFAKB15Fxpp7Z3P7xceRrCcC1lLuQCMukST+lw09czRR9/35wQrqQ1jS8nPv13xhpuq6/Thqwt/ZXWt+K8p4lSv+O2pd9ejNV+Mr/HFPDPxTLfxA3NBSNRmoDOIJhVUKXDKxo2t4kb7zZsJaKftgSH1q49kARoAvTATdNTQHzVURxD12v6J1Yse8WatI1E/+c38J/P7L322ssWi6Zv4ajzfmqLIi814To8gU65hevo3NcrLv1+N7IpX1VO+qW/dnodcJfrxww8o7dsNwK5Mmenj8yenMJg4bqYfSCiNSSgYDkgQiVB6NmVqr3jQ0GROU0MFW41cRYBUr4STS6VPYiiesvlFl9d8XfkH1HmmvSWp5RPuoW8mCwUQ1DTmI9Rwagmr/fAkeD1KkduPUqqI5xiJbYbhFLdqG3iTbWwPJr/kFZR9K8HkyAcTANbVcKdrAeVo94BydN8CSogjTGQUcRbwiAei9hcRBkEoqKA0ojxg5BYS8kadH3udt69V+t6q/wYAvOv3S135iCSdgttE3Ayg9hpCbDNC/DYQUtMt9dJc+0vY9K7Go4D1Gg33vmnNtKTgdVufbvaMj4uc9qm6VgodMxylJjbVTI+pDVivswoO6dqdUtfP3udaj+yVx7vsQ6Gy0n6x4mkWzvR7wrkF1OTmoCb3FlTu3W6TNz1wVN+7ILeMa28NxPe/kV1ipSVfg7K5b78qRBLqb91cu3+YFHWUpFfhvVoJ2Jpkn1MnJyKSEZchZVRENGpyIMOUkkiAwVAaCLCXWwixm9BL1tHbCbu7R+6WoGlbbCKJZYCjAGpoTqMZNDyUlMAgCyWLbgMZd/m8uSI89bVJ7VNLSH3+8zpHWzk1/Fl72k3ODXdeu7OvXbunaX75i+6neuLUuxzjAHo1ckbjXkMJuDNA75cAOt4Az27gXAdN9NdAZr9bNXwQiDUE9C4Xa/q6UPaXvVmDAkfaQH1Ll2uzamUFWe2R7Xn/Wg9/L3ZJVC/2S1T2NwID3/R88zXOwTbLSBpwEYSEEizrRMM5DlkYsQgqASZ4KG4h01yj7GSbsl/uouyX90fZ7TVt883ajuRdXTs0B1p/+fCYoyfo86f6u7sXG4rpJ7sV00/uz32PgPoWhzwKSBjA8SeoNU8xZDQeEky4EFLy4I41v6j/z59A/dwr/+XV9z9feAt0vy7j2mvoiC3o3MpBJJ0O8tXvtTegc+yB2QLDElS/GuAWnxM/UW2Y4ZZSK68gpcXXH1f9dhuQZqz2zds7X1oIsvTzEtvd7258+xcMpR7Y3vyr/p1td4+9f0ls2XLnQiIchQxjW7JgQaWsL13W6B/OHcwOQN0jiNqbQonPvAHmERGYQj4GhHyZs4n8e4Eo3nTD9S2BYSEPoBLilHAZ4aDxHRosZYSQN8hYMi4ZAXwYIeGD8p4dUo/PHbaE8mlnW5KhdZL5jSwlFZ9ORtcXbBvTCf2+08m9coFVD2hi07oPBFtcgMoH5AI3SiD3Cp4NR4RNqYNtSx3Bd4PO6NoD3R3njo3fYK4XXkJsLrzIA0Kms/gjXvdb+foPv57/H1BLBwgk4uQH4gkAAJU2AABQSwECFAAUAAgACAA9oOxA1je9uRkAAAAXAAAAFgAAAAAAAAAAAAAAAAAAAAAAZ2VvZ2VicmFfamF2YXNjcmlwdC5qc1BLAQIUABQACAAIAD2g7EAk4uQH4gkAAJU2AAAMAAAAAAAAAAAAAAAAAF0AAABnZW9nZWJyYS54bWxQSwUGAAAAAAIAAgB+AAAAeQoAAAAA" showResetIcon = "true" enableRightClick = "false" errorDialogsActive = "true" enableLabelDrags = "false" showMenuBar = "false" showToolBar = "false" showToolBarHelp = "false" showAlgebraInput = "false" useBrowserForJS = "true" allowRescaling = "false" /><br /><br />
 +
Jetzt mag ich nicht mehr :-) --[[Benutzer:HecklF|Flo60]] 20:02, 12. Jul. 2012 (CEST)

Version vom 12. Juli 2012, 19:02 Uhr

Inhaltsverzeichnis

Satz

Sei a eine Asteroide. Die Schnittpunkte der Asteroide a mit dem Umkreis seien folgend mit A, B, C, D bezeichnet.
Für alle Spiegelachsen, die das Viereck \overline{ABCD} auf sich selbst abbildet gilt: Alle diese Achsen bilden auch die Asteroide a auf sich selbst ab.

Skizze

Beweis

Teil 1: Zeige, dass \overline{ABCD} ein Quadrat ist

Nach Konstruktion unserer Asteroide liegen alle Punkte des Vierecks auf einem Kreis. Man kann entweder mit dem Satz des Pythagoras die Seitenlängen ausrechnen und ins Verhältnis zueinanderstellen.
Aus Gründen der Einfachheit wird hier einfach mit der Definition Quadrat argumentiert - gleich lange, sich schneidende Diagonalen, die senkrecht stehen und sich gegenseitig halbieren.

Teil 2

Zeige, dass DB spiegelachse der Asteroide ist

Bei S_{DB} sind per Definition D und B Fixpunkte. Nach Konstruktion unserer Asteroide (und auch aus dem Quadrat) gilt, dass auch A auf C und umgekehrt abgebildet wird.
Nun gilt noch für die restlichen Punkte der Asteroide zu zeigen, dass die Punkte auf sich selbst abgebildet werden:
Ich versuche den Beweis mal so zu führen, wie er glaube ich sinnvoll ist - vllt. kann Hr. Gieding dazu einen Kommentar hinterlassen, ob das so sauber ist!

Wir wählen uns irgendeinen beliebigen Punkt P auf der Asteroide (ich orientiere mich an der Skizze - es gilt dies o. B. d. A. und P ist f. a. b.). Nach unserer Konstruktion der Asteroide existiert nun ein (eindeutiger) Winkel \angle AZP, der aus der Drehung unserer Asteroide enstand.
Ferner gilt nun, dass eine Gerade g existiert, für die gilt, dass g \ \perp \ DB und \ g \ \cap \ a = \left\{ P' \right\} Aus Gründen der Übersichtlichkeit nennen wir den Schnittpunkt von g und DB S.
Wenn es mir nun gelingt zu zeigen, dass |PS| = |SP'| gilt, bin ich fertig.

Nehmen wir dazu an, dass die Streckenlängen nicht gleich lang sind.
Dann existiert auf unserer Asteroide ein Punkt P* mit der Eigenschaft, dass |PS| = |SP*| ist. Jetzt ist das Dreieck \overline{PZP*} ein gleichschenkliges (wegen Kongruenzssatz SWS sind die beiden Teildreiecke kongruent) Dreieck.
Ferner gilt, dass die Winkel \angle AZP* \ und \ \angle CZP gleich groß sind (Rechnen in |R, NW 180, Kongruenz der Dreiecke). Zudem gilt auch, dass die Länge der Strecken |ZP| = |ZP*| gilt.
Nach unserer Konstruktion der Asteroide a muss nun aber gelten, dass P* = P' ist. Dieser Beweisteil wird erneut mittels Dreieckskongruenzen geführt und ausgelagert:

Zunächst noch die bisherige Skizze:

Ausgelagerter Beweisteil

Wir betrachten dazu mal folgendes: Sehen wir zunächst einfach mal davon ab, dass sich innerhalb des großen Kreises ein weiterer kleinerer dreht, dann gilt doch, dass unser sich drehender Ausgangspunkt (sei dies A) auf dem großen Kreis verbleibt. Die Winkel \alpha \ und \ \beta sind (wie vorher gezeigt) kongruent zueinander.
Damit jetzt A auf A' abgebildet wird, wird nach der Konstruktion der Asteroide der Punkt A um den Winkel Alpha gedreht. Damit Punkt A auf den Punkt C abgebildet wird, muss der Punkt A noch um Beta gedreht werden (bei gleichem Drehzentrum, logischerweise).

OK, habe grad festgestellt, dass auch dieser Ansatz zu verwerfen ist, weil A' und P* nur dann auf dem gleichen Strahl liegen, wenn Alpha gleich 45 (oder 90) - was irgendwie auch logisch ist, bei Betrachtung der kleinen Kreisdrehung.



Jetzt mag ich nicht mehr :-) --Flo60 20:02, 12. Jul. 2012 (CEST)