B = (7, 0)
J = (7, -8)
hoek = 0.9773843811168246 rad (slider from 0 to 179°, step °)
J'_1 = Rotate(J, hoek / 2, B)
i = Ray(B, J'_1)
lengte = 4 (slider from 0 to 5, step 0.1)
d_1 = Circle(B, lengte + 2.5)
D = Intersect(d_1, i)
c_1 = Circle(B, lengte + 2)
J' = Rotate(J, (-(hoek / 2)), B)
h = Ray(B, J')
C = Intersect(c_1, h)
e = Circle(B, lengte)
t = Segment(B, D)
I = Intersect(e, t)
n = Segment(B, C)
F = Intersect(e, n)
stap = 8 (slider from 0 to 8, step 1)
d = Circle(I, F)
c = Circle(F, I)
G, H = Intersect(c, d)
s = Segment(B, H)
p = Segment(F, I)
r = Segment(I, H)
q = Segment(F, H)
g = Segment(B, I)
f = Segment(F, B)
a = Line(B, J)
A = Point(c_1)
j = Segment(F, C)
k = Segment(I, D)
α = Angle(J', B, J)
β = Angle(J, B, J'_1)