洛伦兹变换
这个洛伦兹变换描述的是坐标系沿轴的匀速运动情形，其中参数formula_2和坐标系的运动速度formula_3之间的关系为