基础定义

光速不变原理

光速不变原理是由联立求解麦克斯韦方程组得到的，并为迈克尔逊—莫雷实验所证实。光速不变原理是爱因斯坦创立狭义相对论的基本出发点之一。

在广义相对论中，由于所谓惯性参照系不再存在，爱因斯坦引入了广义相对性原理，即物理定律的形式在一切参考系都是不变的。这也使得光速不变原理可以应用到所有参考系中。

证明过程

原理

光速不变原理

光速不变原理：无论在何种惯性系（惯性参照系）中观察，光在真空中的传播速度都是一个常数，都为299792.458公里/秒。

事实

证明光速不变的四项事实。

1)恒星光行差。

2)恒星都是一个一个的小圆点。

3)恒星都静止。

4)太阳光迈克尔逊——莫雷实验。

证明方法

任意恒星光行差都长期保持不变，证明：光行差不随时间变化，所以光速也不随时间变化。所有恒星的光行差都为20.5″角距，证明：所有恒星的光速都相同。

《系统分析恒星光行差》中已经详细论证了“光速不变”，所以不再重复。

恒星都是一个一个的小圆点，证明：任意一个恒星的所有的光线的光速都相同，即没有不同光速的光线。

因为没有任何光速‘变化’的现象，所以只有采用‘反证法’。