LESSON 081 · PHYSICS

万有引力定律

Universal Gravitation · 一条定律,统一了天上与地下
提出者
艾萨克·牛顿
年份
1687
领域
物理 · 天文 · 科学方法
核心命题
苹果落地与月亮不落地,是同一件事
一 缘起 · 1684 年,一个人被问倒了 ORIGIN

十七世纪末,人类手上已经有了两套很好用、但互不相干的规律。

天上那一套是开普勒的(1609/1619):行星沿椭圆运行、太阳位于一个焦点;相同时间扫过相同面积;周期的平方正比于轨道半长轴的立方。三条定律精确得惊人,但它们只描述行星怎么走,不回答行星为什么这样走。

地上那一套是伽利略的:落体加速度与重量无关,抛体走抛物线。同样精确,同样只管地面。

在当时几乎所有人的世界图景里,这两套东西本来就不该是一回事。自亚里士多德以来,天上与地下是两个不同的世界,遵循不同的法则——天体做永恒的圆周运动,地上的东西才会往下掉。把它们放在同一个公式里,在那个年代不是"综合",而是近乎冒犯。

而"平方反比"在 1684 年也不是什么秘密。胡克、雷恩、哈雷都已经猜到了:把开普勒第三定律和圆周运动的公式凑一下,就能推出太阳对行星的吸引应当与距离的平方成反比。卡住所有人的不是猜想,是证明。没有人能反过来做那件更难的事:假设力真的按平方反比,能不能证明轨道必然是椭圆?

1684 年 8 月,哈雷跑到剑桥去问牛顿。据牛顿的密友棣莫弗后来的记述,哈雷问:如果指向太阳的引力与距离平方成反比,行星轨道会是什么曲线?牛顿立刻回答:椭圆。哈雷问他怎么知道,牛顿说:我算过。哈雷要看计算,牛顿在纸堆里翻了一阵,没找到——答应重算一遍寄给他。

同年 11 月,一份题为《论运动》(De motu corporum in gyrum)的手稿寄到伦敦。哈雷读完就明白他碰到了什么,此后一年半,他成了这个人的催稿人、编辑、辩护人和赞助人。1687 年 7 月,《自然哲学的数学原理》出版,印刷费由哈雷自掏腰包。

这段故事最值得记住的一句是牛顿那句"我算过",紧接着是"找不到了"。一个已经算出来、却没有被写下来和拿出来的结果,在世界上等于不存在。如果哈雷那年夏天没有去剑桥,这三个字后面那套东西可能会一直躺在纸堆里。

二 原典 · 一个公式,和一句拒绝 THE PRIMARY TEXT

《原理》全书用几何写成,没有一个我们今天熟悉的公式。但它第三卷里那条命题,可以毫不失真地写成中学课本上的样子。

NEWTON, 1687 ·《原理》第三卷 · 万有引力定律
每一个物体都吸引每一个其他物体,其引力正比于两者质量之乘积,反比于两者距离的平方:

F = G · m₁m₂ / r²

三个"每一个"是整场革命的所在。不是太阳吸引行星,不是地球吸引苹果——是任意两块物质之间都有这件事在发生,无论它在天上还是在地下,无论它是行星、彗星、潮水还是你手里的杯子。

须注意:牛顿本人只给出了这个比例关系,公式里那个常数 G 在他手上并不存在,也不需要存在——天文学只要相对值就够用了。它要再等一百多年才被称出来(见案例 04)。
Isaac Newton《Philosophiæ Naturalis Principia Mathematica》1687,第三卷命题 7 及其推论;此处为标准表述的中译与整理,非逐字迻录。

第二块地基不是公式,是一句拒绝。它出现在 1713 年第二版末尾新加的《总释》里,用来回应二十六年间积累的全部质问:你说的这个"引力"到底是什么东西?

NEWTON, 1713 ·《总释》· Hypotheses non fingo
我还不能从现象中推出引力这些性质的原因,而我不构造假设(hypotheses non fingo)。

凡不是从现象推出来的,都该叫作假设;而假设,无论它是形而上学的还是物理学的,都不该进入实验哲学。

对我们来说,引力确实存在,按照我们已经阐明的定律起作用,并且足以说明天体与海洋的一切运动——这就够了。
《原理》第二版(1713)总释;此处为文意转述与中译,英译界常见作 "I frame no hypotheses" 或 "I feign no hypotheses"。

这两块地基必须一起读,因为它们合起来才是这一课真正的内容:牛顿交出了一个能把天体运动算到小数点后好几位的定律,同时公开承认自己不知道它为什么成立。

三 释义 · 苹果和月亮是同一件事 PLAIN MEANING

先破一个流传最广的误解:牛顿并没有"发现引力"。东西会往下掉,这件事有人类以来人人都知道,不需要一颗苹果来提醒。

他做的是另一件事,而且难得多:他证明了"苹果往下掉"和"月亮不掉下来"是同一个现象。

牛顿自己给出的图像最好懂——它就画在《原理》的通俗版里。想象你站在一座极高的山上往外扔石头:扔得慢,石头落在近处;扔得快些,落得远些;再快一些,地面就会因为地球是圆的而"躲开"石头下落的那一段;快到某个程度,石头永远在下落,却永远够不着地面——它就是在绕地球转圈了。

轨道运动不是"不受引力",恰恰相反:它是一直在坠落,只是一直落不下去。

而把这幅图像从比喻变成科学的,是一次算术。月球到地心的距离大约是地球半径的 60 倍,若引力按平方反比衰减,月球那里的引力就应该是地面的 1/60² = 1/3600。用这个被削弱了三千六百倍的力去拉住月球,算出来的绕行周期,和天文学家实测的月球周期对得上。

这就是全部。不是修辞上的统一,是同一个数字算两遍都对。那一刻起,"天上"作为一个特殊类别被取消了:天体不再有自己的法则,它们只是些比较大、比较远、比较干净的石头。

第二层,也是这一课在方法上真正的分量:牛顿给出的是"怎么算",不是"为什么"。引力凭什么能跨过真空、不需要接触、不需要中介、还能瞬间起作用?他不知道,而且明说自己不知道(见反例 ①)。他交出的是一个精确、可算、可以被观测数据当场打死的规则,而对机制完全沉默。

在他之前,"解释"意味着说出一个机制——涡旋、以太、微粒的推挤。牛顿之后,科学接受了一种新的成功标准:一个理论只要能给出经得起检验的数字,哪怕它对底层机制一言不发,也算数。这一转向的影响远远超出物理学——今天所有"我们不知道为什么有效,但它稳定有效"的模型,都活在牛顿那句拒绝所开辟的空间里。

四 后人之论 LATER INTERPRETATIONS
埃德蒙·哈雷 1684–1705 · 提问的人、掏钱的人、催稿的人

他不是这套理论的作者,但没有他就没有这套理论的存世形态。他做了四件事:提出那个问题;一年半里不断催稿;替牛顿摆平胡克关于平方反比的优先权指控;在皇家学会把出版经费花光之后,自己出钱付了印刷费。学会前一年刚把预算砸在一部销路极差的《鱼类史》上。

然后他反过来用这套定律做了一件更漂亮的事:1705 年,他比对 1531、1607、1682 年三次大彗星的轨道要素,判断它们是同一颗,并预言它将在 1758 年前后再回来一次。他那时已经知道自己活不到那一天。

这一卡真正的教益与天文学无关:一个理论能不能被世界看见,常常取决于有没有一个人愿意替它跑腿、掏钱、并且在作者本人懒得应付的争吵里替他站着。

莱布尼茨(与本特利) 1693–1716 · 超距作用之争

当时最锋利的批评是:你这个"引力"是一个隐秘的质。莱布尼茨的指控极重——他认为牛顿把一件说不清机制的东西直接写进自然,等于退回中世纪经院哲学,用"它有吸引的能力"来解释"它会吸引"。1715–1716 年他与牛顿的代言人克拉克往复五轮通信,这场论战成了当时读者最多的哲学文本之一。

而最有力的一击其实来自牛顿自己。1693 年 2 月 25 日他写给神学家本特利的信里说:"重力应当是物质天生的、固有的、本质的属性,以至于一个物体可以穿过真空、不借助任何中介去作用于另一个物体——这在我看来是如此荒谬,以至于我相信,凡在哲学问题上具备思考能力的人,都不会陷入其中。"

这场争论的结局非常反直觉:牛顿在"它是什么"上输了,而且是他自己先认输的;他在"它怎么算"上赢了两百二十八年。直到 1915 年,那个洞才被补上——补的方式是宣布根本没有"力"这回事(见 №077)。

埃米莉·杜·夏特莱 1749 / 1759 · 让牛顿在欧陆落地

《原理》出版之后,法国学界并没有立刻投降。笛卡尔的涡旋说在欧陆占了几十年上风,一个重要原因很实在:《原理》用古典几何写成,极其难读,而欧陆数学家已经习惯了分析的语言。

杜·夏特莱做的事是把它译成法语,并且用当时通行的分析形式重写了牛顿的几何论证,再加上一部相当长的评注——前半讲天文模型从巴比伦到牛顿的来路,后半是技术性的重述。她在 1749 年去世,译本由克莱罗主持、伏尔泰作序,1759 年出版,至今仍是《原理》的法语标准译本。

这一卡说明的是一件很少被写进教科书的事:一个理论跨过语言与学派的边界,靠的往往不是它更对,而是有人肯把它翻译成对方能直接拿去用的形式。翻译在这里不是次要工作,它是这套理论能否在欧洲活下来的条件。

亨利·卡文迪什 1798 · 把那个缺了一百多年的常数称出来

牛顿的定律里有一个比例常数,而在他之后一百一十年,没有人知道它有多大。这件事听起来像是个致命缺陷,其实完全不影响使用:天文学问的从来是"这颗行星相对那颗行星如何",比例够了,绝对值不必知道。

1798 年卡文迪什用一台极其精巧的扭秤把它逼了出来:一根木杆两端各挂一个约 0.73 公斤的铅球,用细丝悬起;再把两个约 158 公斤的大铅球移到近旁,测量细丝被扭转的极小角度。他的目标是地球的平均密度,结论是约为水的 5.48 倍(现代值约 5.51)。

这一卡值得记住的是那条时间线:一条公式可以在关键常数完全未知的情况下管用一百多年。它同时给出一个很有用的分辨——能算相对值,不等于知道绝对值;很多模型的实际处境正是如此,而使用者常常以为自己知道的比实际更多。

五 案例 CASE STUDIES
案例 01 "我算过。"——"那给我看看。"——"……找不到了。" 剑桥 · 1684 年 8 月

哈雷带着一个当时全欧洲最好的头脑都卡住的问题去剑桥:平方反比的吸引力,会给出什么形状的轨道?牛顿脱口而出"椭圆",理由是"我算过",然后翻遍纸堆没找到那份计算。

三个月后寄到伦敦的《论运动》只有九页,却已经把答案证完了。此后十八个月,这九页扩张成三卷《原理》——它顺带解决了潮汐、岁差、彗星轨道、地球的扁率,几乎把当时所有算不清的天文难题一次清空。

这个案例最该被搬走的不是天才轶事,是那句"找不到了"。一个已经想明白、却没有被写下来、没有被拿出去的结果,在世界上等于不存在。而把它逼出来的从来不是灵感,是一个具体的人在一个具体的下午问了一个具体的问题。
案例 02 月球检验:把两个世界并成一个 《原理》第三卷命题 4

做法极简单:月球到地心约 60 个地球半径,若引力按平方反比衰减,那里的引力就该是地面的 1/3600。用这个力算月球该以多快的速度绕多大的圈,答案与天文学家实测的月球周期吻合。

诚实的补充:牛顿晚年回忆说自己 1666 年前后就做过这个比较,并且"answer pretty nearly"(大致对得上)。但那一次他用的地球半径数据不准,结果并不漂亮;真正严格、并且拿去说服所有人的版本,是二十年后写进《原理》的那一版。

统一两个领域的从来不是一句漂亮话,是同一个量在两边各算一遍,数字对得上。凡是宣称"其实这两件事是同一回事"却给不出这样一次对账的说法,在牛顿的标准下都还只是一个比喻。——这条判据在物理学之外同样管用,见第八节。
案例 03 1758 年圣诞夜,那颗彗星真的回来了 哈雷预言 1705 · 克莱罗计算 1758

哈雷的预言是粗的:"1758 年前后"。要把它变成一个可以当场输掉的日期,需要算清木星和土星在几十年里对这颗彗星的引力扰动——这是一场在没有任何计算工具的年代进行的巨型手工计算。克莱罗、拉朗德与尼科尔-勒内·勒波特三人分工连算数月。

1758 年 11 月 14 日,克莱罗向巴黎科学院宣布:近日点约在 1759 年 4 月 15 日,并诚实地声明误差可能达到一个月。一个多月后的 1758 年圣诞之夜,德国业余天文学家帕利奇用自制望远镜先看到了它。实际近日点:1759 年 3 月 13 日——比预报早了约一个月,正落在克莱罗自己给出的误差范围内。

这是这套定律拿到的最强的一份证词,因为它满足一个极苛刻的条件:赌注是明确的、可输的、时间写死的,而且下注的人早已去世无法辩解。能解释已经发生的事很便宜;敢说出一件尚未发生、并且可以精确到"月"的事,才是一个理论真正的信用。
案例 04 在一间屋子里称出了地球的重量 卡文迪什 · 1798

扭秤实验的难处不在原理而在噪声:两个铅球之间的引力小到以微克计,一丝气流、一点温差、房间里一个人的体温都足以淹没它。卡文迪什把整套装置封进木箱,人在屋外用望远镜隔窗读数。

结果发表在 1798 年《哲学汇刊》上,题为《测定地球密度的实验》。他得到的地球平均密度约为水的 5.48 倍——距今两百多年,现代值 5.51。今天教科书里那个引力常数 G,是后人从他这批数据里换算出来的。

这一条给"理论完成度"打了个问号:牛顿之后一百一十一年,那条最著名的公式里最著名的常数才第一次被人称出来。理论的完成度和它的有用度是两条不同的曲线——一个模型可以在关键参数完全空着的情况下,正确地服务好几代人;反过来,参数齐全也不代表你就理解了它。
案例 05 海王星与祝融星:同一套方法,两次相反的结局 1846 / 1859–1915

天王星的轨道对不上账。勒维耶假设外面还有一颗没被看见的行星,用引力定律反推它此刻该在天上哪个位置,把坐标寄给柏林天文台。1846 年 9 月 23 日夜里,伽勒在离预报位置很近的地方找到了海王星。这是这套理论最辉煌的一刻:一颗行星先被算出来,然后才被看见。

水星的轨道也对不上账——近日点每百年多进动 43 角秒。同一个勒维耶用同一套方法给出同一种解释:里面还有一颗没被看见的行星,他甚至给它起好了名字,祝融星。此后半个多世纪,一代天文学家在太阳附近反复搜寻,什么也没找到。1915 年,那 43 角秒被广义相对论一次算出,不需要任何新行星(见 №077)。

同一个动作,一次是史上最漂亮的预言,一次是徒劳了五十多年的补丁;区别不在方法,在世界。而最要命的是:在当时,没有任何人能事先分辨这两次。这条案例因此是全篇最该带走的一条——它讲的不是引力,是当你的模型对不上账时,你该补一个新实体,还是该怀疑模型本身(第八节第 3 条给出了一条可用的判据)。
六 反例与限制 CRITIQUE & LIMITS

这条定律从未被"推翻"。所以这一节写的是三样别的东西:它当年就说不通的地方、它已知失效的边界、以及它被借出去时是怎么被用坏的。

最后补一条与上面五条方向相反的:这套东西最结实的部分其实不是那个公式,是那个方法。从现象归纳出定律,由定律演绎出尚未观测到的新现象,再把它拿去撞数据——海王星、哈雷彗星、地球的扁率都是这么被逼出来的。公式有边界,方法至今没有。

七 相关理论 CONNECTIONS
开普勒三定律Kepler's Laws · 1609/1619
⟸ 因果上游
开普勒给出的是行星怎么走,牛顿给出的是为什么这样走。而真正的技术成就是那个双向等价:平方反比的力必然给出椭圆轨道,椭圆轨道也必然意味着平方反比的力。把一条描述性规律升级成一条可以反推的定律,这一步比归纳出规律本身难得多。
伽利略的落体与惯性Galilean Mechanics
⟸ 另一条上游
地面那半张拼图。伽利略证明落体加速度与重量无关——这件当年只被当作地面现象的事,两百多年后成了广义相对论的出发点(№077 的等效原理正是从"两个 m 为什么相等"追问出来的)。同一个观察,在两个理论里各承担了一次地基。
等效原理与广义相对论 №077General Relativity · 1915
⚠ 继任者,也是边界
同一片辖区的下一任。它没有修正那个公式,它换掉了公式底下的世界观:引力不是一种作用在物体上的力,是物体所在那片场地的形状。牛顿力学则被推导成它在弱场低速下的极限——这是"新理论吞下旧理论并给它划定适用范围"最干净的一次示范。
混沌理论 №048Chaos Theory
⚠ 精确 ≠ 可预测
三体问题是混沌的诞生地。这一对连接最该被记住:一个完全确定、精确到小数点后十几位的定律,仍然可以产出原则上无法长期预测的行为。"我们的模型很准"和"我们能预测未来"是两个不同的命题,而它们几乎总被当成一个。
诺特定理与对称性 №073Noether's Theorem · 1918
⟶ 更深的一层解释
开普勒第二定律(相同时间扫过相同面积)看起来像个几何巧合,其实是角动量守恒,而角动量守恒又是空间转动对称性的影子。牛顿给出的规律,到二十世纪被翻译成了"什么东西没有变"。这是本站两条物理线之间最紧的一处咬合。
奥卡姆剃刀 №014Occam's Razor
⟶ 一次干净的执行
一条定律取代了天上地下两套规则,并顺手取消了"天体自有其法则"这一整类实体。这是剃刀最漂亮的一次挥动。但也别忘了 №014 的第一条反例:最简未必最真——牛顿这一刀剃得对,是因为剃完之后数字还对得上,而不是因为它更简洁。
库恩范式 №006Paradigm · 1962
↔ 教科书样本,正反两面
牛顿力学既是"常规科学"最标准的原型(两百年里所有物理学家都在这个框架内解谜题),也是那个被取代的样本。但它同时是对库恩"不可通约"最有力的反例:新范式没有把它扔掉,而是把它推导了出来,并标明了它在哪里成立。
拉普拉斯之妖Laplace's Demon · 1814
⟹ 哲学外推(及其失败)
如果一切都服从这样的定律,那么一个知道此刻全部位置与速度的智者,就能算出全部过去与未来——决定论最著名的表述,直接从牛顿力学外推而来。它后来在两个方向上各挨了一刀:量子力学说它没有确定的初值(№047),混沌理论说就算有也算不完(№048)。
八 致用 APPLICATION

先标明分寸:下面只有第 4 条是这套物理的直接推论,其余四条是从这段历史里提出来的判断习惯,请当方法论借用,不要当定理引用——第六节第 ⑤ 条讲的正是这类借用的翻车方式。

九 反观三问 THREE QUESTIONS
我最近最坚持的那个解释,它给过什么可以被驳倒的数字吗?如果一个也给不出,我坚持的究竟是一个解释,还是一份安慰?
我手上有没有两件一直被我当成两回事、其实可能是同一件事的问题?——有没有哪个量,我可以在两边各算一遍,看数字对不对得上?
上一次出现"对不上账"的异常时,我是补了一个新实体,还是改了规则?那个新实体后来被独立地验证过吗,还是它至今只解释着当初那一件事?
十 延伸阅读 FURTHER READING
← PREVIOUS №080 语法化 HOME 百里路