以太的兴衰
关键词
发光以太; 迈克尔逊-莫雷实验; 零结果; 以太漂移; 洛伦兹-菲茨杰拉德收缩; 洛伦兹变换; 参考系; 狭义相对论; 辅助假设; 判决性实验
为什么必须有以太——一个从波的定义推出来的东西
十九世纪的物理学家相信以太，不是因为想象力不足，而是因为波的概念本身要求一个介质。
声波是空气的疏密相间，水波是水面的起伏，绳上的波是绳子的形变。波是介质的某种状态在传播，而不是某种东西在飞行。 惠更斯在 1678 年提出光的波动说时就已引入以太；当菲涅耳的干涉与衍射实验在十九世纪初决定性地压倒了牛顿的微粒说，"光是波"就成了共识，而"波必有介质"是当时无人质疑的推论。
麦克斯韦在 1860 年代把电与磁统一成方程组，并推出电磁波的速度恰好等于光速——这既是最伟大的成功，也把问题推到了极致：方程给出的速度 $c$ 是相对于什么测量的？ 在所有已知的波动方程里，那个速度都是相对于介质的。麦克斯韦本人认为以太是电磁现象的物质基础，并试图为它建立力学模型。
于是以太被赋予了一份自相矛盾的性质清单：它必须极其坚硬（光速极高，而波速随介质刚度上升）；又必须完全不阻碍天体运动（行星在其中穿行数十亿年而轨道无衰减）；它必须充满全部空间，包括真空。这份清单的怪异在当时被视为待解决的难题，而不是理论错误的信号。
迈克尔逊-莫雷实验：一次为测量而设计的失败
如果以太静止而地球以约每秒 30 公里绕日运行，那么地球应当感受到"以太风"。沿风向与垂直风向传播的光，往返时间应有微小差异。
迈克尔逊在 1881 年首次尝试，1887 年与莫雷合作做出了精度高得多的版本：把干涉仪装在浮于水银上的巨大石板上以便平稳旋转，用多次反射把光程延长到十米量级。预期的条纹移动约为 0.4 个条纹，而仪器能分辨约百分之一条纹。
结果是零。 无论怎样旋转、在一年中的哪个时节测量，都没有观察到预期的差异。
这个实验常被称作"史上最著名的失败实验"，这个说法值得推敲。它没有失败——它成功地测出了一个数值，只是那个数值是零。 而在实验科学里，一个高精度的零结果与一个非零结果同样是信息。"什么都没测到"之所以能成为结论，前提恰恰是精度足够高：只有当仪器足以看见预期效应时，看不见才有意义。
拯救以太：辅助假设的三次尝试
零结果并没有立刻杀死以太。物理学家做了理论遇到反常时通常会做的事：修改辅助假设，保住核心。
以太拖曳说。 也许地球把附近的以太一起拖着走，因此地表测不到相对运动。这个假设与其他证据冲突：布拉德雷在 1728 年发现的光行差——恒星视位置随地球公转做周年摆动——要求以太不被地球拖动；而斐索 1851 年的流水中光速实验给出的是部分拖曳的结果。三组实验要求三种不同的拖曳程度，拖曳说无法自洽。
发射说。 也许光速相对于光源恒定，像子弹一样。这被双星观测排除：如果光速随光源运动叠加，绕转双星发出的光会以不同速度到达，其视轨道将严重畸变，而观测中并未出现。
洛伦兹-菲茨杰拉德收缩。 最深刻的一次尝试：假设物体沿运动方向按因子 收缩，收缩量恰好抵消光程差，使实验必然给出零结果。洛伦兹进一步引入"局部时间"，最终写出了与今天完全相同的洛伦兹变换。
这一步的性质需要说清楚。它常被贬为"临时凑数的补丁"（ad hoc），但这个评价不完全公平：洛伦兹的收缩来自他对物质中电磁力的分析，有理论动机而非纯粹拟合。它真正的问题是保留了一个原则上不可观测的对象——绝对静止的以太系依然存在于理论中，只是所有测量都恰好无法探测它。一个能解释一切观测、却让自己的核心概念永久不可观测的理论，已经在为自己的多余性提供证据。
爱因斯坦的手术：不是推翻，是删除
1905 年，爱因斯坦的做法不是给出反驳以太的新实验，而是换掉了问题的提法。
他把两条原则当作公设：物理定律在一切惯性系中形式相同；光在真空中的速度在一切惯性系中相同，与光源运动无关。从这两条出发，洛伦兹变换、长度收缩、时间膨胀全部作为推论得出。
于是以太变成了什么？变成了一个不再出现在任何方程里的名词。 爱因斯坦在论文中的表述是：引入"发光以太"将被证明是多余的。
这一步的哲学意义比技术意义更大：它不是证明以太不存在，而是证明它不做任何工作。 一个不影响任何可观测量的实体，在物理学中就此失去了立足点。收缩不再是以太对物体的作用，而是时空结构在不同参考系之间的表现——同一套数学，换了一个不需要额外实体的解释。
值得注意的是：爱因斯坦本人多次表示，迈克尔逊-莫雷实验对他的思路影响有限。 驱动他的更多是电磁感应中的不对称性——磁铁相对线圈运动与线圈相对磁铁运动，观测效果相同，理论解释却不同（一个用洛伦兹力，一个用感生电场）。"关键实验直接催生新理论"的教科书叙事，在这个最经典的案例里也并不准确。
事实卡
- 惠更斯 1678 年提出光的波动说并引入以太；麦克斯韦 1865 年给出电磁波方程，其波速等于光速。
- 迈克尔逊-莫雷实验（1887）预期条纹移动约 0.4 条，实测未见显著位移，此后多次重复精度不断提高，结果始终为零。
- 光行差（1728）要求以太不被地球拖动；斐索实验（1851）显示部分拖曳；双星观测排除发射说。
- 洛伦兹于 1892—1904 年间发展出收缩与局部时间，写出洛伦兹变换的完整形式。
- 爱因斯坦 1905 年《论动体的电动力学》以两条公设重建理论，宣布以太为多余。
引用
引入"发光以太"将被证明是多余的，因为按照这里发展的观点，既不需要一个具有特殊性质的"绝对静止空间"，也不需要给发生电磁过程的真空中的点指定速度矢量。 ——爱因斯坦，《论动体的电动力学》，1905
跨域连接
- 狭义相对论：以太的消失与相对论的建立是同一件事的两面——不是先否定以太再建立新理论，而是新理论建立后以太自动失去位置。理解这个顺序，才能理解为什么爱因斯坦的论文里几乎没有花篇幅"反驳"以太：他做的是重写前提，而非逐条驳斥。
- 可证伪性：这个案例常被当作判决性实验的典范，实际过程要复杂得多——零结果先后被三种辅助假设吸收，其中一种（洛伦兹收缩）在数学上完全成功。 迪昂-蒯因论题在此有教科书级的展示：任何单个实验都无法孤立地否证一个理论，因为总可以修改辅助假设。真正终结争论的是新框架的简洁性，而不是那个零结果本身。
- 范式：洛伦兹与爱因斯坦在 1905 年拥有完全相同的变换公式，却给出不同的物理解释——一个保留以太系，一个取消它。这是不可通约性最干净的实例：两套语言对所有实验作出相同预测，选择依据不是证据而是理论的经济性与融贯性。
- 干涉与衍射：正是干涉现象在十九世纪初确立了光的波动性，从而使以太成为必需；也正是干涉仪在世纪末给出了让以太陷入困境的测量。同一个实验原理先立后破，是这段历史中最具反讽意味的对称。
- 测量与公差：零结果的说服力完全建立在仪器精度上——必须先证明"若效应存在则必被看见"，"没看见"才等于"不存在"。迈克尔逊在光学精密测量上的工作（他因此获 1907 年诺贝尔物理学奖）是这个结论成立的前提，也说明为什么计量精度本身是可以产出物理结论的。
参考文献
- Michelson, A. A. & Morley, E. W. On the Relative Motion of the Earth and the Luminiferous Ether. American Journal of Science 34, 333–345, 1887.
- Lorentz, H. A. Electromagnetic Phenomena in a System Moving with Any Velocity Smaller than That of Light. 1904.
- Einstein, A. Zur Elektrodynamik bewegter Körper. Annalen der Physik 17, 891–921, 1905.
- Whittaker, E. T. A History of the Theories of Aether and Electricity. Nelson, 1951.
- Holton, G. Einstein, Michelson, and the "Crucial" Experiment. Isis 60(2), 133–197, 1969.