t = 17.65 (slider from 0 to 20)
O = Point(xAxis)
B = (-3, 0)
c = Circle(O, B)
B' = Rotate(B, t, O)
α = Angle(B, O, B')
a: (π * 4)
b: (4 * 3.1416)
p: (4 * π / 12)
B'_1 = Rotate(B, t - 1, O)
β = Angle(B, O, B'_1)
B'_2 = Rotate(B, t - 2, O)
γ = Angle(B, O, B'_2)
f = Line(B'_2, O)
g = Line(B'_1, O)
h = Line(B', O)
C, D = Intersect(c, f)
E, F = Intersect(c, g)
G, H = Intersect(c, h)
i = Segment(H, B')
j = Segment(E, F)
l = Segment(O, D)
I = (-1.1851226064243254, -3.950495049504955)
m = Segment(O, I)
J = (3.477836433805969, -3.9830540746382375)
n = Segment(O, J)
K = (-1.5727795337593857, -3.9613480578827156)
L = (-0.8196175035084117, -3.9613480578827156)
q = Segment(K, L)
M = (3, -4)
N = (3.810113800093163, -3.9830540746382375)
r = Segment(M, N)
k = Segment(O, B'_2)
s = OrthogonalLine(F, xAxis)
O_1 = Intersect(s, xAxis)
distanciaOF = Distance(O_1, F)
TextoOF: Name[O_1] + (Name[F]) + " = " + distanciaOF
d = OrthogonalLine(E, yAxis)
P_1 = Intersect(yAxis, d)
Q = Intersect(yAxis, xAxis)
R_1 = Point(Circle[Q, t])
e = Segment(Q, R_1)
f_1 = OrthogonalLine(R_1, xAxis)
g_1 = OrthogonalLine(P_1, yAxis)
S = Intersect(f_1, g_1)
h_1 = Segment(S, R_1)
o = Distance(i, k)
distanciaAE = Distance(O, E)
TextoAE: Name[O] + (Name[E]) + " = " + distanciaAE
distanciaFA = Distance(F, O)
TextoFA: Name[F] + (Name[O]) + " = " + distanciaFA
distanciaAH = Distance(O, H)
TextoAH: Name[O] + (Name[H]) + " = " + distanciaAH
P = Point(c)
i_1 = OrthogonalLine(P, xAxis)
j_1 = OrthogonalLine(P, yAxis)
Y = Intersect(yAxis, j_1)
X = Intersect(i_1, xAxis)
k_1 = Segment(Y, P)
l_1 = Segment(P, X)
R = Segment(P, O)
distanciaB'O = Distance(B', O)
distanciaOD = Distance(O, D)