t_0 = Point(xAxis)
Δt = 2 (slider from -5 to 5, step 0.1)
t_1: (x(t_0) + Δt, 0)
u = Vector(t_0, t_1)
t_0L = Line(t_0, yAxis)
t_1L = Line(t_1, yAxis)
t_m = Midpoint(t_0, t_1)
c = Line(t_m, yAxis)
v_mt = Point(c)
v_0t = Point(t_0L)
v_ft = Mirror(v_0t, v_mt)
v = Vector(v_0t, v_ft)
d = Line(v_0t, xAxis)
e = Line(v_ft, xAxis)
v_0 = Intersect(yAxis, d)
v_f = Intersect(e, yAxis)
w = Vector(v_0, v_f)
s_0t = Point(t_0L)
Δv: 2 * y(v_mt - y(v_0t))
a: Δv / Δt
s(x) = y(s_0t) + y(v_0t) * (x - x(t_0)) + 1 / 2 * a * (x - x(t_0))^(2)
A = Intersect(s, t_1L)
b = Line(s_0t, xAxis)
f = Line(A, xAxis)
B = Intersect(b, yAxis)
C = Intersect(f, yAxis)
z = Vector(B, C)
g = Vector(s_0t, A)