\vec{x}\prime=\frac{\vec{x}-t\vec{v}}{\sqrt{1-v^2}}
t\prime=\frac{t-\vec{x}.\vec{v}}{\sqrt{1-v^2}}
上面就是传说中的Lorentz坐标变换公式。