从伽利略变换可以推出洛伦兹收缩。