Der Bildpunkt P′ eines beliebigen Punktes P(a∣b∣c) ist gegeben durch:
OP′=OP+2⋅PF
Dabei ist F der Schnittpunkt der Lotgeraden gLot:x=abc+r⋅n1n2n3 mit der Ebene E:n1⋅x1+n2⋅x2+n3⋅x3=0.
Der Vektor n1n2n3 ist der Normalenvektor der Ebene E.
Schneide gLot mit E:
n1⋅(a+r⋅n1)+n2⋅(b+r⋅n2)+n3⋅(c+r⋅n3) | = | 0 | |
| ↓ | Löse die Klammern auf. |
n1⋅a+r⋅n12+n2⋅b+r⋅n22+n3⋅c+r⋅n32 | = | 0 | −n1⋅a−n2⋅b−n3⋅c |
r⋅n12+r⋅n22+r⋅n32 | = | −n1⋅a−n2⋅b−n3⋅c | |
| ↓ | Klammere r aus. |
r⋅(n12+n22+n32) | = | −n1⋅a−n2⋅b−n3⋅c | :(n12+n22+n32) |
| ↓ | Löse nach r auf. |
r | = | −n12+n22+n32n1⋅a+n2⋅b+n3⋅c | |
Setze r in gLot ein:
OF=abc−(n12+n22+n32n1⋅a+n2⋅b+n3⋅c)⋅n1n2n3=OP−(n12+n22+n32n1⋅a+n2⋅b+n3⋅c)⋅n1n2n3
PF=OF−OP=−(n12+n22+n32n1⋅a+n2⋅b+n3⋅c)⋅n1n2n3
Setze PF in OP′=OP+2⋅PF ein:
OP′=abc−2⋅(n12+n22+n32n1⋅a+n2⋅b+n3⋅c)⋅n1n2n3
OP′=n12+n22+n321a⋅(n12+n22+n32)b⋅(n12+n22+n32)c⋅(n12+n22+n32)−2⋅(n1⋅a+n2⋅b+n3⋅c)⋅n1−2⋅(n1⋅a+n2⋅b+n3⋅c)⋅n2−2⋅(n1⋅a+n2⋅b+n3⋅c)⋅n3
OP′=n12+n22+n321a⋅n12+a⋅n22+a⋅n32b⋅n12+b⋅n22+b⋅n32c⋅n12+c⋅n22+c⋅n32−2⋅n12⋅a−2⋅n1⋅n2⋅b−2⋅n1⋅n3⋅c−2⋅n1⋅n2⋅a−2⋅n22⋅b−2⋅n2⋅n3⋅c−2⋅n1⋅n3⋅a−2⋅n2⋅n3⋅b−2⋅n32⋅c
OP′=n12+n22+n321−a⋅n12+a⋅n22+a⋅n32b⋅n12−b⋅n22+b⋅n32c⋅n12+c⋅n22−c⋅n32−2n1⋅n2⋅b−2⋅n1⋅n2⋅a−2⋅n1⋅n3⋅a−2⋅n1⋅n3⋅c−2⋅n2⋅n3⋅c−2⋅n2⋅n3⋅b
Zeile 2 und Zeile 3 müssen umsortiert werden und abcwird aus der Klammer herausgezogen:
OP′=n12+n22+n321−n12+n22+n32−2⋅n1⋅n2−2⋅n1⋅n3−2n1⋅n2n12−n22+n32−2⋅n2⋅n3−2⋅n1⋅n3−2⋅n2⋅n3n12+n22−n32⋅abc
Die Spiegelungsmatrix S lautet also:,
S=n12+n22+n321−n12+n22+n32−2⋅n1⋅n2−2⋅n1⋅n3−2n1⋅n2n12−n22+n32−2⋅n2⋅n3−2⋅n1⋅n3−2⋅n2⋅n3n12+n22−n32 MerkeOrthogonale SpiegelungFür eine orthogonale Spiegelung an der Ebene F mit der Abbildungsmatrix S gilt:
Jeder Punkt der Ebene F ist ein Fixpunkt, d.h ein Punkt, der bei einer Abbildung auf sich selbst abgebildet wird.
Für jede Spiegelung gilt: S⋅S=S2=E (dabei ist E die Einheitsmatrix)
Die Spaltenvektoren der Spiegelmatrix haben die Länge 1 und sind paarweise orthogonal zueinander.