\[\frac{l_0}{ct'}=\frac{ct'}{\frac{ct}{2}}=\sqrt{1-\frac{v^{2}}{c^{2}}}\]