la_8的运动：得同样参照系formula_8的原点formula_32在参照系formula_16的运动：得因此主斜两项相等且可称为formula_36。还有formula_37：因为formula_39，formula_40的意义就是时间膨胀的因子。因为时空的各向同性，formula_40只能取决于速度而不取决于方向。也就是说formula_42。群元可逆因此取逆矩阵：当然逆转换只等同于反方向同速的转换。运用上段formula_40的性质每项比较得到：从群的闭合性要求连续两次转换等