相对论第二公设得到验证

相对论第二公设得到验证 | AI生成和翻译

首页 2026.07

王垠的Substack文章（《什么是”光速不变”》）认为爱因斯坦的相对论依赖于两个逻辑上独立的论断——（1）光速与光源的运动无关，（2）光速与观测者的运动无关——并且（2）是一个未经实验验证、反直觉的假设，类似于声波/水波相对于运动观测者的速度确实会变化。他的观点正确吗？

回答：

他在逻辑区分上是对的，但在论断（2）的实验验证状态上是错的。这是一个非常古老的质疑（本质上就是1908-1913年爱因斯坦假设与里茨”发射理论”之间的历史争论），并且已经被实验解决，而不是靠哲学。让我分析他的论证哪些成立，哪些不成立。

他说的对的地方

这两个假设确实逻辑上独立，爱因斯坦1905年的论文也确实需要两者：

光源无关性：c 不依赖于发射体的速度。
参照系无关性（洛伦兹不变性）：由任何惯性观测者测量到的 c 都是 c，无论观测者相对于光源或相对于某个假想的静止参照系的速度如何。

声波和水波只满足前者，不满足后者——因为它们有一个物理介质（空气、水）定义了一个优先静止参照系。相对于运动观测者，波速确实会变化，正如王垠所描述的（也正如从简单的伽利略叠加推导出的：v_relative = v_wave - v_observer）。

他事实上错的地方

他的说法是：”光速与观测者无关这件事未经实验证实”。这是错误的——它可以说是两个假设中经受实验检验更严格的那一个，而不是更少检验的那一个。普通读者觉得它未经检验的原因在于，人们通常只引用迈克尔逊-莫雷实验来证明”没有以太”，但实际上有一系列专门用来隔离观测者运动问题的实验：

实验	隔离的内容	结果
迈克尔逊-莫雷 (1887)	光速是否依赖于观测者/装置在空间中运动的方向（地球轨道速度）？	零结果——未发现方向依赖性
肯尼迪-桑代克 (1932, 现代光学腔版本)	光速是否依赖于观测者速度的大小（使用不等臂长，这样地球轨道速度在一年中的变化会显现出来）？	直接检验光速是否与装置在不同惯性系中的速度无关；现代谐振腔版本将违反约束到10⁻¹⁷–10⁻¹⁸级别
艾夫斯-史迪威 (1938, 现代存储环版本)	运动观测者相对于光源的横向多普勒效应/时间膨胀	确认了相对论多普勒公式，这其实是观测者参照系不变性的另一种形式
德西特双星 (1913) + Brecher (1977) X射线版本	具体检验光源速度依赖性（排除了 `c' = c + kv` 发射理论）	德西特证明，如果里茨的可变光速理论成立，那么双星轨道会比观测到的更偏心；1977年Brecher予以确认

因此，迈克尔逊-莫雷加上肯尼迪-桑代克正是检验”观测者自身的运动是否改变测得的光速”的一对实验——迈克尔逊-莫雷检验方向依赖性，肯尼迪-桑代克检验大小依赖性。最近利用加速到6 GeV电子的GRAAL-ESRF工作将肯尼迪-桑代克界限推至比现有KT界限高三个数量级的精度，达到7.1×10⁻¹²。这两类零结果都以极高的精度与狭义相对论一致，且与任何伽利略式的”相对于介质”的图景不符。

为什么直觉会失败

你（以及王垠）关于声波的直觉正确，是因为声波有介质。相对论第二个假设的全部内容就是声称”真空中的光没有介质”——即不存在一个优先静止参照系让你相对于它运动。迈克尔逊-莫雷实验正是检验这一点的：如果存在以太，地球轨道运动（约30 km/s）应该会在干涉仪的条纹中表现出随季节变化的方向依赖性偏移。但并没有，在现代旋转谐振腔版本中精度达到1×10⁻¹⁷。

数学，而不只是波类比

在伽利略变换下，速度线性相加：

def galilean_velocity_add(u, v):
    # 观测者以速度v运动，波/物体在地面系中以速度u运动
    return u - v  # 简单的减法，与声波直觉一致

print(galilean_velocity_add(343, 343))  # 声波：如果你以相同速度运动，相对速度为0

在洛伦兹变换下，速度不线性相加——光速是变换的不动点，与v无关：

def lorentz_velocity_add(u, v, c=299792458):
    # 相对论速度加法公式
    return (u - v) / (1 - u*v/c**2)

c = 299792458
for v in [0, 1e7, 1e8, 2.9e8]:          # 观测者速度，直到接近光速
    print(v, lorentz_velocity_add(c, v, c))
# -> 无论v取何值，始终打印c

这种在boost变换下的不变性并非为了方便而附加到理论上的假设——它是从”物理定律在每个惯性系中形式相同”+”光速在至少一个参照系中为c“推导出洛伦兹变换，并要求自洽性的直接代数结果（这正是爱因斯坦1905年论文§3中的推导，也是MM/KT实验验证的内容）。如果假设2是假的，那么lorentz_velocity_add应该会根据v返回不同于c的值，就像伽利略情况下的声波那样——而这正是肯尼迪-桑代克型实验以10⁻¹⁷精度排除的情况。

结论

王垠在概念上将”与光源无关”和”与观测者无关”区分开来，这是一个真正有用的教学澄清，大多数科普作品都模糊了这一点。但他具体的事实主张——观测者无关性未经检验——是错误的；它是两个假设中经受更严格、更精确检验的那一半，通过一系列专门为此目的设计的实验（MM、KT、艾夫斯-史迪威）完成，一直到现代光学谐振腔测试在10⁻¹⁷–10⁻¹⁸级别。这是他新闻通讯系列中那种你应当对照原始实验文献进行压力测试的主张，而不仅仅依赖他关于爱因斯坦论文的内部推理——论文的内在逻辑与其实验证实是两个独立的问题，他混淆了”我觉得这从爱因斯坦的阐述中难以优雅地推导出来”和”这未经证实”。

参考文献：

返回捐助