AB=

A'B'=

CD=

C'D'=

BC=

B'C'=

A'B'/AB=

DE=

EF=

E'F'=

BE=

B'E'=

B'C'/BC=

C'D'/CD=

D'E'/DE=

E'F'/EF=

B'E'/BE=

D'E'=

A = (-18, 3)
B = (-17, 3)
C = (-15, 5)
D = (-11, 5)
E = (-15, 1)
F = (-18, 1)
a = Segment(A, B)
b = Segment(B, C)
c = Segment(C, D)
d = Segment(D, E)
e = Segment(E, F)
f = Segment(F, A)
g = Segment(B, E)
F'_1 = (-8, 0)
B1 = Distance(A, B)
E1 = Distance(B, C)
H1 = Distance(C, D)
E6 = 3
E7 = 9
H6 = 2.83
H7 = 8.49
α = Angle(E, B, C)
γ = Angle(C, D, E)
E9: E7 / E6
H9: H7 / H6
B6 = Distance(D, E)
u = Vector(F, F'_1)
A'_1 = Translate(A, u)
B'_1 = Translate(B, u)
a' = Segment(A'_1, B'_1)
B'_2 = Translate(B, u)
C'_1 = Translate(C, u)
b' = Segment(B'_2, C'_1)
C'_2 = Translate(C, u)
D'_1 = Translate(D, u)
c' = Segment(C'_2, D'_1)
D'_2 = Translate(D, u)
E'_1 = Translate(E, u)
d' = Segment(D'_2, E'_1)
E'_2 = Translate(E, u)
F'_2 = Translate(F, u)
e' = Segment(E'_2, F'_2)
F'_3 = Translate(F, u)
A'_2 = Translate(A, u)
f' = Segment(F'_3, A'_2)
B'_3 = Translate(B, u)
E'_3 = Translate(E, u)
g' = Segment(B'_3, E'_3)
A' = Dilate(A'_1, 3.0, F'_1)
I = Dilate(B'_1, 3.0, F'_1)
a'' = Segment(A', I)
B' = Dilate(B'_2, 3.0, F'_1)
C' = Dilate(C'_1, 3.0, F'_1)
b'' = Segment(B', C')
C'' = Dilate(C'_2, 3.0, F'_1)
D' = Dilate(D'_1, 3.0, F'_1)
c'' = Segment(C'', D')
D'' = Dilate(D'_2, 3.0, F'_1)
M = Dilate(E'_1, 3.0, F'_1)
d'' = Segment(D'', M)
E' = Dilate(E'_2, 3.0, F'_1)
F' = Dilate(F'_2, 3.0, F'_1)
e'' = Segment(E', F')
F'' = Dilate(F'_3, 3.0, F'_1)
A'_3 = Dilate(A'_2, 3.0, F'_1)
f'' = Segment(F'', A'_3)
B'' = Dilate(B'_3, 3.0, F'_1)
E'' = Dilate(E'_3, 3.0, F'_1)
g'' = Segment(B'', E'')
B2 = Distance(A', B')
E2 = Distance(B', C')
H2 = Distance(C', D')
B7 = Distance(D', E')
β = Angle(E', B', C')
δ = Angle(C', D', E')
B4: B2 / B1
E4: E2 / E1
H4: H2 / H1
B9: B7 / B6