Hallo Nama,
Ich finde nirgendwo die Formel um einen Punkt einer Geraden zu spiegeln.
Ich auch nicht! Aber man kann sich ja was überlegen. Angenommen Du hast einen Punkt P und einen Fußpunkt F, der auf der Geraden g liegt und von allen Punkten auf der Geraden P am nächsten ist. Dann reicht es doch aus, wenn man P an F spiegelt. Das sieht so aus:
Das Ergebnis - also der gespiegelte Punkt - sei P′. Nun ist aber der Vektor FP′ offensichtlich −FP. Also um von P nach P′ zu kommen, muss ich zweimal FP vom Vektor nach P abziehen. Folglich ist
P′=P−2FP=P−2(P−F)=2F−P
So - jetzt müssen wir noch raus kriegen, wo F liegt. Was wir wissen ist, dass FP senkrecht auf r, dem Richtungsvektor der Geraden steht. Und wir wissen, dass das (Skalar)Produkt zweier senkrecht auf einander stehender Vektoren gleich 0 ist. Schreiben wir einfach mal formal hin. Für alle Punkte x auf der Geraden g gilt x=a+λ⋅r (ich verzichte ab jetzt auf die Pfeile über den Buchstaben) Das Produkt des Richtungsvektor r von g mit dem Vektor von F nach P ist wegen der Orthogonalität =0 - also: r⋅(P−F)=0 und da F auf g liegt, gilt auch
F=a+λFr⇒r⋅(P−a−λFr)=0 r(P−a)=λFr2⇒λF=r2r(P−a) Einsetzen in die Gleichung für F (s.o.) und diese in die Gleichung für P′ ergibt die von Dir gesuchte Formel
P′=2(a+r2r(P−a)r)−P=⎝⎛32−1⎠⎞ und das ganze noch mal im Geoknecht3D
(klick auf das Bild)