J = (-2, -2)
W = Point(Segment[J, (x(J) + 7, y(J))])
d_1 = Circle(J, W)
K = Point(d_1)
k_1 = Ray(K, J)
a = Segment(K, J)
b = OrthogonalLine(K, a)
M = Point(b)
L = Point(b)
A = (6, 0)
B = Point(Segment[A, (x(A) + 5, y(A))])
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 = 24 (slider from 0 to 24, 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)
veelhoek2, n_1, a_1, b_1 = Polygon(K, O, N)
R = Intersect(n_1, m_1)
S = Intersect(b_1, m_1)
e_1 = Segment(R, S)
T = Intersect(t_1, n_1)
U = Intersect(b_1, s_1)
g_2 = Segment(T, N)
f_2 = Segment(U, O)
θ = Angle(P, K, R)
ι = Angle(R, K, S)
κ = Angle(S, K, Q)
λ = Angle(K, Q, N)
μ = Angle(K, P, O)
ο = Angle(U, O, N)
ρ = Angle(O, N, T)
σ = Angle(T, N, U)
τ = Angle(U, N, Q)
υ = Angle(T, N, U)
ν = Angle(P, O, U)
ξ = Angle(T, O, U)
h_2 = Segment(L, M)
V = (-7.162592738486366, -6.3377212568902905)