Gegeben: Zwei kongruente Dreiecke, die durch eine
Drehung auseinander hervorgegangen sind
(hier rot nach grün)

Gesucht: Zwei Achsen, so dass die Spiegelungen an
den Achsen das rote auf das grüne (') Dreieck abbilden.

Lösung: Schnittpunkt der beiden Mittelsenkrechten von
AA' und CC' (oder BB') ist Z, das Drehzentrum. Eine
Achse kann dann die Mittelsenkrechte von AA' sein, die
zweite Achse ist dann die Gerade ZA'.

A = (6.1, -0.54)
B = (8.78, 1.44)
C = (8.06, 3.2)
Vieleck1, c, a, b = Polygon(A, B, C)
Z = (3.3, -1.88)
A' = Rotate(A, 60*°, Z)
B' = Rotate(B, 60*°, Z)
C' = Rotate(C, 60*°, Z)
Vieleck1', c', a', b' = Polygon(A', B', C')
d = Segment(A, A')
e = LineBisector(d)
f = Segment(C, C')
g = LineBisector(f)
A'_1 = Mirror(A, e)
B'_1 = Mirror(B, e)
C'_1 = Mirror(C, e)
Vieleck1'_1, c'_1, a'_1, b'_1 = Polygon(A'_1, B'_1, C'_1)
h = Line(Z, A')
D = Point(e)
E = Point(h)
α = Angle(D, Z, E)