12 - Serie 05

=Aufgabe 5.1=
[[Bild:Reduktionssatz Schritt 01.png|600px]]
<br /><br />
Es sei <math>\overline{A'B'C'_1</math> das Bild von <math>\overline{ABC}</math> bei einer Bewegung <math>\varphi</math>.<br />
<math>\overline{A'_1B'_1C'_1</math> sei das Bild von <math>\overline{ABC}</math> bei der Spiegelung an der Mittelsenkrechten von <math>\overline{CC'_1}</math>.<br /><br />
Beweisen Sie: 

Die Mittelsenkrechte von <math>\overline{B'_1B'}</math> geht durch den Punkt <math>C'_1</math>.

Die Mittelsenkrechte von <math>\overline{A'_1A'}</math> geht durch den Punkt <math>C'_1</math>.

[[Bild: Beweis_ws_11_12-5_1.JPG|1200px]]
--[[Benutzer:HecklF|Flo60]] 22:26, 29. Nov. 2011 (CET)

=Aufgabe 5.2=
Das Bild aus Aufgabe 5.1 suggeriert, dass die Mittelsenkrechten von <math>\overline{B'_1B'}</math> und <math>\overline{A'_1A'}</math> identisch sind. Zeigen Sie mittels einer Skizze, dass es Fälle gibt, in denen dieselben Voraussetzungen wie in Aufgabe 5.1 gelten, die genannten beiden Mittelsenkrechten jedoch nicht identisch sind.

=Aufgabe 5.3=
Definition: (Verschiebung)
::Die Nacheinanderausführung zweier Geradenspiegelungen <math>S_a</math> und <math>S_b</math> mit <math>b \|| a</math> heißt Verschiebung.
Beweisen Sie:

# Die Identität ist eine Verschiebung.
<br />
Für diejenigen, die an die Ästhetik der Mathematik appelieren, sei gesagt, dass sie bitte nicht mehr weiterlesen sollen. Es wird nicht schön. Für euch sei gesagt, dass die Identität durch Spiegelung an zwei identischen Geraden hergestellt werden kann. Das sollte genügen und ist unmittelbar einleuchtend.<br />
Diejenigen, die sich immer schon mit der Thematik 'Wie schaffe ich es, einfache und unmittelbar einleuchtende Dinge kompliziert darzustellen und dabei ohne Rücksicht auf Verluste vorzugehen, der hole sich bitte noch ein Bier, ein paar Chips, lehnt sich in seinem Sessel gemütlich zurück und lässt den Wahnsinn einfach vor seinen Augen geschehen.<br />

LIGHT OFF - SPOT ON!

Wir setzen logischerweise ebene Geometrie voraus.<br />
Wir haben gegeben: Zwei parallele Geraden a und b. Ferner betrachten wir alle beliebigen Punkte P der Ebene.<br />
Behauptung: Die Identität ist eine Verschiebung.<br />
Es gilt also zu zeigen, dass für jeden Punkt P gilt: <math>\forall P \in \epsilon: S_a(S_b(P)) \equiv P</math>


Es gelte: <math>S_a(S_b(P))= P'</math>
Wir werden keine Fallunterscheidung durchführen, da es für unsere Beweisführung (fast) keine Rolle spielt, ob P auf a oder b liegt, da wir uns alle Punkte anschauen und für alle Punkte gleichermaßen den Beweis führen. Ein Punkt alleine würde zum Nachweis der Identität so und so nicht reichen.

Wenn P an der Geraden a gespiegelt wird, dann gilt nach der Definition der Spiegelung, dass a die Mittelsenkrechten von <math>\overline{PP'} </math> ist. Nach der gleichen Definition gilt aber auch, dass die Abbildung von P' auf P genau dann zustande kommt, wenn eine Gerade g Mittelsenkrechten von <math>\overline{PP'} </math> ist. Weil nun <math>\overline{PP'} \equiv  \overline{PP'}</math> (der Leser überzeuge sich selbst) gilt auch, dass die Menge aller Punkte für die gilt, dass der Abstand zu den Endpunkten der Strecke <math>\overline{PP'}</math> identisch zu sich selbst ist.
Aus diesen Punkten folgt: <math>a\equiv b \Leftrightarrow S_b o S_a = id.</math>
<br />
<br />
Vielen Dank für die Aufmerksamkeit :-).<br />

::Ich grins mal zurück =) und geb zu: Ich hab's überhaupt nicht verstanden, außer vielleicht <math>\overline{PP'} \equiv  \overline{PP'}</math>. Dass der Beweis (deine Worte)
<blockquote style="border: 1px solid blue; padding: 2em;">
einfache und unmittelbar einleuchtende Dinge kompliziert
</blockquote>
::darstellt, rettet dich nicht davor, dass ich ihn gern verstehen würde. ;-)
::Ich versuch mal, ne schlaue Frage zu stellen:
::Warum sprichst du nur von <math>P'</math> wobei gilt <math>P' = S_a(S_b(P))</math>? Was ist mit dem Punkt, der nach der ersten Spiegelung entsteht, also hier <math>S_b(P)</math>? Inwiefern kannst du die Definition der Spiegelung hier auf die ''Nacheinanderausführung'' von zwei Spiegelungen anwenden?
::--[[Benutzer:Sternchen|Sternchen]] 21:26, 1. Dez. 2011 (CET)
<br /><br />
<quiz>
{Ich bin ein Freund der ästhetischen Mathematik und hätte mich auch mit der ersten Lösung zufrieden gegeben, habe aber gegen alle Warnungen weitergelesen}
- JA
||erwischt :-)
+ NEIN
||gut, dann hat sich die Arbeit wenigstens gelohnt :-)
</quiz>
--[[Benutzer:HecklF|Flo60]] 21:29, 30. Nov. 2011 (CET)


# Wenn die beiden Spiegelgeraden <math>a</math> und <math>b</math> den Abstand <math>d</math> zueinander haben, dann gilt <math>\forall A: \left|A S_b \left( S_a \left( A \right) \right)\right| =2d</math>

Dafür ist die umso schwieriger - glaube ich :-).

Ich denke, wir müssen drei Fälle unterscheiden.<br /><br />

Voraussetzung: Zwei parallele Geraden a und b, mit dem Abstand d. Punkt A
Behauptung: <math>\forall A: \left|A S_b \left( S_a \left( A \right) \right)\right| =2d</math><br />
Wir gönnen uns zur besseren Beschreibung der einzelnen Fälle noch eine Senkrechte s mit der Eigenschaft: <math>\ s \perp \ a \ \wedge \ s \perp \ b  \ \wedge \ A \in s</math>. Ferner gilt: <math>a \ \cap s = {S_a} </math> und <math>b \ \cap s = {S_b} </math> 

Fallunterscheidung:<br />
Fall I: <math>\operatorname(Zw) (S_a, A, S_b)</math> <br />
Fall II: <math>\neg (\operatorname(Zw) (S_a, A, S_b)) \ \wedge \ S_b \not\in \ \overline{AA'} </math> <br />
Fall III: <math>S_b \in \overline{AA'}</math> <br />
Skizze:

<ggb_applet width="1366" height="607"  version="4.0" ggbBase64="UEsDBBQACAAIADO0fj8AAAAAAAAAAAAAAAAWAAAAZ2VvZ2VicmFfamF2YXNjcmlwdC5qc0srzUsuyczPU0hPT/LP88zLLNHQVKiuBQBQSwcI1je9uRkAAAAXAAAAUEsDBBQACAAIADO0fj8AAAAAAAAAAAAAAAAMAAAAZ2VvZ2VicmEueG1s3Vlbj9u2En5OfwWhhz7FsniVlNopkhTFCbBpCmzOQdGXgJK4trqypEr0ZYP++A5JyZbsvSa7yUEW66VIDjmcb76Zobyzn3erAm1U0+ZVOfewH3hIlWmV5eVi7q31xSTyfn75w2yhqoVKGokuqmYl9dxjRjLP5h5NCBWBCCaKhWTClJSTOJFqwnDG6IWgKsOph9CuzV+U1W9ypdpapuo8XaqVPKtSqa3ipdb1i+l0u936vSq/ahbTxSLxd23mIThm2c697uEFbDdatKVWnAQBnv7x7sxtP8nLVssyVR4yJqzzlz88m23zMqu2aJtnegkG04h4aKnyxRKMChnz0NRI1YBIrVKdb1QLawdda7Re1Z4Vk6WZf+aeULG3x0NZvskz1cy9wMcMR4QyxkhEBRNR5KGqyVWpO2HcKZ322802udq6fc2TVQkn01VVJNJsif75B5GABOi5abBrCDRCuKnAjQXUNcQ1zDXcyTC3nDlR5mSYk2HUQ5u8zZNCzb0LWbSAYV5eNOC/fb/VV4Wy5+kGDubj52BTm38CYRoAURzoMB4Ez81HwIeZienYSDzQqpv1A5X2KjEV4v46yRdZSvdK42t0En6DneIWpc7wexnKB9iCKvtrPyca6W1mHmt0/S9TKNhXMXE27WNl1oUHapdGtqOPVqvWBAyNEY8N7zHiEBwiBJpzhGNoQoIgHBDmiHHo4ggJ04aIhjDBEEURMnKYIhsdPII/LLSbCcRhMzMaQlAiDIoY4hRhG1QMQSghG5gQpISCBOeIwyKjHhOzBRWICejRCDE4o4nJEIMghYXQB/UEUYyoWYxDRAQSZj/MTKyLyBwdtiRIBEhgsyGENYS0C2eQjxA11ogOrrys13oEUbrK+kdd1XtfgDQkpEPecwlqlBafzQqZqAJKxbnxJEIbWZiIsIouqlKj3onEjS0aWS/ztD1XWsOqFv0lN/JMarX7FaTbXreVTauy/b2p9JuqWK/KFqG0KoL9masCD57J/tTQoYMJNpzggwkxeA6v1VvBDFq3CvRXTduLyyx7ayQOqQGQfF8WV68bJS/rKh+bMZvaqjNT67TIs1yW/wOyGi0GF3QoQiZf9UWIh3F/kqrJzq9aoDDa/amaCnIV5qbuXrkexcyPhz8Qcm0qTcDxwMp1PRaP5ToFarN3hNypg02LxgTwoPO2fV0VhyFr5htZ63VjrwmQAxtz9lflolCWCjarQg1OL5Nqd94lZbfXh6saeoE7QbKw8CJIAYRzEOjaxLVWxhxtLxVYmcBKBD2p8mw/j2NiJWybuNZKAUvd0TpTcW8mDno1eWsTV+B14dEnJcNxU9HXZa7P+o7O08vOVOwW/LZeJWrPlPGe+LH2nE2PqDS7VE2pio654Mx1tW5dIA5Inak0X0HXTXSQSOOu/8IB3GimFo3qD17YK5gDzM4GQ06eDNutfm2q1dty8wG4cHSA2bQ/5axNm7w2nEMJZPtLdWBVlrcSikU2XGdCDUxPTVEAeLSBBoJwrZdVYy9ZkDugNRFWqBXcqJC29LIM3cP86iO2tzWDKKqSvyCBHXvi4DOYv5ZtlpeyqJfSXOk6uwt5pZoREna/d1V2jA/Ab42AaK6de2ulHDPckeGhhu1sQI3SEQDeot3cmwS+uTle2ScBT5/cfd3dV43BJtBGOdiNHnkLKOSwugO1198BZpj41GHGHguytFqtZJmh0l5kziCteIe6KgPHNiSxAdCBs9b9VOI267Y4wd/kqD26ySn83bXsvugH98b+/cVFq7QBLAwcwyi/zTUDUnKf8nFpMesx9Qnctw8/xGLPfBqMRnst++Ss4XpwCS9Bra0guqsV9uE/eZYpezV0xevv0i1pXcbMV3WRp7l+CMXffAcUD/1IWMzhPfMrMfyN43dywm/5AH7Lb8vv+Cn4TWM/ZCQ8CH9jfv/yHfCbA9IWc+qH5An4/b6By8SiKmVxDdN/uYnp6QOYnt7lhYHdX87128h8HW2vric54BzFUDOhaj45hccO+d1SeOyH9MQBr253wNEF8LNyDSbujcS2/w+hIHxOaUhYHDBK4piGvEv8XEQxFyKkhFEWsieIknd501TN8U3HRYc8dc6Psq7anx7kom7JN3fUsLLiUHAuaCRwxFiAHdwTQJZgSrEA2IUQ1g2PDvi5Wpjx6xEf4DvCPbsd8bbbs0czuwPtr5WXsM/jgEQRpQHG8ItZx2thvjHHLMIRZ0w4Xk9w4IdcQBSEsCQMw5g9TYayyBYmHN+WGl7ClX0LPX23vlSqNl9qvC8/NLJszT9InMzgnf0GJ+83PnJzdlNgnX+844o1Dioj/jkB1X8X8/n3LBcqmN2TACKCWOPgSkZwLDiO+rrEIdlh8HWMMYeAswwgDPIgiQ5VjD9i3N3kkvSmm8D5xzve6o5d8nkvdl/uEuyKPRb39AmBl2cSs1hEw7sCI3APC6DQuHcNEoAzeEgeyRdqVzcQt6ZMdmh8UDsNhREm5t6Pf68r/dNrtVULhV65nt1hDLiGJd54/bfMc62WjbaXGmRwJX6HJAEWn166uioyBGU6/BbMfqfc/Yf05b9QSwcIr6ZMV38HAAC+HQAAUEsBAhQAFAAIAAgAM7R+P9Y3vbkZAAAAFwAAABYAAAAAAAAAAAAAAAAAAAAAAGdlb2dlYnJhX2phdmFzY3JpcHQuanNQSwECFAAUAAgACAAztH4/r6ZMV38HAAC+HQAADAAAAAAAAAAAAAAAAABdAAAAZ2VvZ2VicmEueG1sUEsFBgAAAAACAAIAfgAAABYIAAAAAA==" framePossible = "false" showResetIcon = "true" showAnimationButton = "true" enableRightClick = "false" errorDialogsActive = "true" enableLabelDrags = "false" showMenuBar = "false" showToolBar = "false" showToolBarHelp = "false" showAlgebraInput = "false" useBrowserForJS = "true" allowRescaling = "true" />

Für Fall I gilt: <br />
<math>\left| AA' \right| = 2\left| AS_a \right|</math>.<br />
<math>\left| A'A'' \right| = 2\left| S_bA' \right| </math>, weil Spiegelung gleich Bewegung und somit abstandserhaltend <br />
Demnach gilt: <math>\left| A''A' \right| = 2 \left| S_aS_b \right| + 2\left| S_aA' \right|</math> Hier könnte man noch mit Halbebenen argumentieren - ich denke aber die Argumentation Mittelsenkrechtenkriterium müsste reichen, weil ja A' dadurch nicht mehr in der Halbebene <math>\ aA^{+}</math> liegen kann und demnach wird <math>\left| S_bS_a \right|</math> komplett gespiegelt.  <br />
<math>\left| AA'' \right| = \left| A'A'' \right| - \left| AA' \right|</math><br />
::<math>= 2\left| S_bA' \right| - 2\left| AS_a \right|</math>
::<math>= 2\left| S_bS_a \right|</math> Nach vorherigen Schritten. [Änderung: --[[Benutzer:Sternchen|Sternchen]] 21:10, 1. Dez. 2011 (CET)]<br />
Begründet wird natürlich immer mit dem Mittelsenkrechtenkriterium und der Definiton von Spiegelung.
<br /><br />
Die restlichen Fälle werden analog ausgeführt und durch rechnerische Begründungen beschränkt. Durch diese Fallunterscheidung ist es relativ einfach diese Tatsache nahezulegen, jedoch schreiberisch arg aufwendig und irreführend. Vielleicht gibt es eine allgemeinere Lösung. --[[Benutzer:HecklF|Flo60]] 22:48, 30. Nov. 2011 (CET)

[[Kategorie:Elementargeometrie]]