a_{1} = 5 (slider from 5 to 8, step 0.2)
M = Point(xAxis)
A_{1}: (((-a_{1})) / 2, ((-a_{1})) / 2, -2)
O: (0, 0, -2)
p = OrthogonalPlane(O, zAxis)
u = Line(A_{1}, O)
k_{1} = Circle(zAxis, A_{1})
q_{1} = Plane(zAxis, u)
q = OrthogonalLine(O, q_{1})
C_{1}, E = Intersect(u, k_{1})
O': (0, 0, a_{1} - 2)
K = Intersect(q, p)
J = PointIn(p)
L = PointIn(p)
b' = Line(J, L)
P = PointIn(p)
k = OrthogonalLine(P, p)
B_{1} = PointIn(p)
a' = Line(J, B_{1})
c' = Line(B_{1}, L)
a = Line(P, a')
b = Line(P, b')
c = Line(P, c')
A = Point(a)
B = Point(b)
f = Line(A, B)
C = Intersect(f, c)
P_1 = Point(k)
P_2 = Mirror(P_1, P)
g = Segment(P_1, A)
j = Segment(A, P_2)
i = Segment(P_1, B)
m = Segment(P_2, B)
t1, p_1, a_2, b_1 = Polygon(A, B, P_1)
t2, b_2, a_3, p_2 = Polygon(A, P_2, B)
α = Angle(P_1, A, B)
h = Segment(P_1, C)
l = Segment(C, P_2)
t3, n, c_1, p_3 = Polygon(C, P, P_1)