加斯帕尔·蒙日(Gaspard Monge)
画法几何的创立者与微分几何之父——他用两张正交投影图把三维世界"画"进二维,又用分析研究曲面的曲率;同时是法国大革命时代最具影响力的数学教育家,亲手创办了巴黎综合理工学院,却因与拿破仑的纠葛在复辟后晚景凄凉。
一、生平与时代背景
加斯帕尔·蒙日于 1746 年 5 月生于法国勃艮第的博讷(Beaune)。确切出生日期存疑:MacTutor 等多数数学史文献记为 5 月 9 日,而法国参议院等部分法文官方来源记为 5 月 10 日。他后来被封为佩吕斯伯爵(Comte de Péluse),有时以此名见称。父亲雅克·蒙日(Jacques Monge)是商人,原籍法国东南部的上萨瓦;母亲让娜·卢梭(Jeanne Rousseaux)是勃艮第本地人。蒙日出生前后,博讷因葡萄酒贸易再度繁荣。
蒙日在博讷的奥拉托利会学院(Oratorian College)就读——这是一所面向贵族子弟、由神父管理的学校,但教育比一般教会学校开明,除人文学科外还教授历史、数学与自然科学。他在此首次展露才华。1762 年,16 岁的蒙日赴里昂的三一学院(Collège de la Trinité)继续学业;年仅 17 岁就被委以讲授一门物理课。1764 年完成学业后回到博讷,绘制了一幅博讷城的平面图。
这幅博讷城平面图改变了他的命运——它被梅济耶尔皇家工程学校(École Royale du Génie at Mézières)的一位教员看到,印象极深,1765 年蒙日被聘为该校的绘图员。这个职位起初用不上他的数学才能,他便在业余时间发展自己的几何思想,并与该校数学教授夏尔·博叙(Charles Bossut)建立联系。约一年后(1766 年前后),他接到一项任务:绘制一幅要塞工事图,使敌人无论处于何种位置都无法观察或射击到己方阵地。蒙日没有采用当时繁琐的方法,而是自创了一套图解方法(即后来的画法几何)来完成——这让校方认识到他在理论与实践两方面都有过人之处。
1768 年博绪当选巴黎科学院院士,离开梅济耶尔赴巴黎任流体力学教授。1769 年 1 月蒙日致信博叙,说明自己正在写一部关于空间曲线(双曲率曲线)渐屈线的著作,请其评价原创性与价值;博绪回复积极,同年 6 月蒙日在《百科全书杂志》(Journal Encyclopédique)发表摘要(他的第一篇出版物),推广了惠更斯在摆线研究中对空间曲线的结果并加入许多新发现。完整著作 1770 年 10 月提交巴黎科学院,1771 年 8 月宣读(但科学院 1785 年才正式刊行)。1769 年 1 月蒙日被任命接替博绪在梅济耶尔的职位,1770 年又兼任实验物理教师。
1771 年初,蒙日为在数学界顶层崭露头角,向达朗贝尔与孔多塞(Condorcet)请教;孔多塞被其数学深度打动,建议他就自己研究的四个数学领域各向科学院提交一篇论文。这四篇论文涉及:变分法的推广、无穷小几何、偏微分方程理论与组合论。此后数年他向科学院提交了一系列从几何观点研究偏微分方程的重要论文。他的兴趣也日益向物理与化学扩展。1777 年与卡特琳·于阿尔(Cathérine Huart)结婚,因妻子拥有一座锻铁炉,他对冶金学产生兴趣,还在梅济耶尔组织建起化学实验室。1780 年他当选巴黎科学院的几何助理院士(adjoint géomètre),此后长期在巴黎活动,代博授流体力学课并参与科学院的数学、物理、化学项目;他保留梅济耶尔的职位与全薪,雇人代授部分课程。1784 年他接替贝祖(Étienne Bézout)任海军学员考官,在试图维持一份不可能的日程约一年后,于 1784 年 12 月辞去梅济耶尔的职位。此后五年他研究范围极广:1785 年亚硝酸组成、曲面生成、有限差分方程与偏微分方程;1786 年双折射与冰洲石结构、铁/钢/铸铁成分、电火花对二氧化碳的作用;1787 年毛细现象;1788 年若干气象现象;1789 年生理光学。
1789 年法国大革命爆发,彻底改变了蒙日的人生。他是革命的坚定支持者,加入各种支持革命的社团,同时继续担任海军学员考官并参与科学院工作,还加入了度量衡委员会。1792 年 9 月 21 日共和国宣告成立后,国民公会任命他为海军部长(Minister of the Navy)。他在极端派之间左右为难,任期八个月后于 1793 年 4 月 10 日辞职。回到科学院工作不久,1793 年 8 月 8 日科学院被国民公会取缔。他仍作为坚定的共和派参与各种军事项目(武器、炸药),授课并撰写相关论文;度量衡委员会是唯一获准继续的机构,他继续在其中任职。1794 年 3 月 11 日,他被任命组建公共工程中央学校(École Centrale des Travaux Publics,后改名巴黎综合理工学院,École Polytechnique)——他利用在梅济耶尔的经验对该校的建立施加了重大影响,1794 年 11 月 9 日被任命为画法几何教师,首要任务是培训未来的教师,学校 1795 年 6 月起正式运作。他的无穷小几何讲义后来成为《分析在几何中的应用》的基础。他还在为培养中学教师而设的师范学校(École Normale)讲授画法几何,并力主恢复科学院,1795 年 10 月 26 日新机构国家研究院(Institut National)获批准。
1796 年 5 月至 1797 年 10 月,蒙日在意大利执行挑选艺术珍品运回法国的任务,在此期间与拿破仑·波拿巴结下友谊。1797 年 10 月 17 日拿破仑与奥地利签订《坎波福尔米奥条约》,蒙日带着条约文本返回巴黎。回到巴黎后他恢复原职并被任命为综合理工学院院长。1798 年 2 月他再赴罗马参与建立罗马共和国,提出了在罗马共和国兴办高等学校的计划。随后拿破仑邀他加入埃及远征军,他虽不情愿仍同意了。1798 年 5 月 26 日离开意大利,远征军还有傅里叶(Fourier)与马吕斯(Malus)等数学家;6 月 10 日占马耳他,7 月 1 日攻占亚历山大,但 8 月 1 日法国舰队在尼罗河之战中被纳尔逊歼灭,拿破仑被困陆地。8 月 21 日蒙日出任开罗埃及研究院(Institut d'Egypte)院长(数学部 12 名成员包括傅里叶、蒙日、马吕斯与拿破仑)。在埃及与叙利亚的艰难时日里,他仍继续完善《分析在几何中的应用》。
1799 年拿破仑弃军潜回巴黎掌权,蒙日 10 月 16 日回到巴黎,重任综合理工学院院长。他发现自己的《画法几何》讲义已在 1799 年早些时候出版(由阿谢特 Hachette 根据其师范学校讲义整理、应他妻子之请刊行)。1799 年 11 月 9 日拿破仑发动雾月政变建立执政府,任命蒙日为终身元老。蒙日欣然接受——尽管按其共和立场本应反对军事独裁,史家说他"被拿破仑的光环所迷惑",接受了皇帝赐予的一切荣誉与恩赐:1804 年荣誉军团大军官、1806 年元老院主席、1808 年佩吕斯伯爵等。此后他以元老身份活动,数学工作主要是为综合理工学院授课与编写教材,研究渐少;1809 年起因健康衰退停止教学。1812 年拿破仑征俄惨败,蒙日震惊之下健康一度崩溃,恢复后又被派往列日组织防务。1814 年拿破仑第一次退位时蒙日不在巴黎,后返回。1815 年 3 月 20 日拿破仑自厄尔巴岛返回巴黎(百日王朝),蒙日立即全力支持;滑铁卢战败后他一直陪伴拿破仑至其被押上船(7 月 15 日)。到 1815 年 10 月,他担心生命安全而逃离法国。
波旁王朝复辟后(1815—1816),他被逐出科学院、剥夺一切职位与荣誉。1818 年 7 月 28 日卒于巴黎。综合理工学院的学生被禁止出席他的葬礼。
二、学术生涯年表
| 年份 | 事件 |
|---|---|
| 1746 | 5 月生于法国勃艮第博讷(出生日期有 9 日与 10 日两说,存疑) |
| 1762 | 16 岁赴里昂三一学院;17 岁被委以讲授物理课 |
| 1764 | 完成学业返博讷,绘制博讷城平面图 |
| 1765 | 任梅济耶尔皇家工程学校绘图员;业余发展几何思想 |
| 约 1766 | 用自创图解法完成要塞工事图,画法几何思想成形(后为军事秘密) |
| 1769 | 1 月致信博叙论空间曲线渐屈线;6 月发表首篇论文;同年接替博绪任梅济耶尔数学教授 |
| 1770 | 兼任实验物理教师;空间曲线渐屈线著作提交科学院 |
| 1771 | 向达朗贝尔、孔多塞请教;就四个领域向科学院提交论文;从几何观点研究偏微分方程 |
| 1777 | 与卡特琳·于阿尔结婚,因妻子的锻铁炉对冶金产生兴趣 |
| 1780 | 当选巴黎科学院几何助理院士,长期活动于巴黎 |
| 1784 | 任海军学员考官,辞去梅济耶尔职位 |
| 1785—1789 | 广泛研究:曲面生成、PDE、双折射、冶金、毛细现象、气象、生理光学 |
| 1792 | 共和国成立后任海军部长(八个月,1793 年 4 月辞职) |
| 1793 | 8 月科学院被取缔;参与军事项目与度量衡委员会 |
| 1794 | 3 月受命组建公共工程中央学校(后巴黎综合理工学院);11 月任画法几何教师 |
| 1795 | 综合理工学院与师范学校授课;力主恢复科学院为国家研究院 |
| 1796—1797 | 赴意大利执行艺术珍品挑选任务,结识拿破仑 |
| 1798—1799 | 随拿破仑远征埃及,任开罗埃及研究院院长;完善《分析在几何中的应用》 |
| 1799 | 《画法几何》出版(由阿谢特据其讲义整理);11 月被拿破仑任命为终身元老 |
| 1804 | 封荣誉军团大军官;1806 年任元老院主席;1808 年封佩吕斯伯爵 |
| 1807 | 出版《分析在几何中的应用》 |
| 1809 | 因健康衰退停止教学 |
| 1815 | 百日王朝中支持拿破仑;滑铁卢后逃离法国 |
| 1815—1816 | 波旁复辟后被逐出科学院、剥夺荣誉 |
| 1818 | 7 月 28 日卒于巴黎;学生被禁出席葬礼 |
三、核心成果(逐条技术解析)
1. 画法几何:用正交投影表示三维空间(约 1765—1770 形成,1795 公开讲授,1799 出版)
问题背景:工程、建筑与军事制图需要在二维图纸上精确表示三维物体,并在图上完成空间的度量与定位求解;传统方法繁琐且不系统。
关键思想:蒙日在梅济耶尔发展出以两个互相垂直的投影面(水平投影面与正立投影面)为基础的正交投影法:把三维物体分别投影到这两个面上得到"平面图"(plan)与"立面图"(élévation),再把两个投影面展开到同一纸面;由此空间中的点、线、面、体都可用两张图精确表示,且空间的相交、垂直、距离、角度等问题都可在图上用图解法求解。
精确表述:这就是画法几何(géométrie descriptive)。其核心是:空间一点 $P$ 在水平面上的投影 $p$ 与在立面上的投影 $p'$ 满足"投影连线"垂直于两投影面的交线(基线),从而两张图可互相定位、唯一确定空间点。蒙日系统建立了一整套作图规则,使任何空间几何问题都能化为平面上的尺规作图。
与前人关系:投影法的雏形古已有之(如建筑师的透视图),但蒙日是第一个把它系统化、理论化并用于求解一般空间问题的人,故被公认为画法几何的创立者。
历史境遇:因军事价值(要塞设计),此法在梅济耶尔被列为军事秘密,法国大革命前不得外传;直到 1794—1795 年蒙日在综合理工学院与师范学校公开讲授,1799 年才由阿谢特整理出版为《画法几何》(Géométrie descriptive)。
局限性:画法几何是欧氏空间的图解工具,不处理非欧或高维;其几何风格在 20 世纪逐渐被解析方法与计算机制图(CAD)部分取代,但仍是工程制图的理论基础。
2. 微分几何:曲面的曲率线(《分析在几何中的应用》,1807)
问题背景:如何用微积分研究空间曲面的弯曲性质?欧拉曾研究过曲面在一点的法截面曲率,但缺乏整体与系统的理论。
关键思想:在《分析在几何中的应用》(Application de l'analyse à la géométrie,1807)中,蒙日引入了曲面的曲率线(lignes de courbure / lines of curvature)——曲面上每一点都有两个互相垂直的主曲率方向,曲率线就是处处沿主方向的曲线。
精确表述:对曲面 $z=f(x,y)$,蒙日用分析方法导出了主曲率与主方向所满足的方程,并研究了曲率线的整体行为。他特别研究了椭球面上的曲率线——这些曲率线构成两族互相正交的曲线,其行为(含脐点附近的奇异结构)被后世认为是曲面上奇异叶状结构理论的起源。他还研究了曲面的渐屈线(焦曲面)、可展曲面与直纹面等。
与前人关系:欧拉(1760)已给出曲面上一点的法曲率公式;蒙日把它发展为曲面整体几何的系统理论。高斯 1827 年的《曲面的一般研究》(内蕴几何)正是在蒙日工作的基础上完成的——高斯曾广泛阅读蒙日。
历史评价:由于这些贡献,蒙日被誉为微分几何之父。
3. 偏微分方程的几何观点与蒙日—安培方程(1770s—1780s)
问题背景:18 世纪的偏微分方程研究多从物理问题出发(波动方程、位势方程),缺乏对一般非线性方程的几何理解。
关键思想:蒙日从几何角度研究偏微分方程,把方程的解看作曲面或曲线族,提出用特征线(characteristics)方法求解一阶非线性 PDE。
精确表述:对一阶 PDE $F(x,y,z,p,q)=0$($p=z_x, q=z_y$),蒙日引入特征方程,把求解化为一族特征曲线的积分,此法后经柯西发展为特征线法。他还研究了一类二阶非线性 PDE,今称蒙日—安培方程(Monge–Ampère equation):
$$Rr + Ss + Tt + U(rt-s^2) = V,$$
其中 $r=z_{xx},\ s=z_{xy},\ t=z_{yy}$,$R,S,T,U,V$ 是 $x,y,z,p,q$ 的函数。这类方程在微分几何(曲面的高斯曲率给定问题)、最优传输、完全非线性椭圆方程中极为重要,以蒙日与安培(André-Marie Ampère)命名——安培进一步研究了它。
与前人关系:达朗贝尔、欧拉开创了 PDE,但蒙日是第一个系统发展一般非线性 PDE 几何理论的人,影响了柯西的偏微分方程理论。
局限性:蒙日的方法偏几何直观,现代 PDE 的严格存在性理论要到柯西、柯瓦列夫斯卡娅(Cauchy–Kovalevskaya)及 20 世纪才建立。
4. 空间曲线的渐屈线(1769—1771)
问题背景:惠更斯在研究摆线时引入了平面曲线的渐屈线(evolute,即曲率中心的轨迹),但空间曲线的相应理论尚缺。
关键思想:蒙日把渐屈线概念推广到空间曲线(他称"双曲率曲线",courbes à double courbure,即非平面曲线),研究其曲率与挠率的几何。
精确表述:他在 1769 年论文中给出空间曲线渐屈线的构造与性质,推广了惠更斯的结果并加入新发现。这是微分几何中空间曲线理论的早期重要工作,预示了后来弗雷内(Frenet)标架的发展。
与前人关系:直接继承惠更斯的平面渐屈线理论,将其从平面推向空间。
5. 数学教育:创办巴黎综合理工学院(1794—1795)
问题背景:法国大革命急需大量受过系统数学与工程训练的人才(军事、桥梁、矿山),旧的军事与工程学校已不适应。
关键思想:蒙日以梅济耶尔的经验为蓝本,主导建立了公共工程中央学校(后改名巴黎综合理工学院,École Polytechnique,1794 年建校、1795 年运作),确立了"先集中两年数学与科学基础训练、再分入各专业工程学校"的模式。
精确表述:他亲自讲授画法几何与无穷小几何,编写教材;该校成为 19 世纪法国乃至世界工程与数学教育的样板,培养了傅里叶、泊松、柯西、彭赛列、安培、马吕斯、伽罗瓦等大批数学家与科学家。
与前人关系:这是第一所现代意义上的工程科学高等学府,其模式影响了全球(包括后来的"综合理工学院"模式)。
历史境遇:作为画法几何教师,他让此前的军事秘密成为公开的工程教育基础。
四、代表著作与文献
- 《画法几何》(Géométrie descriptive,1799,由阿谢特据其师范学校讲义整理出版):画法几何的奠基教科书,多次再版。
- 《分析在几何中的应用》(Application de l'analyse à la géométrie, à l'usage de l'École impériale polytechnique,1807,巴黎 Bernard 出版):微分几何的奠基之作,含曲率线、曲面理论;生前有修订版,身后 1850 年由刘维尔出第 5 版增订本。
- 《代数在几何中的应用》(Application de l'algèbre à la géométrie,1805 等):综合理工学院教材。
- 大量论文载于巴黎科学院《文集》,涉及 PDE、微分几何、变分法、组合、物理与化学。
- 空间曲线渐屈线论文(1769 年发表摘要,1785 年科学院正式刊行完整稿)。
五、师承、学派与同时代交往
- 师承:在博讷奥拉托利会学院与里昂三一学院受基础教育;无严格意义上的数学导师,但其在梅济耶尔深受博绪影响与提携。
- 学派归属:法国几何学派的开创者(画法几何与射影几何的源头),与拉格朗日、拉普拉斯、蒙日共同构成 18–19 世纪之交的法国数学核心;其学生形成了综合理工学派(彭赛列、沙勒、杜邦等)。
- 同时代交往:
- 夏尔·博叙:梅济耶尔的老师与提携者。
- 让·达朗贝尔、孔多塞:1771 年指导他进入巴黎数学界顶层。
- 拿破仑·波拿巴:远征埃及中结下的友谊,使其获元老、伯爵等高位;但也导致复辟后被清算。
- 傅里叶、马吕斯:埃及远征中的同行者与学生。
- 让-尼古拉·阿谢特(Hachette):其学生,整理出版了《画法几何》。
- 拉格朗日、拉普拉斯:度量衡委员会与国家研究院的同事。
- 学生/传人:彭赛列(射影几何)、沙勒(Michel Chasles)、杜邦(Dupin,示性线)、伽罗瓦、柯西、泊松、安培等——综合理工学院培养了整整一代法国数学家。
六、争议、公案与历史评价
- 出生日期存疑:5 月 9 日(MacTutor 等多数)与 5 月 10 日(法国参议院等部分官方来源)两说并存。
- "被拿破仑的光环迷惑":蒙日是坚定的共和派,却接受了拿破仑的独裁政权及其赐予的元老、伯爵等高位,与其共和立场明显矛盾。史家多认为他对拿破仑的个人崇拜压倒了政治原则,这一点常被论及。
- 复辟后的悲惨结局:百日王朝中支持拿破仑,滑铁卢后被波旁政权逐出科学院、剥夺一切荣誉,连综合理工学院的学生都被禁止出席其葬礼——这一结局与他对法国科学的巨大贡献形成尖锐对比,成为数学史上著名的悲剧之一。
- 画法几何的军事保密:因其军事价值,画法几何在旧制度下被列为机密,延误了公开传播;大革命后蒙日才得以公开讲授与出版。
- 历史评价:蒙日是画法几何的创立者与微分几何之父,也是法国现代工程与数学教育制度的奠基人。他的几何直观风格(区别于拉格朗日的纯分析)使法国几何学派在 19 世纪大放异彩(彭赛列射影几何、杜邦微分几何)。高斯、黎曼的微分几何都建立在他的工作之上。其一生横跨数学、教育、政治与军事,是法国大革命时代最具代表性的科学家-政治家之一。
七、身后影响与学术谱系
- 对工程制图与 CAD:画法几何是工程制图(机械、建筑、土木)的数学基础,直到 20 世纪计算机辅助设计(CAD)兴起前是工程师的必备技能;其正交投影原理仍是 CAD 的核心之一。
- 对微分几何:曲率线、曲面的分析研究直接影响了高斯(1827 内蕴几何)与黎曼(1854 黎曼几何),是现代微分几何的源头;蒙日—安培方程是完全非线性 PDE 的核心,在最优传输、仿射微分几何中仍活跃。
- 对射影几何:其画法几何与几何直观传统,经学生彭赛列(1822《论图形的射影性质》)发展为射影几何,又经沙勒、施泰纳、冯·施陶特而成熟。
- 对数学教育:巴黎综合理工学院的"先基础后专业"模式成为全球工程教育的样板;蒙日编写的教材影响了几代法国数学教育。
- 对物理与化学:其冶金(铁/钢/铸铁成分)、双折射、毛细现象等工作虽非主流数学贡献,但体现了其广博。
- 命名遗存:蒙日—安培方程、蒙日锥(Monge cone,一阶 PDE 的几何)、蒙日形式、画法几何(descriptive geometry 亦称 Monge geometry)、月球与火星上的蒙日环形山;巴黎综合理工学院校园有其塑像。
八、延伸阅读与权威来源
- MacTutor 数学史档案:Gaspard Monge:圣安德鲁斯大学权威传记,本档案主要史实出处。
- Dictionary of Scientific Biography — Monge (PDF, MacTutor 托管):科学史权威传记条目。
- Wikipedia: Gaspard Monge:生平与著作交叉核对。
- Wikipedia: Descriptive geometry:画法几何的原理与历史。
- Wikipedia: Monge–Ampère equation:以蒙日与安培命名的偏微分方程。
- Wikipedia: Lines of curvature:曲率线的概念与蒙日的贡献。
- Wikipedia: École Polytechnique - History:综合理工学院的创办历史与蒙日的角色。
- Sénat: Gaspard Monge, comte Monge:法国参议院的蒙日条目(其元老身份与生卒记录)。