Lorentz transformation
长度收缩可以通过洛伦兹变换推导：