Doppelspiegelung - Drehung

Der Schnittwinkel der beiden spiegelnden Geraden ist zwischen 0 und 90 Grad einstellbar, der Drehwinkel zwischen 0 und 360 Grad. Ein Dreieck wird nacheinander an zwei sich schneidenden Geraden gespiegelt. Es lässt sich zeigen, dass diese Doppelspiegelung durch eine Drehung der Figur um den Geradenschnittpunkt ersetzt werden kann. Man erkennt, dass der Drehwinkel doppelt so groß ist wie der Schnittwinkel der beiden Spiegelachsen. Diese Erkenntnis kann an ausgewählten Punkten über Winkelbeziehungen nachgewiesen werden.