contrazione delle lunghezze

β = 0.45 (slider from 0 to 0.99, step 0.01)
x_1': y = (β * x)
x_0': y = (1 / β * x)
A = Intersect(x_0', x_1')
B, C = Intersect(c, x_1')
distanzaCA = Distance(C, A)
TestoCA: "\overline{" + (Name[C]) + (Name[A]) + "} \, = \, " + distanzaCA
P = (1.4192592592592597, 0.8874074074074075)
e = Line(P, x_1')
Q = Point(e)
f = Line(P, x_0')
g = Line(Q, x_0')
D = Intersect(f, xAxis)
E = Intersect(g, xAxis)
h = Segment(P, Q)
i = Segment(D, E)
distanzaDE = Distance(D, E)
TestoDE: "\overline{" + (Name[D]) + (Name[E]) + "} \, = \, " + distanzaDE
distanzaPQ = Distance(P, Q)
TestoPQ: "\overline{" + (Name[P]) + (Name[Q]) + "} \, = \, " + distanzaPQ
ΔL': distanzaPQ / distanzaCA
testo1: "\Delta L_m = \frac{1}{\gamma}\Delta L_f\\
ΔL_f = " + (LaTeX[ΔL']) + "\\
ΔL_m = " + (LaTeX[distanzaDE]) + ""