minkowski_leer

t

t'

x

x'

β = 0.32 (slider from -1 to 1, step 0.005)
γ: 1 / sqrt(1 - β^(2))
A = Corner(1)
B = Corner(3)
C: (x(B), (β * x(B)))
D: (x(A), (β * x(A)))
u = Vector(D, C)
E: ((y(B) * β), y(B))
F: ((y(A) * β), y(A))
v = Vector(F, E)
G: (γ, (γ * β))
H: ((γ * β), γ)
l1 = Sequence((1 / β * (x - (k * x(G)))) + (k * y(G)), k, -30, 30)
l2 = Sequence((β * (x - (k * x(H)))) + (k * y(H)), k, -30, 30)
l3 = Sequence((k * G), k, -30, 30)
l4 = Sequence((k * H), k, -30, 30)
I: (0, y(B))
J: (x(B), 0)