夏尔·埃尔米特（Charles Hermite）

19 世纪后半叶法国数学的中心人物——他第一个证明自然对数底 $e$ 是超越数，用椭圆函数求解了一般五次方程，把自伴矩阵、正交多项式与插值法刻进了现代数学的基石；他以直觉而非逻辑闻名，是庞加莱与阿达马的老师，却对康托尔的集合论怀有深深的不信任。

一、生平与时代背景

夏尔·埃尔米特于 1822 年 12 月 24 日生于法国洛林地区摩泽尔省的迪耶于兹（Dieuze）。父亲费迪南·埃尔米特（Ferdinand Hermite）受过工程师训练，曾在迪耶于兹附近的盐矿工作，婚后转入妻子马德莱娜·拉勒芒（Madeleine Lallemand）家族的布匹生意；但他骨子里是个艺术家，把生意交给妻子打理，自己则从事艺术。夏尔是七个孩子中的第六个，约七岁时全家随生意迁往南锡（Nancy）。父母对教育并不十分上心，但仍为孩子们提供了良好的学校教育。

夏尔自幼右脚有残疾，行走困难，这使他的职业前景一度令人担忧；但他性格开朗，始终带着愉快的微笑承受这一缺陷。他先后就读于南锡公学（Collège de Nancy）、巴黎的亨利公学（Collège Henri），1840—1841 年就读于路易大帝公学（Collège Louis-le-Grand）——约十五年前伽罗瓦正是在此就读。教他数学的路易·里夏尔（Louis Richard）正是当年伽罗瓦的老师。与伽罗瓦相似，埃尔米特宁愿阅读欧拉、高斯、拉格朗日的原著，也不愿为应付考试而死记硬背；也正因如此，他当时对伽罗瓦、鲁菲尼、阿贝尔关于五次方程不可根式解的工作一无所知（数学界当时也普遍不了解伽罗瓦）。

1841—1842 年，他由卡塔兰（Eugène Catalan）辅导备考综合理工学院，1842 年以第 68 名的成绩考入（伽罗瓦当年落榜，他则幸运通过）。然而入学仅一年，校方以其残疾为由拒绝让他继续学业。几位重要人物为他据理力争，决定被推翻，但附加了苛刻条件；埃尔米特无法接受，遂未拿到学位便离开了综合理工学院。

此后五年他以私人方式攻读学位，同时已展现出世界级的研究能力。他经常拜访约瑟夫·贝特朗（Joseph Bertrand），后来娶了贝特朗的妹妹路易丝（Louise，1848 年成婚）——他们的两个女儿之一后来嫁给了埃米尔·皮卡（Émile Picard）。更重要的是，他开始与雅可比（Carl Jacobi）通信：信中显示他已发现 θ 函数满足的某些微分方程，并用傅里叶级数研究它们，找到了以 θ 函数表示的通解。这些大约 1843 年的想法很可能启发了刘维尔（Joseph Liouville）1844 年的重要结果（包括今称刘维尔定理者）。1847 年他通过考试取得学士（baccalauréat）与硕士（licence）学位。

1848 年，当年试图阻止他继续学业的综合理工学院任命他为辅导教师（répétiteur）兼入学考试委员。此后十年是他产出最重要数学成果的时期：1848 年证明双周期函数可表示为周期整函数之商；1849 年向科学院提交回忆录，把柯西的留数技巧应用于双周期函数，斯图谟（Sturm）与柯西 1851 年给出好评，但与刘维尔的优先权之争似乎阻止了它的发表。他还研究二次型与不变量理论，1855 年建立了一套变换理论，沟通了数论、θ 函数与阿贝尔函数的变换。

1856 年 7 月 14 日，埃尔米特当选法兰西科学院院士（递补比内去世留下的空缺）。存疑：部分来源（含英文维基百科条目）误写为 1848 年当选，此与 MacTutor 及法国数学会（SMF）资料不符，应以 1856 年为准。然而 1856 年对他也是多灾之年——他染上了天花。正是笃信宗教的柯西帮助他渡过危机，这对埃尔米特影响深远：在柯西影响下，他皈依了罗马天主教，并成为保皇派，与坚定共和派的伽罗瓦恰成对照。

1858 年，他证明一般五次方程可用椭圆函数求解（阿贝尔—鲁菲尼定理只是否定了根式解，并不排除借助超越函数），并把结果应用于二次型的类数关系。1862 年，综合理工学院专为他设立了主讲（maître de conférence）职位；同年起他在高等师范学校任教至 1873 年。1869 年，他接替迪阿梅尔（Duhamel）出任综合理工学院与索邦大学的分析学教授；1876 年辞去综合理工学院的讲席，但一直保留索邦的教授职位直至 1897 年退休。

1870 年代，他重拾早年感兴趣的逼近与插值问题。1873 年，他发表了 $e$ 为超越数的首个证明——这是他最负盛名的结果之一；林德曼（Ferdinand von Lindemann）正是用类似方法于 1882 年证明了 $\pi$ 的超越性。1890 年代，他对下一代数学家的新成果兴趣大减。

埃尔米特极热爱分析、推崇魏尔斯特拉斯：当米塔-列夫勒（Mittag-Leffler）来巴黎想跟他学习时，他热情接待却说："先生，您搞错了，您应当去柏林听魏尔斯特拉斯的课，他是我们所有人的老师。"他对几何则有一种近乎本能的厌恶，曾责怪学生做几何回忆录（阿达马语）。在数学哲学上，他是柏拉图意义上的实在论者——认为数学家像博物学家一样发现一个外在的理念世界——因此不喜欢康托尔那种"创造"出一个新数学世界的集合论。阿达马、庞加莱都描述过他的思维方式：庞加莱说"要说埃尔米特是个逻辑学家，再没有比这更违背事实的了；方法总是以某种神秘的方式在他心中诞生"；阿达马则盛赞其教学"洋溢着对科学的热情，仿佛科学在他的声音里活了过来"。

1901 年 1 月 14 日，埃尔米特在巴黎逝世，享年 78 岁（晚年受哮喘、食欲不振与失眠困扰）。他荣誉等身：1871 年伦敦数学会荣誉会员、1873 年皇家学会会员（FRS）、1884 年爱丁堡皇家学会会员（FRSE），70 岁生日时晋荣誉军团大军官；月球北极附近有以他命名的环形山，巴黎十八区有 Rue Charles Hermite 与 Square Charles Hermite。

二、学术生涯年表

三、核心成果（逐条技术解析）

1. 证明 $e$ 是超越数（1873）

问题背景：自欧拉时代起，$e$ 与 $\pi$ 是否为无理数、甚至是否为超越数（即不满足任何整系数非零多项式方程）一直悬而未决。刘维尔已在 1844 年构造出历史上第一批明确的超越数（刘维尔数），但尚未证明任何"自然出现"的常数（如 $e$、$\pi$）是超越的。

关键思想：埃尔米特没有直接证明，而是构造了一个精巧的恒等式——后人称之为"埃尔米特恒等式"——对适当选取的高次多项式 $f$，定义积分 $I(t)=\int_0^t e^{t-x}f(x)\,dx$，并对 $e^t$ 作有理逼近。假设 $e$ 是代数数，即存在整数 $a_0,a_1,\dots,a_n$ 不全为零使 $a_0+a_1e+\cdots+a_ne^n=0$；将此式乘以某个量并求和，得到一个整数等式，左端被证明是非零整数，而右端的绝对值通过选取 $f$ 的次数足够高可使其小于 1，从而矛盾。

精确表述：$e$ 不是任何非零整系数多项式的根，即 $e$ 超越。埃尔米特在 1873 年的论文中给出了两种证明。同年他还证明了更一般的结论：对任意非零有理数 $r$，$e^r$ 是无理数（这是超越性证明的副产品）。

与前人关系：建立在刘维尔关于超越数与有理逼近的工作之上；但其针对特定常数的方法是全新的。林德曼 1882 年把这套方法推广到 $e^\alpha$（$\alpha$ 为非零代数数），证明了 $\pi$ 超越（因 $e^{i\pi}=-1$ 代数，若 $\pi$ 代数则矛盾）。希尔伯特后来简化了埃尔米特的原始证明；1947 年尼文（Ivan Niven）正是借鉴埃尔米特的技巧，给出了 $\pi$ 无理性的一个简短初等证明。

局限性：埃尔米特未能进而证明 $\pi$ 的超越性——据说他认为该问题超出了自己的能力（"它会给自己带来巨大的麻烦"），但他已经完成了绝大部分困难工作，这令后世科学史家颇感惋惜。

2. 用椭圆函数求解一般五次方程（1858）

问题背景：阿贝尔—鲁菲尼定理（1820 年代）确立了一般五次及以上代数方程不能用根式求解，但这并不排除借助更一般的超越函数（如椭圆函数）来求解。寻找五次方程的"非根式"闭式解，是 19 世纪中期方程论的核心问题之一。

关键思想：埃尔米特在 1858 年的一系列论文中证明，一般五次方程的根可以用椭圆模函数（elliptic modular functions）表示。其思路是把五次方程化简为"布灵—杰拉德正规形"（Bring–Jerrard form，仅含 $x^5+x+a$ 项），再借助椭圆函数的特殊值（模方程）来表达其根。

精确表述：一般五次方程的根可由椭圆函数及其反演（模函数）在有限次代数运算与函数求值下得到。这一结果后由克罗内克、布廖斯基（Brioschi）进一步发展为"埃尔米特—克罗内克—布廖斯基刻画"。

与前人关系：与克罗内克（1858 年同一时期）独立地得到类似结果；超越了阿贝尔—鲁菲尼的否定性结论，开启了用椭圆/自守函数求解高次方程的传统，影响了后来庞加莱、克莱因的工作（克莱因《二十面体与五次方程》即系统整理这一方向）。

局限性：解依赖椭圆模函数，不便于数值计算；且该方法难以直接推广到更高次方程。

3. 埃尔米特矩阵与自伴算子的谱性质（1855）

问题背景：1829 年柯西已证明实对称矩阵的特征值全为实数，但复矩阵在何种条件下具有实谱尚不清楚，而复线性代数正随着复分析、量子力学的需要而兴起。

关键思想：埃尔米特 1855 年研究了满足 $A^*=A$（即等于自身共轭转置）的复矩阵——今称埃尔米特矩阵（自伴矩阵）——并证明其特征值必为实数。这把柯西关于实对称矩阵的结果推广到了复情形。

精确表述：若 $A\in M_n(\mathbb{C})$ 满足 $A^\dagger=A$（$A^\dagger$ 为共轭转置），则 $A$ 的所有特征值都是实数，且属于不同特征值的特征向量相互正交。由此可推出埃尔米特矩阵可酉对角化（谱定理的有限维情形）。1854 年他还引入了正交矩阵（满足 $Q^TQ=I$ 的实矩阵）的概念，但其现代形式定义后由弗罗贝尼乌斯（Frobenius）1878 年给出。

与前人关系：推广了柯西 1829 年关于实对称矩阵的结果。该概念后经希尔伯特推广到无穷维（自伴算子 / 埃尔米特算子），成为泛函分析与量子力学的数学基础：诺伯特·维纳、马克斯·玻恩最先将自伴算子用于量子力学的严格表述，其后希尔伯特、冯·诺依曼等系统建立。

意义：量子力学中可观测量对应自伴算子，其本征值为实数——这一物理事实的数学根基正是埃尔米特 1855 年的定理。

4. 埃尔米特多项式与埃尔米特函数（1864）

问题背景：在无界区间（如整个实轴）上用正交多项式展开函数，需要一族在无穷远处衰减适当的正交函数系；拉普拉斯早先在概率论中曾遇到过这类多项式，但未系统发展。

关键思想：1864 年，埃尔米特在研究无界区间上连续函数的展开时，引入了今称埃尔米特多项式的特殊函数族。它们是 $e^{-x^2}$ 在 $\mathbb{R}$ 上的正交多项式。

精确表述：（物理学家的）埃尔米特多项式由罗德里格斯公式 $H_n(x)=(-1)^n e^{x^2}\frac{d^n}{dx^n}e^{-x^2}$ 给出，满足正交关系 $\int_{-\infty}^{\infty}H_m(x)H_n(x)e^{-x^2}\,dx=\sqrt{\pi}\,2^n n!\,\delta_{mn}$，并满足埃尔米特微分方程 $y''-2xy'+2ny=0$。埃尔米特函数$\psi_n(x)=e^{-x^2/2}H_n(x)$ 构成 $L^2(\mathbb{R})$ 的一组正交基。

与前人关系：拉普拉斯在 19 世纪初的概率论研究中、切比雪夫在正交多项式一般理论中都曾遇到过特殊情形，但埃尔米特是第一个系统引入并研究该函数系者；它是经典正交多项式（雅可比、拉盖尔、埃尔米特）三大族之一。

意义：埃尔米特函数是量子力学中量子谐振子薛定谔方程的定态解，也是傅里叶分析、信号处理中的标准基（时频分析中的 Hermite 基）。

注记：拉普拉斯更早发现的版本（概率论中使用的"概率学家埃尔米特多项式"）与埃尔米特本人引入的版本在归一化上略有差别，二者在文献中常需区分。

5. 双周期函数、椭圆函数与不变量理论（1848—1855）

问题背景：19 世纪中期，椭圆函数与双周期函数是分析的前沿，但它们的解析构造（尤其是与整函数的关系）以及与数论、代数的联系尚不清晰。

关键思想：埃尔米特 1848 年证明了双周期函数可以表示为两个周期整函数之商——这是用整函数构造亚纯双周期函数的基本途径。随后他把柯西的留数演算应用于双周期函数（1849 年回忆录），并在二次型与不变量理论中发现了关于二元型的互反律（Hermite reciprocity），把数论、θ 函数与阿贝尔函数的变换联系起来。

精确表述： - 每个双周期亚纯函数都可写成两个具有相同周期的整函数之商。 - 在不变量理论中，二元 $m$ 次型的共变量与二元 $n$ 次型的共变量之间存在埃尔米特互反关系（阶数的对偶），是 19 世纪不变量理论的核心结果之一。

与前人关系：与凯莱、西尔维斯特同时独立地发展了不变量理论；其双周期函数表示定理补充了刘维尔、魏尔斯特拉斯的椭圆函数理论。

局限性：他的不变量理论工作属于 19 世纪"经典不变量理论"，在希尔伯特 1893 年证明有限基定理后，研究范式发生转变。

6. 插值、逼近与其他贡献

• 埃尔米特插值：推广了拉格朗日插值，允许不仅指定插值点处的函数值，还指定各阶导数值，是数值分析中重要的工具（其一般形式由后人整理命名）。
• 线性微分方程：晚年研究线性微分方程，求出了拉梅方程（Lamé's equation）的解。
• 数论：在二次型的类数、整数表示等问题上有重要工作，与刘维尔、戴德金的代数数论研究相呼应。
• 埃尔米特正规形 / 埃尔米特型：在线性代数与数论中，整数矩阵的埃尔米特正规形、复向量空间上的埃尔米特型（厄米型）都以他命名。

四、代表著作与文献

• 《椭圆函数的若干应用》（Sur quelques applications des fonctions elliptiques，1855）：关于椭圆函数与方程求解的早期重要工作。
• 《分析教程》（Cours d'Analyse de l'École Polytechnique. Première Partie，1873，Gauthier–Villars）：综合理工学院的分析教材，影响深远。
• 《科学系授课讲义》（Cours professé à la Faculté des Sciences，Andoyer 编，第 4 版，1891）：索邦授课整理。
• 证明 $e$ 超越的论文（1873，载《科学院周报》Comptes Rendus）：超越数论的里程碑。
• 《埃尔米特通信集》（Correspondance，Baillaud 与 Bourget 编，1905，2 卷）：与同时代数学家的书信，史料价值极高。
• 《埃尔米特全集》（Œuvres de Charles Hermite，皮卡主编，4 卷，1905—1917；Cambridge University Press 2009 年重印）：收录其全部论文。

五、师承、学派与同时代交往

• 师承：中学受教于里夏尔（伽罗瓦的老师）；备考受卡塔兰辅导；学术上深受雅可比、刘维尔、柯西、拉格朗日、高斯、欧拉的影响。数学谱系上，维基百科把卡塔兰列为其博士导师、刘维尔列为其他学术导师（尽管他未获正式博士学位）。
• 学派归属：19 世纪后半叶法国分析学派的核心与领袖，连接着柯西、刘维尔的法国传统与魏尔斯特拉斯的德国严格分析传统；他对魏尔斯特拉斯的推崇促进了法德数学的交流。
• 同时代交往：
• 雅可比：早期通信对象，其 θ 函数研究受雅可比鼓励；他的两篇文章被收入雅可比著作全集。
• 刘维尔：朋友与合作者，也是竞争对手（双周期函数论文的优先权之争）；埃尔米特 1843 年的想法可能启发了刘维尔 1844 年的结果。
• 柯西：1856 年天花期间的精神支柱，引导其皈依天主教与保皇主义；数学上留数演算的先驱。
• 贝特朗：密友，娶其妹；其女嫁皮卡，形成数学家族网络。
• 魏尔斯特拉斯：埃尔米特极推崇的"我们所有人的老师"，二人相互敬重。
• 米塔-列夫勒：长期通信（125 封信），信中展现其谦逊、虔诚与关怀同事的品格。
• 切比雪夫：1852 年切比雪夫访巴黎时与他讨论数学，二人有交往。
• 学生 / 后继者：
• 庞加莱：最著名的学生；曾评其思维非逻辑性。
• 阿达马：学生与传记作者，记述了他对几何的厌恶与对教学的热情。
• 斯蒂尔切斯（Stieltjes）：学生，与埃尔米特有大量通信（部分未刊）。
• 其他：帕德（Henri Padé）、弗洛凯（Gaston Floquet）、塔纳雷（Jules Tannery）、彼得罗维奇（Mihailo Petrović）。
• 女婿 皮卡 主编了他的全集。

六、争议、公案与历史评价

• 与刘维尔的优先权之争：1849 年关于双周期函数的回忆录因与刘维尔的优先权争议未能及时发表，是其早期职业生涯的一段插曲。
• "错失"$\pi$ 超越性：埃尔米特已完成证明 $e$ 超越的绝大部分困难工作，却未乘胜证明 $\pi$ 超越，把这一荣耀留给了林德曼（1882）。科学史家多为之惋惜，他本人则似乎有意回避（担心问题过难）。
• 数学观之争：他是柏拉图式的数学实在论者，不赞成康托尔"创造"无穷集合的做法，与当时集合论潮流保持距离；但他并未像克罗内克那样激烈反对，只是消极不接受。
• 教学与性格：他的思维方式高度直觉化，庞加莱称其"非逻辑"；但教学充满热情，深受优秀学生爱戴。他不擅行政与争权，过着相对隐居的家庭生活。
• 历史评价：埃尔米特是 19 世纪后半叶最重要的数学家之一，横跨分析、数论、代数、线性代数。阿达马称他为"1842—1901 年间巴黎乃至法国数学的中心人物"。他在超越数论、特殊函数、线性代数与数值分析中留下的命名遗存（埃尔米特多项式、埃尔米特矩阵、埃尔米特插值、埃尔米特型、埃尔米特恒等式等），至今是理工科的标准词汇。

七、身后影响与学术谱系

• 超越数论：证明 $e$ 超越开启了对"自然常数"超越性的系统研究，直接孕育了林德曼—魏尔斯特拉斯定理（若 $\alpha_1,\dots,\alpha_n$ 为两两不同的代数数，则 $e^{\alpha_1},\dots,e^{\alpha_n}$ 在代数数域上线性无关），是 20 世纪超越数论（格尔丰德—施耐德定理等）的源头。
• 线性代数与量子力学：埃尔米特矩阵与自伴算子是量子力学数学表述的核心，每个物理专业学生都在学他的定理。
• 数值分析：埃尔米特插值是有限元、计算机图形学、数值微分的基础工具。
• 数学物理与信号处理：埃尔米特函数是量子谐振子的波函数，也是时频分析的标准基。
• 教育传承：作为庞加莱、阿达马的老师，他直接影响了 20 世纪初法国数学的复兴（庞加莱开启动力系统与拓扑，阿达马在素数定理、泛函分析等领域建树）。
• 法德数学桥梁：他对魏尔斯特拉斯的推崇与对米塔-列夫勒等北欧数学家的提携，促进了 19 世纪末欧洲数学的一体化。
• 命名遗存：埃尔米特多项式、埃尔米特函数、埃尔米特矩阵/算子、埃尔米特插值、埃尔米特型（厄米型）、埃尔米特恒等式、埃尔米特正规形、埃尔米特互反律、埃尔米特—克罗内克—布廖斯基刻画、月球环形山 Hermite、巴黎街道等。

八、延伸阅读与权威来源

• MacTutor 数学史档案：Charles Hermite：圣安德鲁斯大学权威传记，本档案主要史实出处。
• Dictionary of Scientific Biography — Hermite (PDF, MacTutor 托管)：科学史权威传记条目（Freudenthal 撰）。
• Wikipedia: Charles Hermite：生平与著作交叉核对（注：其"1848 年当选科学院"一说有误，应为 1856 年）。
• Wikipedia: Transcendental number：$e$、$\pi$ 超越性的历史与证明脉络。
• Wikipedia: Lindemann–Weierstrass theorem：埃尔米特方法的推广。
• Wikipedia: Hermite polynomials：埃尔米特多项式的定义与性质。
• Wikipedia: Hermitian matrix：自伴矩阵及其谱性质。
• Wikipedia: Bring radical：五次方程的椭圆函数解（含埃尔米特—克罗内克—布廖斯基刻画）。
• MacTutor: Hadamard on Hermite：阿达马对老师的回忆。
• C. Brezinski, Charles Hermite : Père de l'analyse mathématique moderne (1990)：权威法文研究专著。
• SMF Editorial: Hermite (PDF)：法国数学会资料，确认 1856 年当选科学院。