亚历克西斯·克莱罗(Alexis Claude Clairaut)
法国启蒙时代的神童数学家与天体力学大师——13 岁向巴黎科学院宣读论文,开创空间曲线的微分几何,参与拉普兰测地远征证实地球两极扁平,又以月球近地点运动与哈雷彗星回归的精确计算,挽救并确立了牛顿万有引力定律的权威。
一、生平与时代背景
亚历克西斯·克劳德·克莱罗 1713 年 5 月 7 日生于巴黎。父亲让-巴蒂斯特·克莱罗(Jean-Baptiste Clairaut)在巴黎教数学,并因学识入选柏林科学院;母亲卡特琳·珀蒂(Catherine Petit)共生了 20 个孩子,但只有亚历克西斯长大成人。
父亲在家中亲自教子,标准高得惊人。亚历克西斯学认字时就用欧几里得《几何原本》,9 岁已精通吉斯内(Guisnée)的优秀教材《代数在几何中的应用》——此书已涵盖微分与积分及解析几何;10 岁起攻读洛必达的著作,尤其是著名的《用于理解曲线的无穷小分析》(Analyse des infiniment petits)。
13 岁(1726 年),他向巴黎科学院宣读了论文《关于新曲线的四个问题》(Quatre problèmes sur de nouvelles courbes)——极少有人在这个年龄就能向科学院读第一篇论文。他还有个弟弟,1730 年 14 岁时也向科学院读过一篇数学论文,但 1732 年 16 岁便去世。
克莱罗开始研究双曲率曲线(空间曲线),1729 年完成。他于 1729 年 9 月 4 日被提名巴黎科学院,国王直到 1731 年才确认其选举;1731 年 7 月,克莱罗成为巴黎科学院有史以来最年轻的院士。在那里他加入了以皮埃尔·路易·莫佩尔蒂(Pierre Louis Maupertuis)为首、支持牛顿自然哲学的小组。他与莫佩尔蒂、伏尔泰、夏特莱侯爵夫人(Émilie du Châtelet)成为密友——这远不止私交:他帮助夏特莱把牛顿《自然哲学的数学原理》译为法文(该项目 1745 年前开始,部分 1756 年出版),书中除译文外还加入了大量他自己的理论。
1734 年,他与莫佩尔蒂同赴巴塞尔,随约翰·伯努利学习数月,在巴塞尔与萨米埃尔·柯尼希(Samuel König)结为好友,此后多年通信合作。
1733—1743 年间他发表了一系列重要工作:1733 年变分法论文《论若干极大极小问题》(伯努利风格)与旋转二次曲面上的测地线;1734 年研究后世所称的克莱罗微分方程,给出通解之外的奇解;1739—1740 年证明一阶微分方程积分因子的存在性;1742 年出版动力学重要著作。
1736 年 4 月 20 日至 1737 年 8 月 20 日,他参加了由莫佩尔蒂率领的拉普兰远征队,去测量一度经线的长度——这是巴黎科学院延续卡西尼计划的一部分,旨在验证牛顿关于地球是扁球体的理论证明。队伍里还有勒莫尼耶(Lemonnier)、卡米(Camus)和摄尔修斯(Celsius)。这个年轻团队迅速而精确地完成了任务,"气氛欢快得让一些人对他们颇有微词"。测量结果证实:地球在两极处扁平,支持牛顿(反对卡西尼家族主张的"地球两极拉长")。
1743 年,克莱罗出版《地球外形理论》(Théorie de la figure de la Terre),从理论上支持远征数据,奠定流体静力学基础,建立在牛顿、惠更斯与麦克劳林潮汐工作之上。
此后他转向天体力学。1745 年起研究三体问题,特别是月球轨道。起初他的计算使他(一度得到欧拉支持)认为牛顿的平方反比律不正确,并于 1747 年 11 月 15 日向科学院宣布需加一个 $1/r^4$ 修正项。1748 年春,他意识到差异来自近似计算的疏漏而非引力定律本身,1749 年 5 月 17 日宣布新理论与平方反比律完全一致。欧拉为逼他写出完整方法,特意把月球近地点问题设为圣彼得堡科学院 1752 年奖题,克莱罗应征后欧拉盛赞其结果是"数学史上最重要、最深刻的发现"。1752 年出版《月球理论》(Théorie de la lune),1754 年发表月球表。
接着他把三体方法用于哈雷彗星回归的精确预测:与助手拉朗德(J. J. Lalande)及妮可-蕾娜·勒波(Nicole-Reine Lepaute)花数月计算木星与土星的摄动,1758 年 11 月 14 日向科学院预报彗星将于 1759 年 4 月 15 日过近日点;实际过近日点为 3 月 13 日,仅差约一个月。彗星如期出现,克莱罗获得巨大公众赞誉,有人建议把彗星以他命名,称他为"新泰勒斯"。1762 年他用另一方法把预报改进为 3 月 30 日(考虑木星、土星摄动,精度已极高)。
他还研究光行差与望远镜改进(用两种玻璃的透镜消色差,临终未完),出版几何(1741)与代数(1749)教材,后者在法国学校使用多年。
1765 年 5 月 17 日卒于巴黎,享年 52 岁,正当精力鼎盛之年。他入选伦敦皇家学会、柏林、圣彼得堡、博洛尼亚与乌普萨拉科学院。
二、学术生涯年表
| 年份 | 事件 |
|---|---|
| 1713 | 5 月 7 日生于巴黎;父让-巴蒂斯特为数学教师 |
| 约 1719 | 6 岁学认字时即读欧几里得;9 岁通吉斯内教材;10 岁读洛必达 |
| 1726 | 13 岁向巴黎科学院宣读论文《关于新曲线的四个问题》 |
| 1729 | 完成空间曲线(双曲率曲线)研究;9 月 4 日被提名科学院 |
| 1731 | 出版《双曲率曲线研究》;7 月成为巴黎科学院最年轻院士 |
| 1733 | 发表变分法论文与旋转二次曲面测地线;与莫佩尔蒂赴巴塞尔从约翰·伯努利学习 |
| 1734 | 研究克莱罗微分方程,给出通解与奇解 |
| 1736—1737 | 参加莫佩尔蒂率领的拉普兰测地远征,测量一度经线 |
| 1739—1740 | 证明一阶微分方程积分因子的存在性 |
| 1741 | 出版《几何原理》 |
| 1742 | 出版动力学重要著作 |
| 1743 | 出版《地球外形理论》,证实地球两极扁平,奠定流体静力学 |
| 1745 起 | 研究三体问题与月球轨道 |
| 1747 | 11 月一度宣布平方反比律有误(得欧拉、达朗贝尔附和) |
| 1748 | 春,发现差异源于近似疏漏,回归牛顿定律 |
| 1749 | 5 月宣布理论与平方反比律一致;出版《代数原理》 |
| 1752 | 出版《月球理论》(应征圣彼得堡奖,获欧拉盛赞) |
| 1754 | 发表月球表 |
| 1758 | 11 月 14 日预报哈雷彗星 1759 年 4 月 15 日过近日点 |
| 1759 | 彗星 3 月 13 日实际过近日点,误差约一个月,名震欧洲 |
| 1762 | 改进彗星摄动计算,预报为 3 月 30 日 |
| 1765 | 5 月 17 日卒于巴黎,享年 52 岁 |
三、核心成果(逐条技术解析)
1. 空间曲线的微分几何——双曲率曲线研究(1731)
问题背景:平面曲线的微分几何已由牛顿、莱布尼茨、洛必达发展;但空间中扭曲的曲线(skew curves,不落在任一平面上)尚无系统研究。
关键思想:克莱罗把空间曲线看作两个曲面的交线,引入了描述空间曲线弯曲的方法——他称之为"双曲率"(double courbure),因为空间曲线的弯曲需在两个独立方向上度量(后世演变为曲率与挠率)。
精确表述:在《双曲率曲线研究》(Recherches sur les courbes à double coubure,1731)中,他给出了空间曲线的切线、弧长元素、密切概念,并研究了空间曲线的曲率。这是空间曲线微分几何的开创之作。他还证明了关于旋转曲面上测地线的克莱罗定理:在旋转曲面上,测地线满足 $r\sin\theta=\text{常数}$,其中 $r$ 是到旋转轴的距离,$\theta$ 是测地线与经线(子午线)的夹角。
与前人关系:继平面曲线微分几何之后的自然推广;欧拉后来系统发展了空间曲线的曲率与挠率理论(Frenet-Serret 标架最终定型于 19 世纪)。
局限性:尚未引入挠率与活动标架,表述较几何直观;但奠定了整个领域。
2. 克莱罗微分方程与奇解(1734)
问题背景:一类特殊的一阶微分方程是否存在不能由通解取任意常数得到的"奇解"?
关键思想:1734 年,克莱罗研究了后世以他命名的方程 $$y = x\,y' + f(y'),$$ 并指出除通解(一族直线)外,还存在一条奇解——通解族的包络。
精确表述:对 $y=xp+f(p)$($p=y'$),通解为 $y=cx+f(c)$(直线族);消去 $c$ 后由 $x+f'(c)=0$ 与 $y=cx+f(c)$ 得到的包络曲线即奇解,它在每一点与某条通解直线相切,且不包含在通解族中。这是微分方程奇解理论的早期系统处理。
与前人关系:奇解概念由泰勒、克莱罗等人逐步明确;拉格朗日后来给出奇解的一般理论。
局限性:限于该特殊形式;奇解的一般判别($p$-判别式、$c$-判别式)由后世完成。
3. 一阶微分方程的积分因子(1739—1740)
问题背景:何时一个形如 $M(x,y)\,dx+N(x,y)\,dy=0$ 的方程是恰当的(即某函数的全微分)?若不恰当,能否乘一个因子使之恰当?
关键思想:克莱罗证明了使一阶微分方程可积的积分因子(integrating factor)的存在性,并与欧拉、约翰·伯努利、雷诺等一同发展了这一方法。
精确表述:若存在函数 $\mu(x,y)$ 使 $\mu M\,dx+\mu N\,dy=0$ 为恰当(即 $\partial(\mu M)/\partial y=\partial(\mu N)/\partial x$),则方程可积分。克莱罗还得到了恰当性判别条件 $\partial M/\partial y=\partial N/\partial x$ 的早期形式,是偏导数交换与微分形式可积性理论的先驱(卡茨 Katz 认为微分形式的历史从克莱罗到庞加莱)。
与前人关系:与欧拉、伯努利并行发展;后由欧拉系统化为常微分方程的标准解法。
局限性:限于二维情形;高维微分形式的可积性(弗罗贝尼乌斯定理)要到 19—20 世纪。
4. 地球外形理论与克莱罗定理(1743)
问题背景:地球在自转与自引力下的平衡形状是什么?如何从表面重力的纬度变化推断地球的扁率与内部密度分布?
关键思想:在《地球外形理论》中,克莱罗把拉普兰远征的实测结果与牛顿、惠更斯、麦克劳林的理论统一,证明了均匀旋转流体的平衡形状为扁球体(oblate spheroid,两极扁平),并给出了重力随纬度变化与扁率之间的定量关系。
精确表述——克莱罗定理:设 $g(\varphi)$ 为纬度 $\varphi$ 处的重力加速度,$g_e$ 为赤道处重力,$f$ 为地球扁率($f=(a-c)/a$),$m$ 为赤道处离心力与重力之比,则 $$g(\varphi)=g_e\left[1+\left(\tfrac{5}{2}m-f\right)\sin^2\varphi\right].$$ 由此,通过测量不同纬度处的重力(钟摆周期),可以反推出地球的扁率 $f$——这是物理大地测量学的基础定理。他还证明了地球内部密度随深度增加时扁率的相应变化。
与前人关系:建立在牛顿《原理》、惠更斯的离心力分析、麦克劳林的椭球引力与潮汐工作之上;为拉普拉斯后来的地球形状理论奠定基础。
局限性:假设地球为旋转椭球与流体静力学平衡;真实地球的非均衡、横向不均匀需现代大地测量修正。
5. 月球理论与平方反比律的挽救(1752)
问题背景:牛顿在《原理》中计算的月球轨道近地点(远地点)进动速率只有观测值的一半,这让许多人怀疑平方反比律是否需要修正。
关键思想:克莱罗用更细致的摄动展开重新计算,发现遗漏的高阶项恰好补足了另一半——牛顿定律完全正确,之前的差异来自近似的不充分。
精确表述:他在《月球理论》(1752)中系统给出了月球受太阳摄动的解析展开,正确算出了近地点进动的完整速率。这是第一次严格证明牛顿万有引力定律能完全解释月球运动,消除了对平方反比律的主要疑虑。1754 年发表的月球表成为航海定位的实用工具。
与前人关系:纠正了牛顿《原理》中的不完整计算(但不是否定牛顿,而是完善牛顿);与欧拉、达朗贝尔在同一问题上激烈竞争。欧拉读完克莱罗的应征论文后盛赞其为"数学史上最重要、最深刻的发现"。
局限性:其展开仍为近似;月球理论的后续精细化(布朗、德洛内等)持续到 19—20 世纪。
6. 哈雷彗星回归的精确预测(1758—1759)
问题背景:哈雷曾预言一颗彗星(哈雷彗星)将于 1758 年前后回归,但无法精确计算木星与土星的摄动对其周期的影响。
关键思想:克莱罗把三体摄动方法应用于彗星,与拉朗德、勒波花数月手工计算木星与土星对彗星轨道的摄动,给出回归日期的定量预报与误差范围。
精确表述:1758 年 11 月 14 日他向巴黎科学院宣布:彗星将于 1759 年 4 月 15 日过近日点(误差一个月内)。实际过近日点为 1759 年 3 月 13 日,仅差约一个月——在考虑木星、土星摄动的复杂性下,这是惊人的精度。1762 年他用改进方法把日期修正为 3 月 30 日,与实际更接近。
与前人关系:哈雷仅做了粗略预测;克莱罗首次把牛顿摄动理论用于给出带误差界的精确回归预报。参与计算的妮可-蕾娜·勒波(Mme. Lepaute)是一位卓越的女性计算者,但克莱罗在公开报告中一度未充分致谢她(后承认其贡献),这成为科学史上女性贡献被淡化的著名案例之一。
局限性:手工计算的摄动阶数有限;现代数值方法可精确到小时。
四、代表著作与文献
- 《双曲率曲线研究》(Recherches sur les courbes à double coubure,1731):空间曲线微分几何的开创之作。
- 《论若干极大极小问题》(1733):变分法,伯努利风格。
- 《几何原理》(Élémens de géométrie,1741):几何教材,主张从几何的起源自然引出原理。
- 《地球外形理论》(Théorie de la figure de la Terre,1743):地球形状、克莱罗定理、流体静力学基础。
- 《代数原理》(Élémens d'algèbre,1749):代数教材,讲到四次方程,在法国学校使用多年。
- 《月球理论》(Théorie de la lune,1752):三体摄动与月球运动,挽救平方反比律。
- 月球表(1754)及哈雷彗星回归计算(1758—1762)。
- 合作:协助夏特莱翻译牛顿《原理》为法文(1745—1756),加入大量自己的理论。
五、师承、学派与同时代交往
- 师承:父亲让-巴蒂斯特·克莱罗是唯一正式老师;1734 年赴巴塞尔师从约翰·伯努利数月,深受其变分法与分析风格影响。
- 学派归属:法国牛顿学派(莫佩尔蒂小组);大陆分析—力学传统;启蒙运动的科学家圈。
- 同时代交往:
- 皮埃尔·路易·莫佩尔蒂:密友与学术领袖;二人共同组织拉普兰远征、赴巴塞尔。
- 伏尔泰:密友;伏尔泰宣传牛顿思想时与克莱罗密切合作。
- 夏特莱侯爵夫人:密友;协助其翻译《原理》。
- 莱昂哈德·欧拉:月球理论上的竞争者与对话者;欧拉先附和克莱罗对平方反比律的怀疑,后又为逼克莱罗写出完整方法而设圣彼得堡奖。
- 让·勒朗·达朗贝尔:起初友好的竞争对手,1747 年后关系恶化;在月球与彗星问题上激烈争论(理论 vs. 观测的方法论之争)。
- 约翰·伯努利:1734 年的老师。
- 萨米埃尔·柯尼希:巴塞尔结识的好友,长期通信。
- 拉朗德、妮可-蕾娜·勒波:哈雷彗星计算的助手。
- 加百列·克莱姆(Gabriel Cramer):通信好友,克莱罗在信中向其透露自己的计算"计谋"。
- 荣誉:入选伦敦、柏林、圣彼得堡、博洛尼亚、乌普萨拉科学院;月球上有以他命名的环形山,巴黎有克莱罗街。
六、争议、公案与历史评价
- 平方反比律的一度否定:1747 年克莱罗宣布牛顿平方反比律需加 $1/r^4$ 修正,得到欧拉与达朗贝尔附和,令笛卡尔派欣喜;1748 年他自己发现错误源于近似计算的疏漏,随即纠正,回归牛顿。这一翻案是科学史上著名的自我修正案例,也凸显了摄动计算的艰巨。
- 与达朗贝尔的宿怨:1747 年后二人关系恶化。克莱罗批评达朗贝尔重理论轻观测、常做"不符合自然的假设";达朗贝尔则攻击克莱罗的三体解"过于依赖观测而非理论推导"。这场 bitter dispute 中克莱罗因彗星预测的成功而赢得公众支持,但谁在方法论上更正确至今难有定论。
- 勒波的贡献:哈雷彗星计算中,妮可-蕾娜·勒波的大量计算贡献曾被克莱罗淡化(克莱罗最初公开致谢中略去她,后在压力下承认),是科学史上女性贡献被边缘化的著名案例。
- "新泰勒斯"的美誉:彗星如期回归后,公众称克莱罗为"新泰勒斯",甚至有人建议彗星以他命名——可见其声望之高。
- 历史评价:克莱罗是 18 世纪法国最杰出的分析学家与天体力学大师之一。他从微分几何(空间曲线、微分方程)到物理大地测量(地球形状)到天体力学(月球、彗星),跨越多个领域皆有奠基性贡献。其工作把牛顿引力理论从定性描述推进到定量预测,是牛顿主义在欧陆胜利的关键推手。52 岁的早逝使望远镜消色差等工作未竟。格林伯格(Greenberg)的专著把他置于"从牛顿到克莱罗的地球形状问题——18 世纪巴黎数学科学的兴起"的核心位置。
七、身后影响与学术谱系
- 对微分几何:空间曲线的双曲率研究是微分几何的源头之一;克莱罗定理(测地线)至今是曲面论的标准内容;微分方程奇解与积分因子理论进入所有常微分方程教材。
- 对大地测量学:克莱罗定理是物理大地测量的基础,使通过重力测量推断地球扁率与内部密度成为可能,直接影响 19 世纪的大地测量与地球物理学。
- 对天体力学:月球理论与彗星摄动计算证明了牛顿定律的普适性,推动了摄动理论与三体问题的发展,为拉普拉斯、拉格朗日的天体力学铺平道路。
- 对科学方法论:其月球理论的翻案展示了"差异源于近似而非定律"的科学推理范式;与达朗贝尔的争论涉及理论与观测的关系。
- 对法语数学教育:其几何与代数教材在法国学校使用多年,影响了一代法国数学家。
- 命名纪念:克莱罗定理、克莱罗微分方程、克莱罗关系(微分形式)、月球环形山 Clairaut、巴黎克莱罗街皆以他命名。
八、延伸阅读与权威来源
- MacTutor 数学史档案:Alexis Claude Clairaut:圣安德鲁斯大学权威传记,本档案主要史实出处。
- Dictionary of Scientific Biography — Clairaut (PDF, MacTutor 托管):科学史权威传记条目(J. Itard 撰)。
- Wikipedia: Alexis Claude Clairaut:交叉核对生平与成果。
- Wikipedia: Clairaut's equation 与 Clairaut's theorem:技术结果的精确陈述。
- MacTutor: 双曲率曲线著作扉页:1731 年著作原书影。
- MacTutor: 巴黎科学机构与伦敦地名录:克莱罗在英国的背景。
- John L. Greenberg, The Problem of the Earth's Shape from Newton to Clairaut (Cambridge, 1995):地球形状问题从牛顿到克莱罗的权威研究。
- P. Brunet, La vie et l'œuvre de Clairaut (1713-1765) (Paris, 1952):标准传记。
- Curtis Wilson, "Clairaut's calculations of the eighteenth-century return of Halley's comet", Journal for the History of Astronomy 24 (1993):彗星计算的细节。
- T. L. Hankins, Jean d'Alembert: Science and the Enlightenment (1990):克莱罗与达朗贝尔争论的背景。