x'=x_0\sqrt{1-v^2/c^2}-vt'