Hero Image
雅各布·伯努利的一生

年表 16551 月 6 日生于巴塞尔,一个香料商人家庭。 1671获得哲学硕士学位。遵从父亲的意愿,继续攻读神学。 1676完成神学学业,开始游历。在日内瓦教一位盲人女孩数学。 1681访问英国,结识罗伯特·玻意耳和罗伯特·胡克。撰文讨论 1680 年的大彗星。 1683回到巴塞尔,讲授实验物理,研究复利问题。 1684与朱迪特·斯图帕努斯结婚。开始阅读莱布尼茨关于微积分的论文。 1687成为巴塞尔大学数学教授,一直任职到去世。 1689发表关于无穷级数的第一篇论文,其中讨论了调和级数。 1690解决等时曲线问题,第一次使用 integral(积分)一词。 1694描述双纽线。 1697因最速降线问题与弟弟约翰公开决裂。 17058 月 16 日在巴塞尔去世,《猜度术》尚未完成。 1713侄子尼古劳斯出版《猜度术》。 ◀ 上一站 沿路线走一遍 下一站 ▶ 1655–1676 巴塞尔生于香料商人家庭。遵父命学神学,自己偷偷学数学。 1676 日内瓦担任盲女伊丽莎白·冯·瓦尔德基希的家庭教师,教她读书、写字和一点数学。 1677–1680 法国研究笛卡尔和马勒伯朗士的哲学。 1681 荷兰结识新实验哲学的科学家们。 1681 英格兰结识罗伯特·玻意耳和罗伯特·胡克,写了一本关于 1680 年大彗星的小书。 1683–1705 巴塞尔回到家乡,自学莱布尼茨的微积分,在大学任教直到 1705 年去世。 请启用 JavaScript 以查看地图。各站列在下方。 雅各布·伯努利的游学岁月:从巴塞尔到英格兰,再回到巴塞尔。 地图:© OpenStreetMap 贡献者 1655–1676 · 巴塞尔1676 · 日内瓦1677–1680 · 法国1681 · 荷兰1681 · 英格兰1683–1705 · 巴塞尔 雅各布·伯努利的游学岁月:从巴塞尔到英格兰,再回到巴塞尔。 一个商人家庭 伯努利家族原是安特卫普的新教徒,十六世纪末为躲避西班牙的迫害而出逃,最后落脚在瑞士的巴塞尔,靠经营香料发了家。雅各布的父亲尼古劳斯·伯努利是商人,也是市议会议员。他对儿子们早有安排:长子当牧师,小儿子约翰经商。

Hero Image
布莱兹·帕斯卡的一生

年表 16236 月 19 日生于法国奥弗涅地区的克莱蒙。 1626母亲安托瓦妮特·贝贡去世,布莱兹 3 岁。 1631父亲艾蒂安·帕斯卡带着三个孩子迁居巴黎。 163512 岁时,独自重新发现三角形内角和等于两个直角。 164016 岁时,发表《圆锥曲线论》,其中有六边形定理。 1642为帮助在鲁昂任税务官的父亲,开始制造计算机。 1647发表《关于真空的新实验》。笛卡儿前来拜访。 1648姐夫弗洛林·佩里耶登上多姆山,测出了空气的重量。 1654与费马通信讨论赌博问题,写成《算术三角形论》。11 月 23 日经历了“火之夜”。 1656开始以化名发表《致外省人信札》。 1658解决摆线的一系列问题,并就此发起一场竞赛。 1662在巴黎开通一条公共马车线路。8 月 19 日去世,终年 39 岁。 1670朋友们根据他的笔记整理出版《思想录》。 ◀ 上一站 沿路线走一遍 下一站 ▶ 1623–1631 克莱蒙生于奥弗涅的克莱蒙。三岁时母亲去世。 1631–1639 巴黎父亲在家教育他,并带他参加梅森的聚会。16 岁写出《圆锥曲线论》。 1640–1647 鲁昂父亲在诺曼底任税务官。为了帮助父亲,布莱兹制造了帕斯卡计算器,并做了真空实验。 1648 多姆山应帕斯卡之请,他的姐夫弗洛兰·佩里耶带着气压计登上此山,证明山顶的空气更轻。 1647–1662 巴黎与费马讨论赌博的通信、火之夜、《致外省人信札》、摆线和公共马车。1662 年去世,年仅 39 岁。 1655 田野波尔罗亚尔修道院火之夜之后,他多次到妹妹雅克琳所在的修道院小住,并为波尔罗亚尔辩护,反对耶稣会。 请启用 JavaScript 以查看地图。各站列在下方。 帕斯卡在克莱蒙、巴黎和鲁昂之间,以及称出空气重量的那座山。 地图:© OpenStreetMap 贡献者 1623–1631 · 克莱蒙1631–1639 · 巴黎1640–1647 · 鲁昂1648 · 多姆山1647–1662 · 巴黎1655 · 田野波尔罗亚尔修道院 帕斯卡在克莱蒙、巴黎和鲁昂之间,以及称出空气重量的那座山。 布莱兹·帕斯卡的肖像,作者不详,约作于 1690 年,现藏凡尔赛宫。这是他去世后绘制的摹本。作者不详 · Wikimedia Commons · 公有领域 一个把几何书藏起来的父亲 布莱兹·帕斯卡 1623 年生于法国中部的克莱蒙。他 3 岁时母亲去世。父亲艾蒂安是一位喜爱数学的法官,决定亲自教育三个孩子:吉尔贝特、布莱兹和雅克琳。1631 年,全家搬到了巴黎。

Hero Image
永不停止的利息与数 e

想象一家慷慨的银行,年利率 100%。你一月存入 1 元,到十二月就有 2 元。现在银行换个方式:不在年底一次付 100%,而是每半年付 50%,上半年的利息在下半年也能生息。这样划算吗?如果每月付、每天付、每秒付呢?能变得无限富有吗? 这正是雅各布·伯努利在 1683 年前后问自己的问题,他在 1690 年把它发表在《学者学报》上。它看上去像记账,答案却是数学中最重要的数之一。 算一算 如果把一年分成 $n$ 个相等的时段,每个时段付 $\frac{100\%}{n}$,也就是余额乘以 $1+\frac1n$。经过 $n$ 个时段后,1 元变成 $$a_n=\left(1+\frac1n\right)^n.$$分两个时段,$a_2=1.5^2=2.25$,比 2 多。时段越多,结果越好: 付息方式 $n$ 年末余额 一次 1 2.000000 每半年 2 2.250000 每季度 4 2.441406 每月 12 2.613035 每天 365 2.714567 每小时 8 760 2.718127 余额在增长,但增长得越来越少。从按月付息改成按天付息,只多出大约一角钱;从按天改成按小时,还不到半分钱。余额似乎在逼近 $2.718$ 附近的一个上限。 为什么有上限 伯努利还没有今天意义上的"极限"一词,但他有 牛顿二项式。展开 $a_n$: $$a_n=1+n\cdot\frac1n+\frac{n(n-1)}{2}\cdot\frac1{n^2}+\frac{n(n-1)(n-2)}{2\cdot3}\cdot\frac1{n^3}+\cdots$$把每一项整理一下, $$\begin{aligned}a_n={}&1+1+\frac1{2!}\left(1-\frac1n\right)\\&+\frac1{3!}\left(1-\frac1n\right)\left(1-\frac2n\right)+\cdots\end{aligned}$$当 $n$ 增大时发生两件事。括号 $\left(1-\frac kn\right)$ 越来越接近 1,所以每一项都在 变大;同时又出现新的项,而且都是正的。因此 $a_n$ 只增不减。另一方面,每个括号都小于 1,所以 $$a_n<1+1+\frac1{2!}+\frac1{3!}+\frac1{4!}+\cdots$$而这个和很容易控制:因为 $3!=6>4$,$4!=24>8$,一般地 $k!\geq 2^{k-1}$, $$a_n<1+\left(1+\frac12+\frac14+\frac18+\cdots\right)=1+2=3.$$伯努利得出的正是这个结论:余额一直上升,但 始终介于 2 和 3 之间。不管银行把一年分得多细,1 元永远变不成 3 元。一个只增不减又越不过上限的数列,一定会趋近某个值:

Hero Image
帕斯卡三角形:用加法搭起来

写一个 $1$。在它下面写两个 $1$。从此以后,每一行都以 $1$ 开头、以 $1$ 结尾,中间的每个数都是它正上方两个数之和: $$\begin{array}{ccccccccccc} &&&&&1&&&&&\\ &&&&1&&1&&&&\\ &&&1&&2&&1&&&\\ &&1&&3&&3&&1&&\\ &1&&4&&6&&4&&1&\\ 1&&5&&10&&10&&5&&1 \end{array}$$就这么简单。一条孩子一分钟就能学会的规则,造出了数学中内容最丰富的数表之一。今天它被称为帕斯卡三角形,在中国叫作杨辉三角。而帕斯卡其实是最后一批发现它的人之一。 一个有许多主人的三角形 在印度,大约公元前 2 世纪,诗人宾伽罗在计算一行诗中长短音节的组合方式时,得到了同样的数。10 世纪,注释家哈拉尤达画出了这张表,称它为 Meru-prastara,意思是“须弥山的阶梯”。 在巴格达,大约公元 1000 年,卡拉吉用这个三角形展开像 $(a+b)^5$ 这样的乘方。他的书失传了,但一个半世纪之后,大约在 1150 年,萨马瓦尔抄录了这张表和推理过程,并注明出自卡拉吉。在波斯,这个三角形也和诗人兼数学家欧玛尔·海亚姆联系在一起。 在中国,贾宪大约在 1050 年用它来开方。杨辉在 1261 年把它收入书中,朱世杰又在 1303 年的《四元玉鉴》中画出了它,数字用算筹写成。 朱世杰 1303 年著作中的三角形。在中国,它被称为杨辉三角或贾宪三角。朱世杰,《四元玉鉴》(1303) · Wikimedia Commons · 公有领域 在欧洲,这个三角形于 1527 年首次印在彼得鲁斯·阿皮亚努斯一本算术书的封面上。之后,米夏埃尔·施蒂费尔在 1544 年、尼科洛·塔尔塔利亚在 1556 年都用过它。直到今天,它在意大利叫塔尔塔利亚三角形,在伊朗叫海亚姆三角形,在中国叫杨辉三角。 帕斯卡的论文 1654 年,帕斯卡在和费马讨论赌注问题的同时,写成了《算术三角形论》,有法文和拉丁文两个版本。论文是这样开头的: 算术三角形这样构造:从任意一点 Z 画两条互相垂直的直线 ZL 和 ZT,在每条直线上标出任意多个相等的部分。 — 布莱兹·帕斯卡,《算术三角形》(1654) 这篇论文拉丁文版的第一页,这是已知的唯一一份,收藏在帕斯卡的故乡克莱蒙费朗。Clermont Auvergne Métropole · Wikimedia Commons · CC BY-SA 4.0 帕斯卡的三角形其实是一张阶梯形的方格表。他把每个小方格叫作单元格,把行叫作平行列,把列叫作垂直列,把对角线叫作底。每个单元格等于它上方的格子加上它左边的格子,这和我们今天用的规则是一样的,只是转了个方向。

Hero Image
星云假说

1796 年的《宇宙体系论》是一本写给没有数学训练的读者的书。拉普拉斯在书里用散文讲述了天体力学的全部发现。在书的末尾,他在一条注释里——他自己说,是“带着对一切非观测或计算结果之物所应有的怀疑”——大胆提出了太阳系起源的解释。 《宇宙体系论》第二版扉页,1798 年(共和历七年)。Pierre-Simon Laplace · Wikimedia Commons · 公有领域 巧合得过分 拉普拉斯从人人皆知的事实出发。当时已知的行星都朝同一方向绕太阳运行,轨道几乎在同一平面上,而且接近圆形。它们的自转方向也相同,卫星绕行星的方向同样如此。把行星、卫星和自转加起来,拉普拉斯数出了 43 个运动,全都朝同一方向。 如果每个运动都可能偶然地朝这边或那边,概率各为 $\frac{1}{2}$,那么它们全部一致的概率是多少?第一个运动选定方向,其余 42 个必须跟随: $$\left(\frac{1}{2}\right)^{42} = \frac{1}{4\,398\,046\,511\,104} \approx \frac{1}{4.4 \times 10^{12}}.$$拉普拉斯写道,可以用“四万亿以上对一”打赌,这种排列有一个共同的原因。这是把概率推理用在天空上,非常有他的风格:他不只是说这个巧合很奇怪,而是把它量了出来。 旋转的云 他提出的原因是这样的。最初,太阳被一层巨大而炽热的大气——一团星云——包围着,它缓慢旋转,延伸到今天各行星轨道之外。云团冷却时会收缩,而收缩时转得越来越快,直到边缘处离心力等于引力,物质环便脱离出来。每个环聚集成一颗行星,旋转方向与原来的云团相同。卫星也以同样方式由行星的大气中产生。 为什么收缩的云会转得更快?这是角动量守恒,和花样滑冰运动员收拢双臂时加速旋转是同一个道理。质量为 $m$、距转轴 $r$、角速度为 $\omega$ 的物体,角动量为 $$L = m\,r^2\,\omega.$$没有外力矩时,$L$ 不变。如果云团收缩到原来半径的一半,$r^2$ 变为四分之一,为了补偿,$\omega$ 变为四倍: $$m\,r^2\,\omega = m\left(\frac{r}{2}\right)^2\omega' \quad\Rightarrow\quad \omega' = 4\omega.$$ 康德、拉普拉斯与角动量问题 四十年前的 1755 年,哲学家伊曼努尔·康德发表过类似的想法,认为太阳系由一团尘埃云形成。拉普拉斯似乎不知道康德的书,但到了 19 世纪,两种设想被合称为康德-拉普拉斯假说。它遇到了一个严重的反驳:太阳拥有太阳系 99.8% 的质量,却只有约 1% 的角动量;如果云团只是单纯收缩,太阳应该转得快得多。答案在 20 世纪才出现:磁场和星风让年轻的恒星减速,把角动量带到外面。今天,望远镜拍到了年轻恒星周围的原行星盘,比如金牛座 HL 星的盘,上面有环和缝隙,似乎正有行星在形成。现代理论与拉普拉斯的版本差别很大,但核心图景保留了下来:恒星和行星诞生于旋转的气体尘埃盘。 练习:收缩的恒星太阳半径约 $700\,000$ 千米,每 25 天自转一圈。如果它在不损失质量和角动量的情况下收缩到半径 10 千米,像一颗中子星那样,新的自转周期是多少?(假设质量分布的形状不变,因此 $L \propto r^2\omega$。) 半径缩小 $\frac{700\,000}{10} = 70\,000$ 倍,所以 $\omega$ 增大 $70\,000^2 = 4.9 \times 10^9$ 倍。周期按同样比例缩短:$25 \text{ 天} = 2\,160\,000$ 秒,$\frac{2\,160\,000}{4.9 \times 10^9} \approx 4.4 \times 10^{-4}$ 秒。不到半毫秒:这正是已知最快脉冲星的数量级。

Hero Image
极小极大定理:怎样出招才不被猜中

在猜单双游戏里,没有好招。如果你总是伸一根手指,对手学会了就会每次都赢。唯一的防御是不可预测:随机出招,一半时间出一根,一半时间出两根。这样,无论对手怎么做,你都能赢一半的局。 1928 年,冯·诺依曼在一篇名为《论室内游戏的理论》的论文中证明,这个想法适用于所有两人零和博弈,即一方之所得恰是另一方之所失的博弈。而且它总会给出一个确切的数,即博弈的值。 一个小游戏 行方选 A 或 B,列方选 C 或 D,两人同时出招。下表给出行方得到(也即列方付出)多少: C D A $3$ $-1$ B $-2$ $1$ 没有显而易见的选择。如果行方总出 A,列方就用 D 应对,行方输 $1$。如果行方总出 B,列方就用 C 应对,行方输 $2$。那么假设行方随机出招:以概率 $p$ 出 A,以概率 $1 - p$ 出 B。行方的期望收益是 $$\text{对 C:} 3p - 2(1-p) = 5p - 2, \qquad \text{对 D:} -p + (1-p) = 1 - 2p.$$列方会选择让行方得得少的那种应对。所以行方只能指望两个值中较小的那个,并希望选择 $p$ 使这个最小值尽可能大。这发生在两条直线的交点处: $$5p - 2 = 1 - 2p \;\Longrightarrow\; p = \frac{3}{7}, \qquad \text{有保证的收益} = 5 \cdot \frac{3}{7} - 2 = \frac{1}{7}.$$ 请启用 JavaScript 以使用这个交互图形。完整的推理见正文。

Hero Image
调和级数与一份求助

正如无穷级数被有限的和所包含,在无界之中可以辨认出界限,无垠的灵魂也栖居于微小之中,而在最狭窄的界限里并无界限。 — 雅各布·伯努利,《无穷级数论》(1689) 1689 年到 1704 年间,雅各布·伯努利在巴塞尔发表了五篇关于 无穷级数 的论文,也就是有无穷多项的和。这是一个新颖而危险的题目。有些这样的和会得到一个数,例如 $$1+\frac12+\frac14+\frac18+\cdots=2.$$另一些则不停地增长。难就难在判断每个和属于哪一类,因为常识会骗人。 调和级数 考虑正整数倒数之和: $$1+\frac12+\frac13+\frac14+\frac15+\cdots$$音乐家称它为 调和 级数,因为 $\frac12,\frac13,\frac14,\dots$ 正是产生一个音的各个泛音的弦长。各项越来越小,趋于零。直觉告诉我们,这个和应该停在某处。可是它增长得太慢,让人看不出端倪: 项数 近似和 10 2.93 1 000 7.49 1 000 000 14.39 $10^{43}$ 100.0 要超过 $10^{43}$ 项才能达到 100。即便如此,雅各布证明了这个和会超过 任何 数。 雅各布的证明 他把级数分成以平方数结尾的若干段。取一个数 $a$,以及从 $\frac1a$ 到 $\frac1{a^2}$ 的各项。把 $\frac1a$ 放在一边,剩下 $a^2-a$ 项,每一项都至少是其中最小的 $\frac1{a^2}$。于是 $$\frac1a+\left(\frac1{a+1}+\cdots+\frac1{a^2}\right)\geq\frac1a+\frac{a^2-a}{a^2}=\frac1a+1-\frac1a=1.$$每一段都至少等于 1。接下来只要把它们一段段接起来:从 $\frac12$ 到 $\frac14$,从 $\frac15$ 到 $\frac1{25}$,从 $\frac1{26}$ 到 $\frac1{676}$,依此类推: $$1+\underbrace{\frac12+\frac13+\frac14}_{\geq1}+\underbrace{\frac15+\cdots+\frac1{25}}_{\geq1}+\underbrace{\frac1{26}+\cdots+\frac1{676}}_{\geq1}+\cdots$$段数无穷多,每段至少为 1,所以和会超过任何数。它 发散。 雅各布承认弟弟约翰比他更早找到了另一种证明,并把它发表在同一篇论文里。兄弟俩都不知道,法国人尼古拉·奥雷斯姆早在 1350 年前后就做过同样的事,他把各项分成 1、2、4、8……项一组。 请启用 JavaScript 以使用这个交互图形。完整的推理见正文。

Hero Image
组合:不用列举也能计数

在巴西的 Mega-Sena 彩票中,你要从 60 个号码里选 6 个。一共有多少种不同的选法?要全部列出来得花上一辈子:超过五千万种。但我们可以不列举也能计数,帕斯卡就展示了怎么做。 不计顺序地选取 先从一个小例子开始:从 5 个人中选 2 个人组成委员会,有多少种选法? 如果顺序有关系,第一个人有 $5$ 种选择,第二个人有 $4$ 种:$5\cdot4=20$。但在委员会里,“安娜和布鲁诺”与“布鲁诺和安娜”是一样的,每一对都被算了两次。所以委员会共有 $20/2=10$ 种。 一般地,从 $n$ 个东西中不计顺序地选出 $k$ 个,方法数是 $$\binom nk=\frac{n!}{k!\,(n-k)!},$$其中 $n!=n\cdot(n-1)\cdots2\cdot1$。读作“从 $n$ 中取 $k$ 的组合数”。对于那个委员会,$\binom52=\frac{120}{2\cdot6}=10$。 为什么它们就是三角形里的数 帕斯卡注意到,$\binom nk$ 恰好就是算术三角形中的数 $C(n,k)$。原因是同一条加法规则。 在这群人中挑出一个人,比如安娜。从 $n$ 个人中选出的每个 $k$ 人委员会,要么包含安娜,要么不包含。如果包含,就还要从其余 $n-1$ 人中选 $k-1$ 个;如果不包含,这 $k$ 个人就全部来自其余的 $n-1$ 人。所以 $$\binom nk=\binom{n-1}{k-1}+\binom{n-1}{k},$$这正是三角形的规则。两者的边上都是同样的 $1$,又遵守同样的规则,所以它们是同一张表。 Mega-Sena 现在大数目的计算就容易了: $$\binom{60}{6}=\frac{60\cdot59\cdot58\cdot57\cdot56\cdot55}{6\cdot5\cdot4\cdot3\cdot2\cdot1}=50\,063\,860.$$买一注的中奖机会是五千多万分之一。如果你每周买一注,平均要等将近一百万年才能中一次。 和的乘方 同样的推理解释了三角形的另一次出场。把 $$(a+b)^3=(a+b)(a+b)(a+b)$$乘开时,结果中的每一项都是从三个括号里各取 $a$ 或 $b$ 得到的。要得到 $a^2b$,必须恰好在三个括号中的一个里取 $b$:有 $\binom31=3$ 种取法。因此 $$(a+b)^3=a^3+3a^2b+3ab^2+b^3,$$一般地, $$(a+b)^n=\sum_{k=0}^n\binom nk a^{n-k}b^k.$$取 $a=b=1$,左边就是 $2^n$:又是第 $n$ 行的和。这个公式适用于整数指数。十年后,牛顿发现了指数为分数时会怎样:见广义二项式。

Hero Image
奇妙的螺线与双纽线

有了莱布尼茨的微积分,伯努利兄弟开始四处"猎取"曲线。对每一条曲线,他们都要问:切线是什么,长度是多少,面积是多少,曲率是多少?其中许多曲线从古希腊起就为人所知,但直到这时,这些问题才能用一条普遍的规则来回答。有两条曲线从此永远带上了雅各布的名字。 形状不变的螺线 笛卡儿和托里拆利已经研究过 对数 螺线。在极坐标中,每个点由它到中心的距离 $r$ 和角度 $\theta$ 确定,这条螺线是 $$r=a\,e^{b\theta}.$$每转一整圈,角度增加 $2\pi$,半径总是乘以同一个因子 $e^{2\pi b}$。所以各圈之间不是等距的:每一圈都按同样的比例比前一圈大。 由此得出让雅各布着迷的性质:把螺线 旋转 一个角度 $\alpha$,效果与把它 放大 $e^{b\alpha}$ 倍相同。如果把这条螺线的照片放大,得到的还是同一条螺线,只是转了一下。它在任何尺度下都与自身相同。 左边是雅各布要求刻在墓碑上的对数螺线:每一圈都比前一圈宽。右边是石匠刻下的阿基米德螺线:各圈间距相等。Euler’s Eyes 绘图 不变的角 在螺线上的一点,从中心出发的半径与曲线的切线成一个角 $\psi$。当角 $\theta$ 增加一点点 $d\theta$ 时,这个点在垂直于半径的方向上移动 $r\,d\theta$,沿半径方向移动 $dr$。所以 $$\tan\psi=\frac{r\,d\theta}{dr}=\frac{r}{dr/d\theta}=\frac{r}{b\,r}=\frac1b.$$$r$ 被约掉了:这个角在 所有 点上都一样。所以这条曲线也叫 等角螺线。一只昆虫如果始终与灯保持固定的角度飞行,就像人们说飞蛾对月亮那样,它就会画出这样一条螺线,最后撞到灯上。 雅各布还发现了更多。由螺线各点曲率中心构成的曲线,是另一条与原来相同的对数螺线。从中心发出、经螺线反射的光线,又形成一条相同的螺线。无论从哪里看,这条曲线都会以同样的样子重生。他称之为 spira mirabilis,奇妙的螺线。 鹦鹉螺壳的剖面。每转一圈,腔室几乎按同样的比例增大,形状接近对数螺线。Florian Elias Rieser · Wikimedia Commons · CC BY-SA 4.0 大自然出于同样的原因偏爱这条曲线。像鹦鹉螺这样一层层生长而形状不变的动物,会长出对数螺线形的壳。许多星系的旋臂和飓风的云带也呈现类似的形状。 Eadem mutata resurgo 雅各布把这条螺线看作复活的象征:身体会变,人却复生如故。所以他要求把它刻在墓碑上,配上座右铭 Eadem mutata resurgo,“虽经变化,我复生如故”。石匠刻成了阿基米德螺线,而它没有这个性质:放大后各圈间距变大,曲线就变了。这块刻错的墓碑至今还在巴塞尔大教堂。 双纽线:横躺的 8 字 1694 年,雅各布在《学者学报》的一篇文章里提出了一条新曲线。取两个定点,即 焦点 $F_1=(-c,0)$ 和 $F_2=(c,0)$。椭圆上的点到两焦点距离之 和 为常数。雅各布把和换成了 积:

Hero Image
德·梅雷骑士的骰子与公平的分配

安托万·贡博自称德·梅雷骑士,是法国宫廷里的一位作家,也是一个狂热的赌徒。大约在 1654 年,他向帕斯卡提出了两个关于赌注的问题。帕斯卡觉得这两个问题非常好,就写信给皮埃尔·德·费马,概率论就从这些信中诞生了。 谈到这位朋友,帕斯卡对费马说: 他很有头脑,但不是几何学家;而您知道,这是一个很大的缺点。 — 布莱兹·帕斯卡,致费马的信(1654 年 7 月 29 日) 第一个问题:一个六点和两个六点 德·梅雷知道一种有利可图的赌法:把一颗骰子掷 4 次,赌至少出现一次六点。他赢的次数比输的多。 于是他推想:用两颗骰子时,同时出现两个六点比一颗骰子出现六点要少见 6 倍。为了弥补,只要多掷 6 倍就行:$4\cdot6=24$ 次。“两颗骰子掷 24 次,至少出现一次双六”这个赌法,应该和第一个一样好。 结果并非如此。德·梅雷输了钱,却不明白为什么。 正确的算法要从反面入手。一颗骰子不出六点的概率是 $\frac56$。独立地掷 4 次,一次六点都不出现的概率是 $\left(\frac56\right)^4$。所以 $$P(\text{4 次中至少一个六点})=1-\left(\frac56\right)^4=1-\frac{625}{1296}\approx0.518.$$两颗骰子共有 $36$ 种结果,其中只有一种是双六。掷一次不出现双六的概率是 $\frac{35}{36}$: $$P(\text{24 次中至少一个双六})=1-\left(\frac{35}{36}\right)^{24}\approx0.491.$$第一种赌法有 51.8% 的机会赢;第二种只有 49.1%。德·梅雷的比例法则看起来很合理,但概率不是这样相加的。掷 25 次时,机会才超过一半:$1-\left(\frac{35}{36}\right)^{25}\approx0.506$。 光靠赌能看出来吗? 几乎不能。49.1% 和 50% 的差别太小了,要赌上几千次才能可靠地察觉。所以历史学家认为,德·梅雷怀疑的是算法,而不是自己的钱包:他认为都正确的两条规则给出了不同的答案,他想知道哪一条错了。 第二个问题:中断的赌局 两个玩家各押 32 枚皮斯托尔金币,共 64 枚。谁先赢 3 局,谁就拿走全部。比赛在 A 赢了 2 局、B 赢了 1 局时中断了。这 64 枚金币该怎样公平地分? 费马的解法是数出所有可能的序列。帕斯卡的做法不同:他只看下一局。 如果 A 赢了下一局,他就达到 3 局,拿走全部 64 枚。 如果 B 赢了,比分变成 2 比 2,两人打平:每人应得 32 枚。 下一局两人赢的机会相同。所以不管发生什么,A 都稳拿 32 枚,另外 32 枚不确定,两人各有一半机会。帕斯卡的结论是 A 应该得到

Hero Image
猜度术:计算机会

猜度一件事,就是度量它的概率。因此我们把猜度术,或称随机术,定义为尽可能准确地度量事物概率的技艺,使我们在判断和行动中,总能选择或遵循在我们看来更好、更令人满意、更稳妥或更审慎的做法。 — 雅各布·伯努利,《猜度术》(1713),第四部分 1654 年,帕斯卡和费马 通信讨论一局中断的赌博该如何分配赌注。1657 年,荷兰人克里斯蒂安·惠更斯出版了一本十五页的小册子,讲掷骰子游戏中的计算。这些都是客厅里的问题:骰子、纸牌、赌注。 雅各布·伯努利想要的远不止这些。在他看来,概率是对 确定程度 的度量,是一个介于 0(不可能)和 1(必然)之间的数,可以用来在法庭上衡量证词、预测一个人还能活多久、评估一份保险,或者判断一种药是否有效。他花了二十年写一本书来说明如何做到。他把它称为 Ars conjectandi,《猜度术》。 《猜度术》的扉页,1713 年在巴塞尔出版,距雅各布去世已有八年。Wikimedia Commons · 公有领域 四部分的书 《猜度术》分为四部分。第一部分重印了惠更斯的书,雅各布写的评注比原文还长。第二部分是一门完整的 组合学 课程:排列、组合,以及其中如今以雅各布命名的 幂和。第三部分把这些应用到几十种游戏上。第四部分没有完成,讨论概率在公民、道德和经济生活中的应用,黄金定理 就在这里。 伯努利试验 书中最简单的想法,成了统计学中用得最多的想法之一。设想一个只有两种可能结果的试验:硬币是不是正面,病人是否痊愈,零件是不是次品。其中一种结果叫 成功,概率为 $p$;另一种叫 失败,概率为 $q=1-p$。这个词只是一个标签:在工厂里,被计数的"成功"可能是发现一个次品。 如今这样的试验叫作 伯努利试验。雅各布的问题是:在相同条件下把试验重复 $n$ 次,且各次结果互不影响,恰好得到 $k$ 次成功的概率是多少? 一步步推出公式 先看一个小例子。掷一颗骰子 3 次,“成功"是掷出 6,$p=\frac16$。恰好掷出两个 6 的机会是多少? 一种可能的序列是 6、6、其他。它的概率是每次投掷机会的乘积: $$\frac16\cdot\frac16\cdot\frac56=\frac5{216}.$$但还有其他含两个 6 的顺序:6、其他、6 和 其他、6、6。每一种的概率都是 $\frac5{216}$,因为同样的因子只是换了顺序。共有 3 种顺序,所以 $$P(\text{两个 6})=3\cdot\frac5{216}=\frac{15}{216}\approx6.9\%.$$顺序的个数,就是选出 哪几次 投掷成功的方法数:从 3 次中选 2 次,即 $\binom32=3$。一般地,每个含 $k$ 次成功、$n-k$ 次失败的序列概率为 $p^kq^{n-k}$,这样的序列有 $\binom nk$ 个。加起来: