雅各布·伯努利(Jacob Bernoulli)
莱布尼茨微积分最早的解读者、概率论极限定理的开山人——他在墓碑上刻下对数螺线与铭文「纵然改变,我仍复生」(Eadem Mutata Resurgo),以「积分」一词和大数定律为现代分析与概率论奠基。
一、生平与时代背景
雅各布·伯努利于 1655 年 1 月 6 日(格里高利历)出生于瑞士巴塞尔;按当时仍在部分地区使用的儒略旧历则为 1654 年 12 月 27 日——这就是常见文献把他的生年记为 1654 年的由来(巴塞尔城邦已于 1584 年改用格里高利历,但家族记录与周边地区沿用旧历,属双历法记年,非矛盾)。他的家族原籍尼德兰(今比利时)安特卫普,是躲避西班牙阿尔瓦公爵宗教迫害的新教难民,祖辈先逃至阿姆斯特丹,再定居巴塞尔,经营香料生意。父亲尼古拉·伯努利(Nicolaus Bernoulli,1623—1708)是巴塞尔市议员兼地方法官,母亲出身巴塞尔银行世家。雅各布是家中第一个走上数学道路的人——在他之前,伯努利家族并无数学传统。
父母强迫他攻读哲学与神学,他深恶痛绝,仍于 1671 年获巴塞尔大学哲学硕士,1676 年获神学执教资格(licentiate)。读学位期间他违抗父命自学数学与天文学。1676 年神学毕业后,他先到日内瓦做家庭教师,随后赴法国旅居两年,在马勒伯朗士(Malebranche)领导的笛卡尔学派追随者门下研习。1681 年游历尼德兰(结识 Hudde)与英国(结识波义耳、胡克),此时他醉心天文学,提出过一种错误的彗星理论。这些旅行让他与欧洲多位数学家建立起持续多年的通信。
1683 年他回到巴塞尔,在大学讲授力学(固体与流体力学),发表了一系列重要讲义;尽管有教会职位相邀,他坚决拒绝,一心投入数学与理论物理。他研读笛卡尔《几何学》、van Schooten 的拉丁文评注、沃利斯与巴罗的著作,由此对无穷小几何产生兴趣,并在莱比锡 1682 年创刊的《教师学报》(Acta Eruditorum)上发表成果。1684 年与 Judith Stupanus 结婚,育有一子(取名尼古拉,与祖父同名)一女,二人后来都未成为数学家。
1687 年他就任巴塞尔大学数学教授。正是在这一时期,他与弟弟约翰·伯努利(小他 12 岁,本被安排学医)一起钻研莱布尼茨 1684 年那篇极其晦涩的微分学论文 Nova Methodus,兄弟二人是最早读懂并系统应用莱布尼茨微积分的人,也研究了冯·奇恩豪斯(von Tschirnhaus)的工作。然而兄弟关系很快从合作恶化成激烈的 rivals:约翰的自夸激怒雅各布,雅各布公开贬称约翰不过是「只会重复老师所教的学生」,1697 年后尤其恶劣;约翰则觊觎雅各布占据的巴塞尔讲席,怨恨自己不得不于 1695 年远赴荷兰格罗宁根。史家 Hofmann 评价:「敏感、易怒、相互热衷批评、对认可的过度渴求,使兄弟反目;其中雅各布智力较慢但更深邃。」
雅各布最具原创性的著作《猜度术》(Ars Conjectandi)在他去世时仍未完成,1713 年由其侄尼古拉(I)伯努利协助出版。1705 年 8 月 16 日,他因肺结核卒于巴塞尔,讲席由弟弟约翰继承。他生前沉迷对数螺线的「神奇」性质,遗嘱要求把它刻在墓碑上,配以铭文 Eadem Mutata Resurgo(「纵然改变,我仍复生」)。
二、学术生涯年表
| 年份 | 事件 |
|---|---|
| 1654/55 | 1 月 6 日(格里高利历)/ 12 月 27 日(儒略旧历)生于巴塞尔,双历法记年 |
| 1671 | 获巴塞尔大学哲学硕士(父命所迫读哲学神学) |
| 1676 | 获神学执教资格;毕业后赴日内瓦任家庭教师 |
| 1676—1678 | 旅居法国,随马勒伯朗士的笛卡尔学派研习 |
| 1681 | 游历尼德兰、英国,结识 Hudde、波义耳、胡克;提出错误的彗星理论 |
| 1682 | 起在《教师学报》(Acta Eruditorum)发表论文;开始发表无穷级数论著(至 1704 年共五篇) |
| 1683 | 回巴塞尔大学讲授力学 |
| 1684 | 与 Judith Stupanus 结婚 |
| 1685 | 出版逻辑与代数平行性的小册子;发表概率论早期工作 |
| 1687 | 几何成果:用两条互相垂直的线把任意三角形四等分;就任巴塞尔大学数学教授 |
| 1687 起 | 与弟弟约翰共同研读莱布尼茨 1684 年微分学论文,成为最早掌握其微积分者 |
| 1689 | 发表无穷级数重要工作;发表概率论中的大数定律 |
| 1690 | 5 月《教师学报》论文:证明等时曲线问题等价于一阶非线性微分方程,用分离变量法求解;「积分」(integral)一词首次在积分意义下使用 |
| 1692 | 研究抛物线、对数螺线、外摆线的焦散线;发现曲线的渐屈线是其曲率圆族的包络 |
| 1694 | 构想并给出「伯努利双纽线」 |
| 1695 | 研究吊桥平衡曲线问题 |
| 1696 | 解出今称「伯努利方程」$y'=p(x)y+q(x)y^n$;参与最速降线问题求解 |
| 1705 | 8 月 16 日卒于巴塞尔(肺结核) |
| 1713 | 《猜度术》(Ars Conjectandi)身后由侄尼古拉(I)协助出版 |
三、核心成果(逐条技术解析)
1. 大数定律(伯努利大数定律)——概率论首个极限定理
问题背景:如何为「频率随试验次数增多而趋近概率」这一经验直觉给出严格证明?帕斯卡—费马—惠更斯已建立组合概率,但尚无任何关于极限行为的定理。
关键思想:在《猜度术》第四部分(Pars Quarta,生前未完成、身后出版)中,雅各布证明了他自称为「黄金定理」(theorema aureum)的结果:在可重复的独立试验中,事件发生的相对频率会以任意指定的精度逼近其真实概率,只要试验次数足够多。这是把概率从「组合计数」提升为「可极限逼近的客观量」的关键一步。
精确表述(现代形式):设一次试验中事件 $A$ 发生的概率为 $p$,独立重复 $n$ 次,$n_A$ 为 $A$ 发生的次数,则对任意 $\varepsilon>0$, $$\lim_{n\to\infty} P\left(\left|\frac{n_A}{n}-p\right|<\varepsilon\right)=1.$$ 雅各布用的是二项分布的直接估计:他给出,为使频率落在 $p$ 附近指定区间内的概率超过任意给定阈值(如 $1000/1001$),所需的 $n$ 的显式下界(虽偏大)。这是历史上第一个极限定理,也是「依概率收敛」概念的雏形。
与前人关系:惠更斯《论赌博中的计算》提供了期望框架,但没有极限定理;雅各布是第一个证明频率稳定性的人。
局限性:他给出的 $n$ 的界极其粗糙(实用价值有限);且只处理了单次成功概率 $p$ 已知、试验独立同分布的情形。其「可由频率反推概率」的哲学断言(逆概率)在书中并未严格证成,后由贝叶斯、拉普拉斯发展。严格的大数定律推广(切比雪夫、辛钦)与中心极限定理(棣莫弗—拉普拉斯)要到更晚才出现。
2. 伯努利数与指数级数、数 $e$
问题背景:如何求前 $n$ 个正整数的 $m$ 次幂之和 $\sum_{k=1}^{n} k^m$ 的一般公式?这是自费马、帕斯卡以来的经典问题。
关键思想:在《猜度术》讨论指数级数的章节中,雅各布引入了一列有理数,即伯努利数 $B_k$,用以统一表达幂和公式。他注意到这些系数在指数函数的展开中反复出现,并与复利问题联系起来研究指数级数。
精确表述:伯努利数由生成函数定义(现代记法) $$\frac{t}{e^t-1}=\sum_{k=0}^{\infty} B_k \frac{t^k}{k!},$$ 其中 $B_0=1,\ B_1=-\tfrac12,\ B_2=\tfrac16,\ B_4=-\tfrac1{30},\dots$,且除 $B_1$ 外奇数项均为零。幂和公式为 $$\sum_{k=1}^{n} k^m = \frac{1}{m+1}\sum_{j=0}^{m} \binom{m+1}{j} B_j \, n^{m+1-j}.$$ 此外,他从复利问题出发研究 $\left(1+\tfrac1n\right)^n$ 的极限,触及了常数 $e$ 的指数级数展开($e=\sum_{k=0}^\infty 1/k!$),为欧拉后来正式命名 $e$ 奠定基础。
与前人关系:约翰·法尔哈伯(Faulhaber)此前已算出高次幂和的个别公式,但未给出系统系数;雅各布是第一个把系数一般化、识别出「伯努利数」这一普适序列的人。
局限性:他的伯努利数与现代符号约定略有差异;幂和公式的严格证明到欧拉才完善。伯努利数后来在分析(正切/余切展开)、数论(费马大定理的正则素数判别)、拓扑中无处不在,远超雅各布当时的预见。
3. 「积分」概念的定名与伯努利方程、分离变量法
问题背景:莱布尼茨的微分法已给出求导规则,但「反微分」(求积)尚无统一名称与系统技术;微分方程更是全新领域。
关键思想:1690 年 5 月发表于《教师学报》的论文中,雅各布求解等时曲线(isochrone:质点从曲线上任一点在重力下滑到底部所用时间都相同的曲线)时,把它化为一阶非线性微分方程,并用分离变量法解出。这篇论文的历史意义在于:「积分(integral / integralis)」一词首次以「求积、反微分」的现代意义出现(此前莱布尼茨用 calculus summatorius,后采纳伯努利的 integral)。1696 年他又解出今以他命名的方程。
精确表述: - 伯努利方程:$y' = p(x)y + q(x)y^{n}$($n\neq 0,1$)。解法是令 $z=y^{1-n}$,化为关于 $z$ 的一阶线性方程 $z'=(1-n)p(x)z+(1-n)q(x)$。雅各布当时给出了等价求解。 - 等时曲线:他证明其微分方程可分离变量并积分,得到摆线(cycloid)的一段——与惠更斯此前用几何方法得到的结论一致,但他用了全新的微积分语言。
与前人关系:莱布尼茨提出微分法;雅各布兄弟是最早系统运用它求解微分方程的人,分离变量法由他们发展并命名。
局限性:当时尚无一般的微分方程求解理论,也未严格论证无穷小运算的合法性;「积分」作为严格概念要到柯西—黎曼才完成。
4. 伯努利双纽线(Lemniscate of Bernoulli)
问题背景:卡西尼卵形线(Cassini oval)是到两定点距离之积为常数的点的轨迹。1694 年,雅各布在研究其特殊情形时发现了一条形状优美的曲线。
关键思想:他把卡西尼卵形线中「距离之积等于两焦点间半距之半平方」的特殊情形单独取出,得到一条横卧的「∞」形曲线,因其像缎带而取名 lemniscus(拉丁语「缎带」)。
精确表述:双纽线的极坐标方程为 $r^2=a^2\cos 2\theta$,直角坐标方程为 $(x^2+y^2)^2=2a^2(x^2-y^2)$,两焦点为 $(\pm a/\sqrt2,0)$,到两焦点距离之积恒为 $a^2/2$。
与前人关系:是卡西尼卵形线的特例,但雅各布首次明确研究并命名,开启了对该曲线的深入分析。
局限性/后续影响:雅各布未能求出其弧长。其弧长 $\int \frac{dx}{\sqrt{1-x^4}}$ 是一个椭圆积分,后来(18 世纪)成为椭圆函数论的源头之一(欧拉、高斯、阿贝尔)。它的「双纽线函数」与三角函数有深刻类比,是非欧几何与椭圆函数的早期温床。
5. 无穷级数:调和级数发散与 $\sum 1/n^2$ 的收敛上界
问题背景:无穷级数的敛散性判别是分析学前夜的核心课题。
关键思想:在 1682—1704 年发表的五篇级数论著中,雅各布用经典的「分组放缩」证明了调和级数 $\sum 1/n$ 发散;同时证明了 $p=2$ 级数 $\sum 1/n^2$ 收敛,但其和小于 2,却未能求出精确值。他还研究了由复利引出的指数级数。
精确表述:调和级数发散的证明(重现于其著作):把 $1/3+1/4>1/2$,$1/5+\cdots+1/8>1/2$,…… 每 $2^{k-1}$ 项之和大于 $1/2$,故部分和无界。他得到 $\sum_{n=1}^\infty 1/n^2 < 2$(实际和为 $\pi^2/6\approx 1.6449$)。
与前人关系:调和级数发散早在约 40 年前已由门戈利(Pietro Mengoli,1625—1686)证明,雅各布当时以为是自己的新结果——这是一处优先权上的疏漏(他不知情,非抄袭)。
局限性:求 $\sum 1/n^2$ 精确值(「巴塞尔问题」)难倒了雅各布与当时所有人,直到 1735 年欧拉才解出 $\pi^2/6$,由此成名。
四、代表著作与文献
- 《猜度术》(Ars Conjectandi,1713 年身后出版):概率论的奠基性著作,含大数定律(第四部分)、伯努利数、对概率哲学(先验/后验概率、道德期望与数学期望)的系统讨论。生前未完成,由侄尼古拉(I)·伯努利协助出版。
- 五篇无穷级数论著(1682—1704,散见于《教师学报》等):含调和级数发散、$\sum 1/n^2$ 收敛上界、指数级数研究。
- 1690 年 5 月《教师学报》论文:等时曲线与微分方程,首次在积分意义下使用「integral」一词。
- 1696 年关于微分方程的论文:解出伯努利方程。
- 与莱布尼茨、惠更斯、弟弟约翰等的大量通信:其许多成果以通信形式流传,是研究早期微积分传播的一手资料。
五、师承、学派与同时代交往
- 师承:无正式数学导师。在法国受马勒伯朗士笛卡尔学派影响;通过研读笛卡尔、沃利斯、巴罗、莱布尼茨、门戈利等人的著作自学。
- 学派归属:莱布尼茨微积分在欧洲大陆的第一代传人,「巴塞尔伯努利数学家族」的开创者与第一代核心。
- 同时代交往:
- 戈特弗里德·莱布尼茨:1684 年微积分论文的最早解读者,长期通信;「积分」一词的定名得到莱布尼茨认可并采用。
- 约翰·伯努利(弟弟):早期合作者,共同掌握微积分;后成为激烈 rivals(详见第六节)。
- 克里斯蒂安·惠更斯:等时曲线的早期研究者,通信讨论概率与曲线。
- 尼古拉(I)·伯努利(侄子):协助出版《猜度术》;其概率论工作也受雅各布影响。
- 冯·奇恩豪斯(von Tschirnhaus):微积分文献的共同研读对象。
- 与波义耳、胡克、Hudde 等有直接交往(1681 年旅行中)。
六、争议、公案与历史评价
- 双历法生日:1654 年 12 月 27 日(儒略旧历)= 1655 年 1 月 6 日(格里高利历),两者均正确,分别对应不同历法体系;常见的「1654 年生」来自旧历年份。属记年体系差异,非史实存疑。
- 与约翰·伯努利的兄弟反目:从合作到 1697 年后的公开敌对,互相在刊物上攻讦。雅各布称约翰只是自己的学生,约翰则想夺巴塞尔讲席。现代史家认为双方都有责任,这场竞争既刺激了成果产出(最速降线、等周问题),也造成内耗。
- 调和级数发散的优先权:雅各布以为是自己的发现,实则门戈利约 40 年前已证。这是他在不知情下的重复发现,非刻意剽窃,但其著作未追溯前人。
- 错误的彗星理论:早年天文学工作有误,显示其在天文学上的判断力不如数学。
- 不恰当的自我评价与对弟弟的贬低:Hofmann 指出雅各布「刚愎、好斗、记仇、受自卑感困扰,却又坚信自己的能力」。但他对弟弟仍有「最持久的影响」。
- 历史评价:他是莱布尼茨微积分在欧洲大陆的关键传播者,概率论极限定理的开创者,「积分」一词的定名者,其著作风格「机敏与优雅罕见,但诚信十足」(Hofmann)。《猜度术》使他与帕斯卡、费马、惠更斯并列概率论奠基人。
七、身后影响与学术谱系
- 概率论:大数定律经棣莫弗、拉普拉斯、切比雪夫、辛钦发展为完整的极限理论体系;《猜度术》中的概率哲学(先验/后验、道德期望)影响了贝叶斯学派与决策论。
- 分析学:「积分」一词与分离变量法成为标准工具;伯努利数贯穿分析、数论与数学物理。
- 变分法:与弟弟关于最速降线、等周问题的竞争,直接启发了欧拉—拉格朗日变分法的建立。
- 椭圆函数:他未能求出的双纽线弧长,成为 18—19 世纪椭圆积分与椭圆函数的入口(欧拉加法公式、高斯双纽线函数、阿贝尔定理)。
- 数学世家:他开创的伯努利家族产生了三代、十余位数学家(约翰、尼古拉(I/II)、丹尼尔、约翰(II)等),与欧拉形成「巴塞尔学派」。
- 文化符号:墓碑上的对数螺线与 Eadem Mutata Resurgo 铭文;月球有以伯努利命名的环形山(Bernoulli),巴黎有 Rue Bernoulli。
八、延伸阅读与权威来源
- MacTutor 数学史档案:Jacob Bernoulli:圣安德鲁斯大学权威传记,本档案主要史实出处。
- Dictionary of Scientific Biography — Jacob Bernoulli (PDF, MacTutor 托管):科学史权威传记条目(Hofmann 撰)。
- Wikipedia: Jacob Bernoulli:交叉核对生平(含双历法生日标注)。
- Wikipedia: Ars Conjectandi:《猜度术》的结构与大数定律。
- Wikipedia: Bernoulli number:伯努利数的定义与应用。
- Wikipedia: Law of large numbers:伯努利大数定律的历史地位。
- Wikipedia: Lemniscate of Bernoulli:双纽线的方程与后续影响。
- MacTutor: History of the number e:雅各布在指数级数与复利研究中对 $e$ 的贡献。
- Britannica: Jakob Bernoulli:百科条目交叉核对。
- Stephen M. Stigler, The History of Statistics: The Measurement of Uncertainty before 1900 (Harvard, 1986):大数定律的统计学史解读。