Die Verschiebung von P zu P'' ist die Verknüpfung der Achsenspiegelungen
erst an d und dann an c.

A = (-3.82, -4.02)
B = (13.16, -4.02)
a_1 = Line(A, B)
C = Point(a_1)
D = Point(a_1)
E = Point(a_1)
a = OrthogonalLine(C, a_1)
b = OrthogonalLine(D, a_1)
c = OrthogonalLine(E, a_1)
F = (11.18, 1.94)
G = (10.86, -0.38)
H = (11.9, -0.54)
Vieleck1, h, f, g = Polygon(F, G, H)
F' = Mirror(F, a)
G' = Mirror(G, a)
H' = Mirror(H, a)
Vieleck1', h', f', g' = Polygon(F', G', H')
F'' = Mirror(F', b)
G'' = Mirror(G', b)
H'' = Mirror(H', b)
Vieleck1'', h'', f'', g'' = Polygon(F'', G'', H'')
F''' = Mirror(F'', c)
G''' = Mirror(G'', c)
H''' = Mirror(H'', c)
Vieleck1''', h''', f''', g''' = Polygon(F''', G''', H''')
I = Point(a_1)
d = OrthogonalLine(I, a_1)
F'_1 = Mirror(F, d)
G'_1 = Mirror(G, d)
H'_1 = Mirror(H, d)
Vieleck1'_1, h'_1, f'_1, g'_1 = Polygon(F'_1, G'_1, H'_1)
P = (11.14, 2.66)
P' = Mirror(P, d)
P'' = Mirror(P', c)
abstandPP'' = Distance(P, P'')
TextPP'': "\overline{" + (Name[P]) + (Name[P'']) + "} \, = \, " + abstandPP''
abstandIE = Distance(I, E)
TextIE: "\overline{" + (Name[I]) + (Name[E]) + "} \, = \, " + abstandIE
abstandCD = Distance(C, D)
TextCD: "\overline{" + (Name[C]) + (Name[D]) + "} \, = \, " + abstandCD
u = Vector(P, P'')