D: (-1, -3)
M = Point(Segment[D, (x(D) + 5, y(D))])
c = Circle(D, M)
F = Point(c)
A = (5, 0)
B = Point(Segment[A, (x(A) + 5, y(A))])
p = Line(A, B)
G = Point(p)
C: (7.09, 2.49)
η = Angle(G, B, C)
stap = 13 (slider from 0 to 13, step 1)
f = Segment(A, B)
ε = Angle(B, C, A)
j = Segment(C, A)
i = Segment(C, B)
l = Segment(D, F)
m = OrthogonalLine(F, l)
F' = Rotate(F, η, D)
ζ = Angle(F, D, F')
H = Point(p)
n = Segment(D, F')
θ = Angle(C, A, H)
F'_1 = Rotate(F, (-θ), D)
r = Segment(D, F'_1)
s = OrthogonalLine(F', n)
t = OrthogonalLine(F'_1, r)
J = Intersect(m, s)
K = Intersect(s, t)
L = Intersect(m, t)
κ = Angle(F, J, F')
λ = Angle(F, L, F'_1)
a = Segment(L, J)
b = Segment(J, K)
d = Segment(K, L)
J' = Rotate(J, (-(ε / 3)), K)
μ = Angle(J', K, J)
L' = Rotate(L, ε / 3, K)
ν = Angle(L, K, L')
ρ = Angle(L', K, J')
M' = Rotate(B, (-(ε / 3)), C)
M'' = Rotate(M', (-(ε / 3)), C)
τ = Angle(M'', C, M')
σ = Angle(M', C, B)
ι = Angle(F'_1, D, F)
ο = Angle(D, F'_1, L)
ξ = Angle(D, F, L)
q = Segment(H, A)
e = Segment(B, G)
I = (-6.090535734034814, -6.478972647727664)
γ = Angle(B, A, C)
δ = Angle(C, B, A)