Das Ausgangsdreieck (rot) wird
a) erst gespiegelt (') dann verschoben ('')
b) erst verschoben (₁), dann gespiegelt ('₁)

Die beiden Ergebnisdreiecke (grün) sind im Allgemeinen
verschieden, d.h. Spiegelung und Verschiebung sind
nicht kommutativ.

AUFGABE
Verändern Sie den Verschiebungspfeil FG so, dass
die beiden Ergebnisdreiecke übereinstimmen. 
Welche besondere Situation liegt dann vor?

A = (-0.82, 1.3)
B = (0.44, 3.22)
C = (-0.42, 3.7)
Vieleck1, c, a, b = Polygon(A, B, C)
D = (2.6, 5.52)
E = (1.06, 0.02)
d = Line(D, E)
F = (1.6, -1.28)
G = (4.54, -5.22)
u = Vector(F, G)
A' = Mirror(A, d)
B' = Mirror(B, d)
C' = Mirror(C, d)
Vieleck1', c', a', b' = Polygon(A', B', C')
A'' = Translate(A', u)
B'' = Translate(B', u)
C'' = Translate(C', u)
Vieleck1'', c'', a'', b'' = Polygon(A'', B'', C'')
A_1 = Translate(A, u)
B_1 = Translate(B, u)
C_1 = Translate(C, u)
Vieleck1'_1, c'_1, a'_1, b'_1 = Polygon(A_1, B_1, C_1)
A'_1 = Mirror(A_1, d)
B'_1 = Mirror(B_1, d)
C'_1 = Mirror(C_1, d)
Vieleck2, j, h, i = Polygon(A'_1, B'_1, C'_1)