J = (-2, -2)
C_1 = Point(Segment[J, (x(J) + 7, y(J))])
lengte = 3 (slider from 0 to 10, step 0.1)
stap = 15 (slider from 0 to 15, step 1)
A = (8, 0)
B = Point(Circle[A, lengte])
f = Segment(A, B)
veelhoek1, g, h, i, j, C, D = Polygon(A, B, 4)
E = Midpoint(D, A)
c = Circle(E, B)
k = Ray(D, A)
F = Intersect(c, k, 1)
d = Circle(A, F)
G = Intersect(d, f, 1)
l = Segment(A, G)
m = Segment(G, B)
e = Circle(A, B)
p = Circle(B, l)
H = Intersect(e, p, 1)
n = Segment(B, H)
q = Segment(H, A)
r = Segment(G, H)
s = LineBisector(H, A)
t = LineBisector(H, G)
I = Intersect(s, t)
c_1 = Circle(I, G)
α = Angle(G, A, H)
β = Angle(H, B, G)
γ = Angle(G, H, B)
δ = Angle(B, G, H)
ε = Angle(A, H, G)
d_1 = Circle(J, C_1)
K = Point(d_1)
a = Segment(K, J)
b = OrthogonalLine(K, a)
L = Point(b)
M = Point(b)
M' = Rotate(M, (-δ), K)
ζ = Angle(M', K, M)
f_1 = Ray(K, M')
N = Intersect(d_1, f_1, 2)
L' = Rotate(L, β, K)
η = Angle(L, K, L')
g_1 = Ray(K, L')
O = Intersect(d_1, g_1, 2)
h_1 = Segment(N, O)
i_1 = AngularBisector(O, N, K)
j_1 = AngularBisector(K, O, N)
P = Intersect(d_1, i_1, 2)
Q = Intersect(d_1, j_1, 2)
l_1 = Segment(Q, N)
m_1 = Segment(Q, P)
p_1 = Segment(P, O)
q_1 = Segment(P, K)
r_1 = Segment(K, Q)
s_1 = Segment(Q, O)
t_1 = Segment(N, P)
k_1 = Segment(J, Q)
a_1 = Segment(J, P)
b_1 = Segment(J, O)
e_1 = Segment(J, N)
f_2 = OrthogonalLine(Q, k_1)
g_2 = OrthogonalLine(N, e_1)
h_2 = OrthogonalLine(O, b_1)
i_2 = OrthogonalLine(P, a_1)
j_2 = OrthogonalLine(K, a)
U = Intersect(i_2, j_2)
V = Intersect(f_2, j_2)
W = Intersect(f_2, g_2)
Z = Intersect(g_2, h_2)
A_1 = Intersect(h_2, i_2)
m_2 = Segment(W, Z)
n_2 = Segment(Z, A_1)
p_2 = Segment(A_1, U)
q_2 = Segment(V, K)
k_2 = Segment(U, K)
l_2 = Segment(W, Q)
s_2 = Segment(J, U)
t_2 = Segment(J, V)
θ = Angle(J, K, U)
ι = Angle(J, K, V)
κ = Angle(J, U, K)
λ = Angle(J, U, P)
r_2 = Segment(Q, V)
μ = Angle(J, V, K)
ν = Angle(J, V, Q)
ξ = Angle(Q, J, V)
ο = Angle(V, J, K)
ρ = Angle(K, J, U)
σ = Angle(U, J, P)
τ = Angle(Q, V, J)
υ = Angle(J, U, P)
R = (7, -7)
S = (8.574189978885432, -6.989647723775254)
n_1 = Segment(R, S)
T = (10, -7)
a_2 = Segment(S, T)
B_1 = (-7.687755798099502, -5.577140378857902)