Sei
g : x=a+rv
eine Gerade und B ein Punkt mit Ortvektor b.
Spiegelt man den Punkt mit Ortsvektor a+r0v an B, so erhalt man den Punkt mit dem Ortsvektor
==a+r0v+2 · (b−(a+r0v))a+r0v+2 · b−2 · (a+r0v)2 · b−a−2r0v.
Dieser Punkt liegt auf der Geraden
g′ : x=a′+rv
mit
a′=2b−a.