J = (-1, -2)
K_1 = Point(Segment[J, (x(J) + 8, y(J))])
d_1 = Circle(J, K_1)
K = Point(d_1)
k_1 = Ray(K, J)
R, S = Intersect(d_1, k_1)
a = Segment(K, J)
b = OrthogonalLine(K, a)
M = Point(b)
L = Point(b)
A = (8, 0)
lengte = 4 (slider from 0 to 10, step 0.1)
B = Point(Circle[A, lengte])
e = Circle(A, B)
veelhoek1, g, h, i, j, C, D = Polygon(A, B, 4)
k = Ray(D, A)
E = Midpoint(D, A)
c = Circle(E, B)
F = Intersect(c, k, 1)
d = Circle(A, F)
f = Segment(A, B)
G = Intersect(d, f, 1)
l = Segment(A, G)
p = Circle(B, l)
H = Intersect(e, p, 1)
δ = Angle(B, G, H)
M' = Rotate(M, (-δ), K)
f_1 = Ray(K, M')
N = Intersect(d_1, f_1, 2)
β = Angle(H, B, G)
L' = Rotate(L, β, K)
g_1 = Ray(K, L')
O = Intersect(d_1, g_1, 2)
j_1 = AngularBisector(K, O, N)
Q = Intersect(d_1, j_1, 2)
i_1 = AngularBisector(O, N, K)
P = Intersect(d_1, i_1, 2)
stap = 6 (slider from 0 to 6, step 1)
m = Segment(G, B)
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(G, H, B)
ε = Angle(A, H, G)
ζ = Angle(M', K, M)
η = Angle(L, K, L')
h_1 = Segment(N, O)
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)
L_1 = (-7.253138093592085, -5.921212680824889)
e_1 = Circle(S, Distance[J, K_1])
T, U = Intersect(d_1, e_1)
a_1 = Segment(U, R)
b_1 = Segment(R, T)
f_2 = Segment(T, U)
n_1 = Segment(U, O)