约翰·伯努利(Johann Bernoulli)
莱布尼茨微积分在欧洲大陆最有力的推广者与应用大师——提出最速降线问题开创变分法,洛必达法则的真正作者,欧拉的老师,被同时代人誉为「当代阿基米德」(Archimedes of his age,此语刻于其墓碑),却一生深陷与兄长、亲子的优先权之争。
一、生平与时代背景
约翰·伯努利于 1667 年 7 月 27 日(儒略旧历)/ 8 月 6 日(格里高利历)出生于瑞士巴塞尔,是尼古拉与玛格丽塔·伯努利的第十个孩子,比兄长雅各布小 12 岁。家族是从尼德兰安特卫普逃出的新教难民,在巴塞尔经营香料生意,信奉加尔文宗。约翰在自传中写道,父母「不遗余力、不惜代价地在道德与宗教上给予我适当教育」。
父母安排他从商:1682 年(15 岁)他在香料行做了一年,极不适应、业绩很差。1683 年父亲勉强同意他入巴塞尔大学,但指定他学医学(伯努利家族多人虽热爱数学却被安排学医)。在大学里他随兄长雅各布私下学数学,两人一起啃莱布尼茨 1684 年那篇晦涩的微分学论文;两年后,约翰的数学功力已与兄长不相上下。1690 年他发表第一篇论文,内容却是发酵作用(医学相关,非数学)。
1691 年他赴日内瓦讲授微分学,随后到巴黎进入马勒伯朗士(Malebranche)的学术圈,结识了洛必达侯爵。洛必达发现约翰对莱布尼茨新微积分的理解远超巴黎所有人,便请他私下授课(在巴黎及洛必达的 Oucques 庄园),报酬丰厚;约翰回巴塞尔后仍以通信授课,洛必达支付相当于半个教授的薪水。正是这些讲义,后来成为史上第一本微积分教科书(1696 年洛必达出版)的蓝本,书中的「洛必达法则」实为约翰的结果。1692 年在巴黎他结识了瓦里尼翁(Varignon),二人结下深厚友谊,瓦里尼翁从他那里学到微积分的大量应用;同年他开始与莱布尼茨通信,这成为莱布尼茨一生最重要的通信之一。
1691 年他解出雅各布同年提出的悬链线问题,这是他第一个独立于兄长的重要成果。1694 年他提交医学博士论文,主题其实是肌肉运动的数学应用。1695 年他收到两个讲席邀请:哈雷与格罗宁根(数学,经惠更斯推荐),他欣然接受格罗宁根——终于获得与兄长平等的地位。此时他已与 Drothea Falkner 结婚,长子尼古拉(II)才 7 个月。1695 年 9 月 1 日举家出发,穿越战区、乘船下莱茵、再换马车与船,10 月 22 日抵达,开始了艰难的十年格罗宁根生涯:卷入宗教争端(被指控否认肉身复活、1702 年被学生 Venhuysen 写小册子指控信奉笛卡尔哲学、反对加尔文信仰,他写了 12 页长文答辩),次女 1697 年出生仅活六周,他本人重病一度被误传死讯;他引入的物理实验同时触怒笛卡尔派与加尔文派。
1696 年 6 月他提出最速降线问题挑战全欧,得到五个解答(他自己、雅各布、莱布尼茨、牛顿、洛必达),答案是摆线;雅各布随即回敬以等周问题。约翰对等周问题的早期解答不如雅各布,但 1718 年读到泰勒的著作后重做,给出了优雅解答,成为变分法的基石。
1705 年岳父思念女儿、不久于人世,约翰举家返巴塞尔,出发两天后雅各布病逝(他途中才得知)。他本拟接任希腊语讲席,因兄长去世而改任巴塞尔数学教授,并在此终老;期间拒绝了乌得勒支、莱顿及 1717 年格罗宁根的返聘邀请。
1713 年他深度卷入牛顿—莱布尼茨微积分优先权之争,坚定支持莱布尼茨,用微积分解出牛顿方法未能解决的问题以彰显其优越性;但他同时支持笛卡尔的漩涡说反对牛顿引力,这一点他是错的,并因此延误了牛顿物理在欧洲大陆的接受。他在力学中主张活力(vis viva,即动能)守恒,引发又一场旷日持久的争论。他与亲生儿子丹尼尔也陷入优先权之争:把自己的《水力学》(Hydraulica)倒署为 1732 年,以图压过丹尼尔 1738 年出版的《流体动力学》(Hydrodynamica),后被史家证伪。
约翰生前享有巨大声誉,当选巴黎、柏林、伦敦、圣彼得堡、博洛尼亚科学院院士,被誉为「当代阿基米德」。1748 年 1 月 1 日卒于巴塞尔。
二、学术生涯年表
| 年份 | 事件 |
|---|---|
| 1667 | 7 月 27 日(儒略旧历)/ 8 月 6 日(格里高利历)生于巴塞尔,双历法记年 |
| 1682 | 15 岁,遵父命在香料行学徒一年,失败 |
| 1683 | 入巴塞尔大学学医;私下随兄雅各布学数学,共读莱布尼茨微积分 |
| 1690 | 发表首篇论文(发酵,医学主题) |
| 1691 | 赴日内瓦讲授微分学;解出悬链线(雅各布同年提出);到巴黎入马勒伯朗士圈,结识洛必达 |
| 1691—1692 | 为洛必达私下讲授微积分(巴黎与 Oucques 庄园) |
| 1692 | 结识瓦里尼翁;开始与莱布尼茨通信(莱布尼茨一生最重要通信之一) |
| 1694 | 提交医学博士论文(实为肌肉运动的数学应用);研究函数 $y=x^x$,用分部积分研究级数 |
| 1694 | 洛必达致信提出以每年 300 镑酬金换取其发现与讲义的保密与使用权;约翰接受 |
| 1695 | 接受格罗宁根数学讲席(惠更斯推荐);9 月 1 日举家迁往荷兰 |
| 1696 | 6 月在《教师学报》提出最速降线问题,挑战全欧;得到五个解答(含自己的),答案为摆线 |
| 1696 | 洛必达出版《阐明曲线的无穷小分析》,基于约翰讲义;含今称「洛必达法则」 |
| 1697 | 次女出生六周夭折;与雅各布关系彻底破裂 |
| 1702 | 遭学生 Venhuysen 小册子指控,写 12 页答辩 |
| 1705 | 得知岳父病重,举家返巴塞尔;途中获悉雅各布去世;接任巴塞尔数学教授 |
| 1713 | 卷入牛顿—莱布尼茨之争,力挺莱布尼茨;错误支持笛卡尔漩涡说 |
| 1718 | 重读泰勒后重新解出等周问题,给出变分法的奠基性解答 |
| 1738 | 出版《水力学》(倒署 1732 年),与子丹尼尔争优先权 |
| 1748 | 1 月 1 日卒于巴塞尔;墓碑刻「当代阿基米德」 |
三、核心成果(逐条技术解析)
1. 最速降线问题——变分法的诞生
问题背景:在重力作用下,一质点从较高点到不在其正下方的较低点,沿什么曲线下滑时间最短?这是 17 世纪末的著名挑战,伽利略曾给出错误答案(圆弧)。
关键思想:1696 年 6 月约翰在《教师学报》公开征解。他自己的解法巧妙地用了光学类比:把质点的速度类比为光在变折射率介质中的速度,按费马最短时间原理(斯涅尔定律的连续推广),把竖直方向切成薄片,在每片内速度近似恒定、路径满足折射定律 $\sin\theta/\sqrt{y}=\text{常数}$,从而推出曲线的微分方程。
精确表述:设质点从原点由静止出发,能量守恒给出 $v=\sqrt{2gy}$,最速降线满足 $$\frac{dx}{dy}=\sqrt{\frac{y}{a-y}},$$ 其解为摆线(旋轮线)的参数方程:$x=a(\theta-\sin\theta),\ y=a(1-\cos\theta)$。共收到五个有效解答(约翰、雅各布、莱布尼茨、牛顿、洛必达),均指向摆线。
与前人关系:伽利略曾尝试但错误地认为是圆弧;约翰的光学类比受费马原理启发(雅各布此前也研究过类似思想)。
局限性:这是「对一条曲线取极值」的天才特例,但尚未抽象为一般的变分法框架。一般的欧拉—拉格朗日方程要到 1744 年(欧拉)与 1760 年代(拉格朗日)才系统建立;约翰 1718 年对等周问题的工作是迈向这一框架的关键一步。
2. 洛必达法则的真正作者
问题背景:求形如 $0/0$ 的不定式极限,是微积分早期的核心计算问题。
关键思想:约翰在 1694 年给洛必达的通信讲义中给出了这一法则。洛必达将其写入 1696 年的《无穷小分析》第 9 章,此后以「洛必达法则」传世,约翰长期被埋没。
精确表述(现代形式):若 $\lim_{x\to a} f(x)=\lim_{x\to a} g(x)=0$(或同为 $\infty$),且 $g'(x)\neq 0$ 在 $a$ 附近,则 $$\lim_{x\to a}\frac{f(x)}{g(x)}=\lim_{x\to a}\frac{f'(x)}{g'(x)},$$ 只要右端极限存在。
与前人关系:法则的思想(以导数比代替函数比)源自莱布尼茨微分法;约翰是给出一般陈述者,洛必达是整理出版者。洛必达书中还纠正了约翰的若干错误(如约翰误以为 $\int dx/x$ 是有限的),说明他并非纯粹抄写。
局限性:1922 年 Schafheitlin 在巴塞尔公共图书馆发现约翰侄子尼古拉(I)抄写的约翰微分学课程手稿,与洛必达的书高度雷同,才最终证实此为约翰的成果(详见第六节)。
3. 悬链线的解法
问题背景:一条柔软、不可伸长的均匀链条两端悬挂,在重力下取什么形状?伽利略曾猜测是抛物线,实为错误。雅各布 1690/1691 年重新提出该问题挑战全欧。
关键思想:约翰 1691 年解出,用微积分建立曲线的微分方程:取链条最低点,分析张力的水平与竖直分量,得到 $dy/dx = s/a$($s$ 为弧长),结合弧长微分推出双曲余弦解。
精确表述:悬链线方程为 $y=a\cosh(x/a) = \dfrac a2\left(e^{x/a}+e^{-x/a}\right)$,其中 $a$ 由张力与线密度决定。
与前人关系:莱布尼茨、惠更斯也在同一年(1691)各自独立解出;约翰的解法用微分方程,清晰有力。
局限性:这是他第一个独立于兄长的成果,用的是雅各布提出问题时给出的思路,故雅各布认为他只是在自己的框架内解题(兄弟争议之一)。
4. 等周问题与变分法的奠基(1718)
问题背景:在给定周长的闭曲线中,哪条围出的面积最大?以及更一般的带约束的变分问题。雅各布在最速降线之争后提出此问题回敬约翰。
关键思想:约翰早期解答不如雅各布;1718 年读到泰勒的著作后,他引入了沿变分曲线移动点的切线变化分析,给出一个优雅而一般的处理,包含了后来变分法的核心思想(极值曲线满足的必要条件的雏形)。
精确表述:约翰证明,等周条件下的面积最大问题可化为对一族曲线的变分分析,其极值曲线满足一个二阶微分关系,这是欧拉—拉格朗日方程在特定情形的早期形式。
与前人关系:古希腊已知道等周定理(圆面积最大),但无严格证明;约翰的变分方法是分析学处理此类问题的突破,直接启发欧拉。
局限性:尚未建立一般的变分法算法(欧拉 1744 年才给出系统的欧拉方程);他与雅各布的解答互相挑错,反映了方法的不成熟。
5. 分析学技法:分部积分、积分概念与函数研究
问题背景:如何系统地求积分(反微分)与求和级数?莱布尼茨给出了微分规则,但积分技术尚在草创。
关键思想:约翰把积分直接定义为微分的逆运算,以此求解微分方程取得巨大成功;他研究了函数 $y=x^x$(1694),用分部积分求和级数,并利用三角函数、双曲函数满足的微分方程发现其加法定理。
精确表述: - 分部积分:$\int u\,dv = uv - \int v\,du$,他系统用于级数求和与方程求解。 - $x^x$ 的积分与展开:他给出 $\int_0^1 x^{-x}\,dx = \sum_{n=1}^\infty n^{-n}$(一个著名的级数等式,有时称「Johann Bernoulli 级数」)。 - 他把积分看作微分的逆,而非面积,这一观点推动了微分方程求解技术。
与前人关系:分部积分思想在莱布尼茨处已有雏形,约翰将其系统化为工具;他是最早把 $x^x$ 这类「幂指函数」作为分析对象的人之一。
局限性:当时积分尚无严格定义(无极限、无测度),他的「逆运算」观点虽实用,却回避了收敛性与存在性问题。
四、代表著作与文献
- 《阐明曲线的无穷小分析》(Analyse des infiniment petits pour l'intelligence des lignes courbes,作者署名洛必达,1696):史上第一本微积分教科书,实为约翰讲义的整理本,含洛必达法则。
- 《全集》(Opera Omnia,4 卷,1742,洛桑—日内瓦):约翰著作的系统结集,含其通信与论文。
- 《水力学》(Hydraulica,1738 年出版但倒署 1732):力学著作,与子丹尼尔优先权之争的焦点。
- 与莱布尼茨、瓦里尼翁、洛必达、牛顿(间接)等的通信:其数学成果的主要载体;与莱布尼茨的通信是 18 世纪初分析学发展的核心一手文献。
五、师承、学派与同时代交往
- 师承:正式医学学位,数学上是兄长雅各布·伯努利的学生(虽然后来反目);深受莱布尼茨微积分著作影响。
- 学派归属:莱布尼茨微积分在欧洲大陆的首席传人,巴塞尔伯努利数学家族第二代核心,也是连接莱布尼茨与欧拉的关键一环。
- 学生 / 后继者:
- 莱昂哈德·欧拉:约翰最著名的学生,后来成为史上最多产的数学家;欧拉的父亲与约翰是巴塞尔旧交。
- 洛必达:1691—1692 年的私人学生(以付费方式)。
- 其子丹尼尔·伯努利、尼古拉(II)、约翰(II),侄尼古拉(I) 皆受其教导。
- 同时代交往:
- 莱布尼茨:最重要的通信伙伴,微积分优先权之争的盟友。
- 瓦里尼翁:挚友,微积分在法国力学中的应用推广者。
- 雅各布·伯努利:兄弟、早期合作者、后为死敌。
- 牛顿:1716 年牛顿提出著名的「莱布尼茨难题」(最速降线的逆问题),约翰当日即解出,此事被视为微积分优越性的有力证明;但约翰与牛顿派(如泰勒)也有争端。
- 布鲁克·泰勒:与约翰有长期优先权与方法论争论(含一次 50 基尼的赌约)。
六、争议、公案与历史评价
- 双历法生日:7 月 27 日(儒略旧历)= 8 月 6 日(格里高利历),均正确;常见文献取其一。
- 洛必达书的著作权:约翰在洛必达生前因 1694 年的保密协议(每年 300 镑酬金、不得泄露、不得向他人传播讲义)而无法声张;洛必达死后他强烈主张自己是真正作者,但因他此前与雅各布等多次陷入优先权之争,几乎无人相信。直到 1922 年,Schafheitlin 在巴塞尔公共图书馆发现由约翰侄子尼古拉(I)抄写的约翰微分学课程手稿,与洛必达的书高度雷同,才为约翰正名(MacTutor 的 l'Hôpital 条目误记为 1921 年,学界通说与一手文献为 1922 年——两说并存,以 1922 为准)。史家指出洛必达并非完全抄袭,他纠正了约翰若干错误、改写得清晰优雅,但其原创发现几乎没有。
- 与雅各布的兄弟之争:从最速降线、等周问题到悬链线归属,兄弟在 1697 年后公开敌对,互相攻讦。现代史家认为双方都有责任,竞争既催生成果也造成内耗。
- 与儿子丹尼尔的《水力学》之争:约翰把自己的书倒署为 1732 年以压过丹尼尔 1738 年的《流体动力学》,后被证实虚假——这是他一生中最不光彩的优先级操作。
- 错误支持笛卡尔漩涡说:在牛顿引力已获验证后仍坚持笛卡尔的宇宙漩涡理论,延误了欧洲大陆对牛顿物理的接受,是他在物理学上的明显误判。
- 「活力(vis viva)」之争:他与莱布尼茨主张 $mv^2$(活力)守恒,与笛卡尔派的 $mv$(动量)派长期论争,实质是动量守恒与能量守恒的混淆,直到 18 世纪后期才厘清。
- 历史评价:他是 18 世纪上半叶欧洲大陆分析学的领袖,微积分最有力的传播者与应用者;但其好胜、好斗、热衷优先权的性格常为人诟病。墓碑所刻「当代阿基米德」反映了他生前的崇高声望。
七、身后影响与学术谱系
- 变分法:最速降线(1696)与等周问题(1718)直接启发欧拉(1744)与拉格朗日(1760)建立变分法,后者成为分析力学与现代物理的核心工具。
- 微积分的传播:通过洛必达的书与瓦里尼昂、欧拉等学生,把莱布尼茨微积分传遍欧洲大陆,塑造了大陆分析学派的符号与方法。
- 分析技法:分部积分、逆微分观点、$x^x$ 研究等,汇入 18 世纪分析的常规武器库。
- 巴塞尔学派 / 伯努利家族:他教出欧拉,其子丹尼尔开创流体力学与概率期望,形成数学史上罕见的学术世家。
- 力学:活力概念经欧拉、达朗贝尔发展,最终汇入能量守恒定律。
- 文化符号:月球有 Bernoulli 环形山(家族),巴黎有 Rue Bernoulli;「洛必达法则实为伯努利」成为数学史教学中的经典轶事。
八、延伸阅读与权威来源
- MacTutor 数学史档案:Johann Bernoulli:圣安德鲁斯大学权威传记,本档案主要史实出处。
- Dictionary of Scientific Biography — Johann Bernoulli (PDF, MacTutor 托管):科学史权威传记条目(Fellmann & Fleckenstein 撰)。
- Wikipedia: Johann Bernoulli:交叉核对生平(含双历法生日)。
- Wikipedia: Brachistochrone curve:最速降线问题与约翰的光学解法。
- MacTutor: The brachistochrone problem:该问题的历史专题。
- Wikipedia: L'Hôpital's rule:法则与约翰的作者归属。
- Wikipedia: Bernoulli family:伯努利家族数学家谱系。
- Britannica: Johann Bernoulli:百科条目交叉核对。
- J. O. Fleckenstein, Johann und Jacob Bernoulli (Basel, 1949):兄弟二人的标准学术传记(德文)。
- O. Spiess (ed.), Der Briefwechsel von Johann Bernoulli (Basel, 1955—):约翰通信集的学术校勘本。