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