R

t

t

t

r

R = 3 (slider from 0 to 6, step 0.25)
O = Intersect(xAxis, yAxis)
c = Circle(O, R)
r = 1 (slider from 0 to 6, step 0.25)
t = 1.7 (slider from 0 to 40, step 0.1)
A = Point(xAxis)
A' = Rotate(A, (360° * t / (((2 * π) * R))), O)
α = Angle(A, O, A')
f = Ray(O, A')
B = Intersect(c, f)
d = Circle(B, r)
C, M = Intersect(d, f)
e = Circle(M, B)
g = Line(M, xAxis)
D, E = Intersect(e, g)
h = Segment(O, B)
j = Segment(M, E)
F, G = Intersect(c, xAxis)
k = CircleArc(O, G, B)
l = Segment(B, M)
P = Intersect(e, f, 2)
P' = Rotate(P, (t / (((2 * π) * r)) * 360°), M)
β = Angle(P, M, P')
i = Line(M, P')
B' = Intersect(e, i, 1)
p = CircleArc(M, P, P')
q = CircleArc(M, B, B')
m = Segment(M, P)
n = Segment(M, P')
s = Segment(M, B')
OrtslinieP' = Locus(P', t)
OrtslinieB'_1: (B', t)
OrtslinieB' = Locus(B', t)