\[2l_0=ct(1-\frac{v^{2}}{c^{2}})=ct-vt_v\]