光速在真空中恒定源于真空电磁属性ε₀和μ₀的普适性，迈克尔逊-莫雷实验否定了以太参照系，爱因斯坦将其升华为时空基本公设，现代技术与单位定义均以此为不可妥协前提。

要解释光速在真空中为何永远不变，不能只背诵“这是相对论公设”——必须回到19世纪末的实验困境：当麦克斯韦方程组算出电磁波速度仅由真空介电常数ε₀和磁导率μ₀决定，而迈克尔逊-莫雷实验却死活测不出地球相对于“以太”的运动速度，矛盾就摆在了所有物理学家面前。

麦克斯韦方程组先锁死了光速的数值

第一步：写出真空中的波动方程。从麦克斯韦四个方程出发，对电场E做旋度再求散度，消去磁场B项，可推导出∇²E − μ₀ε₀∂²E/∂t² = 0。

第二步：对比标准波动方程∇²ψ − (1/v²)∂²ψ/∂t² = 0，立刻得出电磁扰动传播速度v = 1/√(μ₀ε₀)。

第三步：代入1905年前已知的ε₀和μ₀实验值，算得v ≈ 3.1 × 10⁸ m/s，与当时实测光速高度吻合。关键在于：这个表达式里根本没有光源速度、观测者速度、方向或坐标系参数——它只取决于真空本身的两个基本属性。

这一步无法绕过：如果真空的电磁性质在所有惯性系中相同（实验上成立），那么由它们决定的光速就不可能因参考系切换而改变。

迈克尔逊-莫雷实验彻底否定了“以太风”假说

方法一：用干涉仪测量“地球穿过以太”的预期相位差。装置让一束光分两路，一路顺地球公转方向，一路垂直，再汇合产生干涉条纹；当地球公转带动仪器转动时，若存在以太风，两路光程差应周期性变化，条纹会移动。

方法二：实际操作中，他们把整套设备浮在水银槽上旋转，重复测量超过200次。结果条纹移动量始终小于理论预测值的1/20，统计上与零无异。

注意：该实验并非“证明光速不变”，而是证伪了光速需要依赖绝对静止介质（以太）才能恒定的旧图景——既然找不到以太，又测不出方向性差异，那最简方案就是承认光速本身就不需要参照物。

爱因斯坦将实验反常升格为第一性原理

① 他没试图修补以太模型，而是直接质疑伽利略变换的普适性：如果所有力学实验都满足相对性原理，为什么电磁实验偏偏不？

② 他提出两个公设：物理定律在所有惯性系中形式相同；真空光速c在所有惯性系中严格相同，与光源或观测者的运动无关。

③ 这导致唯一数学自洽的坐标变换只能是洛伦兹变换，而非伽利略变换——时间间隔和空间距离从此不再是绝对量，但c = Δx/Δt这个比值被强制保持恒定。

这一步没有“推导”光速为何不变，而是把实验不可变性当作时空结构的基本约束：就像欧氏几何中三角形内角和必为180°一样，c恒定是闵可夫斯基时空的度规属性，不是计算结果，而是前提条件。

现代验证已深入粒子物理与工程实践

GPS卫星原子钟每天比地面快约38微秒，其中约7微秒来自狭义相对论时间膨胀效应——这个修正值直接依赖c的精确恒定性；若c随卫星运动状态漂移0.001%，定位误差将在数小时内累积超10公里。

大型强子对撞机中，0.999999991c运动的质子发射的同步辐射光，地面探测器测得其速度仍是c，误差小于10⁻¹⁵。

这些不是“又一次验证”，而是把光速不变当作不可妥协的操作基准嵌入整个高精度技术链——当11个国家联合重新定义“米”时，干脆将光速固定为299792458 m/s，反过头来用c定义长度单位。