狭义相对论下,速度的洛伦兹变换为,v‘=（v-u）/（1-uv/c^2）,其中v表示原来参考系下物体的速度,u表示在元参考系下新参考系原点的速度,v’是新参考系下物体的速度.类似的经典物理的速度变换为伽利略变换：v'=v-u.我们把v=c代入洛伦兹变换,可以看到,不管u是多少,v'=c都成立,也就是说真空光速在任何参考系下都是不变的,即光速不变原理.当然了,洛伦兹变换就是通过光速不变原理推出来的,得到这个结果也是应该的.