购买
下载掌阅APP,畅读海量书库
立即打开
畅读海量书库
扫码下载掌阅APP

1.帕斯卡和法国数学:概率论的诞生

17世纪时,从意大利开始的文艺复兴运动已经席卷欧洲,也波及法国,给这里带来了科学与艺术的蓬勃发展和革命。法国数学界人才济济、群星璀璨,人们称其为数学之邦,它也不愧是概率论之故乡。

谈及17世纪的法国数学,不可不提一位举足轻重的人物:马兰•梅森(Marin Mersenne, 1588—1648),见图1-1-1。梅森也是一位数学家,但他的贡献主要不是在学术方面,这方面能列得出来的只有一个“梅森素数”。梅森出身于法国的农民家庭,不是贵族却成为许多爱好科学的贵族间的联系纽带。梅森少年时毕业于耶稣会学校,是笛卡儿的同校学长,于1611年进入修道院,成为法国天主教的一名教士。1626年,他把自己在巴黎的修道室,办成了科学家们的聚会场所和交流信息中心,称为“梅森学院”。这个联系和组织人才的“科学沙龙”,实际上是后来开明君王路易十四所创建并给予丰厚赞助的“巴黎皇家科学院”的前身(图1-1-2)。因此,梅森为法国科学(特别是数学)的发展做出了巨大的贡献。

图1-1-1 梅森及梅森学院的部分数学家

梅森见多识广、才华不凡,性格随和,平易近人,在他的身边很快聚集起一批优秀的学者,他们定期到修道室聚会。此外,当时的梅森科学沙龙还经常使用通信方式互相联系,或单独与梅森联系,报告交流研究成果和新思想,因此人们称它为“移动的科学刊物”。梅森去世后的遗产中留下了与78位学者之间的珍贵信函,其中包括笛卡儿、伽利略、费马、托里拆利、惠更斯等欧洲各国多个领域的科学家。例如,笛卡儿有20多年隐居荷兰,在那里完成了他在哲学、数学、物理学、生理学等领域的许多主要著作,此期间只有梅森定期与他保持通信联系。

图1-1-2 油画:1666年,柯尔贝尔

(引自维基百科French

我们熟悉的笛卡儿,全名为勒内•笛卡儿(René Descartes, 1596—1650),就是那位以说出“我思故我在”而闻名于世的现代哲学之父及解析几何的奠基人,于1596年出生在法国北部的都兰城。笛卡儿的父亲是当地的一个议员,母亲在他1岁多时因肺结核去世,并将这个当时被列为不治之症的疾病传染给了他,因此,这个贵族家庭对体弱多病的笛卡儿宠爱有加。

另一位法国数学家,布莱兹•帕斯卡(Blaise Pascal, 1623—1662)诞生于法国中部一个叫克莱蒙费朗的小城市中的小贵族家庭。帕斯卡比笛卡儿小了27岁,但两位数学家的童年却有不少共同之处。都是母亲早逝、父亲富有、身体羸弱、智力过人。其实不仅仅是童年生活,两位学者的学术生涯也有不少共同点,都是兴趣广泛、博学多思,他们除了在科学上的许多领域做出杰出贡献之外,也都在人文和哲学方面取得了非凡的成就。并且,在成名之后,笛卡儿和帕斯卡两人都不约而同地选择了半隐居式的生活。帕斯卡于39岁时在巴黎英年早逝,笛卡儿活得也不长,不过这位“现代哲学之父”之死颇具传奇性。笛卡儿原本是企图追求“安宁和平静”的隐居生活,平生的习惯是喜欢“睡懒觉”,躲在暖和的被窝里思考数学和哲学问题。据说他的解析几何坐标概念的灵感就是在做了“三个奇怪的梦”之后得来的。可是,笛卡儿在晚年,被瑞典的克里斯汀女王看中,召见其给她讲哲学晨课。女王喜欢早起,可怜的已经年过五旬的笛卡儿只好违背他多年的作息习惯,每天早上5点爬起来给女王上课,最后因为适应不了北欧严寒多雪的冬天,于1650年得肺炎去世了!

生活在法国南部的著名律师和业余数学家皮埃尔•费马(Pierre de Fermat, 1601—1665)也是通过书信的方式与梅森及其他数学同行保持联系,他的不少数学成果都是在这些书信中诞生的。

还有荷兰人克里斯蒂安•惠更斯(Christiaan Huygens, 1629—1695),他是著名的物理学家、天文学家和数学家。他曾经师从笛卡儿,后来又通过书信交流成为梅森学院重要成员。梅森去世后,巴黎皇家科学院成立,惠更斯为首任院长,在巴黎待了近20年。

·神童帕斯卡

才华横溢的帕斯卡参加梅森学院聚会时才14岁,而当时的笛卡儿却已经过了不惑之年。两人身世相仿,关系却并不融洽,反倒像是有些嫉妒的阴影掺杂其中。

科学神童帕斯卡在他11岁那年,创作了一篇关于身体振动发出声音的文章,使得懂数学的议员父亲提高了警惕,他禁止儿子在15岁前继续追求数学知识,以免他荒废拉丁语和希腊文的学习。但有一天,12岁的帕斯卡用一块木炭在地板上画图,发现了欧几里得几何的第32命题:三角形的内角和等于两直角。从那时起,父亲改变了想法,让小帕斯卡继续独自琢磨几何问题,后来还带着他旁听并参加梅森修道院每周一次的科学聚会。

帕斯卡在16岁时写了一篇被称作神秘六边形的短篇论文《圆锥曲线专论》。文章中证明了一个圆锥曲线内接六边形的三对对边延长线的交点共线,这个结论现在被称为“帕斯卡定理”,见图1-1-3(a)。文章被寄给梅森神父后得到众学者的极大赞赏,只有笛卡儿除外。笛卡儿不常亲临巴黎的聚会,但看了帕斯卡的手稿后,一开始拒绝相信这是出自一个16岁少年之手,认为是帕斯卡的父亲所写。后来,尽管梅森再三保证这是小帕斯卡的文章,笛卡儿仍然不屑一顾地耸耸肩膀,表明没什么大不了的。但实际上,帕斯卡定理对射影几何早期的发展起了很大的推动作用,向人们展示了射影几何学深刻、优美、直观的一面。

帕斯卡也喜欢研究物理问题,曾针对真空及大气压的性质进行实验。17世纪40年代,伽利略的弟子托里拆利(Torricelli, 1608—1647)发明了用水银柱测量气压的方法,确定大气压强使得水银柱大约上升76cm。实验结果激发了当时的物理学家们思考和讨论大气压力及空气重量的问题。年轻的帕斯卡首先重复了托里拆利的实验,继而进一步猜测:如果将气压计放在一个高高的塔顶上,其中水银柱上升的高度将比76cm低,因为空气更为稀薄。而空气再稀薄下去便是“真空”。帕斯卡计划用实验来证实他的这些想法。1647年,正好笛卡儿难得地来到巴黎并拜访了这位小天才,据说这是两人唯一的一次会晤。笛卡儿同意帕斯卡的部分观点,却对真空存在问题的实验和研究不以为然。笛卡儿认为真空不存在,也不能用实验来验证,之后还向其他人嘲笑帕斯卡,说他“头脑中的真空太多了”。不过,在那次会面中,年轻的帕斯卡也不服输,更不畏惧笛卡儿的权威。他批驳了笛卡儿的某些哲学观念,他认为:“心灵有其自己的思维方式,是理智所不能把握的。”

图1-1-3 帕斯卡研究几何和物理

(a)帕斯卡定理: A B C 共线;(b)帕斯卡做气压实验

第二年,1648年9月19日,帕斯卡的姐夫在多姆山上按照帕斯卡的设计进行了气压计实验,证明在山脚和山顶,气压计水银柱的高度相差一个不小的数目:3.15英寸!(约为8cm)帕斯卡自己则在巴黎的一个52米高的塔顶上重复了类似的实验,见图1-1-3(b)。实验成功地证实了帕斯卡关于水银柱高度随着海拔高度的增加而减少的猜测,震动了科学界。后人为纪念帕斯卡的贡献,将气压的单位用“帕”(帕斯卡名字的另一个字)来命名。

之后几年,帕斯卡又做了一系列物理实验,研究了液体压强的规律,不断取得新发现,并有多项重大发明。帕斯卡总结了这些实验,于1654年发表论文《论液体的平衡》,提出了著名的帕斯卡定律:密闭液体任一部分的压强,将大小不变地向液体的各个方向传递。如图1-1-4(a)所示,左边是液面面积较小(面积为 A 1 )的活塞,右边液面的面积( A 2 )是左边的10倍( A 2 =10 A 1 )。如果在左边的活塞上施加一个不太大的力 F 1 ,因为压强 P 可以大小不变地通过液体从左边传递到右边( P 1 P 2 ),就将在右边液面得到一个比 F 1 大10倍的升力( F 2 P 2 A 2 =10 F 1 )。这个如今看来十分简单的原理成为液压起重机以及所有液压机械的工作基础。

说到重大发明,不可忽略帕斯卡设计的计算器,那是帕斯卡在未满19岁时为了减轻他父亲重复计算税务收支的一项发明。虽然巨大、笨重、难以使用,且只能做加减法,却可以列为最早的、首次确立计算机器概念的机械计算器之一,算是我们现在人手一件的电子计算器的老祖宗了(图1-1-4(b))。

也许是因为身体不好的原因,长期与病魔的斗争使得帕斯卡心力交瘁。也有人认为帕斯卡这颗非比寻常的敏感灵魂被当时病态的宗教所扭曲。总之,帕斯卡在生命的最后几年里,不再进行科学和数学的研究,而是将时间贡献给了神学和哲学,不过其间他也写出了被法国大文豪伏尔泰称为“法国第一部散文杰作”的《思想录》。在这部处处闪现思想火花的文集中,帕斯卡以浪漫思维的方式、清明如水的文笔,探讨若干宗教和哲学问题。与笛卡儿提出理性计算的逻辑不同,帕斯卡提出心灵的逻辑:“思想形成了人的伟大”。可惜这本书尚未完成,39岁的帕斯卡便溘然长逝,真正到天国寻找他的上帝去了。

图1-1-4 帕斯卡原理和计算器

(a)帕斯卡原理应用到液压起重机;(b)帕斯卡发明的机

帕斯卡对数学还有一个大的贡献:与费马一起开拓了概率论这个重要的数学分支,下面就谈谈概率论的诞生。

·概率论的诞生

当时欧洲国家的贵族盛行赌博之风,赌博方式倒是特别简单:掷骰子或者抛硬币。不过,如此简单的赌具中却蕴藏着不一般的数学原理,因为这里涉及的游戏结果是与众不同的一类变量。比如说抛硬币,硬币有正反两面,抛出的硬币落下后的结果不确定,可能是正面,也可能是反面。结果的正反是随机的、难以预料的,却按照一定的概率出现,因而被称为“随机变量”。现在,我们把研究随机变量及其概率的数学理论称为“概率论”。

话说当年的法国有一位叫德•梅雷的贵族,在掷骰子游戏之余,也思考一点相关的数学问题。他苦思不得其解时,便向以聪明著称的帕斯卡请教。1654年,他向帕斯卡请教了一个亲身经历的“分赌注问题”。故事大概如此:梅雷和赌友各自出32枚金币,共64枚金币作为赌注。掷骰子为赌博方式,如果结果出现“6”,梅雷赢1分;如果结果出现“4”,对方赢1分;谁先得到10分,谁就赢得全部赌注。赌博进行了一段时间后,梅雷已得了8分,对方也得了7分。但这时,梅雷接到紧急命令,要立即陪国王接见外宾,于是只好中断赌博。那么,问题就来了,这64枚金币的赌注应该如何分配才合理呢?

这个问题实际上是在15、16世纪时就已经被提出过,称之为“点数分配问题”,意思就是说,在一场赌博半途中断的情况下,应该如何分配赌注?人们提出各种方案,但未曾得到大家都认为合理的答案。

就上面梅雷和赌友的例子来说。将赌注原数退回显然不合理,没有考虑赌博中断时的输赢情况,相当于白赌了一场。将全部赌注归于当时的赢家也不公平,比如当时梅雷比对方多得一分,但他还差2分才能赢,而对方差3分,如果继续赌下去的话,对方也有赢的可能性。

帕斯卡对这个问题十分感兴趣。直观而言,上面所述的两种方案显然不合理,赌博中断时的梅雷应该多得一些,但到底应该多得多少呢?也有人建议以当时两人比分的比例来计算:梅雷8分,对方7分,那么梅雷得全部赌注的8/15,对方得7/15。这种分法也有问题,比如说,如果甲乙双方只赌了一局就中断了,甲赢得1分,乙得0分。按照刚才的分法,甲拿走全部赌注,显然又是极不合理的分法。

帕斯卡从直觉意识到,中断赌博时赌注的分配比例,应该由当时的输赢状态与双方约定的最终判据的距离有关。比如说,梅雷已经得了8分,距离10分的判据差2分;赌友得了7分,还差3分到10分。因此,帕斯卡认为需要研究从中断赌博那个“点”开始,如果继续赌博的各种可能性。为了尽快地解决这个问题,帕斯卡以通信的方式与住在法国南部的费马讨论 。费马不愧是研究纯数学的数论专家,很快列出了“梅雷问题”中赌博继续下去的各种结果。

梅雷原来的问题是掷骰子赌“6点”或“4点”的问题,但可以简化成抛硬币的问题:甲乙两人抛硬币,甲赌“正”,乙赌“反”,赢家得1分,各下赌注10元,先到达10分者获取所有赌注。如果赌博在“甲8分、乙7分”时中断,问应该如何分配这20元赌注。图1-1-5(a)显示了费马的分析过程:从赌博的中断点出发,还需要抛4次硬币来决定甲乙最后的输赢。这4次随机抛掷产生16种等概率的可能结果。因为“甲赢”需要结果中出现2次“正”,“乙赢”需要结果中出现3次“反”,所以在16种结果中,有11种是“甲赢”,5种是“乙赢”。换言之,如果赌博没有中断,而是从中断点的状态继续到底的话,可以算出甲赢的概率是11/16,乙赢的概率是5/16。赌博的中断使得双方按照这种比例失去了最后赢得全部赌注的机会,因此,按此比例来分配赌注应该是合理的方法。所以,根据费马的分析思路,甲方应该得20元×11/16=13.75元,乙方则得剩余的,或20元×5/16=6.25元。

图1-1-5 费马和帕斯卡对点数分配问题的思路

(a)费马列出所有结果计算分配比例

帕斯卡十分赞赏费马思路的清晰,费马的计算也验证了帕斯卡自己得到的结论,虽然他用的是与费马完全不一样的方法。帕斯卡在解决这个问题的过程中提出了离散随机变量的“期望值”的概念。期望值是用概率加权后得到的平均值。如图1-1-5(b)所示,帕斯卡计算出从甲方的观点,“期望”能得到的赌注分配为13.75元,与费马计算的结果一致。

“期望”是概率论中的重要概念,期望值是概率分布的重要特征之一,它常被用在与赌博相关的计算中。例如,美国赌场有一种轮盘赌。其轮盘上有38个数字,每一个数字被选中的概率都是1/38。顾客将赌注(比如1美元)押在其中一个数字上,如果押中了,顾客得到35倍的奖金(35美元),否则赌注就没了,即损失1美元。那么,如何计算顾客“赢”的期望值呢?

根据期望值的定义“概率加权求平均”进行计算,图1-1-6显示了计算结果:顾客赢钱的期望值是一个负数,约等于-0.0526美元。也就是说,对赌徒而言,平均起来每赌1美元就会输掉5美分,相当于赌场赢了5美分,所以赌场永远不会亏!

图1-1-6 赌场轮盘对赌徒而言的期望值

从研究掷骰子开始,帕斯卡不仅仅引入了“期望”的概念,还发现了“帕斯卡三角形”(即中国古书中所记载的“杨辉三角形”)(图1-1-7),虽然杨辉的发现早于帕斯卡好几百年,但是帕斯卡将此三角形与概率、期望、二项式定理、组合公式等联系在一起,与费马一起为现代概率理论奠定了基础,对数学做出了不凡的贡献。1657年,荷兰科学家惠更斯在帕斯卡和费马工作的基础上,写成了《论赌博中的计算》一书,被认为是关于概率论的最早系统论著。不过,人们仍然将概率论的诞生日,定为帕斯卡和费马开始通信的那一天——1654年7月29日。

图1-1-7 帕斯卡三角形 J9oCqmcZb5C5OE8YKqAo+xajh0RhP2rFLtgikmimmGTja6D1jxC3tCC3mzCd1gcz

点击中间区域
呼出菜单
上一章
目录
下一章
×