Hero Image
费马与帕斯卡:公平分配中断的赌局

两个玩家各下相同的赌注,玩一场多局的游戏:谁先赢得规定的局数,谁就拿走全部赌注。游戏进行到一半,不得不中断。钱该怎样公平地分配? 这就是点数问题(分赌注问题)。它看起来简单,却难倒了数学家 150 多年。 错误的答案 1494 年,意大利修士卢卡·帕乔利提出按已赢局数的比例分配。如果 A 赢了 2 局、B 赢了 1 局,A 就拿走 $\frac23$。 听起来合理,其实不然。设想一场先赢 100 局者胜的游戏,在 A 以 1 比 0 领先时中断。按帕乔利的规则,A 拿走全部赌注。可游戏才刚开始,B 获胜的机会几乎一样大。重要的不是已经发生了什么,而是还可能发生什么。 1654 年的通信 这个问题经由法国贵族、嗜好赌博的德·梅雷骑士传到了布莱兹·帕斯卡手中。帕斯卡写信给图卢兹的费马,1654 年夏天两人往来了一系列书信。他们各自用不同的方法找到了答案:帕斯卡用逐步倒推的推理,费马则列举所有可能情况。 当帕斯卡看到两种方法给出同样的答案时,他写道: 我清楚地看到,真理在图卢兹和在巴黎是一样的。 — 布莱兹·帕斯卡致费马的信(1654 年 7 月 29 日) 费马的方法:数一数所有的未来 假设每一局就像抛硬币:每个玩家赢这一局的机会都是 $\frac12$。游戏中断时,A 还差 1 局,B 还差 2 局。 费马这样推理:最多再过两局,一定有人获胜。于是我们设想两局都打完,即使第一局已经决出胜负。所有可能的结果(概率都相同)是: 局 胜者 A A A A B A B A A B B B A 在 4 种情况中赢 3 种;B 赢 1 种。概率为

Hero Image
班伯里法:用分班衡量证据

炸弹机很快,但还不够快,无法测试海军恩尼格玛的每一种转子顺序。1940 年,图灵发明了一种纸笔方法,在开动机器之前就排除掉大部分顺序。由于这种方法用的纸张印制于班伯里镇,同事们把它命名为班伯里法(Banburismus)。 这是一种统计方法。为了设计它,图灵重新发明了现代统计学的一个核心思想。 重复出现的字母 把两份德文电报上下对齐,数一数两者在同一位置有相同字母的地方。由于德语大量使用 E、N、R 和 I,重合会比字母随机抽取时频繁得多。在德文文本中,对齐的两个字母相同的概率约为 $\frac1{17}$;如果字母是随机的,这个概率是 $\frac1{26}$。 恩尼格玛以一种奇特的方式保留了这个性质:如果两份电报是用同一串转子位置加密的,原文中的重合在密文中仍然是重合,因为同一位置上的相同字母会变成相同的字母。如果位置不同,比率就降到 $\frac1{26}$。所以,数重合的次数就为“两份电报是否对齐”提供了证据,从而透露出转子位置的信息。 一次重合值多少 图灵问:一次重合应该使我对“电报已对齐”的信心增加多少?答案是似然比,即在一种情况下看到重合的可能性是另一种情况的多少倍: $$\frac{\text{对齐时重合的概率}}{\text{未对齐时的概率}}=\frac{1/17}{1/26}=\frac{26}{17}\approx1.53.$$一个没有重合的位置则是相反方向的证据,弱得多: $$\frac{16/17}{25/26}=\frac{416}{425}\approx0.979.$$按照贝叶斯定理,每条证据都把几率(一个假设的概率与另一个假设的概率之比)乘以它的似然比。位置多了,乘法就多,而手算乘法很慢。 用加法代替乘法 图灵做了纳皮尔三个世纪前做过的事:改用对数,把乘法变成加法。他把似然比的常用对数称为班(ban),把它的十分之一称为分班(deciban): $$\text{以分班计的权重}=10\log_{10}(\text{似然比}).$$现在,每次重合值 $$10\log_{10}\frac{26}{17}\approx+1.8\ \text{分班},$$每个没有重合的位置值 $$10\log_{10}\frac{416}{425}\approx-0.09\ \text{分班}.$$第 8 号营房的操作员只需计数和相加。总计 $+20$ 分班,意味着证据使这个假设的几率变成原来的 $10^2=100$ 倍。 能察觉到的最小证据 在布莱切利园与图灵共事的统计学家 I. J. 古德回忆说,选择分班,是因为它大致是人的直觉能察觉到的证据权重的最小变化,就像分贝是耳朵能察觉到的最小音量变化一样。战后,古德发展了这些思想,帮助奠定了现代贝叶斯统计学。他使用的“证据权重”这套语言,来自图灵。 练习:把证据加起来两份电报对齐了 200 个位置,有 14 处重合。总权重是多少分班?对齐的假设变得更可能了吗? 有 14 处重合和 186 个无重合的位置:$14\cdot1.8+186\cdot(-0.09)\approx25.2-16.7=8.5$ 分班。是正的:支持对齐的几率大约乘以 $10^{0.85}\approx7$。如果字母随机,预期的重合是 $200/26\approx7.7$ 次;如果对齐,是 $200/17\approx11.8$ 次。14 次更符合对齐。 练习:多少次重合打成平手?在 100 个位置中,多少次重合 $k$ 会使总权重为零? $1.8k-0.09(100-k)=0$,即 $1.89k=9$,$k\approx4.8$。在 100 个位置中有 5 次或更多重合,证据就已偏向对齐。这个数介于随机预期 $100/26\approx3.8$ 和对齐预期 $100/17\approx5.9$ 之间。

Hero Image
伯努利数:七分钟算出一千个幂的和

借助这张表,我用了不到半刻钟(七分半钟)就求出:前一千个数的十次幂之和等于 91 409 924 241 424 243 424 241 924 242 500。 — 雅各布·伯努利,《猜度术》(1713),第二部分 传说少年 高斯 把第一个数和最后一个数配对,几秒钟就算出了 1 到 100 的和:$1+2+\cdots+n=\frac{n(n+1)}2$。平方和与立方和也有公式,从阿基米德和阿拉伯数学家起就已为人所知: $$\begin{aligned}1^2+2^2+\cdots+n^2&=\frac{n(n+1)(2n+1)}6,\\ 1^3+2^3+\cdots+n^3&=\left(\frac{n(n+1)}2\right)^2.\end{aligned}$$那么四次、五次、十次幂呢?十七世纪,好几位数学家一个一个地推导这些公式,写满了一页又一页。法国人伊斯梅尔·布里奥在 1682 年出版了一部厚书,费尽力气也只推到六次幂。雅各布·伯努利找到了一条能给出 所有 公式的规则。 那张表 在《猜度术》的第二部分,雅各布把这些公式一个接一个地写下来,仔细端详: $$\begin{aligned}\sum_{k=1}^n k&=\tfrac12n^2+\tfrac12n\\ \sum_{k=1}^n k^2&=\tfrac13n^3+\tfrac12n^2+\tfrac16n\\ \sum_{k=1}^n k^3&=\tfrac14n^4+\tfrac12n^3+\tfrac14n^2\\ \sum_{k=1}^n k^4&=\tfrac15n^5+\tfrac12n^4+\tfrac13n^3-\tfrac1{30}n\\ \sum_{k=1}^n k^5&=\tfrac16n^6+\tfrac12n^5+\tfrac5{12}n^4-\tfrac1{12}n^2\end{aligned}$$这里有规律。$m$ 次幂之和总是 $m+1$ 次多项式。第一个系数是 $\frac1{m+1}$,与积分 $\int_0^n x^m\,dx=\frac{n^{m+1}}{m+1}$ 一样。第二个系数总是 $\frac12$。后面的系数看起来像 二项式 $(n+1)^{m+1}$ 的系数,只是分别乘上了某些固定的数。 神秘的数 雅各布意识到,只需要一列数,今天记作 $B_0,B_1,B_2,\dots$,称为 伯努利数,就能一次写出所有公式: $$\boxed{\sum_{k=1}^n k^m=\frac1{m+1}\sum_{j=0}^{m}\binom{m+1}{j}B_j\,n^{m+1-j}}$$怎样求出 $B_j$?有个简单的诀窍:公式必须对 $n=1$ 成立,此时和只是 $1^m=1$。令 $n=1$,$n$ 的所有幂都变成 1,剩下 $$\sum_{j=0}^{m}\binom{m+1}{j}B_j=m+1.$$从 $B_0=1$ 开始,每个 $m$ 值给出下一个数: $m=1$:$1+2B_1=2$,所以 $B_1=\frac12$。 $m=2$:$1+3\cdot\frac12+3B_2=3$,所以 $B_2=\frac16$。 $m=3$:$1+4\cdot\frac12+6\cdot\frac16+4B_3=4$,所以 $B_3=0$。 $m=4$:$1+5\cdot\frac12+10\cdot\frac16+0+5B_4=5$,所以 $B_4=-\frac1{30}$。 继续下去,$B_6=\frac1{42}$,$B_8=-\frac1{30}$,$B_{10}=\frac5{66}$,而下标为大于 1 的奇数的都等于零。这些数没有明显的规律:$B_{12}=-\frac{691}{2730}$,此后增长得非常快。

Hero Image
摆线:一场牙痛带来的曲线

在自行车轮胎上点一个点,推着车沿直线前进。这个点会升起来,画出一道拱,再落下来碰到地面,车轮每转一圈就重复一次。它画出的曲线叫作摆线。 在 17 世纪,这是最时髦的曲线。法国人把它叫作 roulette。为了它的种种发现,那么多数学家争吵不休,以至于它得了一个外号:几何学家的海伦,取自引发了特洛伊战争的海伦。 车轮的方程 一个半径为 $r$ 的轮子沿直线无滑动地滚动。当它转过角度 $t$(以弧度计)时,圆心前进的距离是 $rt$,也就是碰过地面的那段轮缘的长度。那个从最低处出发的点,此时位于 $$x=r(t-\sin t),\qquad y=r(1-\cos t).$$从 $t=0$ 到 $t=2\pi$,轮子转了整整一圈。这道拱的宽度是 $2\pi r$,等于轮子的周长;最大高度是 $2r$,也就是直径。 一道摆线拱,由半径为 1 的轮子画出。拱下的面积是 3π,等于轮子面积的三倍。本博客原创插图。 伽利略称曲线的重量 大约在 1599 年,伽利略给这条曲线起了名字,并想知道一道拱下面的面积。他算不出来,就用同一种材料剪出摆线和生成它的圆,分别称重。摆线的重量几乎是圆的三倍。伽利略怀疑这个比值并不恰好是 3,于是放弃了。 它恰好就是 3。吉尔·德·罗贝瓦尔在 1634 年证明了这一点,而今天这个计算只需要几行。 用微积分求面积 曲线下的面积是许多高为 $y$、宽为 $dx$ 的细条之和。因为 $dx=r(1-\cos t)\,dt$, $$A=\int_0^{2\pi}y\,\frac{dx}{dt}\,dt=r^2\int_0^{2\pi}(1-\cos t)^2\,dt.$$把平方展开,得到三部分: $$\int_0^{2\pi}1\,dt=2\pi,\qquad \int_0^{2\pi}-2\cos t\,dt=0,\qquad \int_0^{2\pi}\cos^2t\,dt=\pi.$$最后一个来自 $\cos^2t=\frac{1+\cos2t}{2}$。相加得 $$A=r^2(2\pi+0+\pi)=3\pi r^2.$$一道摆线拱下的面积,等于画出它的轮子面积的三倍。伽利略剪下的纸片是对的。 1658 年的那个夜晚 到 1658 年,帕斯卡已经放下数学四年了。据他的姐姐吉尔贝特记载,有一天夜里他牙疼得厉害,睡不着觉。为了忘掉疼痛,他开始思考摆线。结果牙不疼了。帕斯卡把这看作允许他继续研究的信号,八天之内就解决了前人没有解决的问题:曲线各部分的面积、它们的重心,以及曲线绕轴旋转所生成的立体的体积。 随后,他以化名阿莫斯·德通维尔向全欧洲发出公开挑战。第一名的奖金是 40 枚金皮斯托尔,第二名 20 枚,截止日期是 1658 年 10 月 1 日。

Hero Image
雅各布·伯努利的遗产

雅各布·伯努利只活了五十岁,生前发表的东西不多,几乎都是《学者学报》上的短文。即便如此,很少有数学家像他一样,留下这么多我们至今天天在用的词语、符号和思想:积分、伯努利试验、二项分布、伯努利数、大数定律、随机。 “积分"这个词 莱布尼茨把导数的逆运算称为 calculus summatorius,即求和的演算,并用 $\int$ 来写它,这是 summa(和)的首字母 S 拉长后的样子。1690 年 5 月,雅各布在解决等时曲线问题时写道,两个表达式有"相等的积分”。这是 积分(integral)一词第一次出现在印刷的数学文本里。约翰采用了这个术语;1696 年,莱布尼茨同意把他的"求和演算"改称伯努利兄弟的 积分学。符号沿用莱布尼茨的,名称则来自雅各布。 年份 作者 记号或名称 出处 1659 彼得罗·门戈利 omnia $x$ Geometriae speciosae elementa 1675 莱布尼茨 $\int x$ 1675 年 10 月 29 日的手稿 1690 雅各布·伯努利 “integral” 《学者学报》 1696 莱布尼茨与约翰·伯努利 calculus integralis 通信 1822 傅里叶 $\int_a^b f(x)\,dx$ 《热的解析理论》 悬挂的链子 在 1690 年的同一篇文章里,雅各布问:两端悬挂的链子是什么形状?伽利略曾以为是抛物线。1691 年,约翰、莱布尼茨和惠更斯发表了正确答案,即 悬链线,今天用双曲余弦写作 $y=a\cosh\frac xa$。雅各布在这场比赛中输给了弟弟,但问题是他提出的。悬链线 的故事在约翰的学习路线里。 棣莫弗与正态曲线 黄金定理指出频率会接近概率,但雅各布对所需观察次数的估计过于夸大。1733 年,流亡伦敦的法国人亚伯拉罕·棣莫弗为 $n$ 很大时的二项式各项寻找更好的近似,发现了钟形曲线 $$y=\frac1{\sqrt{2\pi}}\,e^{-x^2/2}.$$这是 正态曲线 的首次出现,后来拉普拉斯和高斯把它放到了统计学的中心。有了它,雅各布的罐子只需大约 6 500 次抽取,而不是他算出的 25 550 次。

Hero Image
帕斯卡原理:用水放大力

一头大象和一位穿高跟鞋的女士:谁会在松软的泥地上陷得更深?可能是那位女士。大象比她重五十倍,但它的重量分散在四只宽大的脚掌上;而她的重量集中在细细的鞋跟尖上。 让地面下陷的不是力,而是压强:力除以它所作用的面积。 $$p=\frac FA.$$压强的单位是帕斯卡:$1\ \text{Pa}=1\ \text{N/m}^2$,即一牛顿的力分布在一平方米上。这是很小的压强;在海平面,大气压强大约是 $100\,000$ Pa。 关于液体的论著 大约在 1653 年,帕斯卡写成了《论液体的平衡》,这本书在他去世后的 1663 年才出版。书中有一条我们今天称为帕斯卡原理的规律: 在密闭容器内静止的液体中,任一点所增加的压强,会等值地传递到液体的各个部分和容器壁上。 在中间捏一管牙膏,牙膏会从管口挤出来:你手指的压强传到了那里。把一个气球灌满水,在几个地方扎上小孔再一挤:水会从每一个孔向各个方向喷出来。 被撑破的木桶 据说帕斯卡做过一个著名的演示。他拿来一个装满水、封得很严的木桶,在桶盖上插了一根又细又高、约 10 米长的管子。他登上阳台,往管子里倒水。只倒了一升多一点,木桶就破裂了。 我们不知道这一幕是否完全如此发生,但计算表明它是可能的。高度为 $h$ 的液柱底部的压强是 $$p=\rho gh,$$其中 $\rho$ 是液体的密度,$g\approx9.8\ \text{m/s}^2$。对于 10 米高的水柱,$\rho=1000\ \text{kg/m}^3$, $$p=1000\cdot9.8\cdot10=98\,000\ \text{Pa}.$$起作用的是水柱的高度,而不是水的多少。如果管子的横截面是 $1\ \text{cm}^2$,10 米高的水只有 $1$ 升。但这 $98\,000$ Pa 会传到整个桶盖上。如果桶盖的面积是 $0.2\ \text{m}^2$,它受到的力就是 $$F=pA=98\,000\cdot0.2=19\,600\ \text{N},$$相当于两吨重的物体。细管里的一升水推着桶盖,就像有一辆汽车压在上面。 水压机 帕斯卡意识到,他可以利用这条原理来放大力。设想两个装满水的圆筒,底部相连,各用一个活塞封住,一个细,一个粗。用力 $F_1$ 推细活塞,压强增加 $F_1/A_1$,同样的增量传到粗活塞上: $$\frac{F_1}{A_1}=\frac{F_2}{A_2}\quad\Longrightarrow\quad F_2=F_1\cdot\frac{A_2}{A_1}.$$ 一个人推动小活塞,就能抵得上一百个人推动大一百倍的活塞的力量。 — 布莱兹·帕斯卡,《论液体的平衡》 如果小活塞的面积是 $2\ \text{cm}^2$,大活塞是 $8\ \text{cm}^2$,比值就是 $4$。在小活塞上施加 $50$ N 的力,大活塞上就得到 $200$ N。抬起汽车的液压千斤顶、用一只脚的力就能让汽车停下的刹车,还有挖掘机,都是这样工作的。 小活塞上的力(N): 面积之比 A₂/A₁: 理想模型:两个活塞高度相同,小活塞面积 2 cm²,流体不可压缩。 改变力的大小和两个面积之比。大活塞上的力变大了,但它移动的距离按同样的比例变小。 请启用 JavaScript 以使用控件。正文中也算出了这些例子。

Hero Image
空气的重量:多姆山实验

两千年来,学者们一直重复着亚里士多德的一句话:自然厌恶真空。你用吸管吸走空气,液体就会上升,因为自然不允许那里空着。这似乎能解释一切。 可是佛罗伦萨的掘井工人遇到了一个难题:不管怎么努力,抽水泵都无法把水抽到大约 10 米以上。为什么自然对真空的厌恶偏偏止步于 10 米? 托里拆利的管子 1643 年,伽利略的学生、意大利人埃万杰利斯塔·托里拆利,把一根一端封闭、长一米的玻璃管灌满水银。他用手指堵住另一端,把管子倒过来插进一盆水银里,然后松开手指。水银往下降,停在大约 76 厘米的高度,在管子顶部留下一段空的空间。 托里拆利的解释很大胆:撑住水银柱的不是对真空的厌恶,而是压在水银盆表面上的空气的重量。他写道,我们生活在一片空气海洋的底部。水银的密度大约是水的 13.6 倍,而 $76\ \text{cm}\times13.6\approx10.3$ m:正是佛罗伦萨抽水泵的极限。 帕斯卡把实验搬上高处 帕斯卡在 1646 年听说了这个实验,并在鲁昂用装满水和葡萄酒的巨大玻璃管重复了它。但他想要一个决定性的检验。他的推理是:如果撑住水银的是空气的重量,那么在山顶上,上方的空气更少,水银柱就一定更低。如果原因是对真空的厌恶,海拔就不会有任何影响。 帕斯卡住在巴黎,身体又不好。1647 年 11 月,他写信给住在克莱蒙的姐夫弗洛林·佩里耶。克莱蒙就在多姆山脚下,那是一座高近 1500 米的死火山。 1648 年 9 月 19 日 佩里耶和克莱蒙的一群神父和名人一起登山,好让他们作见证。他们带了两根管子和水银。这个实验里有一个很现代的想法:登山之前,他们先在城里地势最低的米尼姆修道院的花园里装好两根管子,确认两者的高度相同。一根管子留在那里,由一位神父——沙斯坦神父——负责整天看守。另一根带上了山。 多姆山顶纪念 1648 年实验的标志石,摄于 1923 年帕斯卡诞辰三百周年之际。Agence Rol,1923 年 · 法国国家图书馆 · Wikimedia Commons · 公有领域 用当时的单位,测量结果是: 地点 水银柱高度 克莱蒙的米尼姆修道院花园 26 法寸 3½ 法分 多姆山顶,约高出 500 突阿斯 23 法寸 2 法分 一法寸大约是 $27.07$ 毫米,一法分是一法寸的 $\frac1{12}$。换算一下:

Hero Image
帕斯卡的赌注:是一笔计算,不是一个证明

许多人听说过帕斯卡“证明了上帝存在”。他并没有这样做,而且明明白白地说过这是做不到的。他提出的东西更耐人寻味:既然理性无法裁决这个问题,那就换一个问题。不问“上帝存在吗?”,而问“押哪一边更划算?”。然后用他刚刚和费马一起发明的数学——公平分配赌注的数学——来回答这第二个问题。 一张写满涂改的纸 《思想录》的手稿纸页,帕斯卡去世后被粘贴在一本大册子里,摄于 2016 年法国国家图书馆的展览。帕斯卡在碎纸片上写作,朝着不同方向书写,还涂改了很多。ActuaLitté · Wikimedia Commons · CC BY-SA 2.0 晚年的帕斯卡为一本捍卫基督教的书收集笔记,但这本书始终没有写成。1662 年他去世后,朋友们找到了几百个片段,有些是用剪刀剪下来、再用线串起来的,并在 1670 年以《思想录》为题出版了其中的一部分。 关于赌注的那个片段是一张对折的纸,两面都写满了字,页边和倒过来的方向上还有补充。编者用它开头的几个词来称呼它:“无限,虚无”。这是帕斯卡和一位不信者之间的对话,这位对话者或许是以他在巴黎社交生活中结识的赌徒为原型的,比如德·梅雷骑士。 理性无法裁决 出发点是承认无能为力: 上帝存在,或者不存在。可是我们倒向哪一边呢?理性在这里什么也决定不了。有一片无限的混沌把我们隔开。在这无限距离的尽头,正进行着一场游戏,结果将是正面或反面。你押什么? — 布莱兹·帕斯卡,《思想录》,片段“无限,虚无” 对话者回答说,正确的做法是什么也不押。帕斯卡拒绝了这条退路: 是的,但必须下注。这并不由你选择:你已经上了船。 — 布莱兹·帕斯卡,《思想录》,片段“无限,虚无” 像信者那样生活,或像不信者那样生活,本身就已经是一种选择。不选择,就等于选择了后者。 四格表 今天,人们把这个赌注写成一张表。有两种选择和两种世界状态: 上帝存在 上帝不存在 信 无穷的收益:“无限幸福的无限生命” 损失很小:一些享乐 不信 失去一切 得到很少:同样那些享乐 帕斯卡分三步走遍这张表,每一步都比前一步更有力。哲学家伊恩·哈金在 1972 年的一篇文章中指出,这是三个不同的论证,而第三个是一笔期望值的计算。 第一步:占优。“如果你赢了,你赢得一切;如果你输了,你一无所失。那就毫不犹豫地押他存在吧。”如果“信”在每一列都更好或一样好,那就根本不需要计算。 **第二步:机会均等时的计算。**对话者反驳说,他还是会失去一些东西。帕斯卡承认这一点,并像掷骰子那样算账:在输赢机会均等时,押一条命去赢两条命是值得的;押一条命去赢三条命而不押,就是愚蠢。 **第三步:无穷。**如果机会并不均等呢?帕斯卡回答说,这无关紧要: 这里有无限幸福的无限生命可以赢得,一个赢的机会对有限个输的机会,而你押上的是有限的。 — 布莱兹·帕斯卡,《思想录》,片段“无限,虚无” 计算 设 $p$ 是你认为上帝存在的概率,无论多小,但大于零。设 $c$ 是信仰生活的代价,是一个有限的数,$G$ 是上帝存在时的收益。信的期望值是 $$E(\text{信})=p\cdot G-(1-p)\cdot c.$$如果 $G$ 有限,结果可以是任何值:它取决于 $p$、$G$ 和 $c$。但帕斯卡令 $G=\infty$。于是,对任何 $p>0$, $$p\cdot\infty-(1-p)\cdot c=\infty,$$任何有限的选项都无法与之竞争。这和分配赌注是同一个思想:每个赌注的价值等于奖金乘以机会。不同的是,现在奖金是无穷大。 一本仿冒本中《思想录》的第一页,这是照 1670 年版翻印的盗版。第一章题为“驳无神论者的漠不关心”。Clermont Auvergne Métropole · Wikimedia Commons · CC BY-SA 4.0 这不是证明 请注意这笔计算没有说什么。它丝毫没有提高概率 $p$。一个原来认为上帝存在的机会是千分之一的人,在赌注之后仍然认为是千分之一。这个论证关乎该怎么做,而不关乎什么是真的。

Hero Image
帕斯卡的遗产

心灵有其理由,而理性对此一无所知。 — 布莱兹·帕斯卡,《思想录》 帕斯卡留下的完整著作很少。他写的数学几乎都是以单页、书信的形式,或者在他去世后才发表的。尽管如此,很少有哪位作者会出现在这么多不同的地方:学校里的三角形、天气预报、汽车的刹车、保险的计算,甚至一种编程语言的名字。 赌注 《思想录》中最著名的一段与几何无关,但它用到了帕斯卡刚刚和费马一起发明的数学:这就是帕斯卡的赌注。它并不试图证明上帝存在。帕斯卡说理性无法裁决这个问题,于是问押哪一边更划算,并像计算期望值那样,按机会权衡得失。只要信仰一方的收益是无穷大,任何正的概率就都足够了。这个论证、它的三种形式以及狄德罗和伏尔泰的反驳,见帕斯卡的赌注。它被认为是决策论——在不确定性下做选择的数学——的第一篇文字。 我没有时间把它写短 在第 16 封《致外省人信札》的结尾,帕斯卡向读者致歉:“这封信之所以写得这么长,只是因为我没有时间把它写短。” 直到今天,凡是需要在匆忙中写好文章的人,还常常引用这句话。 给费马的最后一封信 1660 年,费马提议两人见一面,各走图卢兹和克莱蒙之间路程的一半。帕斯卡因病婉拒了,他的回信显示了他晚年如何看待数学: 坦白地说,我认为几何是心智最高的锻炼;但同时我又知道它是如此无用,以至于我认为一个只是几何学家的人和一个熟练的工匠没有多大区别。 — 布莱兹·帕斯卡,致费马的信(1660 年 8 月 10 日) 两人终生未曾谋面。 留下了什么 概率论。 1654 年的通信启发了惠更斯,他在 1657 年出版了这一主题的第一本书。随后有雅各布·伯努利、棣莫弗和拉普拉斯。保险、彩票、统计学和数据科学都源自那些信。 组合数学与归纳法。 《算术三角形论》整理了组合问题,并第一次清楚地表述了数学归纳法。 射影几何。 神秘六边形成为射影几何的奠基定理之一,19 世纪又被彭赛列和布里昂雄重新发扬。 微积分。 莱布尼茨说,正是在读帕斯卡关于四分之一圆的著作时,他想到了特征三角形,这是通向微积分的一步。 物理学。 真空实验和多姆山实验终结了“自然厌恶真空”的说法,催生了气压计和高度计。帕斯卡原理存在于每一个液压系统中。 计算。 帕斯卡计算器是第一台被制造和出售的计算机器。 留下来的名字 1971 年,国际单位制的压强单位被命名为帕斯卡(Pa)。天气预报说“1013 百帕”时,指的就是 $101\,300$ Pa,也就是帕斯卡让姐夫去测量的海平面气压。 1970 年,瑞士计算机科学家尼克劳斯·维尔特设计了一种用来清晰地教授编程的语言,并为了纪念帕斯卡计算器的发明者,把它命名为 Pascal。好几代学生都是用它学会编程的。 会思想的芦苇 这条路线开头的那句话还有下文:“用不着整个宇宙都武装起来才能毁灭他;一口气、一滴水就足以致他死命。然而,纵使宇宙毁灭了他,人却仍然要比致他于死命的东西高贵得多,因为他知道自己要死亡。” 写下这段话的人,从 18 岁起就知道自己活不长。 要点回顾 帕斯卡生于 1623 年,卒于 1662 年。16 岁时发表六边形定理;19 岁时开始制造帕斯卡计算器。 在算术三角形中,每个数都是它上方两个数之和,第 $n$ 行的和是 $2^n$,这些数就是组合数 $\binom nk$。 在帕斯卡之前,印度、波斯、中国和欧洲都已经知道这个三角形;他对它做了深入的研究。 1654 年,帕斯卡和费马一起创立了概率论和期望值的概念。 一道摆线拱下的面积是 $3\pi r^2$,等于轮子面积的三倍。 在静止的液体中,压强的增量会等值地传递到各点;水压机放大了力,但没有放大功。 在多姆山顶,水银柱下降了 8.5 厘米:空气是有重量的。 练习:一张抽奖券 5 雷亚尔,有 1/25 的机会赢 100 雷亚尔。按期望值算,值得买吗?期望收益是 $100\cdot\frac{1}{25}=4$ 雷亚尔。奖券要 5 雷亚尔,所以每张的期望值是 $4-5=-1$ 雷亚尔。平均每买一张亏 1 雷亚尔。

Hero Image
帕斯卡图片来源

历史图片 全部来自 Wikimedia Commons。我们使用 Commons 提供的缩略图,未作编辑。 布莱兹·帕斯卡肖像,作者不详,约 1690 年,凡尔赛宫:来源页面 · 公有领域。 杨辉三角,见朱世杰 1303 年的著作:来源页面 · 公有领域。 《算术三角形》(Triangulus arithmeticus)第一页,克莱蒙奥弗涅大都会收藏本:来源页面 · CC BY-SA 4.0。 巴黎工艺博物馆的帕斯卡计算器,David Monniaux 摄于 2005 年:来源页面 · CC BY-SA 3.0。 多姆山实验纪念标志,Agence Rol,1923 年,法国国家图书馆:来源页面 · 公有领域。 圣艾蒂安杜蒙教堂的墓地铭牌,Agence Meurisse,1923 年,法国国家图书馆:来源页面 · 公有领域。 《思想录》手稿,法国国家图书馆展览,ActuaLitté 摄,2016 年:来源页面 · CC BY-SA 2.0。 《思想录》第一页,1670 年版的仿冒本,克莱蒙奥弗涅大都会藏本:来源页面 · CC BY-SA 4.0。 博客插图 封面、碗的喷泉、进位示意图和摆线拱都是原创插图。三角形、赌注分配和水压机的控件是为这条路线制作的。它们是教学辅助工具,不是手稿的复制,也不是帕斯卡计算器内部机构的复原。 记录 文件 data/pascal_imagens.json 记录了每张下载图片的来源、许可、核实日期和 SHA-256 哈希值。各主题的历史资料来源列在每篇文章的末尾。 帕斯卡的全部主题 · ← 帕斯卡的遗产