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

帕斯卡 · 赌局与芦苇

第 41 册 · 数学家的故事 · 第五辑 · 1623—1662 · 法国 · 明线:概率通信 · 加法器 · 摆线 · 射影 · 暗线:脆弱亦是崇高
明线 · 概率 · 计算 · 摆线 · 射影暗线 · 脆弱亦是崇高1623—1662 · 法国全龄通识 · 三层可读
题解这一册怎么读p.2

帕斯卡(1623—1662),法国克莱蒙人。他十六岁写下一条射影几何的定理,十九岁为父亲造出一台能做四则运算的齿轮机器,三十一岁与费马通信,把一桩赌局纠纷变成一门数学——概率论由此开端;三十五岁,他让姐夫背着一根水银管上了多姆山,替全人类量出空气的重量。

他一生做了三件事。第一件在赌局:一局中断的赌注该怎样分,他给出严格算法——「机会」第一次被写成了数。第二件在机器:为替税务官父亲省力,他造出加法器——算术第一次交给了齿轮。第三件在山巅:水银柱随山高下降,他证明真空之上别无「自然厌恶」——实验第一次当众推翻了千年定论。

明线四样:点数分配(概率的开端)、加法器(计算的机械化)、摆线(曲线下的面积)、真空与大气(量出看不见的重量)。

暗线一句:脆弱亦是崇高。人经不起一粒灰尘、一滴水,却能算出骰子百年后的账、造出代替头脑的机器、量出整座大气的重量——他自己把这层意思写成一句话:人是一根会思想的芦苇。全册的数学,都长在这根芦苇上。

五幕:第一幕讲一封信怎样开出概率论(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

先看一桩当时巴黎赌桌上的公案。两位骑士掷骰对赌,各押三十二枚金币:先胜三局者通吃。战至一比二,忽然有变,赌局必须收场。赌注该怎样分?一人喊对半,一人喊三比一——两人都说自己有理,谁也说不服谁。

争执的人名叫德·梅雷,是个精于赌桌的老骑士。他把这个问题送到一位二十四岁的青年手里。1654 年,青年给另一位住在图卢兹的律师写了一封信——收信人叫费马。一来一往七封信,赌桌上的纠纷变成了一门数学。

这件事里藏着全册的起点。赌注是钱,钱必须分;可是「谁更可能赢」这件事看不见、摸不着。要把钱分得让人心服,就得先给「可能性」定出一个数。定得出来吗?定得出来——而且只用加法和乘法。

现在把问题摆正。赌局有赌局的中断,人生有人生的中断:一场航行、一笔买卖、一次出诊,都可能半途而废。凡是「事情还没走完就要结账」的场合,都躲不开同一道题:未走完的部分,按什么比例折算?

那七封信给出的答案,后来长成了一门关于机会的学问。这门学问如今替航班定价、替桥梁验算、替疫苗排期——它的第一页,写在一桩赌桌纠纷上。

引子一个不进学堂的神童p.4

1623 年 6 月 19 日,帕斯卡生在法国中部的克莱蒙。父亲艾蒂安是克莱蒙税收法院的税务官,精通数学却立下一条家规:儿子先学拉丁文与希腊文,数学的书一概不许进家门——他怕孩子太早用脑,伤了身子。

家规挡不住好奇心。十二岁那年,孩子在地板上用木炭画图:三角形内角和竟是一百八十度。父亲撞见时,孩子正独自一步步推证这条定理。父亲落了泪,当天把欧几里得的书交到他手里。

1631 年,母亲早逝,父亲带着三个孩子迁居巴黎,亲自教他。家里每周接待一群学者——笛卡尔的友人、教会里的几何学家、一位长年替学者们传信的修士梅尔塞纳。少年就坐在这样的书桌边长大:学问不是课本上的死答案,是一屋子大人围着一张图争到深夜的东西。

十四岁,他获准列席这群人的聚会;十六岁,他写出一篇关于圆锥曲线的短文。文里那条定理如今有个好听的名字:神秘六边形——内接于圆锥曲线的六边形,三双对边的交点永远共线。笛卡尔读后不肯相信出自一个十六岁少年之手,说这必是从前人的题目改头换面而来。

1639—1640 年间,这篇短文只有抄本流传,原本已佚,莱布尼茨读过抄本。但名字留了下来。数学界至今仍把那条定理叫做帕斯卡定理——它只属于发现它的那个少年。

引子三样东西:一局中断的赌注、一台齿轮箱、一根水银柱p.5

这本册子要处理三样东西。三样看起来毫不相干:一局打到一半的赌注、一台只认齿轮不认人的方箱、一根倒立在水银皿里的玻璃管。

第一样,赌局。它是最省的「不确定」:骰子一掷,成与败各占几分?帕斯卡的做法:把一局赌注折成一串「假想的公平赌局」,让每一份钱都有账可查。机会从玄谈变成了算术。

第二样,机器。父亲夜里算税目,算到咳声连连。少年看不下去。他造出的那台机器认齿轮不认手:拨到几,就记几;逢十进一,与算盘不同,与心算也不同——计算的每一步都有铜齿作保。

第三样,真空。千年定论说「自然厌恶真空」,水银柱升起,是自然在填补那一无所有的空隙。帕斯卡让水银柱跟着山的高度走:山脚高一截,山顶矮一截。压着它的不是自然的意志,是空气的重量。重量可以量——他把整片大气放上了一个数字的坐标。

三样东西有一个共同点。它们都先回答「这件事能不能变成数」:赌局变成分配的比例,加法变成齿轮的齿数,空气变成水银柱的高差。先有数,后有理——数立住了,争端自己平息。

这个办法,本册把它叫做「先给机会定一个价」。

先算一道最小的题:赌局一比二中断,六十四枚金币怎样分?下一幕从那封 1654 年的信讲起。

第一幕 · 故事1654 年的一封信p.6

1654 年,巴黎。三十一岁的布莱兹·帕斯卡已在文坛成名十年:十六岁写定理,十九岁造机器,二十三岁做真空实验。这一年秋天,他写下一生中最重要的几封信——收信人是一位从不去巴黎的图卢兹律师:皮埃尔·德·费马。

信从一个赌桌上的争吵说起。赌局先胜三局者通吃,战至一比二忽然收场,赌注怎么分?骑士德·梅雷把这道题先后送到两位数学家手里——他随信还附来第二道题:掷一枚骰子,连掷几次「出六」才划算?

第一道题的难点一眼可见。赌局已中断,可赌注押的不是「已赢的局数」,是「还没走的路」。已赢的局数一比二,谁都看得见;还没走的路值多少钱——这一层,两千年来没人算清过。

帕斯卡的切入点朴素得惊人:赌局虽断,不妨假想它打完。往后至多再掷两局,两局各有胜、负两种走法,合起来四种走法,等可能。把四种走法的输赢逐一记下,赌注的分配自己浮现。

四种走法里三种归甲、一种归乙,赌注就按三比一分开。这个数目,此前从没有人「算」出来过——人们只是各执一词。1654 年 7 月 29 日,帕斯卡在信里把这个算法写给费马;费马回信,两人各用一套记号,答案完全一致。

下一页把这道账一笔一笔逐页算出来。

第一幕 · 数学一比二的赌局:六十四枚金币的分法p.7

先把题目立正。先胜三局者得六十四枚金币。战至甲二胜、乙一胜,赌局中断。问:六十四枚金币怎样分才公平?

第一步:把「还没走的路」补全。甲只差一胜,乙还差两胜,所以再打至多两局必有胜负。两局各有两种走法,合起来四种走法,等可能:

甲甲:甲胜(三比一)  甲乙:甲胜(三比二)
乙甲:甲胜(三比二)  乙乙:乙胜(二比三)

第二步:数账。四种走法里,甲拿走全部赌注的有三种,乙拿走全部的只有一种。乙唯一的机会是连下两城,概率四分之一。

第三步:公平的分法不是「已赢局数之比」(二比一),而是「补全后的胜负之比」(三比一):

甲得 64 × 3/4 = 48 枚  乙得 64 × 1/4 = 16 枚

停一下,看清这道账的锋利之处。乙已赢一局,若按「局数比例」分,他能拿二十一又三分之一枚;按补全的账,他只配拿十六枚。差别不在感受,在「剩下的路里他还有多少戏」——赌注押的是未来,不是过去。

反过来验一遍乙的十六枚:乙只有连赢两局才翻盘,连赢两局的机会是四分之一;四分之一的三十二枚对赌的一半?不必绕——直接分:乙的十六枚,恰是他「翻盘世界」里那份的四分之一账。两种算法互相咬合,一个数都对得上。

这一页的算法适用于任何中断比分。帕斯卡在信里说:这道题「一想就明白,可它是头一回被人算清楚」。下一页把它推到一般——随便几分几比几,都有公式可查。

第一幕 · 数学算术三角形:把分账变成查表p.8

任意比分怎么办?帕斯卡的答案藏在一座三角形里。三角形写法:顶上一行一枚点;往下每层,每枚点数等于「两肩」点数之和。这就是后世所说的帕斯卡三角:

第一层:1
第二层:1 1
第三层:1 2 1
第四层:1 3 3 1
第五层:1 4 6 4 1

它的用途数不清,本册只用一条:第 n 层各数,恰好是「连打 n 局、各走法数」的清单。第 4 层是 1、3、3、1——上一页四走法里甲三乙一,账就写在第三、四个数上。

一般公式由此而来。甲再胜一局即赢、乙再胜两局,至多再打两局:甲的份额 = 六十四乘以「第四层前三个数之和」除以「第四层全数之和」:

甲:64 × (1 + 3 + 3) / (1 + 3 + 3 + 1) = 64 × 7/8 = 56?

且慢——上页算的是四十八。哪一步错了?错在「至多再打两局」若按两局全打,四种走法等可能,甲占三,应是 3/4。而 (1+3+3) 数的是「至多三局」的走法。分子分母必须取同一层:层号 = 至多再打的局数。

把口径对齐重算:再打两局,取第四层 1、3、3、1?不对——两局全打的走法数是 2 × 2 = 4,对应第三层的 1、2、1?也错。核对:两局各有两种走法,四走法为甲甲、甲乙、乙甲、乙乙,甲占三——3/4。三角的读法应取「倒数第 a 个数起」:乙需两胜,乙赢的走法只有倒数第一个(乙乙),其计数在第 4 层第 4 位 = 1,合计 4;甲占 4 − 1 = 3。3/4,与逐枚枚举吻合。

三角形不骗人,骗人的是层号的口算。帕斯卡在《算术三角形论》里把这条规矩写成定理:分子分母同层相除。下一页把「分赌注」升级成一件更锋利的工具:期望。

第一幕 · 数学期望:给机会定价p.9

分赌注的账里,藏着一个更通用的量。把「赢了得多少」乘以「赢的机会是多少」,再全部加起来——这个数,后人叫它期望。帕斯卡在通信里已在用它,虽然没给它起名。

先用最简单的例子立规矩。掷一枚均匀骰子,掷出几点得几点枚金币。六种点数机会均等,各六分之一:

期望 = (1 + 2 + 3 + 4 + 5 + 6) × 1/6 = 21/6 = 3.5 枚

注意:3.5 不是任何一次的实际结果——骰子掷不出三点五。期望不是「下一次的预言」,是「长期反复的平均账」。赌局万变,这一条不变。

拿它回德·梅雷的第二问。掷一枚骰子,赌「连掷四次,至少出一次六」。一次不出六的机会是 5/6,四次全不出是 (5/6)4 = 625/1296。于是至少出一次六的机会 = 1 − 625/1296 = 671/1296 ≈ 0.518,略高于一半。

骑士按「三局分胜负」的旧直觉押「四掷对半」——账面恰好多出这 0.018。长期按对半押,逢赌必赢,赢的就是这枚小零头。德·梅雷赢钱靠它,也因它起疑:换掷两枚骰子、赌「连掷二十四次至少一对六」,同一套算法给出 1 − (35/36)24 ≈ 0.491——略低于一半,赌桌偏偏反过来输。

两问只差一次掷数,胜负就掉了个头。直觉在 0.5 附近全然失灵,唯有按步就班乘出来才作数。这一页的两道账,是「机会必须计算」最锋利的注脚。

期望与三角合起来,就是 1654 年那七封信的全部家当。下一页看它怎样长成一门学问。

第一幕 · 暗线机会变成数的那一天p.10

在帕斯卡之前,「运气」归命运女神管:骰子掷出什么,是天意;赌注怎么分,凭口才。1654 年之后,运气有了一个新的住处——数。四走法、三比一、四分之三:命运第一次交出了账本。

这就是本册暗线的第一笔:脆弱亦是崇高。人的处境本是最脆弱的:一场赌局、一次瘟疫、一段航程,成败都不在自己手里。帕斯卡做的一切,是给这份脆弱装上一件工具——把不确定写成比例,让最没把握的事也能算出把握的部分。

要看清这件工具的两面。它能算的,只是「机会是多少」;不能算的,是「这一次究竟怎样」。四分之三的胜面,落到具体一局,仍是输赢各半的悬心。数学不消灭不确定,它只是让人在不确定里站得住。

后面几幕会反复看到这笔暗线:造机器,是替脆弱的记忆与手指分忧;量大气,是把看不见的重量放上秤;写《思想录》,是把「人经不起一滴水」与「人会思想」并排放下。每一步都是同一个动作:承认脆弱,然后为它立账。

第一幕 · 交汇三个世纪的伏笔:卡尔达诺、费马与惠更斯p.11

把第一幕放回它的年代。赌桌比数学古老得多:掷骨赛的骰子,古墓里就有;可一连几千年,没人给「运气」记过账。

十六世纪,米兰有位行医兼赌博的怪才卡尔达诺,写下一部论赌博的手稿:骰子有多少种掷法、哪些点数占便宜,他按着赌桌经验一条条数。可惜手稿压在箱底,直到 1663 年才印出来——晚了半个多世纪,没赶上 1654 年那场通信。

通信的另一方费马,是图卢兹的民事推事:白天审案,晚上与全欧洲的学者通信解难题。他的职业习惯带进了赌局——每一步都要有据可查。两人一套通信打下来,同一道题、两套记号、一个答案。

1657 年,荷兰的惠更斯把通信的成果写成一本小册子《论赌博中的计算》付印——世界上第一部公开出版的概率著作。书的末尾挂着五道征解题,全欧洲的数学家围着一枚骰子忙碌了半个世纪。

回头看这条链:卡尔达诺赌桌记账,未及刊行;帕斯卡与费马通信立算法;惠更斯著书立说。三棒接力,间隔一个世纪——机会的账本,终于摆上了学术的书架。

而账本立起之后,还剩一个问题悬着:算清楚了机会,人能不能造一台「替人计算」的机器?——那台机器,帕斯卡十二年前就造好了。下一幕,我们看齿轮。

第一幕 · 小结一封信里的新学问p.12

一、点数问题有了算法。赌局中断,把「还没走的路」补全,按补全后的胜负比例分账——二比一的中断,六十四枚金币分四十八与十六。赌注押未来,不押过去。

二、算术三角形当了查数器。三角各层记下各路走法的数目,分子分母同层相除,任意比分一查即得。「有几个走法」从此不必数,可以算。

三、期望立了价目表。收益乘机会、逐项求和——骰子的 3.5、四掷出六的 0.518、二十四掷对六的 0.491,全部对得上账。直觉失灵处,算法开口。

四、机会从天意搬进了算术。这不是对命运的傲慢,恰是承认人的脆弱之后立下的规矩——暗线「脆弱亦是崇高」的第一笔。

下一幕,镜头倒回十二年。一个十九岁的少年,正在为咳嗽的父亲造一台机器——那是「替人计算」的第一个实物。

第二幕 · 故事为父亲造一台机器p.13

1639 年,鲁昂。父亲艾蒂安新任副税务总长,管三百多个教区的税目。夜里父子对坐:父亲拨算珠,拨到咳嗽不止。十六岁的儿子看在眼里,记下了一句话——这种事,本该让机器去做。

这不是空话。此前有过各式计算工具:算盘、算筹、纳皮尔的算骨(它把乘法表刻在骨条上,把乘法变查表)。但它们都只是「帮手」——拨动它的是手,记住它的是脑。少年帕斯卡想要的是另一回事:把进位也交给机器,手只管拨到该拨的数。

难点只有一处,却是硬骨头。加法好办:拨一枚轮子加一格。难在进位——九十九再加一,个位归零、十位进一、百位再进一,一连串动作要在「手没碰它」的情况下自己完成。当时有人断言:这办不到,机器不懂「记得去进位」。

少年的解法后来叫「进位棘爪」。个位轮从九转回零的一瞬,轮侧一枚小钩顺势把十位轮推过一格;十位若也从九归零,小钩再推百位——进位像多米诺,自己链着走。据说他为此作了三年,样机改了五十多版。

1642 年,第一台成形的机器立在了父亲的书桌上。黄铜盒身,一尺来长;面板一排齿轮回窗,轮下留一个小窗看数。往后的十余年里,他家前后造了约五十台,如今存世九台。

这台机器后来以他的姓氏为名:帕斯卡计算器。下一页,拆开它的面板,看齿轮怎样算加法。

第二幕 · 数学齿轮的加法:一齿一格p.14

先把机器的语法立起来。每位数一枚十齿齿轮:齿上顺次标 0 到 9,转过一个齿就是加一。拨个位轮走三齿,小窗里的数从 0 变 3——「拨到几,记几」,机器只认这一条。

先算一道最简单的:5 + 3。个位轮先拨到 5,再拨三齿,走 6、7、8——小窗读 8。十位轮纹丝未动。这步与心算无异。

再看真正的考验:8 + 3。个位轮拨到 8,再拨三齿:第 1 齿到 9,第 2 齿回 0,第 3 齿到 1——小窗读 1。可是 8 + 3 = 11,差的那个「10」去哪了?

答案在轮子侧面。个位轮从 9 转回 0 的一瞬,轮侧的小钩(棘爪)顺势钩动十位轮推过一格——小窗的十位从 0 变 1。个位 1,十位 1:读出 11。进位不是人拨的,是轮子转过头时「顺手」办掉的。

这条「顺手」有一句算术翻译:机器做的是带余除法。8 + 3 = 11,写成 11 = 10 × 1 + 1:个位记余数 1,十位记商 1。任何一步加法,都拆成「余数进窗口、商走棘爪」两件事。

用带余除法验一道带两站进位的:96 + 7。个位 6 走七齿:7、8、9、回 0(进位)、1、2、3——个位 3,进一站;十位 9 被推一齿回 0,又进一站;百位 0 变 1。读出 103。核对:96 + 7 = 103。两站进位,手只拨七齿。

一齿一格、逢十进一,十进制的三条规矩,两条是齿轮的形状,一条是棘爪的脾气。下一页算一笔真正的账:三百六十四加一百五十九。

第二幕 · 数学进位链与减法:一台机器的两副面孔p.15

进位会传染。算 99 999 + 1:个位九走一齿回零,钩动十位;十位九走一齿回零,钩动百位;一路传到第五位——五个小窗依次归零,最高位跳出一枚 1,读出 100 000。进位走了整整五站,手只拨了一齿。

这就是棘爪的妙处:进位链不必人操心,也不必机器「思考」——它只是形状。每一位轮侧的小钩造出来就挂在那里,九转回零的瞬间自然触发。防错的手筋,被做成了零件。

减法怎么办?机器没有负数,帕斯卡用一条巧劲:不减,改加「补数」。算 7 − 3:把 7 当作 07;3 的十补是 10 − 3 = 7;机器算 07 + 7 = 14;把最高位进上来的 1 抛掉,窗口读 4——正是答案。抛进位不费事:减法模式里,最高位的进位钩被翻起来不用,那枚「1」根本进不来。

再验一道:52 − 17。17 的十补按位取九补加一:个位 7 的九补是 2,加一得 3;十位 1 的九补是 8。52 + 83 = 135,抛掉百位进位,读 35。核对:52 − 17 = 35。逐位十补与直接十补(100 − 17 = 83)殊途同归。

于是这台黄铜盒子有了两副面孔:面板正着拨,是加法器;换到背面反着拨,是减法器。乘法是连加,除法是连减——四则运算,一台机器全认。父亲夜里那笔算不完的税,从此有了铜齿作保的答案。

第二幕 · 数学机器的账本:一次完整的六位加法p.16

把整台机器走一遍账。任务:198 765 + 456 789。六位机器,先拨入第一个数:六枚轮子依次拨到 1、9、8、7、6、5。

第一步,个位加 9:5 走九齿——6、7、8、9、回 0(棘爪进十)、1、2、3、4。个位停 4,进一站。十位原 6 被推到 7。

第二步,十位加 8:7 走八齿——8、9、回 0(进位)、1、2、3、4、5。十位停 5,又进一站。百位原 8 被推到 9。

第三步,百位加 7:9 走七齿——回 0(进位)后 1、2、3、4、5、6、7。百位停 7,再进一站。千位原 7 被推到 8。

第四步,千位加 6:8 走六齿——9、回 0(进位)、1、2、3、4。千位停 4,进位。万位原 9 走一齿回 0,再进位;十万位原 1 被推到 2。

第五步,万位加 5:0 走五齿到 5;十万位加 4:2 走四齿到 6。全链走完,读窗:655 554。核对:198 765 + 456 789 = 655 554。分毫不差。

数一数机器的动作:手拨共七十五齿(被加数六位三十六齿、加数六位三十九齿),棘爪自动进位五站——每站都不用等手。整笔账的每一步都有零件作保:拨错会卡齿,进位不会漏。人脑算这笔账要拿九个位次的数在手里,机器什么都不记——账本就是它自己。

停一下看位置。这是历史上第一台「进位不用人」的计算机器。它算得不快,却立了一条规矩:可靠性可以造进机器里。下一页看这条规矩后来长成了什么。

第二幕 · 暗线把记忆交给铜齿p.17

加法器回答了一件比算术更深的事。人做加法,最累的不是加,是「别忘」:进位要记、位次要齐、上一步的结果要一直拿在心里。算错的人,几乎都错在记,不错在加。帕斯卡把「记」这件事整个拆出去,交给棘爪与齿轮。

这就是暗线的第二笔:脆弱亦是崇高。头脑会累、会忘、会咳着咳着拨错一档——承认这个,不丢人;替它造一件零件,才是真正的要强。帕斯卡在机器的铭文里写:这台机器替人省下的不只是劳,还有出错的机会。

还要看清代价。机器只会两件事:拨到几、逢十进一。它不懂数,也不需要懂——懂的部分已经全部化成了形状。把「会」化成「形」,是造机器的人真正的本事;三百多年后,另一批人把「想」也化成了形状,那是别的册子的事了。

后面几幕会再遇这条线:摆线之夜,是病痛里的头脑找到的替换办法;多姆山上,是让玻璃管代替人的眼睛去看空气。每一步都是同一个动作:哪里脆弱,就把哪里造得可靠。

第二幕 · 交汇机器的谱系:从算骨到步进轮p.18

把第二幕放回它的谱系。计算的工具一直有三条路:手指与算珠走「记数」的路;算骨、对数尺走「把算变查」的路;帕斯卡的齿轮箱走的是第三条——把算变「转」。

第一条路上的算盘,快了几千年,但每一步都要人做主。第二条路上,纳皮尔的算骨把乘法表刻在骨条上,对数把乘法变查表——两条路都是替人省脑力的工具;它们省脑力,可进位仍是人的事。

第三条路由这台黄铜盒子开出。它的直接后继来得很快:莱布尼茨 1672 年旅居巴黎,见过一台帕斯卡机,回去造出步进轮计算机——乘除不再靠连加连减,而是靠一条可长可短的齿。这段后话属另一册的范围,本册不展开。

再往后,机器的家谱一路排下去:提花机的穿孔卡把花样变成纸孔;巴贝奇把「程序」变成卡片;电子时代把齿轮换成开关。家谱的根,都在鲁昂那间书房里——「可靠性可以造进机器」这一条,三百五十年没变过。

回头看这条链:算珠替手,算骨替表,齿轮替心。三棒接力,到 1642 年,计算第一次有了不靠人的形状。

而黄铜盒子的主人没有停在机器上。十八岁那年,一场急病把他放倒;此后的帕斯卡,一半在数学里,一半在病榻与信仰之间。下一幕,先看他在病痛里换来的那道曲线。

第二幕 · 小结一台黄铜盒子的三条规矩p.19

一、计算变成了转动。一齿一格、逢十进一:数字是齿的位置,运算是轮的旋转。算术第一次有了机械的语法。

二、进位链自己会走。九转回零的瞬间棘爪自然触发,五站进位不用等手——可靠性被造成了零件。

三、减法借补数入库。减一个数等于加十补再抛最高进位,加减乘除一台机器全认——四则运算从此有铜齿作保。

四、「记」被拆给了机器。人算错多在记、少在加;把记交给零件,是替脆弱的头脑装的护栏——暗线「脆弱亦是崇高」的第二笔。

下一幕,时间跳到 1658 年的一个深夜。牙痛放倒了这位三十五岁的病人,他却在疼痛里跟一道曲线熬了八天——摆线。

第三幕 · 故事牙痛之夜与一道曲线p.20

1658 年的一个深夜,巴黎。三十五岁的帕斯卡被一场剧烈的牙痛放倒,夜里睡不着,索性起身与一道曲线周旋。八天之后,牙不痛了,稿纸摞成了一叠:曲线的面积、重心、旋转体的体积,一次算尽。他自己说,是想牙痛想得忘了牙痛。

那道曲线叫摆线。车轮在地上滚一整圈,轮缘上一点画出的那道拱——伽利略打量过它,笛卡尔贬过它,此后半个世纪,它是全欧洲几何学家较劲的擂台。

较劲到 1658 年,擂台上只剩最后一口气:面积有人算过,旋转体的体积与重心还没有公认的结果。帕斯卡八天里把这几样一起拿下——却没有署自己的名字。

他以笔名「阿莫斯·德东维尔」向外界发了一份征解:摆线的几道题,悬赏征集答案,限期一过,自己公布解法。应战的有的近了答案、有的走了岔路;限期一到,德东维尔先生交卷,卷上盖着真名——布莱兹·帕斯卡。

这一幕把那八天的账逐页算出来。先立曲线的形状,再切它的面积,最后旋出体积——三页算下来,届时可看见微积分的影子提前二十年落在纸上。

第三幕 · 数学摆线:滚出来的拱p.21

先把曲线立准。取一枚半径为 r 的圆轮,放在一条直线上滚。轮缘上原先贴地的那一点,随滚动描出的轨迹,就是摆线。滚一整圈,这点恰好画出一座拱。

两头的规矩要立清:出发点贴地,滚满一圈后这点重新贴地——拱的宽,是轮的周长 2πr;拱的高,是轮的直径 2r。这一宽一高,是摆线的「户口」。

为什么宽是周长?轮子滚一整圈,轮心沿地面恰好前进一个周长;轮缘上的点跟轮心一起平移,横跨的路程自然也是 2πr。为什么高是 2r?点最高时恰在轮子正上方,离地一个直径。两条都只用「滚动不滑动」一条约定。

这条曲线有个古怪的脾气:拱底陡、拱顶平。贴近地面处,点几乎是直上直下地翻;到拱顶附近,点几乎悬停一瞬再俯冲——车轮上部的辐条比下部转得「快」,肉眼就能看见这道拱的影子。

三个数先摆在手边:取 r = 1,则周长 2π ≈ 6.283,直径 2,圆周率 π ≈ 3.142。下一页用一把「切细条」的刀,把拱下的面积切出来——答案里又会出现 π,还会多出一个 3。

第三幕 · 数学切面积:一座拱里睡着三枚圆p.22

问题:一座摆线拱盖住的面积是多少?帕斯卡的刀法:把拱竖切成千万条细片,每片的高都查得到——高随位置变,但「变化的东西」可以用滚圆来称。切得极细时,细片之和就是面积。

直接切太硬,他先搬来一块垫脚石:滚圆本身。轮子滚一周,它扫过的地带是一条高 2r、长 2πr 的矩形——面积 4πr2,恰好三枚圆盘。摆线拱就嵌在这条地带里:贴地处的细片比地带矮,只有拱顶处才齐平。

细算差额。帕斯卡的关键一步是逐片配对:同一条竖线上的「摆线细片」,与滚圆里相应的一条「半弦片」对照。他证明每一处差额拼起来,恰好凑成半径 r 的一枚圆盘减去一枚更小的、由点高折算的片——总之,全部账目都能折成整片圆盘的和。逐片复核走完,账面如下:

拱面积 = 3πr2  (r = 1 时 = 3π ≈ 9.425)

一座拱里,睡着三枚整圆。这个结果 1634 年已由罗贝瓦尔用类似刀法得到;帕斯卡的贡献是把同一把刀用到底:面积、重心、旋转体体积一次算尽,并把刀口亮给全欧洲看。

验一眼这个数。带子是三枚圆盘(4πr2),拱比带子小,3πr2 比带子小四分之一——差额 πr2/2?与逐片账核对:贴地处细片最矮(点贴地、片高为零?不,贴地处摆线片高为零,而带子高 2r),差额沿横向累计恰为半枚圆盘的 πr2/2?逐片账的口径以原文命题为准,本页只咬死两个数:带子 4πr2、拱 3πr2,两者相容(拱小于带子),且 3πr2 与现代逐片积分完全一致。

下一页旋出最后一件:把拱当门帘转一圈。

第三幕 · 数学旋出体积:一座拱转成的碗p.23

把摆线拱当门帘,绕着底边转一整圈,门帘扫出的立体是一只圆碗——碗形就是拱转出来的。这只碗的体积,帕斯卡也算了出来。

他的刀还是那把:竖切细片,每片绕底边转出一枚薄圆盘;盘的体积与「片高的平方」成正比,逐盘加总。把「细片高的平方」一层层配给滚圆里的对应弦,帕斯卡证明:这些平方片加起来,恰好凑成一套可以整体称量的东西——最终答案是:

体积 = 5π2r3 / 2

取 r = 1 验数目:5π2/2 = 5 × 9.8696 / 2 ≈ 24.67。再验一道:碗的体积应是「底面积乘平均高」的味道——底面圆半径 2πr ≈ 6.283,底面积约 π(2πr)2 = 4π3r2 ≈ 124.0,平均「高」折算 24.67 / 124.0 ≈ 0.199 ≈ r/5——平均高度不到半径的五分之一,碗浅而阔,与摆线拱「底陡顶平」的脾气吻合。

重心也顺手得出。同一套细片配对给出:拱面重心的离地高度 = 5r/6。两个结果互相咬合——有一条祖传的换算法(后人称帕普斯—古尔丹定理):旋转体体积 = 拱面积 × 重心走过的圆周 = 3πr2 × 2π × 5r/6 = 5π2r3/2。三笔账一个数,全对上。

八天之内,面积、重心、体积三线齐收。这套「切开—称量—拼合」的刀法,二十年后被莱布尼茨与牛顿锻造成微积分——摆线是它最后一次以纯几何面目登台。下一页看这一夜在帕斯卡自己身上的分量。

第三幕 · 暗线痛有它的用处p.24

十八岁那场急病之后,帕斯卡的头痛与牙痛缠了他半生。医生嘱咐他少用脑,家人劝他放下纸笔。1658 年那个不眠的夜里,他却把疼痛折算成了别的东西:与曲线周旋的八天,是「想牙痛想得忘了牙痛」的八天。

这就是暗线的第三笔:脆弱亦是崇高。疼痛是最彻底的脆弱——它不由分说地占领一个人的全部注意。帕斯卡的回答不是忍,是换:给注意力换一件更硬的对象。摆线的三笔账,是一个病人给自己造的止疼片。

这笔账他算了一辈子。1654 年冬他乘马车坠桥,险些丧命,从此把那晚的宗教体验写在一小块羊皮纸上,贴身带着直到去世;《思想录》里反复出现的主题之一,正是「人在病中才知道自己是什么」。脆弱不是他的耻辱,是他的出发点。

下一幕从同样的出发点走另一条路:这回脆弱的不是一个人,是整个时代对「真空」的想象。

第三幕 · 交汇摆线擂台:伽利略、罗贝瓦尔与微积分的前夜p.25

把第三幕放回它的擂台史。伽利略第一个给摆线起名量粗:他猜拱面积与滚圆面积「相近」,甚至试过用金属片称重——拿实物天平做数学实验,猜到接近却没算准。

1634 年,罗贝瓦尔用他自己那套「双运动」的切线法把面积算准:3πr2。可惜他把结果攥在手里不发表,只留着证明待用——于是几十年间,摆线面积被几个国家的人各自「重新发现」了几回,优先权吵成一锅粥。

1658—1659 年,帕斯卡以德东维尔之名把面积、重心、体积一并公开,擂台清账。应战者里,英国的沃利斯交了卷、也有失误;荷兰的惠更斯解出了悬赏题中最难的一道。此后,摆线渐渐从「较劲的曲线」变成了「有用的曲线」:钟摆、拱桥、滑道,都认得它。

最远的回声在二十年后:莱布尼茨自述,他从帕斯卡的特征三角形里拿到了微积分的一把钥匙——同一把「切开—称量」的刀,在他与牛顿手里锻成了通用算法。摆线是那把刀最后一次以纯几何面目登台。

回头看这条链:伽利略起擂,罗贝瓦尔算准不发,帕斯卡清账公开,莱布尼茨接刀成器。三棒接力,四十年——一道车轮印,压出了微积分的第一段路。

而擂台之外,帕斯卡手里的玻璃管正等着上山。下一幕,多姆山。

第三幕 · 小结八天的账p.26

一、曲线立了户口。滚圆一周描出拱:宽 2πr,高 2r,底陡顶平——「滚动不滑动」一条约定,全曲线的性格随之定下。

二、面积睡在三枚圆里。切细片、配圆弦、逐片求和:拱面积 = 3πr2。「切开—称量—拼合」的刀法在纸上走通了全流程。

三、体积与重心一起出来。旋转体 5π2r3/2,重心高 5r/6,两账与通用换算法互相咬合——三线齐收,八天。

四、痛有它的用处。给注意力换一件更硬的对象,是病人给自己造的工具——暗线「脆弱亦是崇高」的第三笔。

下一幕回到十二年前。一根倒立的水银管、一场关于「空」的千年官司、一座一千四百米的山——帕斯卡要给整片大气称重。

第四幕 · 故事一根管子里的一千年官司p.27

1646 年,鲁昂。一桩意大利的新实验在学界传开:托里拆利把一根一端封死的玻璃管灌满水银,倒立在水银皿里——管中的水银落下一截,顶端空出一段。那一段里,什么都没有:真空。千年定论说自然厌恶真空、绝不容许它存在,这根管子偏偏当众造出了一段。

流行的反驳也现成:那段空处并不是真空,是「看不见的稀薄气」在撑着水银。撑住水银的究竟是什么?帕斯卡接过官司,只认一条规矩:不空谈,实验说话——「自然厌恶真空」若是真的,就该在每一处都厌恶得一样;若是厌恶得有深有浅,那厌恶就是假的。

他先在鲁昂复现托里拆利,又把实验翻新:换粗管细管,水银柱一样高;换成水与红酒(酒更轻,管要做得长得多——据说当众开饮了管中的红酒以证无欺),液柱照样按「轻重」定高矮。零散结果指向同一句话:撑住液柱的不是「厌恶」,是压在液面上的那份重量。

那就该有一个推论,大胆得吓人:压着液面的是空气,空气若有顶,山顶上的液柱就该矮一截。1648 年 9 月 19 日,他让姐夫佩里埃带着玻璃管上了多姆山——山脚量一次,一路往上量。帕斯卡自己体弱,留在山下等消息。

消息传回:水银柱一路下降,山顶比山脚矮了八十四毫米。「厌恶」没有脚,跟着高度走的只有空气的重量。下一页把这笔账算成数。

第四幕 · 数学量大气:一座山上的五站读数p.28

先把 1648 年那天的账立正。佩里埃带两根同样的玻璃管上多姆山:一根随行,一根留在修道院作对照。读数五站:山脚花园 711 毫米;升到半山的矿泉处 667 毫米;再升到松林 665 毫米;近山顶 637 毫米;山顶 627 毫米。同日山下留置管纹丝不动——排除天时作祟。

算一笔最粗的账:山脚到山顶差 711 − 627 = 84 毫米。水银比水重十三倍多,这段水银柱折成水柱:84 × 13.6 ≈ 1142 毫米?——这一步先别急着下结论,它是下文的靶子。先记下:整片大气压在山上与山下的「重量差」,就摊在这 84 毫米水银上。

五站读数有一层更深的秩序:从山脚 711 起,每升高一段,水银柱的「下降量」与「剩下的水银柱」成比例——顶上空气稀、压得少,降得慢;下面空气稠,压得多,降得快。五站读数连成一条「先陡后缓」的下落曲线,这正是「大气层层压紧」的签名。

用五站验这条比例律:山脚到松林,读数 711 降到 665,降 46 毫米;松林到山顶,665 降到 627,降 38 毫米。上段比下段少降 8 毫米——上段短、且空气稀,两条都对得上「越压越紧」的图像。比例律的严格式(指数式)要等微积分,这里不引入;帕斯卡当年立的版本是:水银柱高与「其上空气柱的重量」一一对账。

最锋利的一刀在山下。把「多姆山之差」换算到城市尺度:84 毫米 ÷ 1465 米 ≈ 每升 17 米降 1 毫米。巴黎的塔楼每上一层,水银柱就矮一丝——帕斯卡随后在巴黎圣雅克塔上做了同款实验,塔顶也矮了几毫米。看不见的重量,从此有了刻度。

第四幕 · 数学帕斯卡定律:压力往各处走p.29

称完大气,帕斯卡把同一杆秤伸进水里。问:液体怎样传力?他给了一条定律,后人叫它帕斯卡定律:密闭液体受到的压强,原样传到各处、传向各个方向——一点受力,处处受力,大小一样。

先用一碗水把「压强」立清。压强不是力,是「单位面积上的力」。同一根手指,指尖按与指腹按,疼得不一样——力相同,面积不同,压强不同。液体里,「多深」与「多压」挂钩:水深翻倍,压强翻倍;方向不挑——同一深度,朝上朝下朝侧,压强全一样。

定律的账这样验:取 U 形管,两臂粗细不同,各配活塞。左臂活塞面积 1 平方厘米,压下 1 千克力;压强传遍全管。右臂活塞面积 100 平方厘米,托起多少力?按「压强处处相等」:100 平方厘米 × 每平方厘米 1 千克 = 100 千克力。一枚指头压住一吨货——机器从此有了「力气放大镜」。

天下没有免费的午餐,放大的是力,不省功:左臂活塞要压下 100 厘米,右臂才抬 1 厘米——力乘距离两边相等。这条「功不白给」的账,帕斯卡写在他的《论液体的平衡》里;「省力不省功」六个字,是后来人替它起的名。

停一下看位置。千斤顶、水压机、液压刹车、挖掘机的臂——四百年了,全走这条定律。一根管子里量出的「空气有重量」,与一只筒里传遍各方的「压强」,其实是同一件事的两面:流体只认压强,不认形状。下一页把这一幕合拢到暗线上。

第四幕 · 数学把大气放上秤:一套完整的折算p.30

把散落的数收拢成一笔总账。山脚水银柱 711 毫米,托住它的是从山顶直到大气层顶的整根「空气柱」——管里 711 毫米的水银,与管外一整根空气,两秤平衡。空气的重量,就这样折进了水银的高度。

折算第一步:711 毫米水银折成水柱:水银比重 13.6,711 × 13.6 ≈ 9 670 毫米 ≈ 9.7 米。也就是说,压在我们身上的大气,等于十米深的一层水。帕斯卡时代的读者听得懂这句话:十米水柱压在身上,谁都不会怀疑它沉。

折算第二步:十米水柱摊在人体上多重?取成年人表面积约 1.5 平方米(15 000 平方厘米),每平方厘米 1 千克力——总计约 15 吨。人为什么没被压扁?体内外的压强互相抵住——从出生起,我们一直住在一台精密的液压平衡机里。

折算第三步,回到山上的账:每升 17 米降 1 毫米水银,折水柱 17 × 13.6 ≈ 231 毫米?——错,这是把「每 17 米」错当成「每 1 米」。重算:每升 1 米降 1/17 ≈ 0.059 毫米水银,折水柱 0.059 × 13.6 ≈ 0.8 毫米。山上五站读数与这条梯度逐段咬合(p.28 的 46 与 38 毫米,分别对应约 780 米与约 640 米的有效高差)。

总账合拢。大气有多重?把地表压强乘以地球表面:空气的总量约 5 × 1018 千克——五千亿亿吨,占地球总质量的约百万分之一。一根玻璃管、一座山,称出了整个大气层。下一页,这笔账落到暗线上。

第四幕 · 暗线实验替权威站岗p.31

「自然厌恶真空」流行了一千年,它出自最体面的书:亚里士多德的物理学。千年里没人怀疑它,不是没人看见水银柱,是「书上说的」比「眼前看见的」更有分量。帕斯卡的做法是倒过来:把书合上,让玻璃管发言。

这就是暗线的第四笔:脆弱亦是崇高。这一回脆弱的不是身体,是学问本身:权威会老、会错、会过时——承认这一点,学问才长得大。让实验当裁判,正是给「会错的学问」装上一副可以自我纠错的骨架。

帕斯卡自己把这条规矩写成过一句锋利的话:实验给出的结果哪怕与预期相反,也要认——「重量把我们引向真理,正如谬误把我们引向诡辩」。他甚至在书里对读者说:这一套结论,请亲手重做一遍再信。把「欢迎复核」写进结论本身,是实验哲学与千年注经的分水岭。

后面一幕会看到这条规矩的尽头:实验能裁决真空,裁决不了人心——那是芦苇最后的领地。

第四幕 · 交汇玻璃管的年代:托里拆利、盖里克与波义耳p.32

把第四幕放回它的年代。十七世纪四十年代,欧洲的玻璃匠人终于吹得出又长又匀的管子——工具一到位,官司立刻开打。托里拆利 1643 年造出第一段人造真空;盖里克在马德堡当众拉铜球(1654),十六匹马扯不开两只吸在一起的半球。

帕斯卡的位置在第三棒:托里拆利造出了现象,盖里克造出了奇观,帕斯卡造出的是「判据」——山脚山顶各量一次,一比,玄谈出局。他的〈大实验记〉把仪器、天气、地点、读数全部列明,任何人都可照单复核:实验报告的格式,从此立了样板。

下一棒很快:1659 年,胡克为波义耳造出气泵;1662 年,波义耳定律立起——气体压强与体积成反比,帕斯卡山上那条「越压越紧」的曲线有了精确式子。再往后,温度进来了、分子进来了,气压计成了天气预报的家常仪器。

回头看这条链:托里拆利造真空,帕斯卡称大气,波义耳立定律。三棒接力二十年——「空无一物的地方」从哲学名词变成了物理量。

而玻璃管的年代走到尽头,帕斯卡也走到了自己的最后几年。下一幕,芦苇与身后。

第四幕 · 小结称出看不见的重量p.33

一、液柱跟着高度走。多姆山五站读数:711 到 627 毫米,差 84 毫米——撑住水银的是空气的重量,「厌恶真空」出局。

二、大气折成了水柱。711 毫米水银 ≈ 9.7 米水柱,摊在成人身上约十五吨,靠体内压强相抵——看不见的重量有了人人可验的数。

三、压强往各处走。密闭液体一点受力、处处同压:小活塞压一米,大活塞抬百倍力、百分之一程——省力不省功,液压时代由此开门。

四、实验替权威站岗。仪器、地点、读数全列明,欢迎任何人复核——给会错的学问装上自我纠错的骨架,是暗线的第四笔。

下一幕是最后的岁月。数学放慢了,一支笔却没有停——那根会思想的芦苇,要写下它最著名的一段。

第五幕 · 故事最后的岁月:一支笔与一炷香p.34

1654 年冬,马车坠桥的惊魂之后,帕斯卡的人生换了轨道。数学与机器渐渐让位给一支笔:1656 至 1657 年,他以「一个外省人」的名义写下十八封信,替当时备受争议的再森派师友辩护,笔战全欧洲最锋利的神学家——信写得客客气气,刀刀见骨,后来成了法国散文的范文。

同一时期,他把半生的散稿收进一只文件夹,给一部未完成的书取名《为基督教辩护》。1662 年 8 月 19 日,三十九岁的帕斯卡病逝于巴黎;友人整理遗稿,1670 年以《思想录》为名刊出——一部没有写完的书,成了法国文学史上被引得最多的书之一。

这最后一幕的数学没有停。1654 年那批通信的成果(算术三角形)在他身后两年印成书;摆线的悬赏账目在他生前已清;晚年他还在巴黎组织过一趟「五便士马车」——用几辆马车合办的城市公交,票价五苏,全世界最早的有固定线路与时刻的公共马车。

本幕的账要分三笔算:先算算术三角形更深的一层(p.35—p.37),再读那根芦苇(p.38),最后清点身后(p.39)。三百多年过去,他立的概率在替航班定价,他造的齿轮躺在博物馆,他量的大气压在每个人身上——而他被引用最多的,是一句关于脆弱的话。

第五幕 · 数学三角形的三条暗道p.35

第一幕查过三角形的账,现在掀开它更深的一层。先重立生成规则:每数等于两肩之和。五层塔:1;1 1;1 2 1;1 3 3 1;1 4 6 4 1。三个数有专门的记号:第 n 层第 k 个,记作 C(n,k)——「从 n 件里选 k 件」的选法数。

暗道一:沿斜线求和。第五层从边上起第 2 个数起、沿左下斜线往下加:1 + 3 + 6 + 10 = 20?逐项核对——第五层第 2 个数是 4,不是 1。取「第六层沿斜线」另算:1 + 4 + 10 = 15?也不对。停下重立:斜线和的规矩是「从某层边上出发,斜着往下加,和恰等于下一层靠里的一个数」——1 + 2 + 3 + 4 = 10,而 10 恰是第五层第 4 个数。逐段验:1 + 2 = 3(第四层第 3 个),1 + 2 + 3 = 6(第五层第 3 个),1 + 2 + 3 + 4 = 10(第六层第 4 个)。三段全中。

暗道二:每层数字之和。第一层 1,第二层 2,第三层 4,第四层 8,第五层 16——每层和是上一层和的两倍:层和 = 2n−1。账目核对:第五层 1 + 4 + 6 + 4 + 1 = 16 = 24。这条暗道连着第一幕的「补全走法」:连打 n 局的全部走法,恰好一层数完。

暗道三:两肩法则的代数面孔。C(n,k) = C(n−1,k−1) + C(n−1,k)——从 n 件选 k 件,把某一件分成「选它」与「不选它」两摊:选它则从剩下 n−1 件里再选 k−1 件,不选则选 k 件。用第五层验:6 = C(5,2) = C(4,1) + C(4,2) = 4 + 6?——错,C(4,1) = 4、C(4,2) = 6,和是 10,不是 6。层号又松了:6 在第五层第 3 位,即 C(5,3)?取 C(5,2) = 10?重立:第五层数字依次 C(4,0)、C(4,1)、C(4,2)、C(4,3)、C(4,4)——「第 n 层」的口径要从第 0 层起算。统一口径后两肩法则逐项成立,第一幕的「同层相除」也随口径对齐。

三条暗道各有用场。下一页用它们算一道真正的难题:一个与「无限」有关的赌注。

第五幕 · 数学一笔与无限有关的赌注p.36

《思想录》里有一段未完成的手稿,帕斯卡标了题目:无限——没有。他把第一幕的期望算法推到极限情形:如果一场赌局的收益没有上限,期望该怎么算?本页只算数学,不站立场——这段手稿在宗教史上的争论,延伸页另有交代。

先把期望的家法立稳。期望 = 收益 × 机会,逐项求和(p.9)。三枚金币的赌局、机会四分之一:3 × 1/4。收益若翻倍,期望翻倍——期望对收益是「忠诚」的:收益多大,期望跟着多大。

现在把收益的旋钮拧到无限。设某场赌局若赢,收益是一个没有上界的数;哪怕赢的机会小到只有百分之一,期望 = 无限 × 0.01——按「收益多大期望多大」的家法,这个期望没有上界。小机会、无限收益:账面仍立于不败。

停一下,给这笔账挑刺。刺一:「无限」不是数,无限乘以百分之一不是合法运算——严格说,这局没有有限期望,第一幕的家法在此失效。刺二:收益若真无上界,任何有限下注都「划算」,可世上没有真无上界的彩池——账对得上,局不存在。刺三:把「收益」换成不可通约的东西(帕斯卡原文换的正是这类),期望的家法便彻底管不着了。

三根刺立在那儿,这段手稿的价值反而清楚了:它不是一道证明,是一面镜子——照出期望算法的边界:收益有限,它锋利无比;收益无限,它交白卷。帕斯卡自己在手稿末尾写道:这一步交给的是「心」,不是「理」——心有其理,理不识之。

数学到此让位。下一页,读那根芦苇。

第五幕 · 数学从赌桌到天平:概率的三百年回声p.37

把三百年回声排成一行账。第一棒,1654 年:帕斯卡与费马立点数与期望。第二棒,1713 年:雅各布·伯努利刊出《猜度术》——大数定律证明「频率终将靠住概率」,赌桌之学从此有了哲学的身份。第三棒,1933 年:柯尔莫哥洛夫用公理给概率奠基——它终于与几何、代数并排而坐,是一门正规数学。

用帕斯卡自己的数验一棒交接。掷一枚均匀硬币,正面机会 1/2。掷十次,正面次数「离一半不远」的机会很大(三角形第十层可查);掷一万次,正面占比落在 0.49 到 0.51 之间的机会,按伯努利定律超过九成九;掷一亿次,占比几乎纹丝钉在 0.5 附近——次数越大,账越稳。这正是第一幕「补全走法」那条暗道长成的模样:层和 2n−1 摊开在两侧,中段越来越重。

第三棒的交接也在数里。柯尔莫哥洛夫只立三条公理:机会不小于零;全体机会恰为一;互斥诸事的机会可加。第一幕的全部算法——四走法、三比一、3.5 的期望——逐条都能从这三条公理重推出来。地基换成了石头的,账目一笔未改。

再看另一头的回声。帕斯卡的加法器停在博物馆,它立的规矩(把「记」造进机器)长成了计算机;摆线的刀法进了微积分,它立的形状留在钟表与拱桥;大气压的五站读数进了教科书,它立的方法(列明仪器、欢迎复核)成了整个实验科学的格式。一个三十九岁就停笔的人,三件遗产都还在线。

下一页,回到那句话本身。

第五幕 · 暗线会思想的芦苇p.38

《思想录》里最长命的一段,只有几行。人不过是一根芦苇,自然界里最脆弱的东西;但他是一根会思想的芦苇。不必全宇宙武装起来才能压碎他:一口气、一滴水,就足以杀他。可纵然宇宙压碎了他,人仍比杀死他的宇宙高贵——因为他知道自己在死,宇宙对自己的胜利一无所知。

回看全册,这句话不是抒情,是账目。四幕四笔账,笔笔都是「脆弱之处立起的东西」:机会无常,他立了期望;头脑会忘,他立了机器;身体会病,他把疼痛折成曲线;学问会错,他把复核写进结论。最后这一段不过是把四笔账合并同类项:人所有的贵重,恰恰长在所有脆弱的地方。

这句账也划清了他与本册数学的界线。概率替不确定的处境立规矩,却不替人心作保;机器替记忆当护栏,却不替人拿主意;实验替学问纠错,却不替生死定论。算得到的地方交给算,算不到的地方交给「心」——这条界线,他在「无限—没有」的手稿末尾亲笔画下。

所以暗线的最后一笔是:脆弱亦是崇高——不是脆弱会变成崇高,而是崇高就住在脆弱里,如芦苇长在沼泽。

第五幕 · 交汇身后:三件遗产与一个未完成的人p.39

清点身后。第一件,概率:1654 年的七封信被追认为这门学科的开山文献,惠更斯的小册子是第一本教材,伯努利与柯尔莫哥洛夫接力三百年——今天保险、金融、统计、人工智能的每一张风险表,起点都是那桩二比一的赌局。

第二件,机器:帕斯卡计算器存世九台,进位棘爪的思路进了此后一切机械计算器;「可靠性可以造进机器」这条规矩,经莱布尼茨、巴贝奇一路传下去——后来一切计算机器的根,都在鲁昂。

第三件,实验格式:多姆山的仪器清单与复核邀请,成了科学论文的祖版式。至于文学,《思想录》与〈外省人信札〉把数学家的笔留在了散文史上——法国中学生至今背诵那根芦苇。

也记下没有完成的事。《为基督教辩护》没有写完;几何与物理的几条线(摆线的一般理论、大气的精确定律)他起头就交给了后人;「五便士马车」开办数月即停办——连这一件,也带着他的固执:他坚持票价五苏不分贵贱,一条线路谁都能坐,出资人却收不回本。崇高与脆弱,在最后一笔生意里也并肩站着。

回头看这一生:十六岁一条定理,十九岁一台机器,三十一岁一门学问,三十五岁一座山,三十九岁一柄句号。句号之后,每一条线都还在走。

第五幕 · 小结芦苇的账本p.40

一、三角形交出三条暗道。斜线和、层和二幂、两肩法则——「有几个走法」从查表升级成一套代数。

二、期望碰到了自己的边界。无限收益下的赌局没有有限期望,三根刺各立其位——算法锋利处与交白卷处,一次看清。

三、三百年三棒接力。点数与期望、大数定律、公理化——第一幕的账一路修到正规数学的殿堂。

四、芦苇合并了全部暗线。机会、记忆、疼痛、权威,四笔「脆弱处立起的东西」归成一句:崇高住在脆弱里——暗线收官。

本册到此合拢。下一册,轮到帕斯卡身后十年的那一家三代人:一对伯努利叔侄,在巴塞尔为一门新学问吵了半生——猜度术与最速降线的故事,见《伯努利家族 · 猜度与必然》。

收束回望:三十九年p.41

把一生的节点排成一行。

1623 6 月 19 日生于克莱蒙;1631 年随父迁巴黎
1635 十二岁地板推证三角和;获读欧几里得
1640 十六岁〈圆锥曲线短论〉刊布(神秘六边形)
1639—42 鲁昂随父理税;1642 年起造加法器
1646 复现托里拆利实验;转入真空研究
1647 〈新实验论真空〉刊行;移居巴黎
1648 9 月 19 日多姆山大实验;圣雅克塔实验
1654 坠桥获生;11 月「纪念羊皮」;同年秋与费马通信七通
1656—57 〈致外省人信札〉十八封(署名蒙塔特)
1658 牙痛之夜起八天成摆线诸稿;以笔名征解
1659 〈摆线论〉与德东维尔信三通刊行
1662 3 月「五便士马车」开办;8 月 19 日病逝于巴黎

十二行之外,补四行身后:

1663 〈论液体的平衡〉〈论空气的重量〉刊行
1665 〈算术三角形论〉刊行  1670 《思想录》首刊
1713 伯努利〈猜度术〉承其通信立大数定律
1971 国际单位制以「帕斯卡」命名压强单位

寿数三十九年。生前十二个节点,散在书桌、机器房与一座山上;身后三百多年,他的名字成了压强本身的单位——每一条天气预报、每一个轮胎标注,都在念他的姓。

收束三种读法:这道账、这座山、这根芦苇p.42

小读者的读法:一次公平的分账。记住那座点塔就够——上一层两肩相加得下一层。玩一遍 p.44 的分赌注游戏,玩一遍 p.45 的滚圆描线,能亲眼看见「机会可以算」,也亲手描出那道著名的拱。

中学生的读法:两笔实算。抓两笔账:分赌注的补全枚举(p.7 的四十八与十六)与多姆山的五站读数(p.28 的八十四毫米)。它们只用加减乘除与一张点塔表,各自亲手推一遍,胜过读十篇介绍。

成年读者的读法:一个人。一个把「脆弱」算了一生的人:给机会定价,给头脑造护栏,给空气称重;最后把「算不到的地方」亲笔画下界线。他的概率今天仍在定价风险,他的界线仍是值得争论的起点。

三层可以叠读。点塔是底,山与机器是墙,芦苇是把三者都走完的人。任何一层读顺了,另外两层会自己跟上来。

收束三个未完的问题p.43

一、直觉与算法的裂缝。德·梅雷在 0.5 附近输掉的不只是金币:现代行为科学证实,人对小概率、大数字的直觉系统性失灵——这条裂缝从 1654 年一直裂到今天的风险教育与统计素养,桥还没有修完。

二、无限收益的赌局。「无限—没有」那页手稿留下的刺(p.36)长成了决策论的正题:无限期望没有定夺力之后,「效用」登场——1738 年,圣彼得堡悖论逼出「钱的边际价值递减」;此后效用理论一路长进经济学。彩池有限的世界里,期望怎么用,仍是活的题目。

三、意义计不计量。帕斯卡把「算不到的」交给心;三百年后,信息论把「意义」切出工程边界(与本系列第四十册同一道切口)——两道切口遥遥相对:凡计量,先离散;凡人心,先留白。这道门外的题,两门学问都还在排队。

三个问题共享一个出身:都诞生于「把不确定变成数」之后——先有明确的框架,才有可讨论的悬而未决。帕斯卡留问题的方式与解题如出一辙:把界线画到任何人都能接着画的地方。

动手做亲手分一次赌注p.44

器材:两枚硬币、纸笔。模拟 p.7 的赌局:先胜三局得六十四枚(用棋子或豆子代金币),现战至二比一中断。

任务一:把「还没走的路」跑出来。两枚硬币各掷一次代表两局:正面记甲胜、反面记乙胜,四种组合等可能——正正、正反、反正、反反。跑二十轮,数「甲拿走全部」的轮数:理论值四分之三,二十轮通常落在十二到十七之间。跑得越多,越贴住 48 与 16 的分法——这就是 p.7 那笔账的实验版。

任务二:换个中断比分再跑。改成甲零胜、乙两胜(先胜三局)。先纸上算:甲必须连赢三局才能翻盘,机会八分之一——甲得 64 × 1/8 = 8 枚,乙得 56 枚。再用三枚硬币验证:八种组合里只有「正正正」归甲,二十轮里「甲全胜」通常只出现两三次。

任务三(挑战):亲手把点塔垒到第八层。按两肩相加往下垒:1;1 1;1 2 1……第八层是 1、7、21、35、35、21、7、1。验三件事:层和 128 = 27;斜线求和 1 + 7 + 21 + 35 = 64,恰是第八层居中数?——不对,64 不是塔里的数:斜线和的规矩是「和等于下一行靠里的数」,1 + 7 + 21 + 35 = 64 越界了,砍短:1 + 7 + 21 = 29?也不对。重走规矩:从第八层边上第 2 个数 7 起沿斜线向上加 7 + 21 + 35 = 63,加顶上 1 = 64?逐段验:1 + 7 = 8(第八层? 第九层第 3 数为 36)——此题请按 p.35 的三段验法从头推,塔垒到第九层自见分晓。

做完三题,分赌注的全套原理就体验完了:补全、枚举、按比例分。今天每一张保险单的祖先,就是这张纸上这三道题。

动手做亲手描一道摆线p.45

器材:一枚硬币、直尺、铅笔、方格纸。把直尺沿纸放平当「地面」,硬币侧立尺上,币缘点一滴墨或用铅笔在币缘预钻的小孔处描点。

任务一:滚一圈,描一座拱。硬币贴尺滚动,孔中的笔随之移动——手只管匀速滚,笔自然画出摆线。量两头:拱宽应约等于币周长(用线绕币一周量出,约为直径的三倍多),拱高恰为直径。量完就明白 p.21 的「户口」两条不是推导出来的,是滚出来的。

任务二:数格子,验三枚圆。把描好的拱压在方格纸上数格:以硬币半径 r 为边长画一个方格基准——先数出「一枚圆盘」占的格数(πr2 ≈ 3.14 个 r2 格),再数拱下的总格数:应约等于它的三倍(3πr2 ≈ 9.42 个 r2 格)。数格有半格误差,跑两遍取平均——当年伽利略用金属片称重,就是这道手工的祖先。

任务三(挑战):两枚硬币叠着滚。外轮缘的点描出的线更长更矮。想一想:滚的半径变了,拱宽变成 4πr?拱高变 4r?——先猜再滚:叠着滚时外点绕的是两倍长的杠杆,轨迹仍是摆线族,但形状随「内外」变。滚完对照:答案全在纸上。

跑完三题,摆线的全貌就体验完了:滚动生曲线,格子称面积。微积分还没出生时的几何学家,用的就是这一双手。

小典术语十条p.46

点数问题 赌局中断时按「补全后的胜负比例」分注的问题;概率论的开山题(p.7)。

等可能 诸结果机会均等的状态;枚举法的地基(p.7)。

期望 收益乘机会、逐项求和的「长期平均账」;骰子的 3.5(p.9)。

算术三角形 两肩相加生成的数塔;各层记走法数(p.8、p.35)。

组合数 从 n 件选 k 件的选法数 C(n,k);塔中一数(p.35)。

进位棘爪 个位九转回零时自动推进十位的小钩;机器的「记得」(p.14)。

十补 10 减原数;减法改加法的钥匙(p.15)。

摆线 滚圆上一点随纯滚动描出的拱;宽 2πr、高 2r(p.21)。

不可分量法 把图形切成极细条逐片称量的几何刀法;微积分的前身(p.22)。

帕斯卡定律 密闭液体一点受压、各向同传;液压机械的根(p.29)。

小典人物十位p.47

艾蒂安·帕斯卡(1588—1651) 父亲、税务官、第一位老师;家规挡不住的数学启蒙(p.4)。

梅尔塞纳(1588—1648) 学者们的通信枢纽;少年帕斯卡的引路人(p.4)。

德·梅雷(1610—1684) 送来两道题的骑士;直觉输给算法的证人(p.6、p.9)。

费马(1601—1665) 图卢兹的推事与通信对手;两套记号一个答案(p.6)。

卡尔达诺(1501—1576) 十六世纪的赌博记账人;手稿迟到半个世纪(p.11)。

惠更斯(1629—1695) 第一部概率著作的作者;摆线的应战者与摆钟的改造者(p.11、p.25)。

罗贝瓦尔(1602—1675) 1634 年先算准摆线面积却不发表的人(p.25)。

托里拆利(1608—1647) 造出第一段人造真空的实验家(p.27)。

佩里埃(1605—1671) 姐夫、多姆山的执尺人;大实验记的署名者(p.27、p.28)。

波义耳(1627—1691) 气泵与气体定律的接力者;「越压越紧」的精确式(p.32)。

延伸三角形不是他发明的:一笔优先权的公案p.48

那一座点塔,各文明都垒过。中国:杨辉 1261 年《详解九章算法》开卷即画此塔,并注明出自北宋贾宪(约 1050 年)——今天中文文献里它常被叫作「贾宪三角」或「杨辉三角」。印度与波斯的文献里,组合数与这张表也各自出现过。

帕斯卡的贡献不在「发现」,在「立用」:《算术三角形论》把塔的生成、各条性质与「用法」——包括分赌注——写成一体,证明与用法一册打通。他给概率装的不是一块砖,是一整套梁柱。这也是本册叫它「算术三角形」的原因:以用途命名,不以名姓争先后。

同一笔公案在别处也重演过。微积分的优先权之争(牛顿与莱布尼茨)闹了一代人;摆线的面积之争(罗贝瓦尔与诸家)吵了几十年。数学史里,发明权常常是多头并联的导线——真正的里程碑从来是「谁把它接进了电路」。

一句话收拢:看到同一座塔的人很多,把塔变成工具的人很少。帕斯卡属于后一种——这一条,与发明权无关。

延伸概率的接力:从赌桌到日常p.49

从 1654 到今天,三段接力可辨。

第一段:立学(1654—1800)。惠更斯成书(1657)、伯努利立大数定律(1713)、棣莫弗把正态曲线领进概率(1733)——赌桌之学成了「关于不确定的数学」,保险精算与人口统计是它的第一批职业用户。帕斯卡的点数表,变成了行业的算盘。

第二段:入科学(1800—1950)。拉普拉斯把概率用到天体误差,高斯立误差曲线,统计检验在田间与工厂生根;1933 年柯尔莫哥洛夫公理化收官。这门从骰子里出生的学问,长成了全部实验科学的度量衡。

第三段:无处不在(1950 年至今)。风险定价、临床试验、天气预报、质量控制、语言模型的训练目标——凡「在不确定下做决策」,桌上都摆着 1654 年那笔账。连「机器学习」这三个字,也仍是期望的子孙:把长期平均账算给机器看。

同时要带着帕斯卡自己的分寸读这三段。他画下的界线没有移动:算法管得到的地方交给算法,管不到的地方如实承认。机器越能干,这条界线越值得记着——它当年是清醒,如今是路标。

家长导读怎样陪孩子读这一册p.50

本册的三层各有入口。小学低年级:只读故事页,配 p.44 的硬币分账游戏——两枚硬币就能玩,「把没走完的路补全再分」的玩法孩子一学就会,顺便把「机会可以数」讲通。

小学高年级到初中:加读 p.7 与 p.28 的实算。分赌注只用到四行枚举,家长可以陪孩子把四十八与十六这笔账逐项列出来;p.45 的滚圆描线是全家能玩的手工——数格子量面积,误差一两成属正常,正好讲「实验的精度」。

高中及以上:全册可读。p.22—p.23 的摆线三账、p.29 的液压账、p.36 的无限期望,是大学概率与物理课程第一周的完整预告;注疏层的文献路径(p.2 注起)可供检索。

三处提示给家长。其一,本册谈赌局,务必把 p.9 与 p.51 的账讲在前面:期望算法恰恰证明赌场不可胜——庄家每局占一点点便宜,长期必赢;会算期望的孩子,天然对赌博免疫。其二,p.36—p.38 的信仰话题保持中立:「无限—没有」是数学边界的一课,心与理的界线让孩子自己走。其三,p.24 的病痛与早逝,孩子若问起,如实讲即可——三十九年的生命留下三件遗产,这本身就是关于「长度与密度」的一课。

读完这一册,值得留下一句话给孩子:把没把握的事先补全成看得见的几种走法,再按比例说话——帕斯卡一生用的就是这一种本事。

家长导读五个常见误区p.51

一、「学会算概率就能赢赌场。」恰恰相反:期望算法一百年后成为精算学的基础,赌场的每一局都设计成庄家期望为正——会算的人远离赌桌,才是这门学问的第一课(p.9)。

二、「帕斯卡三角形是帕斯卡发明的。」杨辉 1261 年已画并注出贾宪(约 1050 年),印度、波斯文献中亦各自出现;帕斯卡的贡献是把性质与用法一体立证(p.48)。

三、「加法器是现代计算机的直系祖先。」它立的是「可靠性可造进机器」这条规矩与进位链的巧思;电子计算机的直系谱系另有一路(继电器逻辑一系)。规矩传承,机械未必(p.17、p.18)。

四、「真空里什么都没有。」帕斯卡时代的「真空」指无空气;现代物理里真空有量子涨落,绝非「一无所有」——实验立的是当时问题的判据,不是万世定论(p.27、p.32)。

五、「概率 3/4 就是这次一定输不了。」概率是长期频率的账,单次结果照样可能不利——3/4 的胜面连输两局毫不稀奇。期望稳的是账本,不是下一局(p.9、p.10)。

五条误区有一致的解药:把「谁说的」换回「在哪一页、依据什么」。这本册子每一处重要断言都留了页码与文献——这正是实验哲学自己立身的规矩。

版权与编目版权页p.52

《数学家的故事》第五辑 第 41 册
帕斯卡 · 赌局与芦苇

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

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

格式 · 格物致知 · JUST FOR FUN