A = (1.8696930232558133, 1.6175069767441854)
B = (5.66, 3.08)
C = (1.86, 6.08)
a = Segment(A, B)
b = Segment(A, C)
c = Line(C, a)
d = Line(B, b)
D = Intersect(c, d)
poly1, a_1, b_1, d_1, c_1 = Polygon(A, B, D, C)
E = (8.24, 1.86)
F = (8.52, 5.14)
e = Line(E, F)
image1' = Mirror(image1, e)
A' = Mirror(A, e)
B' = Mirror(B, e)
D' = Mirror(D, e)
C' = Mirror(C, e)
poly1', a', b', d', c' = Polygon(A', B', D', C')
f = Segment(D, D')
g = Segment(B, B')
h = Segment(C, C')
i = Segment(A, A')
G = Intersect(e, f)
H = Intersect(e, h)
I = Intersect(e, g)
J = Intersect(e, i)
distanceDG = Distance(D, G)
TexteDG: Name[D] + (Name[G]) + " \, = \, " + distanceDG
distanceGD' = Distance(G, D')
TexteGD': Name[G] + (Name[D']) + " \, = \, " + distanceGD'
distanceCH = Distance(C, H)
TexteCH: Name[C] + (Name[H]) + " \, = \, " + distanceCH
distanceHC' = Distance(H, C')
TexteHC': Name[H] + (Name[C']) + " \, = \, " + distanceHC'
distanceBI = Distance(B, I)
TexteBI: Name[B] + (Name[I]) + " \, = \, " + distanceBI
distanceIB' = Distance(I, B')
TexteIB': Name[I] + (Name[B']) + " \, = \, " + distanceIB'
distanceAJ = Distance(A, J)
TexteAJ: Name[A] + (Name[J]) + " \, = \, " + distanceAJ
distanceJA' = Distance(J, A')
TexteJA': Name[J] + (Name[A']) + " \, = \, " + distanceJA'
α = Angle(A', J, I)
β = Angle(B', I, H)
δ = Angle(F, G, D')