Figuur I

Figuur II

H: (0, -15)
I = Point(Segment[H, (x(H) - 5, y(H))])
Q = Point(Segment[H, (x(H), y(H) - Distance[H, I] / 2)])
O: (x(H), y(H) + Distance[H, Q])
B_1: (8, -15)
f: y = y(H)
A = Point(Segment[(x(I) - Distance[H, I], y(H)), (x(I) - Distance[H, I] - 5, y(H))])
c = Circle(A, Distance[H, I])
d = Circle(H, I)
B = Intersect(c, f, 2)
J = Intersect(d, f, 2)
r_1 = Segment(I, J)
W: (x(H), y(H) + (2 * Distance[H, Q]))
C = Intersect(c, f, 1)
g = Segment(A, B)
i: y = y(O)
h = Segment(A, C)
j: y = y(W)
F = Intersect(c, j, 2)
m = Segment(F, A)
G = Intersect(c, i, 2)
p = Segment(G, A)
K = Intersect(d, j, 1)
L = Intersect(d, j, 2)
M = Intersect(d, i, 1)
N = Intersect(d, i, 2)
s = Segment(L, K)
t = Segment(N, M)
f_1 = Line(Q, r_1)
R = Intersect(d, f_1, 1)
S = Intersect(d, f_1, 2)
g_1 = Segment(S, R)
i_1 = Segment(O, H)
j_1 = Segment(H, Q)
T = (4, -11)
U: (5.5, -11)
a = Segment(T, U)
V = (7, -11)
k_1 = Segment(U, V)
γ = Angle(F, A, G)
h_1 = Segment(W, O)
Z = Intersect(c, j, 1)
l = Segment(Z, A)
k = Segment(F, Z)
A_1 = Intersect(c, i, 1)
q = Segment(G, A_1)
n = Segment(A, A_1)
α = Angle(F, A, Z)
β = Angle(Z, A, A_1)
C_1 = (-11.832922154838734, -19.372628780883904)