\[t'=\frac{t_0}{\sqrt{1-\frac{v^{2}}{c^{2}}}} =\sqrt{t_1\cdot t_2}=\sqrt{\frac{t\cdot t_0}{2}}\]
