跳转到内容
← 返回数学家
rigorization数论约 15 分钟阅读

索菲·热尔曼

Sophie Germain

法国·1776–1831
费马大定理弹性理论数论女性数学家索菲热尔曼素数

生平

索菲·热尔曼（Sophie Germain，1776年4月1日—1831年6月27日）是法国数学家，在数论和数学物理两个领域都留下了重要贡献。她的一生是一部关于在制度性排斥中坚持数学研究的真实记录：她无法进入正式的数学教育体系，只能伪装成男性与大数学家通信，用笔名发表论文。她最终成为第一位赢得巴黎科学院奖的女性——但这个奖项此后并未带来任何正式的学术职位。

索菲·热尔曼（全名玛丽-索菲·热尔曼，Marie-Sophie Germain）出生于巴黎一个富裕的资产阶级家庭。父亲昂布鲁瓦兹-弗朗索瓦·热尔曼（Ambroise-François Germain）是一位丝绸商人，1789年当选三级会议（États-Généraux）代表，后来还出任过法兰西银行的董事；殷实的家境，是她日后能摆脱谋生压力、终身专注治学的物质前提。

大革命期间，14岁的她在家中无法外出，在父亲书房中发现了数学，尤其是关于阿基米德之死的故事——据说阿基米德在罗马士兵杀死他时仍沉浸于几何证明中，热尔曼从中感受到了数学的魅力，开始自学。

1794年，巴黎综合理工学院（École Polytechnique）创建，这是当时世界上最顶尖的数学教育机构，但不招收女生。热尔曼借来了同学的讲义和作业，以"勒布朗先生"（Monsieur LeBlanc）的名义向教授提交作业。拉格朗日（Lagrange）在收到她的出色论文后，主动要求见到这位"勒布朗先生"，才发现作者是一位女性——他对此表示了积极的支持。

1804年，热尔曼开始以"勒布朗先生"的名义与高斯（Carl Friedrich Gauss）通信，讨论数论问题。1806年末，拿破仑军队占领了高斯的家乡布伦瑞克（Braunschweig）；她担心高斯会重蹈阿基米德死于罗马士兵之手的命运，请一位认识的法国将军（佩内蒂将军，Pernety）出面查询他的下落——这才暴露了她的真实身份。高斯在得知后，于1807年的回信中写道：

"我无法向您描述，当看到我所敬重的通信者『勒布朗先生』化身为这位杰出人物时，我心中的惊讶与钦佩……一个女性，按照我们的习俗与偏见，在熟悉这些棘手的研究时，必然比男性遭遇多得多的困难；而她竟能跨越这些障碍、深入其中最隐秘的部分——那么她无疑拥有最高贵的勇气、极不寻常的才能与卓越的天赋。"

高斯的回信是少数几个让热尔曼在当时学术界得到正式认可的时刻。

1816年，她以弹性理论的论文赢得了巴黎科学院的大奖——也是第一位赢得该奖的女性。然而，奖项并未为她带来任何正式职位或头衔。她从未被允许进入科学院，也从未被提名为院士。

高斯一直惦记着给热尔曼正式的学术认可：在他的推动下，哥廷根大学准备授予她荣誉博士学位。但热尔曼于1831年6月27日因乳腺癌在巴黎去世，享年55岁，终究没能等到这一学位（多数史料记载该学位在她身后才正式落实）。

核心贡献

索菲·热尔曼素数

热尔曼在数论中最著名的贡献与费马大定理相关。费马大定理（1637年费马在书页边距上留下）断言：对于整数 n≥3n \geq 3，方程

xn+yn=znx^n + y^n = z^n

没有正整数解。在高斯、欧拉等人之后，到19世纪初，这一猜想对很多小的 $n$ 值已有证明，但一般情形无人解决。

热尔曼于1823年通过勒让德（Adrien-Marie Legendre）发表了一个重要结论（后来被称为"热尔曼定理"）：

热尔曼定理：若 $p$ 是奇素数，且 $2p+1$ 也是素数，则费马方程 xp+yp=zpx^p + y^p = z^p 的任何正整数解 $(x, y, z)$ 必有 p∣xyzp \mid xyz（即 $x$、$y$、$z$ 中至少有一个被 $p$ 整除）——这一情形称为第一情形（Case I）。

借助这一定理并辅以大量手算，热尔曼证明了：对所有小于 100 的素数指数 $p$，费马大定理的第一情形都成立——这是当时覆盖面最广的费马大定理结果。勒让德随后用同类的辅助素数方法，把这一范围推进到了 197。凡满足"$p$ 和 $2p+1$ 都是素数"的素数，被后来的数学家命名为索菲·热尔曼素数（Sophie Germain prime）。例如： - $p = 2$：2×2+1=52 \times 2 + 1 = 5，5是素数，故2是索菲·热尔曼素数 - $p = 3$：2×3+1=72 \times 3 + 1 = 7，7是素数，故3是索菲·热尔曼素数 - $p = 5$：2×5+1=112 \times 5 + 1 = 11，11是素数，故5是索菲·热尔曼素数 - $p = 7$：2×7+1=15=3×52 \times 7 + 1 = 15 = 3 \times 5，15不是素数，故7不是

索菲·热尔曼素数今天仍是数论中的活跃研究对象——是否存在无穷多个索菲·热尔曼素数，至今仍是未解决的猜想。它们在密码学里有实际用途：当 $p$ 是索菲·热尔曼素数时，$2p+1$ 被称为"安全素数"（safe prime）。此时模 $2p+1$ 的乘法群只含一个大的素数阶子群、几乎没有可供攻击者利用的小子群，因而能抵御所谓"小子群封闭攻击"（small-subgroup confinement attack）。这一性质被用在 Diffie–Hellman 密钥交换等基于离散对数的密码体制中。寻找巨大的索菲·热尔曼素数本身也成了一项分布式计算竞赛：迄今已知最大的一个是 2618163402417×21290000−12618163402417 \times 2^{1290000} - 1，长达 388342 位，由 PrimeGrid 项目于 2016 年找到。

一个流传已久的误解是，热尔曼在费马大定理上的工作只剩勒让德 1823 年那篇论文脚注里提到的这一条定理。但自 2008 年起，史家对她遗留手稿的整理（劳本巴赫与彭格利（Laubenbacher & Pengelley）2010 年那篇系统的长篇研究最具代表性）揭示出一个截然不同的图景：她其实拥有一套完整而精密的"宏大计划"（grand plan），意在一举证明对一切指数都成立的费马大定理，而不只是处理第一情形。她为此自创的若干算法，其核心思想要到很久以后才被旁人独立地重新发现。勒让德公布的那条定理，不过是这盘大棋里露出水面的一角。

弹性振动板理论

1808年，德国物理学家克拉德尼（Ernst Chladni）在巴黎法国科学院演示了"克拉德尼图形"（Chladni figures）：在金属板上撒沙，用弓弦摩擦金属板的边缘，沙粒会沿着振动节线（不振动的位置）聚集，形成美丽而对称的几何图案。这一演示震动了拿破仑；在他的推动下，科学院于1809年设立专项大奖，公开征集能解释振动薄板的数学理论，奖品是一枚重一公斤、价值约3000法郎的金质奖章。

热尔曼是唯一一位认真参赛的数学家——其他人认为问题太困难，没有参与。然而，她为这个问题所写的三稿论文，花费了她整整七年时间：

  • 1811年（第一稿）：她是唯一的参赛者。评委会认为论文尚未真正建立起运动方程，未予颁奖；但评委之一拉格朗日（Lagrange）从她的手稿出发，推导出了一个在特定假设下成立的振动方程——这一方程的功劳此后究竟该归谁，长期存在争议。
  • 1813年（第二稿）：竞赛期限被延长，她改进了推导，但重积分（double integral）的处理仍有错误，只获得荣誉提名（honorable mention）。
  • 1815年（第三稿）：她依旧是唯一参赛者，这一次基本正确地建立了薄弹性板振动的偏微分方程，于1816年初正式赢得巴黎科学院大奖。

热尔曼建立的弹性板方程，在现代形式中写作：

D∇4w=qD \nabla^4 w = q

其中 $w(x, y)$ 是板的横向位移，$D$ 是弯曲刚度（与材料和板厚有关），$q$ 是横向载荷，∇4=∇2∇2\nabla^4 = \nabla^2 \nabla^2 是双调和算子。这个方程今天仍是工程结构分析中的基础方程。

热尔曼的推导过程并不完美，但她抓住了问题的物理核心：她假设薄板在每一点的弹性恢复力，正比于该点两个主曲率之和——而两个主曲率之和恰好是平均曲率（曲面在某点两个主曲率的平均值）的两倍。这等于把平均曲率（mean curvature）第一次引进了弹性力学。这一概念如今是微分几何与极小曲面理论的核心工具；2023 年甚至有学者撰文，主张把平均曲率正名为"热尔曼曲率"（Germain curvature），但这一建议尚未被广泛采纳。

她的工作也卷入了一场旷日持久的功劳之争。泊松（Siméon Denis Poisson）既是她的竞争对手，又身在评奖委员会之中——他另有一套基于分子作用的弹性理论，并在评审中淡化她的贡献。热尔曼的方程后来由纳维叶（Navier）于1823年首次发展为令人满意的板弯曲理论，再经基尔霍夫（Kirchhoff）确立边界条件而臻于完备；但最早搭起这一理论框架的，是热尔曼。

更广泛的数学工作

热尔曼与高斯的通信涵盖了数论的多个方面，包括对各种数论定理的讨论和她自己的探索。高斯的许多回信表明，他把她当作真正的数学同行，不仅仅是一个有趣的学生。热尔曼也研究了曲面曲率理论，留下了关于弯曲空间的早期思考，这与黎曼后来建立的内蕴几何有精神上的联系。

历史处境与制度性障碍

热尔曼的生涯揭示了一个结构性问题：在19世纪初的法国，学术体制完全关闭于女性之外。她无法进入大学，无法正式受教于她研究的学者，无法以自己的名义在机构中任职，无法进入科学院——即便是获得科学院大奖之后。

她的研究必须通过个人关系网络维持：借助父亲的财富提供生活来源，通过通信获得学术交流，通过男性名字或匿名发表论文。这种处境使她的工作常常得不到应有的承认——例如，她对平均曲率的早期贡献，在标准数学史中很少被提及。甚至在她1831年去世时，巴黎的死亡证明上把她的身份登记为"rentier"（食利者，靠地产年金生活的人），而不是数学家——这份官方文件，成了她一生未获体制承认的最后注脚。

与诺特（Emmy Noether）相比，热尔曼生活的年代更早，障碍更大，得到的机构支持几乎为零。但她们共同的经历说明，数学天赋从不受性别约束，而接触高等教育和学术机构的机会，则长期受制于性别歧视。

跨域连接

  • 波与声学：薄板的恢复力正比于两个主曲率之和，方程因此含四阶算子而非二阶，频率随波数按平方而不是线性增长。推论：模式间距随阶数迅速拉开，节线图案随频率变密——撒在板上的沙聚集的正是这些不振动的节线，这条平方关系可用不同厚度的板直接验证。
  • 计算材料设计：弯曲刚度同时依赖材料模量与厚度的高次幂，所以薄结构主要靠几何而不是靠材料获得刚度。推论：等重量下增加有效厚度比换更硬的材料更有效——夹层板与加筋板的设计逻辑由此直接得出，收益差距可以按幂次估算。
  • 加密基础：当一个素数的两倍加一仍是素数时，模这个大素数的乘法群只含一个大素数阶子群，攻击者无法把问题约化到小群里去解。推论：选参数时必须验证这一条，且可在参数生成阶段自动检查，否则离散对数的难度会被小因子悄悄削掉。
  • 认识不公：当发言权与身份绑定，同一份结果会因署名不同而被区别对待，用男性化名投稿正是对这一机制的绕行。推论：若偏见只发生在评价环节，匿名评审应当缩小差距；差距仍在，就说明排斥发生在更上游的入口，两种情形对应完全不同的干预点。
  • 偏微分方程：把物理假设翻译成算子形式之后，解的唯一性还要靠边界条件才能确定。推论：同一条方程配不同的夹持方式会给出完全不同的节线图——历史上争议的焦点始终在边界条件，而不在方程本身。

参考文献

  1. Louis L. Bucciarelli & Nancy Dworsky, Sophie Germain: An Essay in the History of the Theory of Elasticity, Reidel Publishing Company, 1980（关于热尔曼弹性理论工作的学术专著）。
  2. Dora Musielak, Sophie Germain: Revolutionary Mathematician, Springer, 2020.
  3. Sophie Germain, Recherches sur la théorie des surfaces élastiques, 1821（热尔曼关于弹性曲面的著作，法文）。
  4. Laubenbacher, R. & Pengelley, D., "Voici ce que j'ai trouvé: Sophie Germain's Grand Plan to Prove Fermat's Last Theorem", Historia Mathematica 37 (2010), pp. 641–692（基于热尔曼手稿，重估其数论工作）。
  5. Sophie Germain（著）、Hippolyte Stupuy（编），Œuvres philosophiques de Sophie Germain, Paris, 1879（一手文集；"代数即书面几何，几何即图形代数"一语见该书 p. 264）。
  6. Germain Curvature: The Case for Naming the Mean Curvature of a Surface after Sophie Germain, arXiv:2303.13615 (2023)（论证平均曲率应以热尔曼命名）。

「代数只不过是书面几何，几何只不过是图形代数。」——索菲·热尔曼