Trace Off

Start

increase

a = 1 (slider from -5 to 5, step 0.1)
f: y = a
A = Point(f)
c = Circle(A, a)
B: ((a * (x(A) - sin(x(A)))), (a * (1 - cos(x(A)))))
L_1 = Sequence(Segment[A, ((a * cos(theta)), (a * sin(theta))) + A], theta, 0, (2 * π), π / 4)
L_2 = Rotate(L_1, (-x(A)), A)
b = 4 (slider from -5 to 5, step 0.1)
C: A + (b, 0)
d: (x - x(C))^(2) + (y - y(C))^(2) = a^(2)
L_3 = Sequence(Segment[C, ((a * cos(theta)), (a * sin(theta))) + C], theta, 0, (2 * π), π / 4)
L_4 = Rotate(L_3, (-x(A)), C)
flag = true
g = 1.7 (slider from -5 to 5, step 0.1)
D: A + (g, 0)
h = 1.2 (slider from -5 to 5, step 0.1)
j = 1.7 (slider from -5 to 5, step 0.1)
E: A + (h, j)
i = Segment(A, D)
k = Segment(D, E)
l = Segment(E, A)
m = 2.2 (slider from -5 to 5, step 0.1)
F: E + (m, 0)
n = Segment(E, F)
p = Segment(F, C)
G = Point(p)
q = Segment(D, G)
r = Ray(G, F)
H = Point(r)
s = Segment(F, H)
u = -0.5 (slider from -5 to 5, step 0.1)
I: H + (u, 0)
t = Segment(H, I)
e: x(A) = 1
time = 13 (slider from -5 to 15, step 0.1)
Corner2 = Corner(2)
Corner1 = Corner(1)
L_5 = Sequence(((a * cos(theta)), (a * sin(theta))) + A, theta, 0, (2 * π), π / 4)
L_6 = Rotate(L_5, (-x(A)), A)
flag1 = false

Tool: Tool1
Input: A
Output: h, g

B: (x(A), 0)
C: (0, y(A))
g = Segment(A, C)
h = Segment(A, B)