Geradenspiegelungen: Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
(Übungsaufgabe)
 
(4 dazwischenliegende Versionen von 4 Benutzern werden nicht angezeigt)
Zeile 2: Zeile 2:
  
 
<ggb_applet width="536" height="453"  version="3.2" ggbBase64="UEsDBBQACAAIABy0Wj0AAAAAAAAAAAAAAAAMAAAAZ2VvZ2VicmEueG1s3VhNk+I2ED1nf4XKh9zw+NumArMFs1WpqUx2qCLZQy4pYQujYFuOJDMwvz4tyQYDGwYmmxyyhzVqtbql16+frRl93JYF2hAuKKvGlms7FiJVyjJa5WOrkctBYn28/zDKCcvJgmO0ZLzEcmz5tmcpe0PvP3w3Eiv2gnChXb5Q8jK2lrgQxEKi5gRnYkWIPLLjZksLivnuefEHSaU4TJggj1XdQBbJG7ClZfZERTe80wnrgspPdEMzwlHB0rEVhbB1+PWFcElTXIytwDEWb2x5J5Ng8tXsinH6yiqp3A/Bl2BBSNBXAohExpaySsw4kw+saMpKIJSywtlvkBVu77fX++3vTwaDoD8I+ym78AwmUCMIpGFcdHEUvM9VsZsCmOua0eoA2NHqz3hDcyyhlFPM9aouQl3g3bSRUhX5YPlE4L+26jWsP/ZQUeeS1GMrVmlGd7rYI9KkBc0orlRBdS0AKIReaCZXYyv0I4CV0HwF9Qpct9sg49l8JyQp0fY3whkkTRKVdmdGfuypkYDaAOiho6f6Ix2GbOZESqCmQHhLDqTJOc2OBo9iyoqDSUP2gGvZcM1rvzXN5U4lgFxcbXhS5QVpbR6cf0XS9YJt54YIvgn9y67WS/SGFrkuFOKKYiE4tM+FeWoftdO9l6N9HO3RxlBB9/Pu0NMe+rkwT+1V0MpsrT25253adbo0VCBlcKy28u3hC7wgQG8LNRWVT90A2mDdHtU1Cz435YLsOXcc0/1WMUd3J/QZrQmvSNGyGGrbsEagjWrIHsEzktIShmaihQSrcv0KGzDWjOScdBs3KmIA07NOn4gn5tFdtwndSbDXVPUQnEeqs/xkbGtty4hAU1qoB4GSCDRrqrVUT7QgVNs4mteU5KRoqhxhtYSjHwnHGalQrqRPguyMrdLObQtlWEIKJaWkICUB4ZGaYJqfe6An1l5lmRbM00r0sAKHr9JNExMX9QqDpeso6H/YXR8hHfBnlh3jhivAXwMgtCI4tqpwTUjWyods20Lrim6yI30C1AXaKl9Yt1OvDz+x0KtZrH1MQyop0Xn9li0GlDfgmf5f4IG3qqfxcewkug2flJUlrjJU4RIyPQEPNShUvUgRdhSHEHYVVgaGRnYTuQnVBjiDWinPHsjcOhYjuYKehzYQWjFlXxuPymHeKG2Qg8D8XTGcq0vxvFwKIhV2YaSRC+NLhTpA7dmhgdqzXU9DPRjaQz+OTvX2whHJn5XxEUb1aAmfJSmVt3B3ds7dG8G6hbkHuAaxacSLcH0rXg8cOzblce3Y+yfEfuagnjmrcPEVis8MxfMziuMbKI6voLgbvsXxKxTnepKf1WWx/xA05v6H5B5zQ+xdR3XF8NAeBuFVDO9OeC3Fj6v0WEl47QMqJwXKTYHwWYGefp9dLtFx0yj397RNFGj81WNhHjf3jesYHvvXyYzr2YGfOIlptsh2QifyAtMBIPJBkDj7f+57GuKB8rQ4bQSFj0Z6doZ0ehln+ACi6R7F9JpeeFPv/91euG53cCMh1Qb2BtcqhLZOq187x2REr51l62q5UnNua3p1e3IFesjpFk06/0nnNYFrX2S7YeQEXuxFQRQPE7gzTPw2wwRufwP4/gmioRsF0IdwO4o8kO4J3AQH8EHkBZ7v+n4UxXGQdF162n8gvild0vR9/Zd2/YewuhV3Z+rRY/Y9rpn44ZZm7Jb8pw15oeV8aDI/8b1hMnQSz1cQQ+8F9tBLgsiLYt8Pg2EMAnfTa+iufzXQt+H2TyL3fwFQSwcI4fslMCoFAABEEQAAUEsBAhQAFAAIAAgAHLRaPeH7JTAqBQAARBEAAAwAAAAAAAAAAAAAAAAAAAAAAGdlb2dlYnJhLnhtbFBLBQYAAAAAAQABADoAAABkBQAAAAA=" framePossible = "false" showResetIcon = "false" showAnimationButton = "true" enableRightClick = "false" errorDialogsActive = "true" enableLabelDrags = "false" showMenuBar = "false" showToolBar = "false" showToolBarHelp = "false" showAlgebraInput = "false" allowRescaling = "true" />
 
<ggb_applet width="536" height="453"  version="3.2" ggbBase64="UEsDBBQACAAIABy0Wj0AAAAAAAAAAAAAAAAMAAAAZ2VvZ2VicmEueG1s3VhNk+I2ED1nf4XKh9zw+NumArMFs1WpqUx2qCLZQy4pYQujYFuOJDMwvz4tyQYDGwYmmxyyhzVqtbql16+frRl93JYF2hAuKKvGlms7FiJVyjJa5WOrkctBYn28/zDKCcvJgmO0ZLzEcmz5tmcpe0PvP3w3Eiv2gnChXb5Q8jK2lrgQxEKi5gRnYkWIPLLjZksLivnuefEHSaU4TJggj1XdQBbJG7ClZfZERTe80wnrgspPdEMzwlHB0rEVhbB1+PWFcElTXIytwDEWb2x5J5Ng8tXsinH6yiqp3A/Bl2BBSNBXAohExpaySsw4kw+saMpKIJSywtlvkBVu77fX++3vTwaDoD8I+ym78AwmUCMIpGFcdHEUvM9VsZsCmOua0eoA2NHqz3hDcyyhlFPM9aouQl3g3bSRUhX5YPlE4L+26jWsP/ZQUeeS1GMrVmlGd7rYI9KkBc0orlRBdS0AKIReaCZXYyv0I4CV0HwF9Qpct9sg49l8JyQp0fY3whkkTRKVdmdGfuypkYDaAOiho6f6Ix2GbOZESqCmQHhLDqTJOc2OBo9iyoqDSUP2gGvZcM1rvzXN5U4lgFxcbXhS5QVpbR6cf0XS9YJt54YIvgn9y67WS/SGFrkuFOKKYiE4tM+FeWoftdO9l6N9HO3RxlBB9/Pu0NMe+rkwT+1V0MpsrT25253adbo0VCBlcKy28u3hC7wgQG8LNRWVT90A2mDdHtU1Cz435YLsOXcc0/1WMUd3J/QZrQmvSNGyGGrbsEagjWrIHsEzktIShmaihQSrcv0KGzDWjOScdBs3KmIA07NOn4gn5tFdtwndSbDXVPUQnEeqs/xkbGtty4hAU1qoB4GSCDRrqrVUT7QgVNs4mteU5KRoqhxhtYSjHwnHGalQrqRPguyMrdLObQtlWEIKJaWkICUB4ZGaYJqfe6An1l5lmRbM00r0sAKHr9JNExMX9QqDpeso6H/YXR8hHfBnlh3jhivAXwMgtCI4tqpwTUjWyods20Lrim6yI30C1AXaKl9Yt1OvDz+x0KtZrH1MQyop0Xn9li0GlDfgmf5f4IG3qqfxcewkug2flJUlrjJU4RIyPQEPNShUvUgRdhSHEHYVVgaGRnYTuQnVBjiDWinPHsjcOhYjuYKehzYQWjFlXxuPymHeKG2Qg8D8XTGcq0vxvFwKIhV2YaSRC+NLhTpA7dmhgdqzXU9DPRjaQz+OTvX2whHJn5XxEUb1aAmfJSmVt3B3ds7dG8G6hbkHuAaxacSLcH0rXg8cOzblce3Y+yfEfuagnjmrcPEVis8MxfMziuMbKI6voLgbvsXxKxTnepKf1WWx/xA05v6H5B5zQ+xdR3XF8NAeBuFVDO9OeC3Fj6v0WEl47QMqJwXKTYHwWYGefp9dLtFx0yj397RNFGj81WNhHjf3jesYHvvXyYzr2YGfOIlptsh2QifyAtMBIPJBkDj7f+57GuKB8rQ4bQSFj0Z6doZ0ehln+ACi6R7F9JpeeFPv/91euG53cCMh1Qb2BtcqhLZOq187x2REr51l62q5UnNua3p1e3IFesjpFk06/0nnNYFrX2S7YeQEXuxFQRQPE7gzTPw2wwRufwP4/gmioRsF0IdwO4o8kO4J3AQH8EHkBZ7v+n4UxXGQdF162n8gvild0vR9/Zd2/YewuhV3Z+rRY/Y9rpn44ZZm7Jb8pw15oeV8aDI/8b1hMnQSz1cQQ+8F9tBLgsiLYt8Pg2EMAnfTa+iufzXQt+H2TyL3fwFQSwcI4fslMCoFAABEEQAAUEsBAhQAFAAIAAgAHLRaPeH7JTAqBQAARBEAAAwAAAAAAAAAAAAAAAAAAAAAAGdlb2dlYnJhLnhtbFBLBQYAAAAAAQABADoAAABkBQAAAAA=" framePossible = "false" showResetIcon = "false" showAnimationButton = "true" enableRightClick = "false" errorDialogsActive = "true" enableLabelDrags = "false" showMenuBar = "false" showToolBar = "false" showToolBarHelp = "false" showAlgebraInput = "false" allowRescaling = "true" />
 +
: [[Hier geht's zur  "neuen" Zeichenmaschine :)]]
 +
  
 
=== Übungsaufgabe ===
 
=== Übungsaufgabe ===
Zeile 30: Zeile 32:
 
| Den entstandenen Punkt bezeichnen wir mit <math>\ P'</math>
 
| Den entstandenen Punkt bezeichnen wir mit <math>\ P'</math>
 
| <math>\ P'</math> ist der Bildpunkt von P bei der Geradenspiegelung an <math>\ g</math>. Das wird dadurch ersichtlich, dass <math>\ P</math> und <math>\ P'</math> den gleichen Abstand zu <math>\ g</math> haben und  <math>\ g</math> somit Mittelsenkrechte der Strecke <math>\overline{PP'}</math> ist.
 
| <math>\ P'</math> ist der Bildpunkt von P bei der Geradenspiegelung an <math>\ g</math>. Das wird dadurch ersichtlich, dass <math>\ P</math> und <math>\ P'</math> den gleichen Abstand zu <math>\ g</math> haben und  <math>\ g</math> somit Mittelsenkrechte der Strecke <math>\overline{PP'}</math> ist.
| (ergänzen!)
+
| Axiom vom Lineal -geändert Tunichtgut-
 
|}
 
|}
 
  Bemerkung --[[Benutzer:*m.g.*|*m.g.*]] 16:20, 1. Nov. 2010 (UTC):<br />Mit der Korrektheit ist hier etwas anderes gemeint ... .
 
  Bemerkung --[[Benutzer:*m.g.*|*m.g.*]] 16:20, 1. Nov. 2010 (UTC):<br />Mit der Korrektheit ist hier etwas anderes gemeint ... .
Zeile 67: Zeile 69:
 
   
 
   
 
  Bemerkung --[[Benutzer:*m.g.*|*m.g.*]] 16:01, 1. Nov. 2010 (UTC):<br />Auch wenn wir Umlaufsinn bisher nirgends definiert haben,<br />wissen wir, dass jede Geradenspieglung den Umlaufsinn verändert.<br />Kann eine Geradenspeigelung damit die Identität sein?<br />Sie meinen nicht, dass die jweils betrachtete Geradenspiegelung die Identität ist,<br />sondern, dass jeder Punkt der Spiegelgeraden <math>g</math> auf sich selbst abgebildet wird.
 
  Bemerkung --[[Benutzer:*m.g.*|*m.g.*]] 16:01, 1. Nov. 2010 (UTC):<br />Auch wenn wir Umlaufsinn bisher nirgends definiert haben,<br />wissen wir, dass jede Geradenspieglung den Umlaufsinn verändert.<br />Kann eine Geradenspeigelung damit die Identität sein?<br />Sie meinen nicht, dass die jweils betrachtete Geradenspiegelung die Identität ist,<br />sondern, dass jeder Punkt der Spiegelgeraden <math>g</math> auf sich selbst abgebildet wird.
 +
 +
 +
dann so: extra exakt (kleinschrittig):
 +
 +
{| class="wikitable center"
 +
|+ Beweis<br />
 +
 +
|- style="background: #DDFFDD;"
 +
! Nr.
 +
! Beschreibung des Schrittes
 +
! Begründung der Korrektheit des Schrittes
 +
|-
 +
| 1.
 +
| <math>\ A =\ A'</math>; <math>\ B =\ B'</math>
 +
| Definition Geradenspiegelung
 +
|-
 +
| 2.
 +
| <math>\overline{AB} \simeq  \overline{A'B'}</math>
 +
| Reflexivität der Streckenkongruenz
 +
|-
 +
| 3.
 +
| <math>|\overline{AB}| = |\overline{A'B'}|</math>
 +
| Def. Streckenkongruenz
 +
|-
 +
 +
|} oder ungenauer, aber vermutlich ausreichend:<br />
 +
Die Abstandserhaltung unmittelbar aus dem ersten Teil der Def. Geradenspiegelung, da <math>\overline{AB}</math>=<math>\overline{A'B'}</math>--[[Benutzer:Tja???|Tja???]] 21:42, 6. Nov. 2010 (UTC)
  
 
=====Fall 2=====
 
=====Fall 2=====
Zeile 167: Zeile 196:
  
 
Anders ausgedrückt: Eine Geradenspieglung ist durch die Angabe ihrer Spiegelachse eindeutig bestimmt.
 
Anders ausgedrückt: Eine Geradenspieglung ist durch die Angabe ihrer Spiegelachse eindeutig bestimmt.
 +
 +
====Möglicher Beweis von Satz 2.2====
 +
 +
1.(es gibt mindestens eine)
 +
::
 +
Es sei eine Gerade g und ein Punkt P nicht Є g. Ich konstruiere P´ dermaßen, dass gilt: g ist Mittelsenkrechte von |PP´|. Nach Def. ist dies eine Geradenspiegelung an g.
 +
::Damit ist die Existenz bewiesen.
 +
::
 +
::
 +
2. (es gibt höchstens eine)
 +
::
 +
Um zu zeigen dass es nicht mehr Geradenspiegelungen geben kann, nehme ich an, dass es mindestens zwei Geradenspiegelungen an einer Geraden gibt.
 +
::
 +
So konstruiere ich also P´´ so, dass g die Mittelsenkrechte von |P´P´´| ist (dies möge auf dem Bild so sein).
 +
 +
<ggb_applet width="247" height="280"  version="3.2" ggbBase64="UEsDBBQACAAIAAm+Yj0AAAAAAAAAAAAAAAAMAAAAZ2VvZ2VicmEueG1s7VlNc9s2ED23vwLDu2h8kAA4IyWjpJfMpLVjpzn0BpEwhZoiVZJyJP/6LgBS31Ut20k9mY5nTGsBAbtv3z4s6OHb5axA97puTFWOAhLiAOkyrTJT5qNg0d4OZPD2zc/DXFe5ntQK3Vb1TLWjgIU0sPaFefPzT8NmWn1FqnBTvhj9dRTcqqLRAWrmtVZZM9W63bGrxdIURtWry8mfOm2bzYBf5EM5X8Aubb0AWzrLPpqm/3jhNpwXpv3F3JtM16io0lHAY3Ad/vqi69akqhgFEfYWOgro3iCYmB2dVrV5qMrWTt8sfgsWhBrzoAERam3DCxfoUC/SwmRGlTYY5wdMQuirydop7BIJWFKbfAq+UiH9amlV1dnNqmn1DC3/0HU1CgTjYSwE7X+SAK38yCCiImQkYUT6nwgwBIfBk0iGCcVR3P/E8KV/HHI76/sb3baQyQappd5gnNcm2/nwoXlXFRvTvDJl+17N20XtaMA60027srsBbrWNcVzmhe5sFLI01endpFreeNyYX/rzau6+4hya5O+roqpRbTMC/ufdc+Kfbo71dD0LuznYzejWsIuux0lC3Qz3nPinm1WY0rvWRU76qAnutzENsgZY3LJ3HXyhJhrYEKBFadqP/QdgzV0XKvFf+G0xm0DZbPNmvSZ5qTWHF3uMG97putSF51UJuV1UiwbdW/76vZwjmU7NDD76gQ4SZdP1OzjgrZnOa9077ovOA+ZG8TZ398zDi94J60MDvqYtqAfE09pYbHG3UFj2r0y11mIrp9AzDWXVOj44Oq1xGQdrDamcHPSF341vEIbho9xwLFLFfKrAEnbOF2oF4rAdjlvv1yrbDVKVAJaLAGp0bhew6ZhrnXWC2HYcRnNY0lXEFtYOogYtwYmQAwtXUMQ4ZDxAD/7rbpavHysWbmfWJdeD8i/wvPsx4OEhlQ4eGsb0PHTSajZTZYZKNYOdPkJtO0iMPSSQwpZBSBGLlIdh0fYDuV+qW+AAaCsTaxzzYFc52ikUaKmbxslbuy1kz0kGfnQqLm9vG91a7KLIEwtodSJTG6wHNJQebBZyT0UZSs4O1PFEjPqv0s9pvEaZGZy5qWnPoe7Vj0HdAWFh7PEcEBLSZ9H3sgZ1zKtSFUeIfOWJnB8QWZ1BZPVEIu+eVi/J5FNU9QxdrUkLyA4kDTHh0Tdg624uPpQtnLcQ/F4acp8GdZCGT6fTsMv+T09iP4RtIbaPiX+cLRcDShyi5LE5oCIKeQwNc0dyymXII7BELh+UhDx5Ctffmzot9jn+yYN7dQBuehpcaDZMugYvff0kfxxxTa7Le3CtqhuElrhTphX2G6KH3rIkrrOwY6QzPZAtFQKlq80Sjfv5437W2N52QLbiGGN7tWAcJ3DjGLNuh3FkrzlQhVRgikXEpRQJqO44dnYmY8HgNgPkoImUx8sNRDU1tyZ9WrmlfbkhZS9rfURb1Lgi5xQezP6ulXeqtAB4AXcyHJEoYUJ0UmcPlJhAhcUchC5OuHjOkXLlot+XsH0Mr8+B8PpJCBLqb3XueebpvZEv7DGS3+doJ2GCBSZYSMkkEX2rZfOWEJzAtZpHjMQsfk6GjgrhdSeE5CBV2TlKmP2vhGcoIRUi5JJwSWUcCUFkvC+FRwjhpPCQEM+QwmO9H/F8uD6gw+SM5m/y+tmwXX2h4JiJmMAvFkWMRv0NmnDCMecswVY6qfTlN6DQJIKVwqmEOaU0/s96xMxna3Li0KJnHVr0FR1aEA6XHMhPBSAtk04TYU2GheU+5Ykg9iXf0zXxRufWfvwGdEQU9Wk0m265Hi79Etf5rTPjmxYCtFlsux3orkQklCyKk9iTnSWJ78djGlLoKbjwhUPil7opObwLe1yuWQ9H7OELxjut5/bN7mX5uVZlY/8p4Odsvbg8L+ud9l3Rg7RPz0v79NWlfdPY+FsZfexLHOgRoR+P+6Y8XmsjyB8lfU8uE9ppYxSH0KlzONUwoVEUvdTbnm/Ciovtd8fuPyzdv5je/A1QSwcI0+Ghd+EFAACUGgAAUEsBAhQAFAAIAAgACb5iPdPhoXfhBQAAlBoAAAwAAAAAAAAAAAAAAAAAAAAAAGdlb2dlYnJhLnhtbFBLBQYAAAAAAQABADoAAAAbBgAAAAA=" framePossible = "false" showResetIcon = "false" showAnimationButton = "true" enableRightClick = "false" errorDialogsActive = "true" enableLabelDrags = "false" showMenuBar = "false" showToolBar = "false" showToolBarHelp = "false" showAlgebraInput = "false" allowRescaling = "true" />
 +
::
 +
Bleibt also z.z.: P = P´´
 +
::
 +
Kann ich das zeigen bin ich fertig, denn dann habe ich wieder die Identität und das "Spiegelspielchen" könnte von neuem beginnen.
 +
Also nehme ich an: P ≠P``
 +
::
 +
Es möge gelten: |PP´| ∩ g = Q und |P`P``| ∩ g = R
 +
::
 +
Ich betrachte das Dreieck ∆P´QR:
 +
::
 +
Es gilt also nach Konstruktion (Ich geh einfach mal davon aus ich könnte so etwas konstruieren) bzw. Def. Spiegelung an einer Geraden: |<P´QR = <P`RQ = 90°|(Wiederspruch zum Satz über die Innenwinkelsumme im Dreieck)
 +
::
 +
Also ist P = P´´.
 +
::Damit ist bewiesen, dass es nicht mehr als eine Spiegelung geben kann. --[[Benutzer:Shaun15|Shaun15]] 23:23, 2. Nov. 2010 (UTC)
  
 
==== Satz 2.3 ====
 
==== Satz 2.3 ====
Zeile 172: Zeile 231:
  
 
Dieser Satz gilt, da nach Definition Geradenspiegelung die Spiegelgerade s die Mittelsenkrechte der Strecke <math>\overline PS(P) </math> ist und diese Mittelsenkrechte exisitert und eindeutig ist. --[[Benutzer:Tja???|Tja???]] 16:40, 2. Nov. 2010 (UTC)
 
Dieser Satz gilt, da nach Definition Geradenspiegelung die Spiegelgerade s die Mittelsenkrechte der Strecke <math>\overline PS(P) </math> ist und diese Mittelsenkrechte exisitert und eindeutig ist. --[[Benutzer:Tja???|Tja???]] 16:40, 2. Nov. 2010 (UTC)
 +
[[Category:Elementargeometrie]]

Aktuelle Version vom 16. November 2010, 22:54 Uhr

Inhaltsverzeichnis

Konstruktion des Bildes eines Punktes \ P bei einer Spiegelung an der Geraden \ g

Hier geht's zur "neuen" Zeichenmaschine :)


Übungsaufgabe

Es sei \ P ein Punkt der Ebene der nicht zur Geraden \ g dieser Ebene gehört. Erstellen Sie eine Konstruktionsbeschreibung für die Konstruktion des Bildes von \ P bei der Spiegelung an \ g. Begründen Sie jeweils die Korrektheit eines jeden Ihrer Konstruktionsschritte.


Konstruktion des Bildes eines Punktes \ P bei der Spiegelung aneiner Geraden \ g
(P \notin g)
Nr. Beschreibung des Schrittes Genauere Beschreibung Begründung der Korrektheit des Schrittes
1. Wir fällen das Lot von \ P auf \ g. Den Schnittpunkt des Lotes mit der Geraden \ g bezeichnen wir mit \ L Existenz und Eindeutigkeit des Lotes
So bestimmen wir die kürzeste Strecke zwischen dem Punkt \ P und der Geraden \ g. Außerdem steht das Lot senkrecht auf \ g , was die Voraussetzung dafür ist, dass \ g später Mittelsenkrechte werden kann.
Existenz und Eindeutigkeit des Lotes + Existenz und Eindeutigkeit des Schnittpunktes L
2. Nun tragen wir die Strecke \overline{PL} auf der Halbgeraden \ LP^- ab Axiom vom Lineal (Eindeutigkeit des Streckenabtragens auf einem Strahl)
Durch das Abtragen der Strecke bekommen wir auf beiden Seiten der Halbgeraden den gleichen Abstand vond er Geraden \ g
Existenz und Eindeutigkeit des Streckenabtragens
3. Den entstandenen Punkt bezeichnen wir mit \ P' \ P' ist der Bildpunkt von P bei der Geradenspiegelung an \ g. Das wird dadurch ersichtlich, dass \ P und \ P' den gleichen Abstand zu \ g haben und \ g somit Mittelsenkrechte der Strecke \overline{PP'} ist. Axiom vom Lineal -geändert Tunichtgut-
Bemerkung --*m.g.* 16:20, 1. Nov. 2010 (UTC):
Mit der Korrektheit ist hier etwas anderes gemeint ... .

Definition des Begriffs

Definition 2.1: (Spiegelung an der Geraden \ g)
Es sei \ g eine Gerade. Unter der Geradenspiegelung \ S_g versteht man eine ....
Es sei \ g eine Gerade und P ein Punkkt der Ebene. Unter der Geradenspiegelung \ S_g versteht man eine Abbildung der Ebene auf sich:

(1) Für den Fall dass P \in \ g: P = P'

(2) Für den fall dass P \notin \ g: Die Gerade \ g ist Mittelsenkrechte der Strecke zwischen dem Punkt P und seinem Bildpunkt P'

Alternativ?

Es seien eine Gerade g und zwei Punkte A, A' \in g. s ist genau dann Spiegelgerade des Punktes A, wenn gilt: s ist Mittelsenkrechte der Strecke AA'[Balken drüber].

Bemerkungen --*m.g.* 15:49, 1. Nov. 2010 (UTC):
"Balken drüber": \overline{AA'}: \overline{AA'}
Handelt es sich wirklich um eine Definition des Begriffs Geradenspiegelung
oder doch eher um eine Definition des Begriffs Spiegelgerade?
Beide hängen natürlich eng miteinander zusammen, aber wenn Geradenspiegelung zu definieren ist ... .
Macht es Sinn einem Punkt seine Spiegelgerade zuzuordnen ("s ist genau dann Spiegelgerade des Punktes A")

Die Geradenspiegelung als spezielle Bewegung

Satz 2.1: (Abstandserhaltung von Geradenspiegelungen)

Jede Geradenspiegelung \ S_g ist eine abstandserhaltende Abbildung.

Beweis von Satz 2.1:

Es seien \ A, \ B zwei Punkte, die an einer Geraden \ g auf ihre Bilder \ A' und \ B' gespiegelt werden.

Wir unterscheiden drei Fälle:

Fall 1
\ A, B \in \ g

Der Beweis ist trivial, da es sich bei dieser speziellen Geradenspiegelung um die Identität handelt.

Bemerkung --*m.g.* 16:01, 1. Nov. 2010 (UTC):
Auch wenn wir Umlaufsinn bisher nirgends definiert haben,
wissen wir, dass jede Geradenspieglung den Umlaufsinn verändert.
Kann eine Geradenspeigelung damit die Identität sein?
Sie meinen nicht, dass die jweils betrachtete Geradenspiegelung die Identität ist,
sondern, dass jeder Punkt der Spiegelgeraden g auf sich selbst abgebildet wird.


dann so: extra exakt (kleinschrittig):

Beweis
Nr. Beschreibung des Schrittes Begründung der Korrektheit des Schrittes
1. \ A =\ A'; \ B =\ B' Definition Geradenspiegelung
2. \overline{AB} \simeq  \overline{A'B'} Reflexivität der Streckenkongruenz
3. |\overline{AB}| = |\overline{A'B'}| Def. Streckenkongruenz
oder ungenauer, aber vermutlich ausreichend:

Die Abstandserhaltung unmittelbar aus dem ersten Teil der Def. Geradenspiegelung, da \overline{AB}=\overline{A'B'}--Tja??? 21:42, 6. Nov. 2010 (UTC)

Fall 2
\ A \in \ g, \ B \notin \ g

Den Schnittpunkt von \overline {BB'} mit \ g bezeichnen wir mit \ L

Beweis
Nr. Beschreibung des Schrittes Begründung der Korrektheit des Schrittes
1. \ A = \ A' Definition Geradenspiegelung
2. \ |BL| = |B'L| \ g ist Mittelsenkrechte von \overline{BB'}
3. \|AL| = |A'L| Es handelt sich um dieselbe Gerade.
4. \| \angle BLA| = | \angle B'LA'| = 90° \ g ist Mittelsenkrechte von \overline{BB'}
5. \overline {ABL} kongruent \overline {A'B'L} 2. + 3. + 4. + SWS
6. \ |AB| = |A'B'| 5.


Fall 3
\ A, B \notin \ g

Den Schnittpunkt von \overline {BB'} mit \ g bezeichnen wir mit \ L

Den Schnittpunkt von \overline {AA'} mit \ g bezeichnen wir mit \ M

Beweis
Nr. Beschreibung des Schrittes Begründung der Korrektheit des Schrittes
1.  | \overline {AM}| = | \overline {A'M}|, \overline {ML} = \overline{ML}, | \angle AML| = | \angle A'ML | = 90° \ g ist Mittelsenkrechte von \overline{AA'}
2. \overline {AML} kongruent \overline {A'ML} 1.
3.  | \angle MAL| = | \angle ALB | und  | \angle MA'L| = | \angle A'LB' | Wechselwinkelsatz, da \overline {AA'}  ||  \overline {BB'}
4.  | \angle MAL| = | \angle MA'L | -->  | \angle ALB| = | \angle A'LB' | 2. + 3.
5.  | \overline {BL}| = | \overline {B'L}| \ g ist Mittelsenkrechte von \overline{BB'}
6.  | \overline {AL}| = | \overline {A'L}| 2.
7.  | \overline {ABL}| = | \overline {A'B'L}| 4. + 5. + 6. + SWS
8.  | \overline {AB}| = | \overline {A'B'}| 7.

Ergänzung: Für den Fall, das A und B nicht in der selben Halbebene bezüglich der Geraden s liegt, läuft der Beweis analog, nur dass die Winkel anderst benannt werden müssen.

Müsste es bei Fall 3 Schritt 5 nicht \ g ist Mittelsenkrechte von \overline{BB'} heißen oder bezieht man hier Fall 2 mit ein, sodass der Beweis formal und logisch richtig ist? Ja \overline{BB'} ist korrekt, habs geändert.
Vielen Dank :) --Andreas 16:02, 30. Okt. 2010 (UTC)

Bemerkung--*m.g.* 16:44, 1. Nov. 2010 (UTC):
soweit ich sehe ist der Beweis korrekt.
Fall 2 dürfte, da er bereits bewiesen wurde, verwendet werden.
Vielleicht doch zwei Unterfälle:
A und B in derselben Halbebene bezüglich g
und
A und B in verschiedenen Halbebenen bezüglich g?

Eindeutige Bestimmtheit von Geradenspiegelungen

Bestimmung über die Spiegelgerade

Satz 2.2

Zu jeder Geraden gibt es genau eine Geradenspiegelung.


Anders ausgedrückt: Eine Geradenspieglung ist durch die Angabe ihrer Spiegelachse eindeutig bestimmt.

Möglicher Beweis von Satz 2.2

1.(es gibt mindestens eine)

Es sei eine Gerade g und ein Punkt P nicht Є g. Ich konstruiere P´ dermaßen, dass gilt: g ist Mittelsenkrechte von |PP´|. Nach Def. ist dies eine Geradenspiegelung an g.

Damit ist die Existenz bewiesen.

2. (es gibt höchstens eine)

Um zu zeigen dass es nicht mehr Geradenspiegelungen geben kann, nehme ich an, dass es mindestens zwei Geradenspiegelungen an einer Geraden gibt.

So konstruiere ich also P´´ so, dass g die Mittelsenkrechte von |P´P´´| ist (dies möge auf dem Bild so sein).

Bleibt also z.z.: P = P´´

Kann ich das zeigen bin ich fertig, denn dann habe ich wieder die Identität und das "Spiegelspielchen" könnte von neuem beginnen. Also nehme ich an: P ≠P``

Es möge gelten: |PP´| ∩ g = Q und |P`P``| ∩ g = R

Ich betrachte das Dreieck ∆P´QR:

Es gilt also nach Konstruktion (Ich geh einfach mal davon aus ich könnte so etwas konstruieren) bzw. Def. Spiegelung an einer Geraden: |<P´QR = <P`RQ = 90°|(Wiederspruch zum Satz über die Innenwinkelsumme im Dreieck)

Also ist P = P´´.

Damit ist bewiesen, dass es nicht mehr als eine Spiegelung geben kann. --Shaun15 23:23, 2. Nov. 2010 (UTC)

Satz 2.3

Eine Geradenspiegelung \ S ist durch die Angabe eines Punktes \ P und dem Bild von \ S(P) eindeutig bestimmt, falls \ P \not= S(P) gilt.

Dieser Satz gilt, da nach Definition Geradenspiegelung die Spiegelgerade s die Mittelsenkrechte der Strecke \overline PS(P) ist und diese Mittelsenkrechte exisitert und eindeutig ist. --Tja??? 16:40, 2. Nov. 2010 (UTC)