x_1=\frac{x_3+vt_3}{\sqrt{1-(v/c)^2}},