百里路 / 物理 · 天文 · 科学方法
№ 081
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
五
案例
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
这条定律从未被"推翻"。所以这一节写的是三样别的东西:它当年就说不通的地方、它已知失效的边界、以及它被借出去时是怎么被用坏的。
-
① 超距作用当年就说不通,而第一个承认这一点的是牛顿自己。一个物体如何能穿过空无一物的真空、不借任何中介、瞬间作用于另一个物体?他在给本特利的信里把这称为"荒谬"(见后人之论 ②)。而《总释》里那句"我不构造假设",严格说来是一次拒绝回答,不是一个回答。这个洞在整个牛顿体系里空了两百二十八年,直到广义相对论用一种意想不到的方式把它填上——宣布根本不存在这种"力",物体只是在被质量弯曲的时空里走它能走的最直的路(№077)。
-
② 它是近似,而且我们非常清楚它在哪里失效。水星近日点的 43 角秒、光线经过太阳时的偏折、GPS 卫星钟每天约 38 微秒的偏差、强引力场、宇宙学尺度——这些地方牛顿都给不出正确答案。
但下面这半句必须一起说:牛顿没有被证明是错的,他被证明是一个在弱场低速下极好的近似。今天发射卫星、计算行星际转移轨道、盖桥、造楼、算潮汐表,用的仍然是他那条公式,因为在这些场景里相对论修正小到读不出来。一个理论被"超越"的最常见方式,不是被扔掉,而是被划定适用范围之后继续服役。
-
③ 它默认了一个绝对的空间和一个绝对的时间。牛顿明确主张存在与一切物体无关、均匀流逝的绝对时间和绝对空间,并用著名的旋转水桶论证来支持它。这一条在十九世纪被马赫从根上质疑——如果宇宙里只有这一桶水,你凭什么说它在转?此后相对论把这个背景舞台整个改写:时间与空间不再是演出的场地,它们参与演出。值得注意的是,被推翻的不是那个公式,是公式底下那张没人去看的桌子。
-
④ 定律精确,不等于未来可算。两个天体的问题牛顿解得漂漂亮亮;三个天体,就没有一般的解析解。庞加莱 1890 年前后在研究这个问题时撞上了对初值的敏感依赖——现代混沌理论的源头之一(№048)。今天的数值计算显示,太阳系在数千万年以上的尺度是弱混沌的,行星轨道的细节原则上不可长期预测。
这是最容易被跳过的一条:拉普拉斯那个"知道此刻一切就能算出全部未来"的妖,失败的原因不是定律不够准,而是定律再准也算不完。
-
⑤ 最贵的误用:把"万有"读成"万物皆可套"。十九世纪以来不断有人把引力公式搬进社会领域。其中贸易引力模型(两国贸易量正比于经济体量、反比于距离)是一个真实有用的经验模型——但它有用是因为它拟合数据拟合得好,不是因为它是牛顿定律的推论;两者只是形状相同。而所谓"吸引力法则"则是彻底的盗名:它借的正是"这句话是被证明过的"这份信用,而中间那一步从来不存在。
判据只有一句:这个类比有没有给出一个可以被数字驳倒的预言?给不出,它就只是一个借来的名字。
最后补一条与上面五条方向相反的:这套东西最结实的部分其实不是那个公式,是那个方法。从现象归纳出定律,由定律演绎出尚未观测到的新现象,再把它拿去撞数据——海王星、哈雷彗星、地球的扁率都是这么被逼出来的。公式有边界,方法至今没有。
七
相关理论
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 条是这套物理的直接推论,其余四条是从这段历史里提出来的判断习惯,请当方法论借用,不要当定理引用——第六节第 ⑤ 条讲的正是这类借用的翻车方式。
-
统一:找那两件"看起来不相干、其实是同一件事"的东西
牛顿最大的动作是合并两个本来被当作不同类别的现象。同样的合并在别处也发生过:一个产品在两类完全不同的客户那里被用来解决同一个底层问题;两个部门反复出现的"不同的"故障其实同源。
但要用案例 02 那条判据来卡住自己:能不能找到一个量,在两边各算一遍,数字对得上?——只有措辞上的相似而没有这样一次对账的,都还只是比喻,而比喻不能拿来做决定。
-
先要"能算",再要"能解释"
"我不构造假设"的实操版。面对一个说法,先问它能不能给出一个数字,并因此有可能被驳倒;机制上的完整故事很动听,但一个只解释不预测的说法几乎无法被检验,它可以永远正确。
反过来对自己同样成立:你可以在完全不知道"为什么"的情况下先用起来——只要你诚实地把这个空洞标出来,而不是用一个听起来很顺的机制把它糊住。牛顿把那个洞公开了两百多年,谁也没耽误发射卫星。
-
对不上账的时候:补一个新实体,还是改规则
案例 05 的直接搬用,也是这一课最实用的一条。发现异常时人的第一反应几乎总是"一定还有个我们没看到的因素"——有时对(海王星),有时错到底(祝融星)。
可用的判据只有一条:这个新假设,除了解释眼前这个异常之外,还给出了别的、独立的、可以去查的预言吗?祝融星给了——它应当能被看见;找不到,它就完了。如果一个补丁只解释那一个异常、并且原则上查不了,那它不是解释,是一个用来结束讨论的名字。
-
精确不等于可预测:给你的模型划一条视野线
本条有严格的数学依据(三体问题、庞加莱、№048)。太阳系是一个只受一条极简定律支配、参数测得极准、没有任何人为干扰的系统,而它在足够长的时间尺度上仍然算不准。
那么一个由人、市场、组织构成的系统,你的模型能有效的时间窗口只会更短。可操作的动作是:明确写下"这个预测在多长时间内可信",超出这条线就别再拿它做承诺——把力气从"预测更远"转向"缩短反馈、提高韧性"(№002)。
-
警惕借来的"引力"
凡是把某个物理定律的名字搬到人事、财富、命运上的说法,中间那一步几乎总是偷的。它偷的不是公式,是"这件事已经被科学证明过"这份信用。
三个追问就够:它借的那个定律在原领域的适用条件是什么?这里满足吗?它给出了什么可以被驳倒的数字?——三问答不上来,那个"定律"就只是一个被借来壮胆的名词。同一把尺子也适用于本站每一篇的第八节,包括这一篇。
九
反观三问
THREE QUESTIONS
我最近最坚持的那个解释,它给过什么可以被驳倒的数字吗?如果一个也给不出,我坚持的究竟是一个解释,还是一份安慰?
我手上有没有两件一直被我当成两回事、其实可能是同一件事的问题?——有没有哪个量,我可以在两边各算一遍,看数字对不对得上?
上一次出现"对不上账"的异常时,我是补了一个新实体,还是改了规则?那个新实体后来被独立地验证过吗,还是它至今只解释着当初那一件事?
十
延伸阅读
FURTHER READING
-
Isaac Newton《Philosophiæ Naturalis Principia Mathematica》
1687(第二版 1713,含《总释》) — 原典;现代标准英译为 I. Bernard Cohen & Anne Whitman 译本,University of California Press, 1999,带一篇长导读,比正文更适合先读
-
Newton 致 Richard Bentley 第三封信
1693 年 2 月 25 日 — "如此荒谬"那段的出处;牛津 Newton Project 提供原稿转录与在线全文
-
Henry Cavendish《Experiments to Determine the Density of the Earth》
Philosophical Transactions of the Royal Society, 1798 — 称量地球那篇,约五十七页;实验细节读起来比结论更有意思
-
Émilie du Châtelet 译注《Principes mathématiques de la philosophie naturelle》
Desaint & Saillant, 1759(作者 1749 年去世后出版) — 法语标准译本,附一部长评注;牛顿能在欧陆落地,这本书是关键一环
-
H. G. Alexander (ed.)《The Leibniz-Clarke Correspondence》
Manchester University Press, 1956 — 1715–1716 年那五轮通信;关于超距作用、绝对空间与绝对时间的正面交锋,请与上面第二条对照着读
-
Richard S. Westfall《Never at Rest: A Biography of Isaac Newton》
Cambridge University Press, 1980 — 标准传记,八百余页;1684 年那次拜访与此后十八个月的完整经过在这里
-
I. Bernard Cohen《The Newtonian Revolution》
Cambridge University Press, 1980 — 本篇最推荐的一本;它讲的不是引力,而是"牛顿式风格"这套方法本身是怎么运作的
-
维基百科:Newton's law of universal gravitation
en.wikipedia.org/wiki/Newton's_law_of_universal_gravitation — 索引入口;另可参见 Hypotheses non fingo、Cavendish experiment、Discovery of Neptune 三个条目
他不是这套理论的作者,但没有他就没有这套理论的存世形态。他做了四件事:提出那个问题;一年半里不断催稿;替牛顿摆平胡克关于平方反比的优先权指控;在皇家学会把出版经费花光之后,自己出钱付了印刷费。学会前一年刚把预算砸在一部销路极差的《鱼类史》上。
然后他反过来用这套定律做了一件更漂亮的事:1705 年,他比对 1531、1607、1682 年三次大彗星的轨道要素,判断它们是同一颗,并预言它将在 1758 年前后再回来一次。他那时已经知道自己活不到那一天。
这一卡真正的教益与天文学无关:一个理论能不能被世界看见,常常取决于有没有一个人愿意替它跑腿、掏钱、并且在作者本人懒得应付的争吵里替他站着。
当时最锋利的批评是:你这个"引力"是一个隐秘的质。莱布尼茨的指控极重——他认为牛顿把一件说不清机制的东西直接写进自然,等于退回中世纪经院哲学,用"它有吸引的能力"来解释"它会吸引"。1715–1716 年他与牛顿的代言人克拉克往复五轮通信,这场论战成了当时读者最多的哲学文本之一。
而最有力的一击其实来自牛顿自己。1693 年 2 月 25 日他写给神学家本特利的信里说:"重力应当是物质天生的、固有的、本质的属性,以至于一个物体可以穿过真空、不借助任何中介去作用于另一个物体——这在我看来是如此荒谬,以至于我相信,凡在哲学问题上具备思考能力的人,都不会陷入其中。"
这场争论的结局非常反直觉:牛顿在"它是什么"上输了,而且是他自己先认输的;他在"它怎么算"上赢了两百二十八年。直到 1915 年,那个洞才被补上——补的方式是宣布根本没有"力"这回事(见 №077)。
《原理》出版之后,法国学界并没有立刻投降。笛卡尔的涡旋说在欧陆占了几十年上风,一个重要原因很实在:《原理》用古典几何写成,极其难读,而欧陆数学家已经习惯了分析的语言。
杜·夏特莱做的事是把它译成法语,并且用当时通行的分析形式重写了牛顿的几何论证,再加上一部相当长的评注——前半讲天文模型从巴比伦到牛顿的来路,后半是技术性的重述。她在 1749 年去世,译本由克莱罗主持、伏尔泰作序,1759 年出版,至今仍是《原理》的法语标准译本。
这一卡说明的是一件很少被写进教科书的事:一个理论跨过语言与学派的边界,靠的往往不是它更对,而是有人肯把它翻译成对方能直接拿去用的形式。翻译在这里不是次要工作,它是这套理论能否在欧洲活下来的条件。
牛顿的定律里有一个比例常数,而在他之后一百一十年,没有人知道它有多大。这件事听起来像是个致命缺陷,其实完全不影响使用:天文学问的从来是"这颗行星相对那颗行星如何",比例够了,绝对值不必知道。
1798 年卡文迪什用一台极其精巧的扭秤把它逼了出来:一根木杆两端各挂一个约 0.73 公斤的铅球,用细丝悬起;再把两个约 158 公斤的大铅球移到近旁,测量细丝被扭转的极小角度。他的目标是地球的平均密度,结论是约为水的 5.48 倍(现代值约 5.51)。
这一卡值得记住的是那条时间线:一条公式可以在关键常数完全未知的情况下管用一百多年。它同时给出一个很有用的分辨——能算相对值,不等于知道绝对值;很多模型的实际处境正是如此,而使用者常常以为自己知道的比实际更多。