Euler's Eyes
2026-10-14
ソフィー・ジェルマンの遺産
代数学は書かれた幾何学にすぎず、幾何学は描かれた代数学にすぎない。
— ソフィー・ジェルマン『科学と文芸の状態についての一般的考察』（1833）
ソフィー・ジェルマンは、学位も地位も学生もなく、ほとんどいつもひとりで研究しました。当時の数学者たちがたがいに学び合った講義や雑誌や議論から締め出されていたことは、彼女の仕事にも表れています。きわめて独創的な考えに、ときおり、教師がいれば早めに指摘できたはずの穴がまじっているのです。それでも彼女は、ほとんど接点のない二つの分野、数論と弾性理論に名前を残しました。
塔に欠けている名前
1889 年にエッフェル塔が開業したとき、ギュスターヴ・エッフェルは塔に 72 人のフランスの科学者と技術者の名を刻みました。ナヴィエ、ポアソン、コーシーなど、その多くは弾性を研究した人たちで、塔そのものもその理論のおかげで設計できたのです。ソフィー・ジェルマンの名はそこにありません。1913 年、歴史家 H・J・モザンスはこの欠落を指摘しました。塔を可能にした理論の創始を助けた人が忘れられたのは、彼女が女性だったからだ、と。
残ったもの
- 数論。 ソフィー・ジェルマンの定理は、フェルマーの最終定理についての最初の一般的な結果でした。2010 年になってようやく研究された彼女の手稿は、考えられていたよりずっと野心的な計画を示しています。
- ソフィー・ジェルマン素数。 $2p+1$ も素数になる素数 $p$ は彼女の名で呼ばれ、今日では安全素数として、インターネットの安全な接続を守っています。
- 代数学。 恒等式 $a^4+4b^4=(a^2+2b^2+2ab)(a^2+2b^2-2ab)$ は古典的な因数分解の道具です。
- 弾性理論。 1816 年に受賞した振動板の方程式は、技術者が今も使う板の理論の土台です。
- 幾何学。 曲面の曲がりぐあいをはかるのに彼女が使った平均曲率は、シャボン玉、極小曲面、細胞膜に現れます。
- 哲学。 死後に甥が出版した『科学と文芸の状態についての一般的考察』は、科学と芸術の一体性を説いています。オーギュスト・コントはこれを称賛しました。
たたえる名
パリの 14 区にはソフィー＝ジェルマン通りがあり、マレ地区には彼女の名をとった学校、リセ・ソフィー＝ジェルマンがあります。2003 年からフランス科学アカデミーは毎年、フランスの数学でもっとも重要な賞の一つ、ソフィー・ジェルマン賞を授与しています。
おぼえておきたいこと
- ソフィー・ジェルマンは 1776 年から 1831 年まで、パリで生きた。両親の反対を押し切り、独学で数学を学んだ。
- ラグランジュ（1794 年）とガウス（1804 年から）への手紙に、ムッシュー・ルブランと署名した。
- 合同式 $a\equiv b\pmod m$ は、$a$ と $b$ を $m$ でわった余りが等しいことを表す。
- $p$ と $2p+1$ が素数なら、フェルマーの第一の場合で、方程式 $x^p+y^p=z^p$ は解をもたない。
- $2p+1$ も素数になる素数 $p$ は彼女の名で呼ばれる。100 未満に十個ある。
- $a^4+4b^4$ はいつも二つの因数の積に分解できる。
- 1816 年、振動板の理論でアカデミーの賞を受けた。その方程式には 4 階の導関数がある。
- 曲面の平均曲率は、主曲率の平均 $H=\frac{\kappa_1+\kappa_2}{2}$ である。
練習問題：ソフィーは 1776 年に生まれた。この数は最少でいくつの平方数の和か？
$1776=16\cdot111$、$111=8\cdot13+7$ なので、$1776=4^2\,(8\cdot13+7)$ はルジャンドルの形 $4^a(8b+7)$ をしていて、三つの平方数の和ではありません。ラグランジュの定理により四つの平方数の和で、たとえば $1776=40^2+12^2+4^2+4^2=1600+144+16+16$ です。
練習問題：ソフィーは 1831 年に亡くなった。この数は素数か？ ソフィー・ジェルマン素数か？
$1831$ は $\sqrt{1831}\approx42.8$ 以下のどの素数でもわり切れないので、素数です。しかし $2\cdot1831+1=3663=3\cdot1221$ は素数ではありません。よって $1831$ は素数ですが、ソフィー・ジェルマン素数ではありません。
出典： ソフィー・ジェルマンの伝記、MacTutor · H. J. Mozans, Woman in Science（1913）· Dora Musielak, Prime Mystery: The Life and Mathematics of Sophie Germain（2015）。