关于狭义相对论的两个基本假设，光速不变原理和相对性原理，其实根本就不需要两个，只需要一个，那就是相对性原理。光速不变原理完全可以根据相对性原理推论出来，麦克斯程组解出来光速c，再根据相对性原理，另一个参考系列出来的方程形式不变，解出来的数字当然也是c这个常量。所以狭相的精髓只在相对行原理，光速不变可以当做累赘。