C

L

T

Q

(i)

(ii)

(iii)

(iv)

(v)

(vi)

B = Point(xAxis)
G = Point(Ray[B, Vector[(-1, 0)]])
A = Point(Ray[B, Vector[(0, 1)]])
D = Point(Ray[B, Vector[(1, 0)]])
α = Angle(G, A, D)
k = OrthogonalLine(D, xAxis)
M = Intersect(k, Line[G, A])
D' = Rotate(D, (-α), M)
p = Line(M, D')
c = Circle(M, D, G)
N = Intersect(c, p, 2)
q = Line(N, D)
f_1 = Line(G, M)
I = Intersect(f_1, q)
g_1 = Line(A, B)
g = Segment(A, B)
h_1 = Segment(G, D)
E_1 = (-7.44, 2.5)
G_1 = Point(Ray[E_1, Vector[(0, -1)]])
F = Point(Ray[E_1, Vector[(0, 1)]])
H_1 = Point(Ray[G_1, Vector[(1, 0)]])
E = Segment(E_1, F)
Z = Segment(G_1, H_1)
m = Segment(A, D)
n = Segment(M, D)
β = Angle(N, M, D)
h: (Distance[A, D] * Distance[G_1, H_1] / Distance[E_1, F])
C_1: E_1 + (h, 0)
H = Segment(E_1, C_1)
r = Segment(M, N)
f = Segment(G, I)
L1 = Point(f)
j = Line(N, L1)
C1 = Intersect(c, j, 2)
LC = Distance(L1, C1)
s1: abs(LC - h)
L = Minimize(s1, L1)
i = Line(N, L)
C = Intersect(c, i, 2)
t = Line(D, C)
Q = Intersect(g_1, t)
T = Intersect(f_1, t)
a = Segment(N, C)
d = Segment(T, G)
e = Segment(Q, B)
b = Segment(D, Q)
j_1 = Line(N, f_1)
J = Intersect(c, j_1, 2)
K = Midpoint(G, M)
c_1 = CircleArc(K, M, J)
C2 = Point(c_1)
k_1 = Line(N, C2)
L2 = Intersect(f_1, k_1)
L2C2 = Distance(C2, L2)
s2: abs(h - L2C2)
C' = Minimize(s2, C2)
s = Line(N, C')
L' = Intersect(f_1, s)
l_1 = Segment(N, L')
m_1 = Segment(M, L')
n_1 = Line(D, C')
T' = Intersect(f_1, n_1)
Q' = Intersect(g_1, n_1)
p_1 = Segment(A, Q')
q_1 = Segment(Q', D)
r_1 = Segment(C, Q)
o = false
u = false
v = false
w = false
a_1 = false
b_1 = false
i_1 = Segment(C, T)
l = Segment(G, A)
s_1 = Segment(A, M)