この記事ではEulerのトーシェント関数に関するEulerの定理にまつわる最近知った話を紹介します*1。
Eulerのトーシェント関数は当ブログでは次の記事で初めて扱いました:
2016年の初めにという数の面白い性質がないかと探していたときに
が成り立つことを知り(
は
をひっくり返したもの)、当時まだEulerのトーシェント関数を扱っていなかったためについでに定義を紹介しました。
そこでは、基本的な性質であるの明示公式を紹介し、また何故「トーシェント」という聞きなれない用語を使うのかということについても述べています。
しかしながら、トーシェント関数に関する極めて基本的な合同式であるEulerの定理については紹介していませんでした。
それでも
などでは有名事実として用いていました。当ブログでやっと証明を紹介したのが、Eulerの定理の精密化であるCarmichaelの定理に関する記事
です。ですが、そこでの証明の紹介の仕方は
このブログでは多分これらの定理の証明をしたことはないのですが、Lagrangeの定理から自明です(Q.E.D.)。
という雑なものでした(「これら」はFermatの小定理も含めての意味)。この内容をもっと丁寧に解説したものとしてはtsujimotterさんの記事
があります。
Eulerの定理は初等整数論(特に合同式)において威力を発揮する強力な定理であり、「Eulerの定理」という名前まで与えられている有名事実ですが*2、群論の立場に立ってしまうとLagrangeの定理をという特別な群に適用しているに過ぎないことがわかります。
これは「理論を一般化すると自明に証明される」という数学でしばしば観測される現象の最もわかりやすい例の一つだと感じます。
このように群論的に自明なため当ブログでは証明を実質的に紹介していませんでしたが、群論の言葉を一切持ち出さずともEulerの定理は証明できます。Eulerの定理に限らず初等整数論には「代数学を整備すれば自明になるが初等整数論の範疇での証明も知られている」命題達が数多くあります。従って、初等整数論の教科書は代数学を整備するか初等整数論だけで貫き通すかの二種類に大別されます(折衷した教科書も多数あります)。
初等整数論を貫き通した教科書ではEulerの定理は大抵次のように証明されます:
理由:
よって、集合として
群論的に自明であることを学んだ後だと「Eulerの定理は自明」という印象が強く残ってしまいますが、この証明を始めて見たときのことを思い出すと当時の私(高校生のとき)はとても感動していました。再度鑑賞してみると中々の証明美を有している気がします。
さて、本記事の主題は何かというと、「この証明は誰が発見したのか」です*3。
実はEulerではありません。Eulerの定理はFermatの小定理*4
の一般化です()。これはFermatが1640年に言明していますが、例によって例のごとく証明は発表していません。そして、Eulerが1736年にFermatの小定理を証明した論文を執筆しています(実は同じ証明が1683年までにLeibnizによって得られていたようです)。
L. Euler, Theorematum quorundam ad numeros primos spectantium demonstratio, Commentarii academiae scientiarum Petropolitanae, 8 (1736/1741), 141–146.
Eulerの記号通りではないですが、まずの場合に
より
と変形できて、を示しています。次に
より
がの倍数であることが従い、
が
の倍数であることが既に示されているため、
も
で割り切れることがわかります。そして、同様にして
が
で割り切れることを仮定すれば
も
で割り切れることを示すことができるので、帰納法によってFermatの小定理が得られるということが書かれています。
その後、Eulerは更に二つのFermatの小定理の証明を発表しており、
L. Euler, Theoremata arithmetica nova methodo demonstrata, Novi Commentarii academiae scientiarum Petropolitanae, 8 (1763), 74–104.
のTheorema 11においてEulerの定理が示されています。このEulerの定理のEuler自身による証明をフォローしたいところですが、まだ読めていません。
https://arxiv.org/pdf/1203.1993.pdf
にドイツ語翻訳があるため時間ができれば読みたいと思います。
さて、枠で囲ったEulerの定理の証明が誰のアイデアに基づくかという問題ですが、幾つかの文献によればその原型はイギリスの数学者James Ivory(1765/2/17 - 1842/9/21)によるそうです。
J. Ivory, Demonstration of a theorem respecting prime numbers, In T. Leybourn, editor, New Series of the Mathematical Repository, 264–266. Glendinning, London, 1806.
tsujimotterさんの記事にもあるようにこの証明法は当然Fermatの小定理の場合にも書き下すことができますが、もともとはFermatの小定理の新証明として発見されたものであり、そのままEulerの定理にも適用できるというわけです。
ただし、1801年には合同式を扱ったGaussのDAが公刊されているにもかかわらずIvoryの論文は合同式では書かれていません。Ivoryのアイデアが現代風の合同式を用いた記述として現れたのは、Dirichlet-Dedekindの書物"Vorlesungen über Zahlentheorie"とのことです。
James Ivoryという数学者の存在を知ったことが最近の小さなハッピーだったのでした。
Ivoryの定理
Ivoryの主要論文の一つがNewtonやLaplaceの定理に関する
J. Ivory, On the attraction of homogeneous ellipsoids, Phil. Trans. Royal Soc. London 99 (1809), 345–372.
のようですが、そこで次の定理を示しているそうです*5:
この定理は一般の次元Euclid空間の場合も含め、様々な形で拡張されて研究されているようですが、二次元平面での主張は次のようになります:
共焦点であるような二つの楕円と二つの双曲線によって作られる四角形の対角線の長さは等しい。すなわち、
が成り立つ。

*1:学生のセミナー発表で知りました。
*2:とは言ってもEulerの業績が多すぎて「Eulerの定理」だけでは一意に定まりませんが。Wikipediaでは「オイラーの定理(数論)」、高校数学の美しい物語では「オイラーの定理(整数論)」と表現しています。
*3:精密な文献調査はまだ出来ていないため、簡単なまとめにとどめます。
*4:Fermatの大定理=Fermatの最終定理と比較して"小"という名前が付いていますが、英語にして省略するとどちらもFLTです。Fermat's little theoremとFermat's last theorem
*5:Ivoryの補題と呼んでいる文献もありました。