A = (-3.16, -3.7)
B = (11.540000000000001, -3.7)
a = Line(A, B)
C = Point(a)
b = OrthogonalLine(C, a)
c = Circle(C, 3)
D = Intersect(c, a, 2)
d = OrthogonalLine(D, a)
E = (-0.98, 0.9400000000000001)
F = (0.52, 1.42)
G = (0, 3.98)
poly1, g, e, f = Polygon(E, F, G)
E' = Mirror(E, b)
F' = Mirror(F, b)
G' = Mirror(G, b)
poly1', g', e', f' = Polygon(E', F', G')
E'' = Mirror(E', d)
F'' = Mirror(F', d)
G'' = Mirror(G', d)
poly1'', g'', e'', f'' = Polygon(E'', F'', G'')
h = Segment(G, G'')
i = Segment(E, E'')
abstandEE'' = Distance(E, E'')
TextEE'': "\overline{" + (Name[E]) + (Name[E'']) + "} \, = \, " + abstandEE''