$\Pi$

\mathcal{C}

S_1

S_2

V:(0, 0, 10)
B1:(0, 0, 0)
a, c, b = Cone(B1, V, 4)
C_1 = Point(zAxis)
d = OrthogonalPlane(C_1, xAxis)
e = IntersectPath(d, a)
D, E, F, G = Corner(e)
f = OrthogonalLine(C_1, d)
H, I = Intersect(f, b)
g = Line(H, V)
h = OrthogonalLine(C_1, g, space)
J = Intersect(h, g)
i = Sphere(C_1, Distance[C_1, J])
K = Point(zAxis)
j = OrthogonalLine(K, g, space)
L = Intersect(j, g)
k = Sphere(K, L)
l = Plane(L, K, C_1)
m = OrthogonalLine(K, l)
n = OrthogonalLine(C_1, l)
p = Circle(n, J)
q = Circle(m, L)
o = Radius(q)
r = Radius(p)
s = Circle(K, o + r, l)
M = Midpoint(C_1, K)
t = Circle(M, C_1, l)
Intersect()
N = Intersect(s, t, 2)
a_1 = Line(C_1, N)
b_1 = Segment(K, N)
F_2 = Intersect(b_1, q, 1)
c_1 = Line(F_2, a_1)
F_1, Q = Intersect(c_1, p)
d_1 = Segment(F_1, F_2)
e_1 = Line(K, F_2)
u = OrthogonalPlane(F_2, e_1)
f_1 = IntersectPath(u, a)
O, P = Corner(f_1)
R = Corner(a)
B = Point(f_1)
g_1 = IntersectConic(i, a)
h_1 = Segment(F_2, B)
i_1 = Segment(B, F_1)
k_1 = IntersectPath(u, k)
j_1 = Ray(V, B)
l_1 = OrthogonalLine(C_1, j_1, space)
m_1 = Line(V, B1)
A = Intersect(l_1, j_1)
p_1 = Circle(m_1, A)
n_1 = OrthogonalLine(K, j_1, space)
C = Intersect(n_1, j_1)
q_1 = Circle(m_1, C)
r_1 = Segment(A, C)