s

s_1

A

A_1

U

V

U_1

V_1

A^*

V^*

U^*

V^{**}

U^{**}

A = Intersect(xAxis, yAxis)
B = (8, 0)
f = Segment(A, B)
C = (-4, -4)
g = Line(A, C)
D = Point(yAxis)
c = Circle(A, D)
E = Point(g)
h = Segment(A, E)
i = Line(E, f)
j = Line(B, h)
F = Intersect(i, j)
k = Segment(B, F)
l = Segment(E, F)
G = (-6, -1)
H = (-14, -1)
m = Segment(G, H)
I = (-6, -6)
n = Segment(G, I)
p = Line(I, m)
q = Line(H, n)
J = Intersect(p, q)
r = Line(J, h)
s = Line(G, r)
t = OrthogonalLine(I, s)
a_{8} = OrthogonalLine(H, r)
K = Intersect(r, a_{8})
L = Intersect(s, t)
b = Segment(K, L)
d = Segment(L, G)
e = Segment(L, I)
f_1 = Segment(K, J)
g_1 = Segment(H, K)
vzdalenostEA = Distance(E, A)
TextEA: Name[E] + (Name[A]) + " = " + vzdalenostEA
h_1 = Line(G, q)
M = Intersect(q, xAxis)
N = Intersect(h_1, xAxis)
i_1 = Segment(M, N)
O = Point(q)
j_1 = Line(O, i_1)
k_1 = Line(K, q)
l_1 = Line(L, k_1)
m_1 = Line(O, f_1)
P = Intersect(h_1, j_1)
n_1 = Line(P, e)
p_1 = Segment(O, M)
q_1 = Segment(P, N)
a_1 = Segment(O, P)
b_1 = Segment(H, J)
c_1 = Segment(J, I)
W = Midpoint(E, A)
j_2 = Line(W, l)
k_2 = Line(K, L)
Z = Intersect(k_2, b_1)
l_2 = Segment(Z, K)
A_1 = Intersect(k_2, n)
m_2 = Segment(L, A_1)
c_2 = Circle(W, Segment[Z, K])
B_1 = Intersect(c_2, j_2, 2)
d_2 = Circle(B_1, Segment[K, L])
C_1 = Intersect(d_2, j_2, 2)
D_1 = Intersect(j_2, k)
n_2 = Segment(W, D_1)
p_2 = OrthogonalLine(B_1, n_2)
q_2 = OrthogonalLine(C_1, n_2)
r_2 = OrthogonalLine(B, f)
e_2 = Circle(B, Segment[N, P])
F_1 = Intersect(e_2, r_2, 2)
a_2 = Line(F_1, f)
b_2 = Line(A, p_2)
f_3 = Line(F, b_2)
g_3 = Line(F_1, k)
G_1 = Intersect(f_3, g_3)
h_3 = Line(G_1, l)
i_3 = Line(E, p_2)
j_3 = Segment(B, F_1)
k_3 = Segment(F, G_1)
l_3 = Segment(G_1, F_1)
H_1 = Intersect(a_2, b_2)
m_3 = Segment(F_1, H_1)
n_3 = Segment(H_1, A)
I_1 = Intersect(h_3, i_3)
p_3 = Segment(H_1, I_1)
q_3 = Segment(I_1, G_1)
r_3 = Segment(I_1, E)
O' = Rotate(O, 60°, O)
P' = Rotate(P, 60°, O)
r_1 = Segment(O', P')
O'_{1} = Rotate(O, -60°, P)
P'_{1} = Rotate(P, -60°, P)
s_1 = Segment(O'_{1}, P'_{1})
t_1 = Line(K, b_1)
d_1 = Line(L, t_1)
Q = Intersect(t_1, r_1)
R = Intersect(d_1, s_1)
e_1 = Segment(Q, R)
f_2 = Segment(Q, R)
g_2 = Segment(R, P)
h_2 = Segment(Q, O)
S = Intersect(t_1, i_1)
i_2 = Segment(Q, S)
T = Intersect(d_1, i_1)
s_2 = Segment(R, T)
U = Point(t_1)
t_2 = Segment(K, U)
V = Point(d_1)
s_3 = Segment(L, V)
c_3 = Circle(B_1, Segment[T, R])
E_1 = Intersect(c_3, p_2, 2)
t_3 = Segment(E_1, H_1)
a_3 = Segment(E_1, I_1)
b_3 = Line(E_1, m_3)
J_1 = Intersect(q_2, b_3)
d_3 = Segment(J_1, F_1)
e_3 = Segment(J_1, G_1)
f_4 = Segment(E_1, J_1)
g_4 = Segment(E_1, B_1)
h_4 = Segment(J_1, C_1)
K_1 = Point(xAxis)
L_1 = (-3.9813472936948004, 2.680544262293638)
i_4 = Segment(K_1, L_1)
M_1 = (-1.7357129888295901, 1.4032109879666421)
j_4 = Segment(K_1, M_1)
k_4 = Line(B, j_4)
l_4 = Line(F, k_4)
m_4 = Line(E, l_4)
n_4 = Segment(L_1, M_1)
p_4 = Line(F_1, n_4)
q_4 = Line(G_1, p_4)
r_4 = Line(I_1, p_4)
N_1 = Intersect(k_4, p_4)
s_4 = Segment(B, N_1)
O_1 = Intersect(l_4, q_4)
t_4 = Segment(N_1, O_1)
P_1 = Intersect(m_4, r_4)
a_4 = Segment(O_1, P_1)
b_4 = Line(N_1, a_4)
c_4 = Segment(F_1, N_1)
d_4 = Segment(B, N_1)
e_4 = Segment(F, O_1)
f_5 = Segment(G_1, O_1)
g_5 = Segment(I_1, P_1)
h_5 = Segment(E, P_1)
i_5 = Line(C_1, j_4)
j_5 = Line(J_1, n_4)
k_5 = Line(B_1, i_5)
l_5 = Line(E_1, j_5)
Q_1 = Intersect(i_5, j_5)
m_5 = Segment(C_1, Q_1)
n_5 = Segment(J_1, Q_1)
R_1 = Intersect(k_5, l_5)
p_5 = Segment(E_1, R_1)
q_5 = Segment(R_1, B_1)
r_5 = Segment(O_1, Q_1)
s_5 = Segment(Q_1, R_1)
t_5 = Segment(R_1, P_1)
S_1: (18.701619400402418, 4.328716229167181)
a_5 = Line(S_1, l)
T_1 = Intersect(a_5, e_4)
b_5 = Line(T_1, k_3)
U_1 = Intersect(b_5, f_5)
c_5 = Segment(T_1, U_1)
V_1 = Intersect(a_5, m_5)
d_5 = OrthogonalLine(V_1, a_5)
W_1 = Intersect(a_5, q_5)
e_5 = OrthogonalLine(W_1, a_5)
Z_1 = Intersect(e_5, p_5)
A_2 = Intersect(d_5, n_5)
f_6 = Segment(Z_1, A_2)
g_6 = Segment(A_2, U_1)
B_2 = Intersect(a_5, h_5)
h_6 = OrthogonalLine(B_2, a_5)
C_2 = Intersect(h_6, g_5)
i_6 = Segment(B_2, C_2)
j_6 = Segment(C_2, Z_1)
k_6 = Segment(W_1, Z_1)
l_6 = Segment(V_1, A_2)
m_6 = Segment(N_1, Q_1)
n_6 = Line(P_1, t_4)
p_6 = Line(N_1, a_4)
D_2 = Intersect(n_6, p_6)
q_6 = Segment(N_1, D_2)
r_6 = Segment(D_2, P_1)
E_2 = Intersect(a_5, r_5)
s_6 = Segment(E_2, A_2)
F_2 = Intersect(a_5, t_5)
t_6 = Segment(Z_1, F_2)
G_2 = Point(a_5)
a_6 = OrthogonalLine(G_2, a_5)
H_2 = Point(a_5)
b_6 = OrthogonalLine(H_2, a_5)
I_2 = Point(b_6)
c_6 = OrthogonalLine(I_2, b_6)
J_2 = Intersect(a_6, c_6)
d_6 = Line(J_2, h)
K_2 = Point(d_6)
e_6 = Line(K_2, c_6)
f_7 = Line(I_2, d_6)
L_2 = Intersect(e_6, f_7)
g_7 = Line(L_2, b_6)
h_7 = Line(H_2, f_7)
i_7 = Segment(G_2, J_2)
j_7 = Segment(J_2, K_2)
M_2 = Intersect(c_6, t_3)
k_7 = Segment(J_2, M_2)
N_2 = Intersect(e_6, t_3)
l_7 = Segment(K_2, N_2)
O_2 = Intersect(a_5, t_3)
m_7 = Segment(G_2, O_2)
P_2 = Intersect(e_6, e_3)
n_7 = Segment(P_2, L_2)
p_7 = Segment(L_2, I_2)
Q_2 = Intersect(g_7, h_7)
q_7 = Segment(L_2, Q_2)
r_7 = Segment(I_2, H_2)
s_7 = Segment(H_2, Q_2)
R_2 = Intersect(a_5, k_3)
t_7 = Segment(R_2, H_2)
S_2 = Intersect(c_6, e_3)
a_7 = Segment(S_2, I_2)
b_7 = Segment(O_2, R_2)
c_7 = Segment(E, B_1)
d_7 = Segment(B_1, A)
e_7 = Segment(B_1, C_1)
f_8 = Segment(C_1, F)
g_8 = Segment(C_1, B)
a = 0 (slider from 0 to 11, step 1)
u = Vector(L_1, M_1)
v = Vector(K_1, M_1)