九章格数学 PhiloMath · 数学家的故事绘本 · 第三辑

拉普拉斯 · 宇宙的计算者

第 26 册 · 数学家的故事 · 第三辑 · 1749—1827 · 法国 · 明线:天体力学 · 概率的分析理论 · 误差曲线 · 星云假说 暗线:把不确定也变成一门数学
明线 · 天体力学 · 概率 · 误差暗线 · 连不确定性也要交出它的方程1749—1827 · 法国全龄通识 · 三层可读
题解这一册怎么读p.2

皮埃尔-西蒙·拉普拉斯,1749 年生于诺曼底乡间的博蒙特昂奥日,1827 年卒于巴黎。他出身农民家庭,靠乡绅资助与教会学校的教育走进巴黎,二十多岁进入科学院,此后近半个世纪站在法国数学与天文学的最高处。而真正让他留在数学史里的,是两件看似毫不相干、骨子里却是一件事的作品:五卷《天体力学》,与一部《概率的分析理论》。

本册的明线是这两件作品背后的四样东西。第一样,天体力学:他回答了牛顿留下的大难题——行星彼此牵引,太阳系为什么不散架;木星与土星那条八百多年的长周期,就是他从级数里数出来的。第二样,概率的分析理论:他把掷骰、出生、证词、误差统统装进同一个分析框架,古典概率从此有了微积分的引擎。第三样,误差曲线:观测总有大有小,正态曲线把「误差」变成可以积分的对象,测量学从此换了地基。第四样,星云假说:太阳系从一团旋转的气体里凝出来——这个念头在一百多年后等到了自己的证据。

暗线一句:把不确定也变成一门数学。行星的摄动、骰子的点数、观测的偏差、证词的可信,在他手里全是同一件事:写下方程,算出概率。那句被传了两百年的「陛下,我不需要那个假设」,说的正是这条暗线的底气。

本册分五幕:第一幕讲一个农家子怎样走进巴黎(p.6—p.12);第二幕讲行星为什么不散架(p.13—p.19);第三幕讲概率怎样成为分析学问(p.20—p.26);第四幕讲误差、最小二乘与星云(p.27—p.33);第五幕讲决定论的丰碑与晚年(p.34—p.40)。

三层读法照旧:故事层无需预备知识;数学层用到分数运算、初等微积分的求导与积分(p.7—p.9、p.14—p.16、p.21—p.23、p.28—p.30、p.35—p.37),每一步都从头展开;注疏层给出文献、章次与版本源流,逐页可查。

引子苹果园边的孩子p.3

1749 年 3 月 23 日,皮埃尔-西蒙·拉普拉斯出生在诺曼底的博蒙特昂奥日,一个以苹果酒和奶制品闻名的小镇。父亲皮埃尔·德·拉普拉斯经营着一座小农庄,母亲玛丽-安妮来自当地的医生家庭。这是一户谁也没有想到「数学」二字的家:祖辈的名字里出现的都是农人、工匠与磨坊主。

镇上有本笃会的教区学校,拉普拉斯在那里学会了拉丁文与初步的算学;随后他进入卡昂大学,原本的路是当一名教士。可是在卡昂,他遇到了两位把数学讲得眉飞色舞的讲师—— Christophe Gadbled 与 Pierre Le Canu——第一次读到达朗贝尔的力学著作时,他发现了自己真正想做的事。两条路在十八岁的门口分开:一条通向安稳的教区,一条通向没有人知道尽头的巴黎。

他选了后者。1767 年前后,他带着一封卡昂师长的推荐信动身去巴黎。这封信在后世流传成许多版本,其中一句被反复引用:信里说,这位年轻人对天体力学的了解,超过达朗贝尔本人。事实未必如此豪迈,但结果很快证明推荐并不过分。

这册的故事,就从这趟旅途开始。

引子一封写给达朗贝尔的信p.4

达朗贝尔当时是巴黎数学界的最高裁决者:百科全书的主编、柏林科学院院士、微分方程的大家。据傅里叶后来的回忆,年轻的拉普拉斯先寄去一封附有数学发现的信,达朗贝尔没有回;再寄一封讨论力学一般原理的长信,达朗贝尔回了,只有几行,却足够分量:「这位青年几乎不需要我的引荐——他本身就足以举荐他自己。」

不到一年,达朗贝尔为他谋到了巴黎军事学校的数学教席——一份不重、却能让他整天做研究的差事。1769 与 1770 年,二十岁出头的拉普拉斯向科学院递上最初几篇论文,讨论差分方程与曲线的极大极小;1773 年 3 月,他正式进入科学院,年仅二十四岁。入场券上的题目只有一句:太阳系是不是稳定的。

同时代的人在科学院的走廊里描述他:语速快,记性好得吓人,读过的东西过目不忘;观点一旦站稳就寸步不让。巴黎的书商很快发现这位新院士论文高产得近乎惊人——后来统计,他一生发表的三百余篇论文,几乎全部围绕两个主题打转:天上的运动,与骰子里的偶然。

有人问过他为什么不做点别的。答案藏在他后来的全部著作里:在他看来,宇宙本身就是一道大题,其他题目只是它的影子。

引子天上的两笔账p.5

牛顿已经把行星运动的主账算清了:太阳拉着每颗行星走椭圆。但还有一笔副账没人理清——行星之间也在互相拉扯。木星拽土星,地球拽月亮,每一笔拉扯都很小,小到肉眼看不见;可是小账最怕积攒,一百年一百年地积下去,轨道会不会慢慢变形、慢慢散架?

当时天文台的记录里摆着两桩悬案。第一桩:木星在缓慢加速,土星在缓慢减速——照这个趋势走下去,几百年后木星会滑出轨道,土星会跌向太阳。哈雷与欧拉都碰过这笔账,级数越算越糟。第二桩:月亮在加速度——世纪之交,它的位置总是比表算的往前跑,牛顿力学居然解释不了自家后院的月亮。

有人由此怀疑牛顿的引力平方反比律本身有毛病;有人干脆在天与地之间引进新的修正项。而年轻的拉普拉斯选了最难也最漂亮的一条路:不添任何新假设,把摄动账一笔一笔算到底。1785 年前后,他从级数的高阶项里找到答案——木土之间的加速与减速是一个近九百年的长周期波动,走完一圈各自归位;月亮的加速度,则有一半以上来自地球轨道形状的缓慢变化。

太阳系没有散架的风险。这笔账怎么算的,是第二幕的正文。

第一幕 · 故事一个农家子的行囊p.6

1767 年的巴黎公路驿车每天清晨从卡昂方向进站。车下来一个十八岁的乡下青年,行李很少,信和手稿很厚。巴黎当时有六十万人口、几十家沙龙、一座欧洲最负盛名的科学院——没有任何一样东西属于他。父亲给他备的路费只够几周;军事学校的教席还没有影子。

但他手里攥着一样比路费值钱的东西:一封推荐信,和一叠写满级数与方程的手稿。推荐信把话说到头:「这个年轻人对天体力学的了解,胜过为他写这封信的人。」收信人达朗贝尔读完没有摆架子,回了那几句被后世抄了两百年的话。巴黎数学界的大门,为一个没有学位、没有家世、没有钱的外省人开了一条缝。

接下来的几年,他挤在军事学校附近的一间小屋里写作,把论文一篇一篇送到科学院。审查论文的正是达朗贝尔。1770 年读他的第一篇差分方程论文时,达朗贝尔在评语里写:该文成熟得不像出自一位如此年轻的人。

拉普拉斯后来对人讲过这一时期的原则:写得快,送得勤,评语来了就改。在巴黎,时间是最贵的资产,而他一秒钟也不想浪费。

第一幕 · 数学期望:把「将来」折成「现在」p.7

拉普拉斯走进概率这门学问时,桌上摆着的是前人留下的两件工具:帕斯卡与费马在半个世纪前分赌注时发明的期望,以及雅各布·伯努利在《猜度术》里立下的大数定律。本页先算清第一件工具。

期望的定义:若一项机会可能带来金额 x1, x2, …, xn,对应概率为 p1, p2, …, pn,则期望为

E = p1x1 + p2x2 + … + pnxn

分赌注实算:甲、乙各出 12 枚金币下注,先胜 3 局者全取;现甲 2 胜乙 1 胜,赌局中止,赌金怎么分?若再赌一局,甲胜(概率 1/2)则全取 24,乙胜(概率 1/2)则成 2:2、各应得 12。故甲的期望

E甲 = ½×24 + ½×12 = 18,E乙 = 6。

按 3:1 分赌金,不是按已胜局数 2:1。分的是「机会的价值」,不是「过去的战绩」——这正是期望概念的锋刃。

拉普拉斯在《概率的分析理论》里把这件事说成一条总纲:概率论的全部任务,就是给一切「不确定的机会」标出这样一个数。天上的摄动、人间的赌局、法庭上的证词,在这条定义面前一律平等。

第一幕 · 数学达朗贝尔的悖论:数情形要数全p.8

古典概率有一条看似平易的规矩:等可能概型里,概率=有利的情形数 ÷ 全部情形数。难处不在公式,在「数情形」——数漏一个,全盘皆错。连达朗贝尔也在一件小事上栽过。

悖论原题:连抛两枚硬币,至少出现一枚正面,概率是多少?达朗贝尔的答案:三种结果——「两正」「一正」「一反」,故概率 2/3。他把「一正」当成了单一情形,其实它是两种。

逐情形实算:两枚硬币的全部等可能情形是 2×2=4 种:

(正,正)(正,反)(反,正)(反,反)

其中「至少一枚正面」占前三类,故

P = 3/4 = 0.75,而非 2/3。

差别从哪来?「先抛第一枚、再抛第二枚」的顺序,把混合情形拆成了两份。数情形必须数到「等可能」为止:每一种列出来的情形,出现的机会必须一样大——这是拉普拉斯在《概率的分析理论》第一章立下的第一条纪律。

这条纪律后来成了他的招牌:分析概率论的全部技巧,本质上是在无限复杂的世界里,仍然把情形数得一清二楚。

第一幕 · 数学圣彼得堡悖论:期望也会爆炸p.9

期望概念还有一个更深的裂缝,伯努利家族在圣彼得堡把它挑明:有一种赌局,期望是无穷大,却没人肯出大价钱进场。

规则:掷一枚硬币直到出正面;若第 k 次才首次出正面,庄家付 2k−1 枚金币。首次正面出现在第 k 次的概率是 (1/2)k。逐项算期望:

E = Σk≥1 (1/2)k × 2k−1 = ½ + ½ + ½ + … = ∞

每一项都是 ½,级数发散——理论上的公允进场价是无穷多金币。可直觉与经验都说,没人愿意为一局掷硬币游戏付上几十枚金币。数学与直觉打架了。

丹尼尔·伯努利的补救:同样一枚金币,给穷人的价值大于给富人的价值,应以「效用」替代金额,例如以对数计价 log 2k−1 = (k−1)·log 2,级数立刻收敛。拉普拉斯的态度更进一步:他在《概率的分析理论》里保留了无穷期望作为数学事实,同时指出「期望」必须与「道义期望」(espérance morale)分开——财富增量的心理价值不与金额成正比。

本页记住一件事:概率论第一次发现,把「值多少钱」交给一条公式,公式也会提出它答不了的问题。这个裂缝要到十九世纪的效用理论与二十世纪的公理化才真正缝上。

第一幕 · 暗线沙龙与科学院之间p.10

1770 年代的巴黎,做学问有两张餐桌:一张在科学院,白日、公文、院士投票;另一张在沙龙,夜里、烛光、谈话没有议程。年轻的外省人要被巴黎认识,两张餐桌都得上。

拉普拉斯很快找到了自己的位置。他在达朗贝尔与孔多塞的圈子里出入,认识了化学家拉瓦锡——两人后来合作测量空气的组成,还一起研究过毛细现象与声速。他在每一个场合都在观察一件事:这个社会的种种判断,是怎样做的。科学院怎样评选论文,法庭怎样听取证词,保险怎样定价,气候的记录怎样汇总成「平均」——每一样,在他眼里都是一个等待标出概率的对象。

这一时期他做了件与数学无关、却与他一生有关的事:他把「决策」本身当成了研究对象。机会不再只是赌桌上的名词,而是社会运转的暗齿轮——这条思路在第三幕开花:他后来真的把这套工具用在了出生记录、证人陈述与陪审团表决上。

而天上的那道大题,也在这几年被他排进了日程表。下一幕,天文台。

第一幕 · 交汇一个农家子与一条概率p.11

把第一幕的数学与故事放在一处看,会撞见一个漂亮的巧合。

拉普拉斯自己,就是从一场几乎全输的赌局里被期望救出来的人:农庄、无学位、无名姓——按常理,这条路的「期望值」低到近乎零。而他的做法正是他后来写进《概率的分析理论》的做法:不问过去的战绩,只数清未来的情形,再把每一条路上标注的机会加总。写论文、投科学院、修正是那些概率大而报酬小的项;举荐与师承是概率小但把整个分布搬家的项。他把后者做到了极致。

更妙的是,这条路本身就验证了他后来那条大数定律:单次结果不可测,长期积累却会显出稳定的形状。三百多篇论文、四十年如一日的节奏,最终把「外省农家子」这个随机起点,收敛成了「法国数学与天文学的第一人」这个稳定的终点。

概率论的第一课,被他用自己的一生先讲了一遍。

第一幕 · 小结这一幕在讲什么p.12

故事线:1749—1773,从博蒙特昂奥日的苹果园到巴黎科学院。十八岁带着推荐信与手稿进京,达朗贝尔一句「他本身就足以举荐他自己」为他开门;二十四岁正式成为院士,入场券的题目是太阳系的稳定性。

数学线:本幕铺下概率论的三块基石——期望的定义与分赌注的实算(p.7);等可能概型的数情形纪律与达朗贝尔掷币悖论的纠正(p.8);期望的边界与圣彼得堡悖论(p.9)。三块基石在第二、第三幕都要重新出场。

暗线:在沙龙与科学院之间,拉普拉斯已经把「社会的判断」列进概率的研究清单。机会从赌桌走向了人间——这是他区别于一切前辈的地方。

下一幕,把镜头抬向夜空:行星之间那笔没人算清的副账。

第二幕 · 故事天文台的两桩悬案p.13

1676 年,英国天文学家哈雷把托勒密的古代星表、第谷的十六世纪记录与弗拉姆斯蒂德的当代观测摊在同一张桌上,比对木星与土星的位置。比对结果让人不安:木星的位置一代一代悄悄向前挪,土星则向后缩——木星在「加速」,土星在「减速」。哈雷把发现写了出来,却给不出原因。

欧拉 1748 年接手这笔账。他按牛顿力学的标准做法把行星间的拉扯展开成级数,一项一项修正椭圆轨道。可是算到一半,级数开始越长越大,不肯收敛——按他的结果推下去,几千年内土星会坠向太阳。拉格朗日后来也试过,同样卡住。天文台里甚至流传起一种坏打算:要么牛顿的平方反比律差一点,要么太阳系自己会慢慢散架。

1774 年前后,三十岁不到的拉普拉斯把这件事列上了自己的日程。他的策略说起来朴素得近乎固执:不修改引力定律,不添加任何新机制,只把级数算得更彻底——别人停在高阶项之前的地方,他往前多走十几项。

十年后,答案从那些「该被扔掉」的高阶项里自己浮了出来。

第二幕 · 数学摄动:把拉扯记成级数p.14

先立量级。太阳质量 M 与木星质量 mJ 之比,由木卫四的轨道算得约 M/mJ ≈ 1047。故木星对其他行星的额外引力,约是太阳引力的千分之一——摄动是「小账」,但不是「没账」。

牛顿解得的两体椭圆给出行星的「平运动」速率:木星 nJ = 360°/11.862 年,土星 nS = 360°/29.457 年。两星每年互相追近的角度是

nJ − nS = 30.35° − 12.22° = 18.13°/年

故木土会合一次需 360/18.13 ≈ 19.85 年。每 19.85 年,两星在几乎固定的两处日心经度上「贴面」,把摄动攒进同一对位置——这是木土账目里所有麻烦的入口。

拉普拉斯的做法:把摄动写成三角级数,每一项都带着「会合」或「会合的整数倍」这样的节奏。一阶项给出椭圆的缓慢摆动;真正咬人的是那些慢得几乎停住的项——分母是两星速率的整数组合,若组合恰好接近零,这项就会变得又大又慢。哪一种组合会这样?下一页实算。

记住两个数:千分之一是摄动的量级,19.85 年是攒账的节拍。

第二幕 · 数学八百七十八年的长周期p.15

摄动级数里最危险的一类项,分母是速率的整数组合。对木土而言,欧拉与拉格朗日已经盯上了组合 2nJ − 5nS;拉普拉斯把它实算到底:

2nJ − 5nS = 2×30.35° − 5×12.22° = 60.70° − 61.08° = −0.38°/年

这个组合每年只走不到半度——带这样分母的项,周期长达

T = 360°/0.38° ≈ 947 年

按更精的质量与偏心率数据迭代后,拉普拉斯 1785 年定出周期约 878 年(用现代质量比实算为 877 年,二者在观测精度内一致)。这就是「木土大不等」:木星的加速与土星的减速不是发散的坏账,而是一条九百年周期的长波——现在木星快,几百年后波峰过去,木星慢下来,土星追回;各自归位,循环不已。哈雷看见的只是这条长波的上坡段。

同一个框架还给出更大的收获:拉普拉斯证明,在摄动级数的一阶精度内,行星的偏心率与轨道倾角不会积累长期变化,只在固定界限内摆动。太阳系在一阶意义下稳定——牛顿留下的悬案,第一次有了分析式的回答。

第二幕 · 数学月亮的加速度p.16

第二桩悬案在天上离得最近的地方。哈雷比对古代日月食发现:月亮在黄经上比牛顿表算的每世纪快约 11″(现代综合值约 11.7″)。月亮绕行一圈 360°,每百年快 11 角秒——快得微小,却铁证如山,牛顿力学居然欠着解释。

拉普拉斯 1787 年给出答案:月亮的加速是「借」来的。地球轨道的偏心率在行星摄动下缓慢减小,地日距离的平均值随之改变,太阳对月亮的摄动系数也随之改变——月亮的轨道周期被一点点拉短,表观上就是黄经加速。他的实算给出每世纪约 10″,与观测的大半吻合。

剩下的尾巴更精彩:1853 年亚当斯复核发现拉普拉斯算大了一倍左右,缺额正是潮汐摩擦——海水与海底的摩擦把地球自转的角动量转给月球轨道。这一缺一补,把「天上的运动完全由引力决定」与「地球自身的潮汐历史」接在了一起,成为二十世纪地月演化研究的序章。

至此两桩悬案结案:木土是一条约 878 年的长波,月亮的账要从地球的轨道形状里取。牛顿的平方反比律,一根修正项都不用加。

第二幕 · 交汇不添假设的胜利p.17

1785 与 1787 年的两篇论文,把第二幕的数学与天文台的记录合上同一册账本。值得停下来看一眼的是拉普拉斯解决这两桩悬案时「没有做什么」:没有修改平方反比律,没有引入看不见的天体,没有把麻烦归给「天体的阻力」或别的补充机制。

他做的只有一件事:把别人不敢往下算的级数,往下算到底。878 年的长周期藏在级数分母接近零的那一项里,月亮的答案藏在偏心率的长期变化里——两样都不是「新物理」,而是「同一本旧账的更深处」。

这恰恰是他后来那句名言的实践版本。传说他向拿破仑呈送《天体力学》时,拿破仑翻遍全书不见一处提到上帝,问:何处安排了造物主的位置?他答:「陛下,我不需要那个假设。」传说的真伪尚可辩论(p.31 回到这句话),但精神是货真价实的——这一幕的两桩结案,没有动用任何一个新假设。

天上的账算清了。他回头收拾人间的账:骰子、出生、证词与误差。第三幕。

第二幕 · 暗线革命中的几何学家p.18

1789 年,巴士底狱的炮声掀开了大革命。巴黎的知识界被卷成两半:有人流亡,有人上断头台——化学家拉瓦锡,他多年的合作者,1794 年死于革命法庭。拉普拉斯留在巴黎,而且每一步都踩在浪潮上。

他参与度量衡改革,是米制委员会最早的成员之一;1793 年科学院被解散,他在乡下住了约两年;1795 年新立的经度局把他请回来,成为十二名创始人之一;同年创办的巴黎综合理工学院与高等师范学院,他出任考官与讲师——19 世纪法国整整一代数学家与工程师(泊松、柯西、盖-吕萨克们)都在他的口试与讲义下过了一遍筛子。

1799 年雾月政变后,拿破仑任命他做了六周的内政部长。任命很快被撤回——大臣们抱怨他不适合实务,拿破仑的评语后来流传成一句刻薄话:把「无穷小」的精神带进了行政。可是他并不在意:经度局与理工学院的讲台、加上正在成卷的《天体力学》,才是他真正的工作台。

大革命的十年,他失去了朋友,保住了研究,还捡到了一个庞大的学生群体。

第二幕 · 小结这一幕在讲什么p.19

故事线:1774—1787,两桩天文悬案在拉普拉斯手里结案。木土的加速与减速是一条约 878 年的长波;月亮的加速大半来自地球轨道偏心率的缓慢变化。平方反比律未动分毫。

数学线:摄动的量级是千分之一(M/mJ ≈ 1047),攒账的节拍是 19.85 年的会合周期(p.14);危险项藏在速率组合 2nJ − 5nS = −0.38°/年 的分母里,周期 T = 360/0.38 ≈ 947 年,精化后约 878 年(p.15);月亮每世纪加速约 11″,其中约 10″ 由偏心率项解释(p.16)。

暗线:大革命的十年,他失去朋友、保住研究,并顺手接管了法国下一代科学家的培养。那句「陛下,我不需要那个假设」的传说,精神在这一幕已经立住了。

下一幕,从天上回到人间:概率怎样成为一门分析学问。

第三幕 · 故事从赌桌到人间p.20

天上的账结案之后,拉普拉斯回过头来对付一门起步更早、地基却更薄的学问。概率论在他之前已经有帕斯卡与费马的分赌注、雅各布·伯努利的大数定律、德莫弗的正态近似——但它们都各管一段:会算赌局,不会算出生;会算频率,不会算证词。赌桌上的算术,怎么变成人间事务的算术?

拉普拉斯的做法分两步。第一步,把「机会」统一写成微积分:概率是一个取值于 0 与 1 之间的量,事件的概率由情形数之比给出,连续情形则换成积分;逆概率(今天称贝叶斯定理)用来从观测反推原因。第二步,把这套机器开到人间最严肃的场合:巴黎四十年的出生登记、天文观测的误差、法庭证词的可信、陪审团表决的规则。

1812 年,这两步合拢成一部巨著——《概率的分析理论》,六百多页,五分之四的篇幅是分析:差分方程、母函数、积分、无穷级数。概率论从此不再是一张赌桌旁的小算术,而是一支能烧到任何数据上的分析引擎。

本幕实算三笔账,各占一页:巴黎的出生登记、三千六百次掷骰、以及那道著名的「太阳明天会升起」。

第三幕 · 数学巴黎的出生登记p.21

巴黎从 1745 年到 1770 年的出生登记:男婴 251,527 名,女婴 241,945 名。男孩 consistently 多出约百分之二——当时伦敦与那不勒斯的记录也是同型。有人把它当成随机涨落;拉普拉斯用逆概率实算这笔账。

问题:给定观测 b = 251527, g = 241945,若两性出生概率本无差别(各 ½),出现「男比女多 9,582 名以上」的概率是多少?二项分布 B(n, ½),n = 493472,期望 n/2 = 246736,标准差

σ = √(n·½·½) = √123368 ≈ 351

偏差 9,582 名相当于 9582/351 ≈ 27.3 个标准差——远超任何实际可遇的涨落;用德莫弗—拉普拉斯近似,这概率比 10−150 还小,「纯属偶然」可以彻底排除。

第二步,用逆概率反推男婴概率本身:在均匀先验下,后验均值是 (b+1)/(n+2) ≈ 0.5097。拉普拉斯由此断言:男婴出生概率恒大于 ½ 是一条真实规律(今知其生理机制在受孕与孕育环节),并顺手举一反三——伦敦与那不勒斯的数据同样通过检验,而巴黎某个时段女婴反常偏多的旧记录,查证后原来出自登记错误。

一册教堂的登记簿,被分析改写成了生理学的结论。

第三幕 · 数学三千六百次掷骰p.22

出生登记的算法里已经用到了那个关键的近似,这里把它单独走一遍。德莫弗—拉普拉斯定理:大量重复的独立试验,其计数分布无论原本多离散,都会向同一条曲线收敛——正态曲线,密度

φ(x) = (1/√(2π))·exp(−x2/2)

实算:掷一枚骰子 3,600 次,出六点的次数 X 服从二项分布,n = 3600, p = 1/6:

μ = np = 600, σ = √(np(1−p)) = √500 ≈ 22.36

问「六点出现 630 次以上」的概率:z = (629.5 − 600)/22.36 ≈ 1.32,查(或积分)正态分布尾,

P(X ≥ 630) ≈ 0.086。

约每 12 次这样的长赌局里出现一次——一个手工可以复核、直觉却完全拿不出的数。这就是正态曲线的实用价值:把「要掷多少次才明白」的问题,变成一次查表。

这条曲线在 p.16 已经作为月球的背景出场过一次,第四幕还要以「误差曲线」的身份再出场一次——它是本册出勤率最高的角色。

第三幕 · 数学太阳明天会升起p.23

《概率的哲学随笔》里有一道传遍欧洲的题:「太阳明天升起的概率是多少?」此题常被当成讽刺——概率论算到天上去了;拉普拉斯却是认真的,他要演示的是「继承规则」这条最朴素的归纳公式。

规则:若某事件已连着出现 n 次、从未失败,且事先对成功概率一无所知(均匀先验),则它下次成功的概率是

P = (n+1)/(n+2)

推导极短:成功概率 x 在 (0,1) 上均匀分布,观测到 n 连胜后,x 的后验密度正比于 xn,故

P = ∫01 x·xn dx / ∫01 xn dx = ((n+1)/(n+2))·(x 项已约去) = (n+1)/(n+2)

取「太阳已升起约五千年」:n ≈ 1,826,250 天,代入得 P = 1,826,251/1,826,252 ≈ 0.9999995。概率极大,却不是 1——拉普拉斯特意强调:此数只在「对日出机制一无所知」的先验下成立;一旦知道引力定律,先验早该更新,日出概率远比这更接近于确定。公式是给归纳留的一把尺,不是替知识下的判决。

这页的先验与后验,就是 p.21 逆概率的同一台机器。

第三幕 · 暗线概率走进法庭与陪审席p.24

《概率的分析理论》里有整整一章,标题近乎惊世:「证词的概率」。拉普拉斯把法庭请进了数学:设一名证人说真话的概率为 p,他陈述「某事件发生」,则该陈述的可信度不仅依赖 p,还依赖事件本身的先验概率——越是离奇的事,越需要越可靠的证人。一句话:证词是证据,证据有权重,权重可以计算。

他接着算了陪审团表决:若每名陪审员判对与判错的概率相等,则合议的出错概率随人数下降;若单个陪审员略微偏颇,多数决如何放大或纠正这种偏颇,都有公式可循。同时代的孔多塞独立得出同型结果,后世合称「孔多塞陪审团定理」。

这一支概率论今天读来一半天真、一半超前:天真在把人的判断当成独立抽签,超前在它把「证据的合成」当成可计算的对象——现代证据学与可靠性理论走的正是这条路。而对拉普拉斯自己,这一章只是那台分析引擎在人间事务上的一次试车。

第三幕还有最后一处交汇要看。

第三幕 · 交汇同一台引擎p.25

把第二幕与第三幕并排放着看:月亮的加速度与巴黎的出生登记,用的是同一台机器。

天文台一端:观测与理论有偏差,偏差的来源从级数与轨道力学里找——那是「确定性」的分析。登记簿一端:数据与「无差别」的假设有偏差,偏差的来源用逆概率与正态近似去衡量——那是「随机性」的分析。表面上是两门学问,骨子里是同一件事:把观测放到假设的对面,算出假设被数据支持或压倒的程度。

这不是类比,是字面上的同构。p.16 判断月亮账目对不对,靠的是天文记录与理论值的角秒差;p.21 判断出生规律真不真,靠的是登记数与期望值的 27 个标准差差。一个偏差,一个标准差,一个结论——巴两年的拉普拉斯在两部巨著里跑的是同一个循环:模型 → 偏差 → 结论。

十九世纪的科学方法论,在他手里先预演了一遍。

第三幕 · 小结这一幕在讲什么p.26

故事线:1812 年《概率的分析理论》把概率论从赌桌小算术升格为分析巨学;随后他把引擎开进人间最严肃的场合——出生登记、证词、陪审表决。

数学线:巴黎出生数据的偏差达 27.3 个标准差,「纯属偶然」概率小于 10−150,男婴概率恒大于 ½ 由逆概率反推实算(p.21);德莫弗—拉普拉斯定理实算 3,600 次掷骰 P(X ≥ 630) ≈ 0.086(p.22);继承规则 (n+1)/(n+2) 代入五千年得 0.9999995,且拉普拉斯亲手写明其先验限定(p.23)。

暗线:法庭与陪审席被请进数学——证据有权重,权重可计算。天真与超前各占一半。

下一幕,回到观测台:误差本身成为研究对象。

第四幕 · 故事测量的敌人:误差p.27

天文学的日常是测量,测量的日常是误差。同一位观测者量同一颗星的赤纬,十次读数会给出十个数;两位仪器同样精良的天文台,给出的星表系统性地差上半分。误差是观测的影子,甩不掉,只能研究。

十八世纪的观测者各有土办法:多测几次取平均;把明显离群的读数扔掉;凭经验在两套仪器之间打折扣。有效,但全是手艺,没有理论——凭什么取平均是对的?凭什么扔掉离群值不吃亏?谁也说不清。

拉普拉斯把这摊手艺接进了分析引擎。他的问题句式与处理木土摄动时一模一样:观测值与真值之间的偏差,是不是也服从一条可以写出来的规律?如果写得出,那么「如何组合多次观测」就不再是手艺,而是数学——可以从原理上推出最优的合成方式。

答案就是本幕的主角:一条以观测偏差为自变量的曲线。它在本册已经出场过两次(月球的背景、掷骰的钟形),这一次它以本名登场。

第四幕 · 数学误差曲线登场p.28

误差曲线:设真值为 x,单次观测偏差 e 的分布密度为

φ(e) = (1/(√(2π)·σ))·exp(−e2/(2σ2))

曲线对称、单峰、两端快速压平——小误差常见,大误差罕见,正负同样可能。参数 σ 是「观测的口径」:仪器越精,σ 越小,曲线越瘦高。

它为什么该是这条曲线?拉普拉斯与高斯从两个方向各自证明:若把大量微小的独立干扰叠加(仪器零件的抖动、空气的折射、读数的手误),总和的分布必向此曲线收敛——这正是 p.22 那条定理的连续版。误差不是某一个人的毛病,而是无数小毛病的总和,所以它必然长成钟形。

取平均的理由也随之落地:在误差服从正态且已知 σ 的前提下,算术平均是使得损失 Σ(xi−a)2 最小的合成方式——「多测几次取平均」这条百年手艺,第一次有了数学执照。

一个实用数:正态分布中,一半的偏差落在 ±0.6745σ 之内(四分位差)。观测手册里写的「或然误差」就是它——量一台仪器的口径,不必报出全部分布,报出 0.6745σ 即可。

第四幕 · 数学最小二乘:让数据合议p.29

误差曲线解决「单次观测的口径」,最小二乘解决「一组观测的合议」。规则一句话:选一条理论曲线,让所有观测点到它的竖直偏差平方之和最小。平方替代绝对值,为的是可微可解——这是勒让德 1805 年立下的规则,也是拉普拉斯 1810 年后给足理论根据的规则。

实算一例:观测到三个点 (1, 2)、(2, 3)、(3, 5),拟合直线 y = a + bx。目标函数

S = Σ(yi − a − bxi)2

对 a、b 求导并令为零,得正规方程:

3a + 6b = 10; 6a + 14b = 23

解之:b = (3×23 − 6×10)/(3×14 − 62) = 9/6 = 1.5,a = (10 − 1.5×6)/3 = 1/3。拟合线

y = 1/3 + 1.5x

三条观测各有误差,合议出一条谁也不完全满足、谁也挑不出更好毛病的线。数据的发言权,由平方偏差定量分配——现代回归分析的全部起点,就在这三步求导里。

第四幕 · 数学优先权之争p.30

1805 年,勒让德出版《确定彗星轨道的新方法》,附录里第一次向世界发表最小二乘法。四年后,高斯在《天体运动论》里给出同一方法、配上更深的推导,并注明自己自 1795 年起已在计算中使用。勒让德气得直接写信抗议:发表权不能追认。数学史上最著名的优先权争执之一就此拉锯终生。

拉普拉斯在这场争执里的立场很能代表他的风格:不选边,补地基。1810—1811 年他证明:若误差由大量微小独立来源叠加而成(而它们确实如此),则最小二乘估计不仅合理,而且是方差最小的最优合成——正态误差是定理,不是假设。这一证明让方法从「好用的规则」升格为「必然的结论」,两边的追随者都只能接受。

这段公案留下一句常被引用的判词,出自他 1812 年为《概率的分析理论》写的导言:对观测的最好用法,就是把多个观测的偏差平方和化为最小。方法归谁的历史争论至今未熄,方法的地位却从此再无争议。

第四幕 · 暗线一团旋转的气体p.31

1796 年,拉普拉斯出版一本面向大众的天文书《宇宙体系论》。正文讲的是天文常识,可是在附录七里,他放进了全书最大胆的一段:太阳系是从一团炽热、旋转、逐渐冷却的气体云里凝出来的。

证据链在他自己的领域里。行星几乎都在同一平面上、朝同一方向公转——若太阳系由一场偶然的相聚而来,这种整齐几乎不可能;只有「同一团旋转的物质」能自然解释它。他更进一步:太阳的自转、行星卫星的规则排布,全都是同一团云角动量的不同分账。

这个「星云假说」当年只是一家之言(康德四十多年前也提过类似的猜测,拉普拉斯当时不知情)。此后一百五十年,它安静地等着自己的证据:十九世纪的光谱分析在恒星与星云里认出了气体;二十世纪在猎户座等处真的拍到了正在成形的原行星盘。1796 年的猜想,等到了 20 世纪的底片。

本册的暗线在此收拢:决定论的天体力学与开放性的起源问题,在同一本书里各占一章——他不只计算宇宙,也试图说出宇宙的来历。

第四幕 · 交汇误差与星云:同一支笔p.32

第四幕把两件看似不相干的作品放回了同一张书桌:《概率的分析理论》处理误差,是往回退——从混乱的读数里退回真值;《宇宙体系论》处理星云,是往前推——从整齐的轨道推回起源。一支笔,两个方向。

两个方向共用同一种姿态。面对误差,他不抱怨数据不完美,而给不完美立规律(正态曲线、或然误差、最小二乘);面对起源,他不满足于「神创或偶然」的二选一,而从可见的秩序反推一个可检验的过程(同一平面、同一方向、一团旋转的云)。不完美的东西与来历不明的东西,在他手里都变成了可计算的对象。

这套姿态如今有个名字:数据驱动与机制解释的结合。十八世纪末的观测天文学先把它跑通了一遍——误差论管「相信到什么程度」,星云假说管「世界从哪里来」。

第四幕 · 小结这一幕在讲什么p.33

故事线:误差从观测手艺变成数学对象;最小二乘在勒让德、高斯、拉普拉斯三人之间完成立规、深证与最优性奠基;1796 年《宇宙体系论》附录七放下星云假说,静候一百五十年后的证据。

数学线:正态误差密度 φ(e) = (1/(√(2π)·σ))·exp(−e2/(2σ2)),或然误差 0.6745σ(p.28);最小二乘实算三点拟合 y = 1/3 + 1.5x,正规方程 3a + 6b = 10、6a + 14b = 23(p.29);最优性由中心极限式的叠加论证补齐(p.30)。

暗线:误差与起源共用同一种姿态——把不完美与来历不明都变成可计算的对象。

最后一幕:五卷丰碑、一只妖怪与一个安静的晚年。

第五幕 · 故事五卷《天体力学》p.34

1799 年,第一卷《天体力学》印出。此后二十六年,五卷巨著陆续问世,直到 1825 年第五卷补编收尾。书名是它最好的简介:把天体的全部运动写成力学——行星与卫星的摄动、潮汐、地球的形状、木卫的共振、彗星的轨道,凡有方程可列处,无一处不列。

这本书的写法有一条著名的特点:凡是用得到的地方,「正如易于证明」一句直接跳过推导——「il est aisé de voir」成了全书出镜率最高的短语。读者叫苦,作者不悔:在他看来,宇宙的账本只有一份,抄清楚比解释周到更要紧。后世研究者把书里每一句「易于证明」补全,用了几乎一个世纪。

五卷的目录几乎就是本册前几幕的目录:第一二卷收摄动理论与木土大不等、月球理论;第三卷收地球形状与潮汐;第四卷收木卫共振与彗星;第五卷收增补——直到最后一刻他还在修改。同一个宇宙,被一个把账算到底的人从头到尾写了一遍。

本幕看三样由这套工作生出的东西:一种变换、一种函数、以及一只著名的妖怪。

第五幕 · 数学拉普拉斯变换:微分变代数p.35

处理概率与天体问题时,拉普拉斯发明了一件日后传遍工程界的工具:对函数 f(t) 做变换

F(s) = ∫0∞ e−stf(t) dt

妙处在于:对 t 求导,在变换后只是乘一个 s。微分方程由此降格为代数方程。两个基本例子实算如下。

例一:f(t) = 1。积分 ∫0∞ e−st dt = [−e−st/s]0∞ = 1/s(s > 0)。

例二:f(t) = t。分部积分:∫0∞ t e−st dt = [t·(−e−st/s)]0∞ + (1/s)∫0∞ e−st dt = 0 + 1/s2,故 L{t} = 1/s2。

用它解方程:y′ + y = 0, y(0) = 1。两边变换,利用 L{y′} = sY(s) − y(0):

(s+1)Y(s) = 1 ⟹ Y(s) = 1/(s+1) ⟹ y(t) = e−t

微分方程三步变代数,一步不多。这门「翻译术」在拉普拉斯手里是概率的算具,二十世纪成了电路与控制论的语言。

第五幕 · 数学母函数:给数列一个名字p.36

《概率的分析理论》第一编整整一百多页只做一件事:把无穷数列装进一个函数。对数列 a0, a1, a2, …,定义母函数

G(z) = a0 + a1z + a2z2 + …

整个数列被压缩成一个 z 的表达式;数列的递推关系变成 G 的代数方程——母函数是拉普拉斯变换的离散表亲。

实算:斐波那契数列 1, 1, 2, 3, 5, 8, …(Fn+1 = Fn + Fn−1)。设 G(z) = Σn≥0 Fnzn,把递推两边乘 zn 对 n 求和,整理得

G(z) = z/(1 − z − z2)

分母的零点 z = (±√5 − 1)/2 离原点最近的在 0.618——母函数顺手交出通项公式与增长率:斐波那契数按黄金比的节奏指数增长。

它为概率而生:拉普拉斯用母函数实算了经典的破产问题——赌徒每次以概率 ½ 赢或输一注,从 1 注赌到 6 注,破产概率恰为 5/6;一般地,从 i 注赌向 N 注,破产概率 i→N−i 之比即 (N−i)/N。递推的算术,被一个函数的名字收编。

第五幕 · 数学一只妖怪的诞生p.37

1814 年,《概率的哲学随笔》第二节写下科学史上最著名的思想实验之一:设想一位智者,知晓此刻自然界全部的作用力与全部事物的位置,且有能力把这些数据做分析——对它而言,没有不确定;未来如同过去,一览无余。后人给它起名「拉普拉斯妖」。

这段话不是文学,而是力学的一个定理的哲学读法。定理:只要运动方程给定、初始条件给定,解就唯一确定。以最简情形实算:

y″ + y = 0,y(0) = 1, y′(0) = 0

两个初始条件恰好钉死两个积分常数,通解 y = c1cos t + c2sin t 中 c1 = 1、c2 = 0,唯一解 y = cos t——初始条件即命运。宇宙在这幅图景里是一台取走初始值就照本宣科的机器。

但拉普拉斯在同一本书里留着另一面:正因为妖怪做不到(数据永远不全),概率才是人类的数学。全书两卷的分工就是这句话——第二卷讲妖怪的理想,第一卷讲人的处境。决定论与概率论在他笔下不是对立,而是一对配合:方程管理想,概率管现实。

二十世纪混沌理论给「初始条件即命运」补了一条脚注:初始条件的微小差异会指数放大——妖怪即使存在,也算不准。这是后话。

第五幕 · 暗线晚年与身后p.38

帝国终结、波旁复辟,拉普拉斯的政治轨道又一次平稳转弯:拿破仑封的伯爵,复辟后变成侯爵,还领了爵位年金。批评者说他见风使舵;他自己的说法朴素得多——科学要活,科学家就得先活下来。经度局、综合理工学院、科学院的席位,一件都没丢。

晚年的他把家安在巴黎以西的阿尔克伊与乡下,上午写作,下午见客。1825 年,七十六岁的他改完《天体力学》最后一卷补编。1827 年 3 月 5 日,他在巴黎去世,距牛顿诞辰整一百周年;同月,另一头贝多芬也在维也纳谢幕。一个把宇宙写成方程的时代,正在交班。

身后有两条值得记下的注脚。其一,他临终前的话被友人记下:「我们所知的甚少,我们未知的无穷。」——与那只全知的妖怪恰成对照,妖怪是他的定理,这句是他的自省。其二,他葬在拉雪兹神父公墓,墓碑上没有头衔、没有名言,只有姓氏:把全部头衔都留在方程里的人,不需要别的碑文。

第五幕 · 交汇两本巨著的合流p.39

《天体力学》与《概率的分析理论》,一册写必然,一册写偶然,出版的年代只差十三年,作者的手法却完全一致。把它们并排放下,合流处有三条。

其一,同一个误差观:天文观测的偏差用正态曲线处理(第四幕),骰子与出生的涨落用同一条曲线处理(第三幕)——必然的世界里读出必然的偏差,偶然的世界里读出必然的形状。

其二,同一只妖怪:《天体力学》是妖怪的世界——方程给定,未来确定;《随笔》是人的世界——数据不全,概率登场。两册合读,妖怪与人类各得其所,谁也不吃掉谁。

其三,同一种志向:拉普拉斯在两本书的导言里都写过同一句话的变体——概率论归根到底只是把常识化成计算。天上的引力如此,人间的判断亦然。他的整个体系,是对「世界可以被理解」这一信念最彻底的一次执行。

第五幕 · 小结这一幕在讲什么p.40

故事线:1799—1825,五卷《天体力学》写成,直到 1827 年去世前两年还在修改;晚年与身后两条注脚——「我们所知的甚少」,与一块只刻姓氏的墓碑。

数学线:拉普拉斯变换把微分降为代数,实算 L{t} = 1/s2、y′+y = 0 三步解出 e−t(p.35);母函数把数列装进函数,斐波那契 G(z) = z/(1−z−z2),破产概率 (N−i)/N(p.36);拉普拉斯妖是初值唯一性的哲学读法,y″+y = 0 钉死 cos t(p.37)。

暗线:必然与偶然在他笔下是同一套方法的两面——方程管理想,概率管现实。二十世纪的混沌理论与公理化概率,各接走了其中一面。

五幕至此。收束页把整册串成一条时间线。

收束回望:一条时间线p.41

把五幕串回一条线,正好是十八世纪末到十九世纪初欧洲数学的一条主轴。

1767,十八岁的农家子进巴黎,带着一叠手稿与一封推荐信。1773,二十四岁进科学院,领到那道大题:太阳系稳定吗。1785,木土大不等周期 878 年发表,悬案一结案。1787,月亮的加速由地球偏心率解释,悬案二结案。1796,《宇宙体系论》附录七放下星云假说。1799—1825,五卷《天体力学》陆续成书。1812,《概率的分析理论》把概率变成分析。1814,《随笔》写下那只妖怪与「把常识化成计算」。1827,在巴黎去世,墓碑上只有一个姓氏。

六十年,两部巨著,一门被彻底改写的概率论,一个被算到底的太阳系。而这条线上的每一格,都不是天赋灵光,而是一篇接着一篇的论文——三百余篇,几乎全部围绕同一对主题。

时间线的下一格属于后来者:正态曲线走进一切测量,最小二乘走进一切实验室,星云假说走进二十世纪的望远镜。他的账,后人一直在接着算。

收束他的书该怎么编p.42

拉普拉斯留下的主要著作四部,各有各的读法。给不同的读者排四条路线。

只想知道他讲了什么故事:读《宇宙体系论》——这是他唯一一本为大众写的天文书,星云假说就藏在附录七;文字平易,几乎不用数学。想看概率怎么想:读《概率的哲学随笔》——一百来页的小书,是六百页大著的导言,他本人视其为「给所有人的版本」;本文 p.23 的太阳与 p.37 的妖怪都在这里。

想看引擎本身:《概率的分析理论》1812 年版;先读导言(即《随笔》),再进第一编的母函数——一个数列如何被一个函数收编,p.36 已给样例。想看天上的账:《天体力学》不必通读,挑第一卷摄动通论与第二卷月球理论即可;备一册鲍迪奇的英译本,把「正如易于证明」逐句补全,本身就是极好的练习。

四条路线殊途同归:他一生的书都在讲同一件事——世界有一本总账,而总账是可以算的。

收束 · 暗线三个还没有答案的问题p.43

本册收在三道题目上——它们在他那个年代悬着,今天也各有各的悬法。

其一,太阳系真的永远稳定吗?他证明了摄动的一阶、二阶不变性,但高阶的长期项是否真的有界,要到庞加莱(1890 年代)才看清:三体系统一般不存在可以求出的封闭解,轨道对初值敏感。妖怪算准了方程,却算不准初值——确定性不等于可预言性,这是他对决定论留下的最深的注脚。

其二,概率到底是什么?他把概率建成分析大厦,却把地基(「等可能」的定义)留给了常识。二十世纪科尔莫戈罗夫的公理化把概率定义为满足三条公理的测度,争吵才算安顿;而「概率描述的是频率、信念还是世界的倾向」,至今仍是哲学的活题目。

其三,星云假说的对岸还有多远?他猜中了行星盘,但行星如何从盘里长出来——尘埃如何聚成千米级的天体——今天的行星形成学仍在逐级补链。他放下的那团云,人类还在往里看。

动手做掷硬币,画出一座钟p.44

本册反复出现的那条钟形曲线,可以用一枚硬币亲手画出来。材料:一枚硬币、一张纸、一炷钟的时间。

步骤一:掷 10 次硬币为一组,记下正面的次数(0 到 10)。步骤二:重复 100 组,得到 100 个数。步骤三:在纸上画一排格子,横轴是「正面次数 0—10」,把 100 个数按次数落到对应格子上,叠成柱状图。

预期的形状:中间高、两边低、左右大体对称,峰在 5 附近——理论值:每组正面次数服从 B(10, ½),出现 5 次正面的概率

C(10,5)/210 = 252/1024 ≈ 0.246

即 100 组里约有 25 组恰好落在 5 上;出现 0 次或 10 次的概率各仅 1/1024,100 组里平均不到 1 组。这就是 p.22 那条定理的实物版:试验越多、格子里越接近一条光滑的钟。

追问一步:把 100 组合并成 1,000 次掷币,正面总数大约是多少?期望 500,标准差 √(1000·½·½) ≈ 15.8——总数落在 484 与 516 之间的概率约九成五。掷得越多,比例越稳:这正是大数定律的手感。

动手做给五组数据配一条直线p.45

用纸笔把 p.29 的最小二乘走一遍完整的五点版本。任务:树苗五年的高度记录(单位米)——(1, 1.8)、(2, 2.6)、(3, 3.1)、(4, 4.2)、(5, 4.7)——配直线 y = a + bx。

第一步,列账:Σx = 15,Σy = 16.4,Σxy = 56.6,Σx2 = 55,点数 n = 5。第二步,正规方程(对 a、b 求导令零):

5a + 15b = 16.4; 15a + 55b = 56.6

第三步,解:b = (5×56.6 − 15×16.4)/(5×55 − 152) = 37/50 = 0.74,a = (16.4 − 0.74×15)/5 = 1.06。拟合线

y = 1.06 + 0.74x

读结果:b = 0.74 是「每年长高约 0.74 米」的估计;a = 1.06 是「种下第一年年初的口径」。把五点与这条线画在同一张图上:没有一点恰好落在线上,但每一点都在自己的位置上发了言。

追问一步:换掉任何一个观测点,直线怎么动?动得最厉害的是离群的那一点——平方把远处的偏差放大,最小二乘对离群值最敏感:这既是它的锋利,也是它的软肋。

小典本册关键词条p.46

摄动(perturbation):一颗行星受其他天体引力作用而偏离二体椭圆的现象。处理法:把偏差展开为三角级数逐项修正。木土大不等是其中最著名的一项。

木土大不等(grande inégalité):木星与土星之间周期约 878 年的长周期性加速—减速,源于速率组合 2nJ − 5nS 接近零。拉普拉斯 1785 年定周期,哈雷看到的「加速」只是长波的一段。

逆概率(probabilité des causes):由观测反推原因的算法,今称贝叶斯定理。拉普拉斯以均匀先验系统使用,巴黎出生登记为其实算名例。

德莫弗—拉普拉斯定理:二项计数分布在大量重复试验下向正态曲线收敛;拉普拉斯把德莫弗的特殊情形推广为一般定理,是中心极限定理的先声。

继承规则(règle de succession):事件连续出现 n 次后在均匀先验下再次出现的概率 (n+1)/(n+2)。「太阳升起」是它的著名应用,附有先验限定。

误差曲线与或然误差:观测偏差服从正态密度 φ(e) = (1/(√(2π)·σ))exp(−e2/(2σ2));一半偏差落在 ±0.6745σ 内,观测手册称或然误差。

最小二乘法:取偏差平方和最小的合成规则。勒让德 1805 年发表,高斯 1809 年给出正态推导,拉普拉斯 1810—1812 年证明其最优性。

星云假说:《宇宙体系论》附录七:太阳系起源于一团旋转并冷却凝集的气体云。二十世纪以光谱学与原行星盘观测获得支持。

拉普拉斯变换:F(s) = ∫0∞ e−stf(t)dt,把微分方程降为代数方程;二十世纪成为电路与控制论的通用语言。

小典本册人物与书目p.47

人物

皮埃尔-西蒙·拉普拉斯(1749—1827):本册主人公。诺曼底博蒙特昂奥日人,科学院院士、经度局创始人之一、综合理工学院考官。《天体力学》五卷与《概率的分析理论》的作者。

达朗贝尔(1717—1783):百科全书主编与微分方程大家,拉普拉斯进入巴黎的引路人;掷币悖论与「他本身就足以举荐他自己」都与他有关。

孔多塞(1743—1794):数学家与启蒙哲学家,概率的社会应用(陪审团定理)的另一位主角,与大革命中的拉普拉斯同台。

拉瓦锡(1743—1794):化学家,与拉普拉斯合作过量热与气体实验;1794 年死于革命法庭。

勒让德(1752—1833):最小二乘法的发表者(1805),优先权之争的一方。

高斯(1777—1855):正态误差理论的另一奠基人,《天体运动论》(1809)的作者,与拉普拉斯隔着国境互相致敬又互不相让。

主要书目

《天体力学》(1799—1825);《概率的分析理论》(1812);《概率的哲学随笔》(1814);《宇宙体系论》(1796)。全集十四卷,1878—1912 年由巴黎出版。英译本:鲍迪奇《天体力学》四卷(1829—1839)。

延伸一条曲线的三副面孔p.48

本册出镜率最高的是同一条曲线。把它三副面孔并排放着,是理解十九世纪科学的一把钥匙。

第一副,误差的面孔(p.28):观测偏差的分布。钟形是「无数小毛病叠加」的必然形状——这一副是物理的。

第二副,概率的面孔(p.22):大量重复试验计数的极限形状。掷骰、掷币、出生,凡可数者重复万次皆向它靠拢——这一副是数学的。

第三副,社会的面孔(p.21、p.24):出生登记、测量记录、陪审表决——一切「人群的行为在总体上显出规律」的场合。凯特勒后来用同一条曲线丈量士兵的胸围,统计学的时代由此开场。

三副面孔同一条曲线,这件事本身就是十九世纪最重要的发现之一:偶然不是混乱的别名,而是另一形式的秩序。拉普拉斯给这条曲线写好了方程,后来的世界把它用在了所有地方——从天文台的车间,到保险公司的账房,再到今天每一次对「正常范围」的界定。

延伸三桩公案与延伸阅读p.49

公案一:「陛下,我不需要那个假设」是真是假?此语最早见于五十年后的转述文字,叙述者各本措辞不同,拿破仑本人的记录里没有它。考据家的共识:话的神韵属于拉普拉斯,字句未必出自当场。本册的处理:p.17 只引其神,p.31 存其疑。

公案二:最小二乘归谁?勒让德 1805 年发表在先,高斯宣称使用在先并给出最深推导,拉普拉斯补足最优性证明。三人的贡献不在同一层:规则的发表权归勒让德,方法的正当性归高斯与拉普拉斯。教科书里合称「高斯—马尔可夫定理」的近代版本,是这条链的延续。

公案三:星云假说与康德?康德 1755 年的猜测独立于拉普拉斯(他当时不知康德其书);两人路径不同——康德自哲学出发,拉普拉斯自角动量账目出发。后人合称康德—拉普拉斯假说,是对两人各自的公平。

延伸阅读:《概率的哲学随笔》有通行中译本,适合作为读他的第一本书;《宇宙体系论》中译本含星云假说附录;学术传记首推吉勒斯皮尔(C. C. Gillispie)《皮埃尔-西蒙·拉普拉斯》(1997),生平与论文年表以它为准。

给家长这册在讲什么p.50

这一册讲的是一个人把「必然」与「偶然」同时收进数学的故事。故事的主人公出身农家,父亲本指望他做教士——这件事是给孩子的第一课:起点不决定终点,决定终点的是长期做的那件事。

全书的主线只有一句话:世界这本账是可以算的——连不确定的那部分也可以。故事从一位外省少年的一封信讲起,讲到天文学家望见的两笔烂账,讲到骰子、出生登记与陪审席,讲到一条管住一切测量的曲线与一团转了一百五十年才被看见的云。孩子读完能带走的东西:一张亲手画的钟形柱状图、一条亲手配出的直线、以及「偏差也是一种信息」的眼光。

数学层的部分家长可以放心:本册所有运算只用分数、求和、开平方与最基础的求导、积分,每一步都从定义走起——期望、逆概率、最小二乘都是从具体数字开始的,没有先修要求。如果孩子只读故事层,他也能完整读完一条传记线:进京、结案、著书、身后——五幕独立成立。

暗线「把不确定也变成一门数学」是留给大人的部分:面对混乱的读数与来历不明的东西,抱怨无益,立规律才有出路——这句话适用于测量,也适用于生活。

给家长可以一起聊的三件事p.51

其一:太阳系会不会散架?可以先用比喻开场:一屋子的人彼此轻轻推挤,队伍会散吗?再讲本册的答案:推挤不散架,因为推挤是「来回摆」而不是「单向滑」——木星与土星八百多年一个来回。聊点:担心与计算的区别。担心停在「会不会」,计算走到「多久、多大、什么方向」。

其二:为什么掷得越多越接近一半?一起做 p.44 的实验,让孩子先猜「100 组里恰好 5 个正面的大约几组」,再对答案(约 25 组)。聊点:偶然的单次与稳定的大量——「运气」这个词在 100 次之后会自己变成「规律」。

其三:「我不需要那个假设」狂吗?先讲故事:有人问他书里为什么没有造物主。再问孩子:这句话是傲慢,还是底气?聊点:底气来自哪里——来自两笔悬案真的被旧定律算清了。这句话的反面也值得聊:他临终说「我们未知的无穷」——同一个人,两个方向都诚实。

三件事的共同落点:世界比直觉大,但比神秘小;中间那一段,是可以算的。

版权与编目版权页p.52

《数学家的故事》第三辑 第 26 册
拉普拉斯 · 宇宙的计算者

体例:五幕 · 52 页 · 三层可读(故事/数学/注疏)
插画:40 幅(留白线体)
数值:全册关键数值实算复核

本册为「格物致知」系列数学通识读物之一,面向全龄读者。
故事层无需预备知识;数学层对应小学高年级至初中;注疏层供检索与延伸。

格式 · 格物致知 · JUST FOR FUN