Lorentz transformation
将这个关系代入上面的变换矩阵中可以得到洛伦兹变换较为初等的传统形式，即