β = 0.4 (slider from 0 to 1, step 0.01)
H = Point(yAxis)
t = 0 (slider from 0 to 5, step 0.02)
B: (((t * β) * 30), y(H) - 1.5)
C: (x(B) + 15, y(H) - 1.5)
D: (x(C), y(H) + 1.5)
E: (x(B), y(H) + 1.5)
Vieleck1, b, c, d, e = Polygon(B, C, D, E)
t1': 0.5 / (1 - β)
A: ((t1' * 30), y(H))
dt1: t1'
dt2': 0.5 / (1 + β)
t2': t1' + dt2'
F: (((t1' - dt2') * 30), y(H))
γ: 1 / sqrt(1 - β^(2))
t_1: (t * γ)
f: x^(2) + (y - y(H))^(2) = ((30 * t))^(2)
g: (x - x(A))^(2) + (y - y(H))^(2) = ((30 * (t - t1')))^(2)
h: (x - x(F))^(2) + (y - y(H))^(2) = (((t - t2') * 30))^(2)
k: x^(2) + y^(2) = ((30 * t_1))^(2)
t1: (15 / 30 * γ)
G: (0, -1.5)
J: (0, 1.5)
K: (15, 1.5)
L: (15, -1.5)
v1, g_1, l, k_1, j = Polygon(G, L, K, J)
M: (15, 0)
p = If(t_1 > t1, Circle[M, (30 * (t_1 - t1))])
t3': t1' + t2'
I: (((t3' * β) * 30) + 15, 0)
gl1: (x - x(I))^(2) + (y - y(H))^(2) = ((30 * (t - t3')))^(2)
gl2: x = 37.5