A = (0, 0)
B = (6.25, 0)
A_1 = Midpoint(A, B)
s = CircleArc(A_1, B, A)
a = 0 (slider from 0 to 3, step 0.01)
z: (1 + sgn(4 - a + 0.001)) / 2
u: (1 + sgn(1 - a + 0.001)) / 2
v: (1 + sgn(2 - a + 0.001)) / 2
w: (1 + sgn(3 - a + 0.001)) / 2
a3: (1 - u) (1 - v) w z
a1: u v w z
a5: (1 - u) (1 - v) (1 - w) (1 - z)
a2: (1 - u) v w z
a4: (1 - u) (1 - v) (1 - w) z
c: a2 (a - 1) + a3 + a4 + a5
d: a3 (a - 2) + a4 + a5
b: a1 a + a2 + a3 + a4 + a5
e: a4 (a - 3) + a5
f: a5 (a - 4)
C = Point(s)
P, b_1, a_1, c_1 = Polygon(A, C, B)
α = Angle(A, C, B)
β = Angle(C, A, B)
B_1 = (-9.4, 10.75)
C_1 = (-6.550000000000001, 10.700000000000001)
z_1 = Vector(B_1, C_1)
g = Line(C, A)
h = Line(C, B)
k = Circle(C, A)
p = Circle(C, B)
D = Intersect(k, h, 1)
E = Intersect(p, g, 1)
i = OrthogonalLine(E, g)
j = OrthogonalLine(B, i)
l = OrthogonalLine(D, h)
m = OrthogonalLine(A, g)
F = Intersect(l, m)
G = Intersect(i, j)
n = OrthogonalLine(A, c_1)
q = OrthogonalLine(B, c_1)
H = Intersect(l, n)
I = Intersect(i, l)
r = Vector(F, H)
t = Vector(H, A)
u_1 = Vector(E, I)
d_1 = OrthogonalLine(C, c_1)
J = Intersect(c_1, d_1)
v_1 = Vector(C, J)
K: F + b r + c t
L: A + c t
M: D + b r + c t + d v_1
N: C + c t + d v_1
Q, k_1, m_1, n_1, l_1 = Polygon(K, M, N, L)
O: E + b u_1 + c t + d v_1
R: G + b u_1 + c t
S: B + c t
T, o, r_1, s_1, n_2 = Polygon(O, R, S, N)
e_1 = Circle(A, B)
U = Intersect(e_1, n, 2)
f_1 = OrthogonalLine(U, n)
V = Intersect(q, f_1)
W, a_2, f_2, d_2, c_2 = Polygon(A, F, D, C)
Y, c_3, e_2, g_1, b_2 = Polygon(C, E, G, B)
Z, b_3, v_2, u_2, a_3 = Polygon(B, V, U, A)