纪尧姆·德·洛必达(Guillaume de l'Hôpital)
历史上第一本微积分教科书的出版者——以贵族之财力与清晰之文笔,把莱布尼茨晦涩的新微分学第一次呈现为可教可学的系统课程;书中以他命名的「洛必达法则」实为其师约翰·伯努利的成果,这段「署名公案」成为数学史上最著名的著作权之争之一。
一、生平与时代背景
纪尧姆-弗朗索瓦-安托万·德·洛必达(Guillaume-François-Antoine de l'Hôpital),全名兼头衔为「洛必达侯爵、圣泰姆侯爵、昂特尔蒙伯爵、乌克拉-拉谢兹领主」,约 1661 年生于巴黎(确切月日史料未载,仅知年份;个别来源给出的 1 月 1 日疑为占位性日期,存疑),1704 年 2 月 2 日卒于巴黎。家族是法国的古老望族,可追溯至约 12 世纪。父亲安娜-亚历山大·德·洛必达(Anne-Alexandre de l'Hôpital)是国王军中的中将,兼圣泰姆伯爵、奥尔良公爵;母亲伊丽莎白·戈布兰(Élisabeth Gobelin)是国王军总监、国务参事克洛德·戈布兰之女。史家 Sturdy 指出,其父与奥尔良公爵加斯东的密切关系,使家族享有「仅次于国王本人的庇护」。
洛必达童年不喜拉丁文等科目,却展现出强烈的数学天赋与热情。丰特奈尔(Fontenelle)在悼词中记载:洛必达 15 岁时,与罗昂公爵及阿尔诺先生讨论帕斯卡提出的一道摆线难题,几天后便解出了它。
由于贵族出身,他顺理成章地从军,任骑兵上校,但并未放弃数学——据丰特奈尔记述,他甚至在军帐中研读几何,并要「遮掩自己在学习」,因为当时法国上流社会视深研科学为「与贵族身份不相容的野蛮行径」。他因近视(据说十步之外便看不清)辞去军职;但史家 Julian Coolidge 认为,真正驱使他弃军从学的是对数学的热爱,而非视力。
此后他专心数学。1691 年末,他在巴黎与刚到法国的约翰·伯努利(24 岁,刚在日内瓦讲完莱布尼茨的微分学)相遇。当时约翰属于马勒伯朗士(Malebranche)神父的奥拉托利会学术圈——巴黎数学的中心。约翰向圈子宣称自己知道曲线曲率半径的一般公式(这在惠更斯、莱布尼茨、牛顿处已知,但巴黎学界视为悬而未决的重要问题),洛必达立刻意识到他远比巴黎任何人都懂新的无穷小方法。约翰答应每周给马勒伯朗士圈讲四次课,讲了六个月;洛必达听课之后,又把约翰请到自己的乌克(Oucques)庄园私授,至 1692 年 11 月约翰返回巴塞尔,此后二人继续通信授课。
1692 年,在约翰于乌克授课期间,洛必达把约翰讲义中「德博纳(de Beaune)问题」(求次切线长度恒定的曲线)的解法寄给惠更斯,未声明是约翰的成果;惠更斯合理地误以为是洛必达自己的,洛必达随后以匿名发表该解。约翰得知后极为不快,两人通信中断约半年。
1694 年 3 月 17 日,洛必达致信约翰,提出著名的「酬金协议」:每年付 300 镑礼金(自当年 1 月起),换取约翰定期为他工作、向他独家透露发现、不得向他人(如瓦里尼翁)传播留在他处的文稿,且「若出版我将很不高兴」。约翰很快接受。1695 年约翰的信中甚至写道:「您只需明确告知您的意愿,我是否余生不再发表任何东西——我将严格遵从,再无我的东西面世。」1695 年 9 月约翰赴格罗宁根就任后,协议仍延续。
正是在这一安排下,1696 年洛必达出版了《阐明曲线的无穷小分析》(Analyse des infiniment petits pour l'intelligence des lignes courbes)——人类历史上第一本微积分教科书,内容几乎全来自约翰的讲义。书的序言感谢了莱布尼茨、雅各布与约翰·伯努利,但把基础部分视为自己的创见,并写道:「我坦率地把他们乐意声称属于自己的一切归还给他们。」他也公正地提及牛顿,认为「莱布尼茨先生的方法因符号之便而容易、快捷得多」。
这本书长期被用作标准教材,重印至 1781 年,成为下一代微积分教材的范本。但它也引发了约翰毕生的怨恨:洛必达生前,约翰因保密协议无法声张;1704 年洛必达死后,约翰强烈主张自己是真正作者,却因此前多次陷入优先权之争而几乎无人相信,加之洛必达为人谦逊慷慨,同行多站在洛必达一边。直到 1922 年 Schafheitlin 在巴塞尔公共图书馆发现约翰侄子尼古拉(I)抄写的约翰微分学课程手稿,与洛必达的书高度雷同,才最终为约翰正名(MacTutor 的 l'Hôpital 条目误作 1921 年,学界通说与一手发表为 1922 年——两说并存,以 1922 为准)。
洛必达还曾向莱布尼茨提出一个深刻的原创问题:1695 年的信中他问 $d^n y/dx^n$ 在 $n=1/2$ 时是否有意义——这是分数阶导数概念的萌芽。他原本计划写一本积分学著作,得知莱布尼茨也要写便放弃;其遗稿在身后被出版为《圆锥曲线解析论》(Traité analytique des sections coniques,1707),1720 年再版。
因贵族身份,他按常规程序无法入选巴黎科学院;1699 年科学院改组后获荣誉院士头衔。他娶 Marie-Charlotte de Romilley de La Chesnelaye,育有一子三女。1704 年 2 月 2 日在巴黎逝世,年仅 43 岁。
二、学术生涯年表
| 年份 | 事件 |
|---|---|
| 约 1661 | 生于巴黎(确切月日史料未载,存疑);贵族世家 |
| 约 1676 | 15 岁时解出帕斯卡提出的摆线难题(丰特奈尔记述) |
| 约 1680s | 从军任骑兵上校,后因近视(实为热爱数学)退伍 |
| 1691 年末 | 在巴黎结识约翰·伯努利,入马勒伯朗士圈听其讲莱布尼茨微积分 |
| 1692 | 请约翰到乌克庄园私授;以匿名发表德博纳问题的解法(实为约翰成果),触怒约翰 |
| 1694 | 3 月 17 日致信约翰,提出每年 300 镑的酬金—独家发现协议;约翰接受 |
| 1695 | 致信莱布尼茨,问 $d^n y/dx^n$ 在 $n=1/2$ 时的意义(分数阶导数萌芽) |
| 1696 | 出版《阐明曲线的无穷小分析》,史上第一本微积分教科书,含「洛必达法则」 |
| 1699 | 巴黎科学院改组后获荣誉院士头衔(贵族身份使常规选举受阻) |
| 约 1700 | 放弃积分学著作计划(因莱布尼茨也要写) |
| 1704 | 2 月 2 日卒于巴黎 |
| 1707 | 遗稿《圆锥曲线解析论》身后出版 |
| 1720 | 《圆锥曲线解析论》第二版 |
| 1922 | Schafheitlin 发现约翰·伯努利微分学课程手稿,证实洛必达书源于约翰讲义 |
三、核心成果(逐条技术解析)
1. 史上第一本微积分教科书——《无穷小分析》
问题背景:莱布尼茨 1684 年的微分学论文极其晦涩,欧洲大陆懂者寥寥;微积分亟待一本系统、可教学的入门书。
关键思想:洛必达把约翰·伯努利的讲义整理改写为一部结构清晰的教科书,用公理化—定义式的方式呈现微分学,使原本秘传的新方法成为法国(继而全欧)课堂的标准内容。
精确表述:全书以两条定义与两条公理开篇: - 定义 1:变量是持续增减者,常量不变。 - 定义 2:变量连续增减的无穷小部分称为该变量的微分。 - 公理 1:差为无穷小的两量可互相替代(即略去高阶无穷小)。 - 公理 2:曲线可视为无穷多条无穷小直线段组成的多边形,相邻段夹角决定曲率。
继而各章依次处理:切线(第 2 章)、极大极小(第 3 章)、拐点与尖点、曲率、渐屈线、渐伸线、高阶导数,以及第 9 章的洛必达法则(求 $0/0$ 型极限)。
与前人关系:内容源自约翰·伯努利的授课;组织、语言与少量订正为洛必达所作。它是第一本把微分学写成连贯教材的书。
局限性:全书建立在「无穷小量可略去」并不严格的直觉基础上(与当时整个微积分一样,逻辑基础要到柯西—魏尔斯特拉斯才严格化);且其原创贡献极少,多为整理改写。
2. 「洛必达法则」——求不定式极限的标准工具
问题背景:计算分子分母同时趋于 0(或同时趋于无穷)的分式极限,是分析中的基本难题。
关键思想:法则出现在《无穷小分析》第 9 章,实为约翰·伯努利在 1694 年前后的通信讲义中给出,洛必达收入书中。
精确表述(现代形式):若 $\lim_{x\to a} f(x)=\lim_{x\to a} g(x)=0$(或同为 $\pm\infty$),且 $g'(x)$ 在 $a$ 附近不为 0,则 $$\lim_{x\to a}\frac{f(x)}{g(x)}=\lim_{x\to a}\frac{f'(x)}{g'(x)},$$ 只要右端极限(或为 $\pm\infty$)存在。可逐次使用(高阶不定式)。
与前人关系:以微分比代替函数比的思想来自莱布尼茨微分法;约翰给出一般陈述,洛必达整理出版。
局限性:只给出 $0/0$ 型的原始论证;现代严格证明用柯西中值定理。历史署名长期归于洛必达,1922 年手稿发现后学界承认其真正来源为约翰·伯努利(详见第六节)。
3. 分数阶导数的早期提问
问题背景:导数的阶数能否不是整数?这是一个超越当时微积分框架的深刻问题。
关键思想:1695 年洛必达致信莱布尼茨,询问 $d^n y/dx^n$ 当 $n=1/2$ 时是否有意义——即能否定义「半阶导数」。莱布尼茨回称这是「一个看似悖论、但终将引出有用结论的悖论」。
精确表述:洛必达的提问是历史上对分数阶微积分(fractional calculus)的最早明确追问之一,早于任何系统理论近两个世纪。
与前人关系:此前无人考虑过非整数阶导数;洛必达是提出该问题的先驱之一。
局限性:他只提出问题,未给出解答;分数阶微积分的系统理论要到 19 世纪(Liouville、Riemann、Grünwald–Letnikov)才建立。
4. 圆锥曲线的解析论著(遗稿)
问题背景:用新的解析方法系统处理圆锥曲线,是微积分早期应用的重要方向。
关键思想:洛必达原计划写一部积分学著作,因故放弃;身后留下的手稿于 1707 年以《圆锥曲线解析论》出版,用代数—分析方法处理圆锥曲线的切线、曲率等问题。
精确表述:该书系统讨论了椭圆、抛物线、双曲线的解析性质,是把微积分应用于古典几何的早期范本,1720 年再版。
与前人关系:延续笛卡尔解析几何传统,但用了微积分新工具;在洛必达生前未能出版。
局限性:影响不及他的微积分教科书,且部分方法已被同时代人超越。
四、代表著作与文献
- 《阐明曲线的无穷小分析》(Analyse des infiniment petits pour l'intelligence des lignes courbes,1696,巴黎):史上第一本微积分教科书,含洛必达法则;重印至 1781 年。中译通称《无穷小分析》。
- 《圆锥曲线解析论》(Traité analytique des sections coniques,1707 身后出版,1720 再版):解析几何应用著作。
- 与约翰·伯努利的通信(1692—1695 及以后):揭示酬金—独家发现协议与著作权真相的一手文献;1922 年发现的约翰课程手稿(尼古拉(I)抄写)是关键物证。
- 与莱布尼茨的通信(含 1695 年分数阶导数之问)。
五、师承、学派与同时代交往
- 师承:数学上是约翰·伯努利的私人学生(1691—1692,付费制);属于巴黎马勒伯朗士(奥拉托利会)学术圈。
- 学派归属:莱布尼茨微积分在法国的早期传播者,大陆分析学派的法国一环。
- 同时代交往:
- 约翰·伯努利:老师、讲义提供者,也是署名公案的另一方。
- 戈特弗里德·莱布尼茨:通信对象,微积分的创立者;洛必达公正评价其方法优于牛顿的符号便利性。
- 克里斯蒂安·惠更斯:1692 年通信,洛必达寄去(实为约翰的)德博纳问题解法。
- 皮埃尔·瓦里尼翁:马勒伯朗士圈成员,法国微积分应用的重要人物(也是约翰的挚友)。
- 丰特奈尔:为其撰写悼词,提供生平一手记述。
- 与牛顿派无直接深交,但在书中公正提及牛顿。
六、争议、公案与历史评价
- 确切出生日期:史料仅载年份 1661,月日无确证;个别来源给出 1 月 1 日,疑为占位性数据。存疑。
- 《无穷小分析》的著作权公案:
- 内容几乎全部来自约翰·伯努利 1691—1695 年的讲义与通信,洛必达依 1694 年酬金协议获得独家使用权,故生前约翰无法声张。
- 洛必达并非纯粹抄写:他纠正了约翰若干错误(如约翰误以为 $\int dx/x$ 有限),并把内容改写得清晰优雅,组织成教材体系。
- 1704 年洛必达死后,约翰主张著作权却无人相信(因约翰多次卷入优先权之争,且洛必达人格魅力使人偏向他)。
- 1922 年 Schafheitlin 发现巴塞尔公共图书馆藏约翰课程手稿(尼古拉(I)抄写),与洛必达书高度雷同,学界遂承认约翰为实质作者;MacTutor 个别条目记作 1921 年,与一手校勘发表年份(1922)略有出入——以 1922 为准,两说并存。
- 德博纳问题的匿名发表:1692 年洛必达把约翰的解法匿名发表、未声明出处,是二人首次摩擦,直接催生了 1694 年的酬金协议。
- 原创性的总体评价:史家 Truesdell 认为,洛必达在给莱布尼茨、惠更斯的信中「未说谎,但以居高临下的口吻提及伯努利而不承认任何亏欠,在出处问题上暗示而非明言」,这种做法「固然不应引以为豪,但放在当时贵族付费获取服务的语境下,也不应过度苛责」。史家 Coolidge 称他是「最高社会地位者中,以对学问的热爱把短暂一生大量献给科学写作的光辉典范」。
- 荣誉院士身份:因贵族身份不能按常规程序入选巴黎科学院,1699 年改组后才获荣誉衔——反映了当时法国科学院对贵族的制度性限制。
七、身后影响与学术谱系
- 微积分的普及:《无穷小分析》是人类第一本微积分教材,使新分析学走出私人通信、进入课堂;重印近一个世纪,为欧陆分析学派的传播定调。
- 洛必达法则:虽署名有误,仍是每本微积分教材与分析课程的标准工具,是应用最广的极限计算方法之一。
- 分数阶微积分:1695 年的提问是该领域的萌芽,现代分数阶微分方程在物理、控制、信号处理中应用广泛。
- 署名规范的教训:这段公案促使后世数学界更重视成果归属的透明与诚信。
- 法国分析传统:经由瓦里尼翁等,把微积分传入法国力学,为达朗贝尔、拉格朗日、拉普拉斯的世代铺路。
八、延伸阅读与权威来源
- MacTutor 数学史档案:De L'Hôpital:圣安德鲁斯大学权威传记,本档案主要史实出处。
- Dictionary of Scientific Biography — de l'Hôpital (PDF, MacTutor 托管):科学史权威传记条目(Robinson 撰)。
- Wikipedia: Guillaume de l'Hôpital:交叉核对生平与著作。
- Wikipedia: L'Hôpital's rule:法则的内容、证明与历史归属。
- Wikipedia: History of calculus:微积分早期教科书的历史位置。
- MacTutor: Johann Bernoulli:著作权公案的另一方叙述。
- Britannica: Guillaume, marquis de l'Hôpital:百科条目交叉核对。
- J. L. Coolidge & J. Gray, The Mathematics of Great Amateurs (Oxford, 1990):含洛必达专章,评价其作为「伟大业余者」的地位。
- C. Truesdell, The New Bernoulli Edition (相关论文):对洛必达—约翰协议的历史语境分析。
- B. Fontenelle, Éloge de L'Hôpital, Histoire de l'Académie Royale des Sciences (1704):同时代悼词,一手生平资料。