[   ]²+[   ]² =[   ]²

A = (4.839253992019789, 2.431285980840408)
B = (13.574113584580916, 2.4594629472680243)
c = Segment(A, B)
c_2 = Semicircle(A, B)
C = Point(c_2)
b = Segment(B, C)
a = Segment(C, A)
α = Angle(A, C, B)
small_1, e, f, g, h, D, E = Polygon(C, B, 4)
poly2, i, j, k, l, F, G = Polygon(A, C, 4)
poly3, m, n, p, q, H, I = Polygon(B, A, 4)
J = Midpoint(D, C)
L = Midpoint(F, A)
K = Midpoint(I, A)
equals = 0 (slider from 0 to 100, step 1)
v = Vector(J, K)
D' = Translate(D, v)
C' = Translate(C, v)
E' = Translate(E, v)
B' = Translate(B, v)
r = Ray(B', D')
s = Ray(D', E')
t = Ray(E', C')
a_1 = Ray(C', B')
b_1 = Segment(I, H)
c_1 = Segment(H, A)
d_1 = Segment(B, I)
M = Intersect(a_1, b_1)
N = Intersect(t, c_1)
O = Intersect(r, d_1)
P = Intersect(c, s)
D'' = Dilate(D', 1 - equals / 100, A)
e_1 = Circle(G, Segment[B', M])
g_1 = Segment(F, G)
h_1 = Segment(A, G)
i_1 = Segment(C, F)
Q = Intersect(e_1, h_1, 1)
k_1 = Circle(A, Segment[G, Q])
q_1 = Circle(C, Segment[G, Q])
r_1 = Circle(F, Segment[G, Q])
R = Intersect(e_1, g_1, 1)
S = Intersect(r_1, g_1, 1)
T = Intersect(q_1, a, 1)
U = Intersect(k_1, a, 1)
V = Intersect(k_1, h_1, 1)
W = Intersect(q_1, i_1, 1)
Z = Intersect(r_1, i_1, 1)
yellow_1, y1A, y1D, y1B, y1C = Polygon(F, W, L, S)
green_1, g1B, g1C, g1D, g1A = Polygon(S, L, Q, G)
red_1, r1B, r1C, r1D, r1A = Polygon(L, U, A, Q)
blue_1, b1D, b1A, b1B, b1C = Polygon(U, L, W, C)
D''_1 = Dilate(D', equals / 100, A)
v_1 = Vector(A, D''_1)
L' = Translate(L, v_1)
U' = Translate(U, v_1)
A' = Translate(A, v_1)
Q' = Translate(Q, v_1)
red_1', r1B', r1C', r1D', r1A' = Polygon(L', U', A', Q')
P' = Dilate(P, equals / 100, W)
j_1 = Vector(W, P')
U'_1 = Translate(U, j_1)
L'_1 = Translate(L, j_1)
W' = Translate(W, j_1)
C'_1 = Translate(C, j_1)
blue_1', b1D', b1A', b1B', b1C' = Polygon(U'_1, L'_1, W', C'_1)
K' = Dilate(K, equals / 100, J)
m_1 = Vector(J, K')
small_1' = Translate(small_1, m_1)
H' = Dilate(H, equals / 100, L)
n_1 = Vector(L, H')
F' = Translate(F, n_1)
W'_1 = Translate(W, n_1)
L'_2 = Translate(L, n_1)
S' = Translate(S, n_1)
yellow_1', y1A', y1D_1, y1B_1, y1C_1 = Polygon(F', W'_1, L'_2, S')
B'' = Dilate(B', equals / 100, G)
w = Vector(G, B'')
S'_1 = Translate(S, w)
L'_3 = Translate(L, w)
Q'_1 = Translate(Q, w)
G' = Translate(G, w)
green_1', g1B', g1C', g1D', g1A' = Polygon(S'_1, L'_3, Q'_1, G')
K'_1 = Dilate(K, equals / 100, L)
u = Vector(L, K'_1)
poly2' = Translate(poly2, u)
A_1 = Midpoint(A, H)
B_1 = Midpoint(I, H)
C_1 = Midpoint(B, I)
d = Line(C_1, b)
f_1 = Line(P, a)
l_1 = Line(A_1, d)
p_1 = Line(B_1, f_1)
D_1 = Intersect(d, f_1)
E_1 = Intersect(l_1, p_1)
F_1 = Intersect(f_1, l_1)
G_1 = Intersect(d, p_1)
H_1 = Intersect(l_1, b_1)
s_1 = Circle(E, Segment[C_1, G_1])
t_1 = Circle(D, Segment[C_1, G_1])
d_2 = Circle(B, Segment[C_1, G_1])
e_2 = Circle(C, Segment[C_1, G_1])
I_1 = Intersect(b, e)
J_1 = Intersect(b, e)
K_1 = Intersect(b, e)
L_1 = Intersect(d_2, e, 1)
M_1 = Intersect(d_2, f, 1)
N_1 = Intersect(e_2, e, 1)
O_1 = Intersect(e_2, h, 1)
P_1 = Intersect(s_1, h, 1)
Q_1 = Intersect(s_1, g, 1)
R_1 = Intersect(t_1, g, 1)
S_1 = Intersect(t_1, f, 1)
yellow_2, y2B, y2C, y2D, y2A = Polygon(D, S_1, J, Q_1)
blue_2, b2A, b2D, b2C, b2B = Polygon(S_1, J, L_1, B)
red_2, r2B, r2A, r2D, r2C = Polygon(L_1, J, O_1, C)
green_2, g2A, g2D, g2C, g2B = Polygon(Q_1, E, O_1, J)
A'_1 = Dilate(A, equals / 100, J)
u_1 = Vector(J, A'_1)
B'_1 = Dilate(B, equals / 100, J)
w_1 = Vector(J, B'_1)
H'_1 = Dilate(H, equals / 100, J)
u_2 = Vector(J, H'_1)
I' = Dilate(I, equals / 100, J)
v_2 = Vector(J, I')
T_1 = Translate(Q_1, v_2)
E'_1 = Translate(E, v_2)
U_1 = Translate(O_1, v_2)
J' = Translate(J, v_2)
green_2', g2A', g2D', g2C', g2B' = Polygon(T_1, E'_1, U_1, J')
V_1 = Translate(S_1, u_1)
J'_1 = Translate(J, u_1)
W_1 = Translate(L_1, u_1)
B'_2 = Translate(B, u_1)
blue_2', b2A', b2D', b2C', b2B' = Polygon(V_1, J'_1, W_1, B'_2)
Z_1 = Translate(L_1, w_1)
J'_2 = Translate(J, w_1)
A_2 = Translate(O_1, w_1)
C'_2 = Translate(C, w_1)
red_2', z_1, r2A', r2D', r2C' = Polygon(Z_1, J'_2, A_2, C'_2)
D'_1 = Translate(D, u_2)
B_2 = Translate(S_1, u_2)
J'_3 = Translate(J, u_2)
C_2 = Translate(Q_1, u_2)
yellow_2', y2B', y2C', y2D', y2A' = Polygon(D'_1, B_2, J'_3, C_2)