(ii)

(iii)

(i)

(iv)

(v)

(vi)

(vii)

(viii)

(ix)

G = Point(xAxis)
H = Point(xAxis)
Z = Point(xAxis)
B = Point(xAxis)
A = Point(Semicircle[G, B])
α = Angle(A, B, G)
L_1 = Rotate(Z, (-α), H)
g = Segment(G, A)
c = Circle(Midpoint[G, B], Distance[G, Midpoint[G, B]])
f = Line(G, B)
h = Segment(A, B)
i = Line(H, g)
P = Point(i)
j = Line(H, L_1)
β = Angle(Z, H, L_1)
k = OrthogonalLine(Z, j)
r = OrthogonalLine(P, k)
l = OrthogonalLine(Z, i)
T = Intersect(l, i)
e = Circle(T, Distance[B, G])
J = Intersect(e, j, 2)
N = Intersect(k, j)
T' = Mirror(T, N)
p = Line(P, N)
P_2 = Intersect(l, p)
q = OrthogonalLine(P_2, j)
C_1 = Intersect(r, q)
C'_1 = Mirror(C_1, AngularBisector[Line[N, Z], Line[N, H]])
C'_2 = Mirror(C_1, N)
d = Conic(C_1, T, C'_1, C'_2, T')
l2 = Sequence(Distance[J, Intersect[e, d, n]], n, 1, 4, 1)
b = Min(l2)
t = Circle(J, b)
K, O = Intersect(e, t)
m = Segment(N, Z)
n_1 = Segment(Z, T)
lugar1 = Locus(C_1, P)
I = Intersect(e, k, 1)
C_2, D_1, E_1, F_1 = Intersect(e, d)
l1 = Sequence(Distance[I, Intersect[e, d, n]], n, 1, 4, 1)
a = Min(l1)
s = Circle(I, a)
C = Intersect(e, s, 1)
n = Line(T, C)
F = Intersect(n, j)
Q = Intersect(k, n)
f_1 = Line(Z, n)
M = Intersect(i, f_1)
L = Intersect(j, f_1)
g_1 = Segment(C, T)
h_1 = Segment(L, M)
γ = Angle(H, L, Z)
B' = Rotate(B, (-γ), G)
i_1 = Line(G, B')
C': O
l_1 = Line(T, C')
F' = Intersect(j, l_1)
Q' = Intersect(k, l_1)
m_1 = Line(Z, l_1)
M' = Intersect(i, m_1)
L' = Intersect(j, m_1)
B'_1 = Rotate(B, (-Angle[H, L', Z]), G)
p_1 = Line(G, B'_1)
a_1 = Segment(T, C')
u = false
v = false
o = false
w = false
b_1 = false
c_1 = false
d_1 = false
e_1 = false
o_1 = false
s_1 = Segment(H, Z)
D = Intersect(c, i_1, 2)
j_1 = Segment(D, A)
E = Intersect(f, j_1)
k_1 = Segment(G, D)
δ = Angle(D, G, B)
D' = Intersect(c, p_1, 2)
q_1 = Segment(D', A)
r_1 = Segment(G, D')
E' = Intersect(f, q_1)