Die -Achse ist eine Ursprungsgerade mit Neigungswinkel . Also lautet die Matrix einer Spiegelung an der -Achse
.
Herleitung
Bilder der kanonischen Einheitsvektoren unter einer Spiegelung an der Ursprungsgeraden mit Neigungswinkel
Da die Spiegelung eine lineare Abbildung ist, genügt es, die Bilder der kanonischen Einheitsvektoren und zu betrachten; diese bilden die Spalten der Spiegelungsmatrix. Eine Spiegelung von an der Ursprungsgerade mit Neigungswinkel entspricht einer Drehung von um den Winkel gegen den Uhrzeigersinn (siehe Skizze). Also ist
.
Eine Spiegelung von entspricht einer Drehung von um den Winkel und anschließender Umkehrung des Richtungssinns. Also ist
.
Spiegelungsgerade in Normalenform
Spiegelung eines Vektors an einer Geraden mit Einheitsnormalenvektor
Die -Achse hat den Normaleneinheitsvektor . Es ist
und somit
.
Herleitung
Ist eine Gerade mit Einheitsnormale und ein Vektor, so ist die Länge der Orthogonalprojektion von auf . Spiegelt man nun an , so gilt (siehe Abbildung)
.
Also ist die darstellende Matrix der Geraden .
Spiegelung an einer beliebigen Geraden in der Ebene
Mithilfe dieser Spiegelungsmatrizen lässt sich auch eine Darstellung der Spiegelung eines Vektors an einer beliebigen Geraden mit Neigungswinkel darstellen. Hierzu sind zwei Schritte durchzuführen:
Die allgemeine Spiegelung wird auf eine Spiegelung an einer Ursprungsgeraden zurückgeführt. Dies wird durch Verschiebung von um erreicht: . Der Vektor wird nun an gespiegelt:
Verschiebung von um den Stützvektor der Ausgangsgeraden :
Spiegelung an einer (Hyper-)Ebene durch den Ursprung
Für stellt die Matrix
eine Spiegelung im dar, und zwar an der Ebene, die durch beschrieben wird. Analog kann man
für als „Spiegelung“ an der Hyperebene im auffassen.[1] Folglich lassen sich allgemein