火神星：同一种方法，两种结局

异常有多小#

水星近日点每世纪进动约 5600 角秒。其中绝大部分来自地球自身的岁差；扣除后，相对于恒星背景的真实进动约 574 角秒每世纪。牛顿理论中其他行星的引力摄动可以解释其中约 531 角秒。

剩下约 43 角秒每世纪无法解释。

这个数字有多小？43 角秒约等于视角上 0.012 度，而这还是每一百年累积的量。用一个直观的比较：它相当于从一公里外看一枚硬币直径的几分之一，且需要一个世纪才积累到这个程度。

能测出这个偏差本身就是十九世纪天体测量的巨大成就，也是这个案例的第一层教训：只有当观测精度足够高，理论的裂缝才会显形。 在此之前，牛顿力学在太阳系内看起来完美无缺。

水星离太阳近、轨道偏心率大，近日点进动因此比外行星更容易被量出来。凌日把水星在太阳圆面上的位置钉进以秒计的时刻表，勒维耶才能把残差从「轨道好像有点不对」收成一个每世纪可引用的数目。本文沿用后来成为标准的约 43 角秒每世纪，不再另造一套进动账。

残差能被认真对待，是因为其余行星的摄动已经被算到同一量级的精度。若牛顿理论在木星、土星上已经对不上，水星这点剩余会被当成总误差的一部分，而不会单独成为一颗假想行星的理由。裂缝先显形，然后才有火神星。

数字本身不吓人；吓人的是它在扣除已知摄动之后顽固地剩着。若残差随改进历表而缩小，火神星故事不会开始；正是因为它在更精密的水星理论里仍站住，才被迫从测量噪声升级为理论压力。

为什么"多一颗行星"是最合理的假设#

勒维耶的推理不是投机。它建立在一条刚刚被辉煌验证过的原则上：

当观测与理论不符时，可能是理论错了，也可能是模型里少了一个物体。 天王星案例证明了后者，且证明得极其漂亮——预言的不只是"有一颗行星"，而是它此刻的具体位置，误差小到望远镜一夜之内就能找到。

面对水星，同样的推理给出：内侧有质量。候选有三类——一颗行星（火神星）、一群小天体（黄道尘带）、或太阳的扁率（若太阳赤道隆起，其引力场就不是严格的平方反比）。

这些假设都是可检验的，这一点很重要：它们不是为了保住理论而临时编造的，它们各自有独立的观测后果。

海王星的成功把「少了一个物体」的先验提得很高。同一套摄动方程在天王星上赢过一次，人们就有理由先再试一次，而不是立刻改牛顿的平方反比。火神星、尘带、太阳扁率三种说法，分别对应凌日或日食里该出现的暗体、黄道光与内太阳系尘埃的亮度、以及太阳形状的测地约束。保护带之所以正当，是因为这些外围假设仍指向新的观测，而不是一个无法检验的补丁。

三类候选里，火神星最“像海王星”：给出一个可指向的天体。尘带与扁率则更像改外围边界条件。勒维耶偏好行星，并不只是浪漫，而是因为海王星教过他：可指向的预言最容易一夜定生死。问题在于水星残差并没有自动交给他一张加勒式星图坐标。

搜寻与那些"看见了"的报告#

1859 年，法国乡村医生莱斯卡博报告他在几个月前看到一个黑点掠过太阳圆面。勒维耶亲自登门核查，认定观测可信，并据此算出火神星的轨道周期约 19 天。

此后数十年里，陆续有天文学家报告过日面黑点凌日或日全食期间的近日天体。其中若干来自训练有素的观测者，且是在有准备的日食观测中作出的。

但它们从未被独立复核过：不同报告给出的轨道互不相容，按某次观测算出的位置在下一次预测时间总是空无一物。这是"看见"与"证据"之间差别的典型展示——单次目击无法与太阳黑子、鸟、镜头缺陷或期望效应区分开来。

太阳扁率假说也被逐步收窄：要产生 43 角秒，需要的扁率远大于观测上限。黄道尘带同样会带来其他可观测后果而未被发现。

到十九世纪末，所有"少了一个物体"的版本都被逼到了死角。剩下的可能只有一个：理论本身有问题。

莱斯卡博的凌日被说成发生在 1859 年 3 月。当时在巴西观测太阳的利亚斯后来声明，自己用更大口径的望远镜盯着同一段时间的日面，没有看到任何行星通过。勒维耶仍然根据这次报告公布了火神星，并给出约 19 天的周期。一次未经独立复核的凌日，被写成了发现公告。

1878 年日食期间，沃森与斯威夫特都曾报告看见近日暗体，报纸随之宣布火神星被找到。随后的对照表明，他们更可能把已知恒星认成了新行星。1908 年前后，利克天文台根据多次日食底片认为：观测上再找一颗水星内侧的大行星，可以收场了。找不到，本身就是对「少了一个物体」的检验结果。

日食是找内侧行星最干净的窗口，因为日冕附近的天空被短暂压暗。多次远征仍拿不出可预报、可复现的轨道，等于把「一颗足以产生那 43 角秒的大行星」做到了可证伪，并且失败。更小的碎屑此后仍可以存在，但它们不再被雇来填那笔残差；残差要等 1915 年的新方程来接。

1915 年 11 月#

爱因斯坦在广义相对论的场方程完成后，第一件事就是计算水星近日点。

在弯曲时空中，行星轨道不是严格封闭的椭圆——即使只有太阳一个引力源，近日点也会缓慢进动。他算出的额外进动值与那 43 角秒吻合。

这是广义相对论的第一个成功，而且它不是预言，是解释。 那个数字是已知的、悬了半个多世纪的，理论没有任何可调参数去凑它。爱因斯坦后来说，得出这个结果时他心悸了几天。

火神星就此消失。它从未存在过，而寻找它的努力仍然是必要的——只有把"少了一个物体"的所有版本逐一排除，"理论错了"这个结论才有资格被认真对待。

爱因斯坦没有为水星专设一个新参数。广义相对论把太阳质量造成的时空弯曲写进轨道方程，额外进动是这个结构的推论，用来对上的仍是那个已知的约 43 角秒每世纪。1915 年 11 月那篇 perihelion 论文因此是收口，不是另开一笔进动账。光线偏折还要等到 1919 年日食才成为新预言的现场检验；水星这一步先把旧悬案从行星猎手手里拿走。

他对索末菲说，自己从前暗暗嘲笑过天文学那种吹毛求疵的精度，算完水星之后才懂得那种精度值多少。心悸来自结构对上了旧数字，而不是又调出一个新的角秒。内侧此后仍可以有小天体，它们不再被雇来解释那 43 角秒；火神星作为「必须存在的行星」就此从天体力学里退休。

1919 年日食把光线偏折变成可证伪的新预言，水星这一步则是把旧账还清。两种成功不该被写成同一种证据：一个是事先说出天上该歪多少，一个是事后说明白为何早就歪了那 43 角秒。火神星的故事属于后者。搜寻可以停止，不是因为有人证明内侧绝对真空，而是因为残差已经不再需要一颗雇主行星。

这个对照教了什么#

第一，同一种推理策略的成败取决于世界的实际情况，而不取决于策略是否合理。 勒维耶两次都做了当时最理性的事。海王星的成功不是因为他更聪明，火神星的失败也不是因为他更草率。从一次成功推断方法普遍有效，是最常见的过度学习。

第二，"保护核心理论"是正当的科学操作，但它有代价上限。 拉卡托斯用"保护带"描述这种做法：当核心理论遇到反常，先修改外围假设（行星数目、太阳形状）。这不是作弊——牛顿力学的成功记录使它值得被保护。判断保护何时该停止的标准是：这些辅助假设是否还带来新的可检验后果。 火神星带来了（可以去找），找不到；太阳扁率带来了（可以测），不符合。当所有辅助假设都被独立检验并失败，核心才真正被暴露。

第三，最小的偏差可能指向最大的修正。 43 角秒每世纪与广义相对论之间的落差，是科学史上最悬殊的输入输出比之一。这也是为什么系统性的、无法解释的小残差值得投入巨大精力——今天的哈勃张力、缪子反常磁矩之争，都在同一个逻辑位置上。

第四，"看见了"的报告在缺乏可重复性时不构成证据。 火神星的目击者不是骗子，他们是在期望的引导下解读了模糊的信号。这与后来大量伪科学观测报告的机制相同，区别只在于天文学界有能力也有意愿去做独立复核。

海王星证明摄动方法可以找到真实的质量；火神星证明同一方法也可以把残差错安到不存在的质量上。1915 年的收口不是嘲笑勒维耶，而是把「方法曾经辉煌」与「方法并非万能」写成同一课。后来的引力检验把这堂课制度化：新的异常要先穷尽少了一个物体与仪器系统误差，才有资格改核心。

哈勃张力处在类似的逻辑位置上：测得准、两边对不上，候选解释同样分成系统误差与标准模型需要修改。火神星提供的判据不是「残差一出现就该改物理」，而是看辅助假设能不能被独立关掉。裂缝还在，不等于下一门新力学已经写好。

对照还提醒：成功案例会重塑下一次异常的默认叙事。海王星之后，“少了一个物体”成为第一反应几乎不可避免；火神星之后，学界才更习惯把“理论本身”放进候选名单前列。方法没有变坏，是先验权重被经验改写了。

跨域连接#

• 万有引力与开普勒定律：海王星的发现是牛顿引力最强的一次验证，火神星的失败则是它的第一道真实裂缝。同一个理论在同一位天文学家手上完成了它最好的预言与最坏的误导——这提示了成功记录的双刃性：越成功的理论，越容易让人把它的失败归因于模型缺项而非理论本身。
• 广义相对论：水星进动是它的第一个定量成功，且性质特殊——不是新预言被证实，而是一个陈年悬案被无参数地解释掉。这两类证据的说服力有微妙差别：新预言更具风险性，而解释已知异常更不容易被指为事后调参，前提是理论没有为此引入自由参数。
• 广义相对论的实验检验：从水星进动到光线偏折、引力红移、雷达回波延迟、引力波，检验的严格度在一个世纪里提高了许多数量级。火神星的教训在这里被制度化：任何新的引力异常报告，都要先穷尽"少了一个物体"与"仪器系统误差"两类解释。
• 哈勃张力：当代宇宙学中最受关注的残差，处境与 43 角秒高度相似——测得准、解释不了，而候选解释同样分成"测量有系统误差"与"标准模型需要修改"两类。火神星案例提供的判据是：看这些辅助解释能否各自被独立检验，而不是看哪一方声音更大。
• 可证伪性：这个案例是拉卡托斯对波普尔的修正最好的注脚——孤立的反常不能证伪核心理论，因为总有辅助假设可改；理论被放弃是在保护带被逐层剥光、且出现了能解释更多的替代者之后。牛顿力学不是被 43 角秒推翻的，是被一个把它包含为近似的新框架取代的。

参考文献#

• Le Verrier, U. J. J. Lettre à M. Faye sur la théorie de Mercure et sur le mouvement du périhélie de cette planète. Comptes Rendus 49, 379–383, 1859.
• Le Verrier, U. J. J. (1846). Sur la planète qui produit les anomalies observées dans le mouvement d'Uranus. Comptes Rendus de l'Académie des Sciences.
• Einstein, A. Erklärung der Perihelbewegung des Merkur aus der allgemeinen Relativitätstheorie. Sitzungsberichte der Preußischen Akademie der Wissenschaften, 1915.
• Baum, R. & Sheehan, W. In Search of Planet Vulcan. Plenum Press, 1997.
• Roseveare, N. T. Mercury's Perihelion from Le Verrier to Einstein. Clarendon Press, 1982.
• Lakatos, I. Falsification and the Methodology of Scientific Research Programmes. In: Criticism and the Growth of Knowledge, 1970.
• Will, C. M. The Confrontation between General Relativity and Experiment. Living Reviews in Relativity, 更新版。