14

Im Folgenden werden wir uns mit Geometrie in der Ebene beschäftigen. Speziell betrachten wir so genannte Abbildungen der Ebene auf sich selbst und hier wiederum nur ganz bestimmte Abbildungen, die so genannten Kongruenzabbildungen. <br /><br />
==== Definition V.1 : (Abbildung <math>\varphi</math> )====
::Eine Zuordnung, die jedem Punkt ''P'' der Ebene eindeutig einen Bildpunkt ''P''' zuordnet, nennt man Abbildung.<br />
::Schreibweise: <math>P'=\varphi (P)</math><br /><br />

==== Definition V.2 : (involutorische Abbildung)====
::Eine Abbildung <math>\varphi</math>, die bei zweifacher Ausführung (<math>\varphi (\varphi )</math>) wieder zum Ursprungsbild führt (identische Abbildung), nennt man involutorisch oder involutorische Abbildung.
==== Definition V.3 : (Geraden- oder Achsenspiegelung <math>S_g</math>)====
::Gegeben sei eine Gerade ''g'' in der Ebene. Die Geraden- oder Achsenspiegelung <math>S_g</math> ist die Abbildung der Ebene auf sich selbst, die nach folgender Abbildungsvorschrift jeden Punkt ''P'' seinem Bildpunkt ''P''' zuordnet. <br />
# <math>\forall P\in g\Rightarrow  P=P'</math>
# <math>\forall P\not\in g\Rightarrow  PP'\perp \ g \wedge \left| PS \right|=\left| P'S \right| </math> mit <math>\left\{ {S} \right\}=\ g \cap PP' </math>
<br /><br />
Nutzen Sie die folgende GeoGebra-Applikation um den Punkt P an der Geraden g zu spiegeln. Verschieben den Punkt ''P'' bzw. die Gerade ''g'' um die Definition der Geradenspiegelung nachzuvollziehen. <br /><br />
<ggb_applet width="792" height="538"  version="4.0" ggbBase64="UEsDBBQACAAIAH1cyEAAAAAAAAAAAAAAAAAWAAAAZ2VvZ2VicmFfamF2YXNjcmlwdC5qc0srzUsuyczPU0hPT/LP88zLLNHQVKiuBQBQSwcI1je9uRkAAAAXAAAAUEsDBBQACAAIAH1cyEAAAAAAAAAAAAAAAAAMAAAAZ2VvZ2VicmEueG1s1Vdbb9s2FH5uf8WBnmNblChZLuQUbYFiBdKuQLph2BslMTIbSdREynaK/vgdkpIiO13XLd2ABrEPL4fn8vFc6PT5sa5gzzslZLP1yNL3gDe5LERTbr1e3ywS7/nl07TksuRZx+BGdjXTW48aTlFsPRZEIY8TumBJsFnQNc0WScToYhMHccwoDTISeQBHJZ418h2ruWpZzq/zHa/ZlcyZtop3WrfPVqvD4bAcVS1lV67KMlseVeEBmtmorTcMnqG4k0OH0LIHvk9Wv729cuIXolGaNTn3wLjQi8unT9KDaAp5gIMo9G7rJT66seOi3KFPsZmsDFOLgLQ812LPFR6dTa3Pum49y8Yas//EjaCa3PGgEHtR8G7r+csA/Zed4I0edsmgZTWeT/eCH5wgM7I6qAdayipjRgZ8/gyBH/hwYQhxJEASx27Ld2t+6EjgCHUkcjzUHaeOlToe6nho6MFeKJFVfOvdsEohZqK56fC+prnSdxW39gwL9/6SC/RJiU/IHBoQHci47vsX5oPIXtAR3ZmTZKZVd/0/VDqqXG+Cb1cZPMrRcNQZfMnNIPoLN+OvKHV+f4ufJJrpRFX2334eaAy/5ua5Rjd/nMKY/i8upqsxVdIhO0DtDO8QPZrXyuRLuIFoY8KeQIS5Ea8xyiMgGyTrADAbgERAI5ySBGJD1xCucYNCCAkYPhKCTY4owS+6tsJiiFCYWV1jTgJBRRSiEIjNKQqYSWDzEnM0CJEjiiDCQ0Y9CYyIMAYa4yxMgKKNJiXXBBlDPIhzVB9ASCA0h8kaghhiI49Qk+pxYkxHkQHEPsTECMSsxox22Yz8CYTGm3iASzRtr08gyutiHGrZTneB3FiP7uucq08nZfBJWrGMV9gZrs1NAuxZZTLCKrqRjYbxEgO3Vnas3YlcXXOt8ZSCj2zPrpjmx9fIrUbdljeXjXrfSf1KVn3dKIBcVv5ks6zIbBxMVuMknG3Q+UY024hn4/UX9UrcgV5x1C87NbKzonhjOO5LAyL5c1Pdvew4u22lOHUjXdkmk/I+r0QhWPMrBqvRYnCBsefYcjX2HBquR0NkV1zfKYxgOP7OO4k1hkSmy965WehmKmcmxSLfbs1nVgzfT2izI58cKTtRzMdv1EtZFZNb1pNXrNV9Zxs/lrnO2PeiKStub9sWTuyq+W0mj9fumkMn68Ndi7NBf1ZaBAGzPIiw8ZUDzRy1PMawicu3PL7l8Me4EcW0Twxa5UAzRy0XBqIzbXCUjF4Sf1QjlK1NvneSATaKTY/uG6GvxokW+e3gKXH87/o641MsnIok30lkujqLlfSWdw2vhtDEi+xlr1ymzaK24Lmoceo2BkCYuaxf0AC3WvCy46PdlX1SObjsrj+PugfLVtTrTtZvmv0HjIQzA9LVaGWq8k60Jt4gw3J+y+9jqhCKYTco5udMLqHruan6CI820GCW9XonO/tqwuKA1KRQxWt8MYG2wWXjc4L5vX18GTxBZh+xPp1dw/194fYXA82GJKvaHTMPtMHpit3x7gQGK++tLM7BQeytB5isrbvblnMXFc5eHLQozubSSbFBtBUc0QCbvZhohn5yD2/38jSemvw6qa5u9eyaMHYcSH8D14sfH65wuU4sXnS5if9zwF7++IAhTtQCRpY0+S6A5bKuWVNAY190V1h8vfsHBvNNmAEjBjyHTK/HjdKJGgQ8wN7U8Qna8tHQ+/8e+Hm80WSAj+APidmfi74FSZYbPzlvRBpfO7f4k07ZbqmHvmgHP4mi4Pal69r0H407olx/EHVbiVzoc9RX84ppHxjDr+PLPwFQSwcIVffzzEsFAAC6DwAAUEsBAhQAFAAIAAgAfVzIQNY3vbkZAAAAFwAAABYAAAAAAAAAAAAAAAAAAAAAAGdlb2dlYnJhX2phdmFzY3JpcHQuanNQSwECFAAUAAgACAB9XMhAVffzzEsFAAC6DwAADAAAAAAAAAAAAAAAAABdAAAAZ2VvZ2VicmEueG1sUEsFBgAAAAACAAIAfgAAAOIFAAAAAA==" showResetIcon = "false" enableRightClick = "false" errorDialogsActive = "true" enableLabelDrags = "false" showMenuBar = "true" showToolBar = "true" showToolBarHelp = "false" showAlgebraInput = "false" useBrowserForJS = "true" allowRescaling = "true" /><br /><br />

====Konstruktion der Geradenspiegelung mit Zirkel und Lineal====
Erinnern Sie sich an Ihre Schulzeit zurück: Wie haben Sie in der Schule mit Zirkel und Lineal eine Geradenspiegelung angefertigt? <br />
Ihre Beschreibung (gerne auch als Bild):<br /><br />

Man zeichne eine Gerade g und einen Punkt P, der nicht Element von g ist. Dann steche man mit dem Zirkel in Punkt P und ziehe einen Kreis mit beliebigem Radius (so groß, dass g geschnitten wird). Anschließend steche man hinterinander in die entstandenen Schnittpunkte auf g und ziehe je einen Kreis mit dem vorherigen Radius. An dem Punkt, wo sich diese beiden Kreise schneiden, liegt P´.--[[Benutzer:Shaun das Schaf|Shaun das Schaf]] ([[Benutzer Diskussion:Shaun das Schaf|Diskussion]]) 09:49, 11. Dez. 2013 (CET)
* Ich hab's auch so gelernt.--[[Benutzer:Tutorin Anne|Tutorin Anne]] ([[Benutzer Diskussion:Tutorin Anne|Diskussion]]) 09:32, 12. Dez. 2013 (CET)

==== Definition V.4 : (Fixpunkte)====
::Wenn bei einer Abbildung <math>\varphi</math> ein Bildpunkt ''P''' mit seinem Urbild ''P'' zusammenfällt (''P'' wird auf sich selbst abgebildet), dann heißt ''P'' Fixpunkt der Abbildung <math>\varphi</math>.<br />
::formal: <math>P=\varphi (P)=P'</math><br /><br />
Aufgabe: Welche Punkte sind bei der Geradenspiegelung Fixpunkte?<br /><br />

Alle Punkte, die bei einer Geradenspiegelung auf der Symmetrieachse liegen, sind Fixpunkte. --[[Benutzer:Simon-2206|Simon-2206]] ([[Benutzer Diskussion:Simon-2206|Diskussion]]) 09:21, 11. Dez. 2013 (CET)
*So ist es.--[[Benutzer:Tutorin Anne|Tutorin Anne]] ([[Benutzer Diskussion:Tutorin Anne|Diskussion]]) 09:29, 12. Dez. 2013 (CET)

==== Definition V.5 : (Fixgerade)====
::Wenn bei einer Abbildung <math>\varphi</math> eine Bildgerade ''g''' mit ihrem Urbild ''g'' zusammenfällt, dann heißt ''g'' Fixgerade der Abbildung <math>\varphi</math>.<br /><br />
Aufgabe: Gibt es Fixgeraden bei der Geradenspiegelung und welche sind dies ggf.?<br /><br />
Alle Geraden, die senkrecht auf der Symmetrieachse liegen, sind Fixgeraden.--[[Benutzer:&#42;Laura*|&#42;Laura*]] ([[Benutzer Diskussion:&#42;Laura*|Diskussion]]) 14:38, 16. Dez. 2013 (CET)
* Das ist korrekt. Genau genommen gehört auch die Symmetrieachse selbst dazu, denn jeder Fixpunktgerade ist auch eine Fixgerade.--[[Benutzer:Tutorin Anne|Tutorin Anne]] ([[Benutzer Diskussion:Tutorin Anne|Diskussion]]) 19:42, 16. Dez. 2013 (CET)

==== Definition V.6 : (Fixpunktgerade)====
::Wenn jeder Punkt ''P'' einer Fixgeraden ''g'' auf sich selbst abgebildet wird, so ist die Fixgerade ''g'' auch Fixpunktgerade.<br /><br />
Aufgabe: Gibt es Fixpunktgeraden bei der Geradenspiegelung und welche sind dies ggf.?<br /><br />

Alle Geraden, die auf der Symmetrieachse liegen, sind Fixpunktgeraden.--[[Benutzer:Shaun das Schaf|Shaun das Schaf]] ([[Benutzer Diskussion:Shaun das Schaf|Diskussion]]) 09:51, 11. Dez. 2013 (CET)
* Richtig, das ist genau eine!

===Eigenschaften einer Geradenspiegelung===
*abstandserhaltend: Der Abstand <math>\left| A'B' \right|</math> zweier Bildpunkte <math>A'</math> und <math>B'</math> ist gleich dem Abstand <math>\left| AB \right|</math> der beiden Urbilder ''A'' und ''B''.
*winkelmaßerhaltend: hier gilt analog: <math>\left| \angle ABC \right|= \left| \angle A'B'C' \right|</math><br /><br />
diese beiden Eigenschaften lassen sich axiomatisch begründen, was wir hier aber nicht weiter vertiefen wollen. Alle weiteren Eigenschaften lassen sich aus der Abstands- und Winkelmaßerhaltung ableiten.<br /><br />

==== Satz V.1 : ====
Die Geradenspiegelung <math>S_g</math> ist eine involutorische Abbildung, d. h. für alle Punkte A, B der Ebene gilt: <br />
::<math>B=S_g (A)\Rightarrow A=S_g (B)</math><br />
Beweis:<br /><br />

==== Satz V.2 (Streckentreue der Geradenspiegelung <math>S_g </math>): ====
Bei der Geradenspiegelung <math>S_g </math> wird eine Strecke <math>\overline{AB}</math> auf eine Strecke <math>\overline{A'B'}</math> abgebildet. Dabei gilt: <math>S_g(A)=A'</math> und <math>S_g(B)=B'</math>.<br />
Beweis:



==== Satz V.3 (Längentreue der Geradenspiegelung <math>S_g </math>): ====
Die Länge der Strecke <math>\overline{A'B'}</math>, die bei der Geradenspiegelung <math>S_g(\overline{AB}) </math> entsteht ist gleich der Länge der Strecke <math>\overline{AB}</math>.<br />
Beweis:


==== Satz V.4 (Halbgeradentreue der Geradenspiegelung <math>S_g </math>): ====
Bei der Geradenspiegelung <math>S_g </math> wird eine Halbgerade <math>\ AB^{+}</math>  auf eine Halbgerade <math>\ A'B'^{+}</math>  abgebildet. Dabei gilt: <math>S_g(A)=A'</math> und <math>S_g(B)=B'</math>.<br />
Beweis:

==== Satz V.5 (Geradentreue der Geradenspiegelung <math>S_g </math>): ====
Bei der Geradenspiegelung <math>S_g </math> wird eine Gerade <math>\ AB</math>  auf eine Gerade <math>\ A'B'</math>  abgebildet. Dabei gilt: <math>S_g(A)=A'</math> und <math>S_g(B)=B'</math>.<br />
Beweis:

==== Satz V.6 (Winkeltreue der Geradenspiegelung <math>S_g </math>): ====
Bei der Geradenspiegelung <math>S_g </math> wird ein Winkel <math>\angle ABC</math>  auf einen Winkel <math>\angle A'B'C'</math> abgebildet. Dabei stimmen die Winkelmaße beider Winkel überein.<br />
Beweis:


==== Satz V.7 (Parallelentreue der Geradenspiegelung <math>S_g </math>): ====
Bei der Geradenspiegelung <math>S_g </math> werden zueinander parallele Geraden <math>f</math> und <math> h</math> auf zwei zueinander parallele Geraden <math>f'</math> und <math>h'</math> abgebildet.<br />

[[Datei: Parallelentreue_Geradenspiegelung.PNG]]


[[Category:Einführung_P]]

Beweis: <br />