D = (1, 0)
K = Point(Segment[D, (x(D) + 5, y(D))])
C: (9.05, -0.08)
B: (11.28, 3.55)
A: (7.48697, 2.28582)
stap = 7 (slider from 0 to 7, step 1)
f = Segment(A, B)
δ = Angle(C, B, A)
ε = Angle(B, C, A)
j = Segment(C, A)
i = Segment(C, B)
c = Circle(D, K)
E = Point(c)
k = Segment(D, E)
l = OrthogonalLine(E, k)
F = Point(l)
G = Point(l)
G' = Rotate(G, (-δ), E)
ζ = Angle(G', E, G)
m = Ray(E, G')
γ = Angle(B, A, C)
F' = Rotate(F, γ, E)
η = Angle(F, E, F')
n = Ray(E, F')
θ = Angle(F', E, G')
H = Intersect(c, m, 2)
I = Intersect(c, n, 2)
veelhoek1, h_1, e, i_1 = Polygon(E, I, H)
ι = Angle(E, H, I)
κ = Angle(E, I, H)
p = Segment(G, F)
λ = Angle(E, I, H)
J = (-4.178217834202316, -4.447134502923994)