Geradenspiegelungen (2011/12): Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
(Satz 2.3)
(Satz 2.3)
Zeile 132: Zeile 132:
 
==== Satz 2.3 ====
 
==== Satz 2.3 ====
 
:: Eine Geradenspiegelung <math>\ S</math> ist durch die Angabe eines Punktes <math>\ P</math> und dem Bild von <math>\ S(P)</math> eindeutig bestimmt, falls  <math>\ P \not= S(P)</math> gilt.
 
:: Eine Geradenspiegelung <math>\ S</math> ist durch die Angabe eines Punktes <math>\ P</math> und dem Bild von <math>\ S(P)</math> eindeutig bestimmt, falls  <math>\ P \not= S(P)</math> gilt.
<br /><br />
+
<br />
 
Nach zu Grunde legen der Definition des Bildes eines Punktes bei einer Geradenspiegelung geht dieses unmittelbar aus dem Winkelkonstruktionsaxiom hervor und der Eindeutigkeit des Mittelpunktes. --[[Benutzer:HecklF|Flo60]] 21:31, 31. Okt. 2011 (CET)
 
Nach zu Grunde legen der Definition des Bildes eines Punktes bei einer Geradenspiegelung geht dieses unmittelbar aus dem Winkelkonstruktionsaxiom hervor und der Eindeutigkeit des Mittelpunktes. --[[Benutzer:HecklF|Flo60]] 21:31, 31. Okt. 2011 (CET)
  
 
[[Category:Elementargeometrie]]
 
[[Category:Elementargeometrie]]

Version vom 31. Oktober 2011, 22:32 Uhr

Inhaltsverzeichnis

Ideen zur Heranführung an die Geradenspiegelung

Idee der Symmetrie



Die Applikation wurde im WS 2010/11 von tutorin Anne generiert.

Verwendung eines halbdurchlässigen Spiegels

Spiegelung 01.JPG Spiegelung 02.JPG Spiegelung 03.JPG
Spiegelung 04.JPG Spiegelung 05.JPG Spiegelung 06.JPG
Spiegelung 07.JPG Spiegelung 09.JPG Spiegelung 10.JPG
Spiegelung 11.JPG Spiegelung 12.JPG

Falten

Leider sind meine Bilder von der Qualität her zu schlecht geworden, als dass sie hier veröffentlicht werden könnten. Wer hilft? --*m.g.* 13:04, 27. Okt. 2011 (CEST)

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


Reduktion der großen Idee Geradenspiegelung auf: Konstruktion des Bildes eines Punktes bei einer Geradenspiegelung

Ü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. ... ... ...
2. ... ... ...
3. ... ... ...

Bemerkung zum Nachweis der Korrektheit, desjeweiligen Schrittes: Gemeint ist eine Begründung, aus der hervorgeht, dass der jeweilige Schritt (ggf. eindeutig) ausführbar ist.--*m.g.* 13:10, 27. Okt. 2011 (CEST)

Definition des Begriffs

Definition 2.1: (Spiegelung an der Geraden \ g)
Es sei \ g eine Gerade. Unter der Spiegelung \ S_g an der Geraden gversteht man eine Abbildung der Ebene auf sich, bei der die Gerade g auf sich abgebildet wird und der Punkt P so abgebildet wird, dass gilt: \overline{P\rho(P) } \perp g und |Pg| = |g\rho  (P)|.

Zweite Möglichkeit (etwas einfacher und plausibler ausgedrückt):

Es sei \ g eine Gerade. Unter der Spiegelung \ S_g an der Geraden gversteht man eine Abbildung der Ebene auf sich, bei der die Gerade g auf sich abgebildet wird und Mittelsenkrechte der Strecke \overline{P\rho(P) } ist.


--Flo60 20:29, 31. Okt. 2011 (CET)

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

Beweis:
Nach der Definition 'Bild eines Punktes bei einer Geradenspiegelung' und des Satzes, dass die Zwischenrelation eine Invariante der Bewegung ist, ergibt sich das von selbst. --Flo60 20:53, 31. Okt. 2011 (CET)

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

Beweis:
Den Schnittpunkt von \overline {BB'} mit \ g bezeichnen wir mit \ L
Zunächst eine Skizze zum 'spielen': Bewege Punkt B nach belieben.



Zu zeigen: |AB| = |AB'|
Direkter Beweis

Fall I: A \in \overline{BB'}: Nach Definition Mittelsenkrechten und Bild eines Punktes bei einer Geradenspiegelung ist dieser Fall bewiesen.

Fall II: A  \not\in  \overline{BB'}

Nach der Definition Bild eines Punktes bei einer Geradenspiegelung und Defintion Geradenspiegelung ist g die Mittelsenkrechte von \overline{BB'}
Daraus folgt: |BL| = |LB'|
A und L liegen auf g, danach gilt nach der Reflexivität von '=', das |AL| = |AL|
Da das Mittelsenkrechtenkriterium einen Winkel von 90 vorschreibt, sind auch die beiden Winkel \angle BLA und \angle ALB' kongruent zueinander.
Nach SWS, der Definition von Kongruenz und den drei vorherigen Beweisschritten ist klar, dass |AB| = |AB'| ist.

Wirtschaftlicher wäre der Beweis mit dem Mittelsenkrechtenkriterium zu führen, dort hätte man nur einen Beweisschritt. --Flo60 21:17, 31. Okt. 2011 (CET)

Fall 3
\ A, B \notin \ g, A und B liegen in derselben Halbebene bezüglich g

Beweis:

Fall 4
\ A, B \notin \ g, A und B liegen in verschiedenen Halbebenen bezüglich g

Beweis:

Eindeutige Bestimmtheit von Geradenspiegelungen

Bestimmung über die Spiegelgerade

Unmittelbar einsichtig ist der folgende Satz:

Satz 2.2

Jede Geradenspiegelung ist durch die Angabe ihrer Spiegeleachse eindeutig bestimmt.

Der Beweis kann direkt geführt werden, da er dem Beweis der Eindeutigkeit des Mittelpunktes nachgeht. Nehmen wir aber dennoch an, es gibt eine zweite Spiegelgerade f, mit f\neq g.

Es seien P ein Punkt und P' das Bild des Punktes P. P' entstand durch Spiegelung an g.
Der Schnittpunkt von g \cap \overline{PP'} sei L.

Nach der Definition der Geradenspiegelung (bzw. Bild eines Punktes bei der Spiegelung) ist nun L Mittelpunkt von  \overline{PP'} .
Da der Mittelpunkt einer Strecke eindeutig ist, muss nun gelten, dass f ebenfalls durch L verläuft und senkrecht ist. Da aber nach dem Winkelkonstruktionsaxiom nur ein Winkel mit dem Maß 90 existiert, muss f \equiv g sein, was ein Widerspruch zu unserer Annahme ist. --Flo60 21:29, 31. Okt. 2011 (CET)

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.


Nach zu Grunde legen der Definition des Bildes eines Punktes bei einer Geradenspiegelung geht dieses unmittelbar aus dem Winkelkonstruktionsaxiom hervor und der Eindeutigkeit des Mittelpunktes. --Flo60 21:31, 31. Okt. 2011 (CET)