W'

P'

Q'

R'

S'

T'

U'

V'

X'

Y'

C = Point(xAxis)
A = PointIn(y > 0)
f = Line(A, xAxis)
O_1 = Point(f)
B = Mirror(C, (0, 0))
g = Segment(B, C)
h = Segment(A, O_1)
i = Segment(O_1, C)
CentroPolígono = PointIn(y < 0)
e = Segment(O_1, B)
Tamaño = 0.71 (slider from 0 to (-y(CentroPolígono)), step 0.01)
c = Circle(CentroPolígono, Tamaño)
W = Point(c)
n = 8 (slider from 1 to 10, step 1)
P = Rotate(W, (360 * ° / n), CentroPolígono)
polígono2, p, q, r, s, t, a, d, f_1, g_1, h_1, i_1, j_1, k_1, l_1, m_1, p_1, q_1, r_1, s_1, t_1, Q, R, S, T, U, V, X, Y, Q_1, R_1, S_1, T_1, U_1, V_1, W_1, Z_1, A_1, B_1 = Polygon(W, P, n)
E, W' = PierodelaFrancesca(xAxis, B, C, A, O_1, W)
G, P' = PierodelaFrancesca(xAxis, B, C, A, O_1, P)
I, Q' = PierodelaFrancesca(xAxis, B, C, A, O_1, Q)
K, R' = PierodelaFrancesca(xAxis, B, C, A, O_1, R)
M, S' = PierodelaFrancesca(xAxis, B, C, A, O_1, S)
C_1, T' = PierodelaFrancesca(xAxis, B, C, A, O_1, T)
U'', U' = PierodelaFrancesca(xAxis, B, C, A, O_1, U)
V'', V' = PierodelaFrancesca(xAxis, B, C, A, O_1, V)
I_1, X' = PierodelaFrancesca(xAxis, B, C, A, O_1, X)
K_1, Y' = PierodelaFrancesca(xAxis, B, C, A, O_1, Y)
j = Segment(W', P')
k = Segment(P', Q')
l = Segment(Q', R')
m = Segment(R', S')
b = Segment(S', T')
n_1 = Segment(T', U')
a_1 = Segment(U', V')
b_1 = Segment(V', X')
c_1 = Segment(X', Y')
d_1 = Segment(Y', W')
e_1 = Segment(Q', W')
f_2 = Segment(R', W')
g_2 = Segment(S', W')
h_2 = Segment(T', W')
i_2 = Segment(U', W')
j_2 = Segment(V', W')
k_2 = Segment(W', X')
l_2 = Segment(E, G)
m_2 = Segment(G, I)
n_2 = Segment(I, K)
p_2 = Segment(K, M)
q_2 = Segment(M, C_1)
r_2 = Segment(C_1, U'')
s_2 = Segment(U'', V'')
t_2 = Segment(V'', I_1)
a_2 = Segment(I_1, K_1)
b_2 = Segment(K_1, E)
c_2 = Segment(I_1, E)
d_2 = Segment(V'', E)
e_2 = Segment(U'', E)
f_3 = Segment(C_1, E)
g_3 = Segment(M, E)
h_3 = Segment(K, E)
i_3 = Segment(I, E)
polígono1, q', p', w', v', u', t', s', r' = Polygon(Q', P', W', V', U', T', S', R')
polígono3, k_3, i_4, g_4, e_3, v'', u'', c_3, m_3 = Polygon(K, I, G, E, V'', U'', C_1, M)

Tool: Piero de la Francesca (command PierodelaFrancesca)
PierodelaFrancesca[ <Recta>, <Punto>, <Punto>, <Punto>, <Punto>, <Punto> ]
Input: xAxis, B, C, A, O, D
Output: K, Q

f = Line(A, xAxis)
i = Segment(O, C)
polígono1, j, k, l, m, E, F = Polygon(C, B, 4)
p = Line(D, xAxis)
n = Line(E, C)
G = Intersect(p, n)
q = OrthogonalLine(G, xAxis)
r = OrthogonalLine(D, xAxis)
H = Intersect(q, xAxis)
I = Intersect(r, xAxis)
s = Line(A, H)
t = Line(I, A)
J = Intersect(s, i)
a = Line(J, xAxis)
K = Intersect(t, a)
b = Line(B, F)
M = Intersect(p, b)
c = OrthogonalLine(M, xAxis)
N = Intersect(xAxis, c)
d = Line(N, A)
e = Segment(O, B)
P = Intersect(d, e)
f_1 = Line(P, xAxis)
Q = Intersect(t, f_1)