t_1=\frac{t_3+vx_3/c^2}{\sqrt{1-(v/c)^2}}z