BOX Problem - Visualisation

Coresponding GGB file

H' 

 E' 

α = 0.5235987755982988 rad (slider from 0 to 6.283185307179586, step 0.017453292519943295)
D' = (6.665023996065965, 11.412493468750814)
D = (-8.855758174133902, 9.524208397598901)
C = Point(Circle[D, 4])
b = 0.45 (slider from 0 to 1.8, step 0.05)
X' = Dilate(D, b / 4, C)
X = Dilate(C, b / 4, D)
C' = Point(Circle[D', Distance[X, X']])
b_2 = Line(C', xAxis)
K = Point(b_2)
a = Segment(D, C)
c_4 = OrthogonalLine(D, a)
d = OrthogonalLine(C, a)
e = Circle(D, 5)
A = Intersect(e, c_4, 1)
f = Circle(C, 5)
B = Intersect(f, d, 1)
g = Segment(D, A)
h = Segment(A, B)
i = Segment(B, C)
k = Circle(D, 4)
C'_1 = Intersect(k, g, 1)
Y = Dilate(C'_1, b / 4, D)
p = Circle(A, 4)
C'' = Intersect(p, g, 1)
Y' = Dilate(C'', b / 4, A)
j = OrthogonalLine(X, a)
l = OrthogonalLine(X', a)
m = OrthogonalLine(Y, g)
n = OrthogonalLine(Y', g)
E = Intersect(j, h)
F = Intersect(l, h)
mnogokotnik1, G, e_1, f_1, x' = Polygon(X, E, F, X')
H = Intersect(m, i)
I = Intersect(n, i)
mnogokotnik2, J, y', i_1, h_1 = Polygon(Y, Y', I, H)
q = Segment(D', C')
L' = Rotate(K, -α, D')
β = Angle(L', D', C')
r = Line(D', L')
s = Circle(D', Distance[Y, Y'])
A' = Intersect(s, r, 2)
razdaljaD'A' = Distance(D', A')
t = Line(C', r)
a_1 = Line(A', q)
B' = Intersect(t, a_1)
mnogokotnik3, m_1, n_1, l_1, k_1 = Polygon(A', B', C', D')
b_1 = OrthogonalLine(D', q)
c_1 = OrthogonalLine(C', q)
d_1 = Line(A', b_1)
g_1 = Line(B', d_1)
j_1 = Segment(Y, H)
p_1 = Segment(X, E)
O = Intersect(j_1, p_1)
q_1 = Circle(D', Distance[X, O])
H' = Intersect(q_1, b_1, 2)
r_1 = Line(H', l_1)
s_1 = Line(H', k_1)
G' = Intersect(c_1, r_1)
t_1 = Line(G', n_1)
F' = Intersect(g_1, t_1)
a_2 = Line(F', m_1)
E' = Intersect(d_1, s_1)
mnogokotnik4, p_2, k_2, l_2, q_2 = Polygon(H', D', C', G')
mnogokotnik5, k_3, p_3, s_2, m_2 = Polygon(D', H', E', A')
mnogokotnik6, s_3, r_2, n_2, m_3 = Polygon(E', F', B', A')
mnogokotnik7, n_3, l_3, q_3, r_3 = Polygon(B', C', G', F')
c_2 = OrthogonalLine(C', b_2)
d_2 = OrthogonalLine(A', b_2)
e_2 = Circle(C', Distance[A, E])
L = Intersect(e_2, c_2, 2)
f_2 = Line(L, r)
M = Intersect(d_2, f_2)
V_1: (4 - 2 * b) * (5 - 2 * b) * b
razdaljaA'B' = Distance(A', B')
Vol: (b, V_1)
TekstA'B': "\overline{" + (Name[A']) + (Name[B']) + "} \, = \, " + razdaljaA'B'
N = Intersect(f_1, j_1)
g_2 = LineBisector(N, X')
P = Intersect(g_2, f_1)
tekst1: b + ""
h_2 = Segment(X', N)
i_2 = Segment(N, H)
j_2 = Segment(N, H)
Q = Intersect(y', f_1)
R = Intersect(G, p_1)
S = Intersect(y', p_1)
T = Intersect(h_1, j_1)
U = Intersect(G, p_1)
W = Intersect(G, p_1)
Z = Intersect(h_1, j_1)
A_1 = Intersect(G, p_1)
B_1 = Intersect(h_1, j_1)
C_1 = Intersect(h_1, j_1)
D_1 = Intersect(G, p_1)
E_1 = Intersect(G, p_1)
F_1 = Intersect(h_1, j_1)
G_1 = Intersect(G, p_1)
H_1 = Intersect(h_1, j_1)
I_1 = Intersect(h_1, j_1)
t_2 = Segment(Q, I)
a_3 = Segment(Q, F)
b_3 = LineBisector(D', H')
J_1 = Intersect(b_3, p_2)
TekstKM: "\overline{" + (Name[D']) + (Name[A']) + "} \, = \, " + razdaljaD'A'
c_3 = Segment(E, S)
d_3 = Segment(Y', S)
K_1 = Intersect(h_1, j_1)
L_1 = Intersect(h_1, j_1)
M_1 = Intersect(G, p_1)
tekst2: "\overline{" + (Name[D']) + (Name[H']) + "} \, = \, " + b
tekst3: "\overline{" + (Name[D']) + (Name[H']) + "} \, = \, " + b
a': razdaljaA'B'
b': razdaljaD'A'
c': b
tekst6: "x = " + b
KK1 = Intersect(h_1, G)
KK2 = Intersect(h_1, f_1)
KK3 = Intersect(d_3, G)
KK4 = Intersect(y', f_1)