ユークリッド・オイラーの定理

数学の整数論におけるユークリッド・オイラーの定理（ゆーくりっど・おいらーのていり、英: Euclid–Euler theorem）は、偶数の完全数、すなわち「自身を除く約数の総和が再び自身に等しい偶数」に関する特徴づけを述べた定理である。古代ギリシアのエウクレイデスが偶数が完全数になる十分条件を『原論』において与え、それから2000年の時を経てレオンハルト・オイラーがその条件が必要条件でもあること、したがって偶数が完全数であるための必要十分条件であることを証明した。定理の主張は次の通りである。

例えば、偶数  は自身を除く約数の和が  自身となる完全数である。これは  として  と表せる。ここで、 は素数である。ユークリッド・オイラーの定理はこのような関係が常に成り立つという定理である。

なお、偶数の完全数が無数にあるかどうか（すなわちメルセンヌ素数が無数に存在するかどうか）は未解決問題である。また、奇数の完全数が存在するかどうかも未解決問題であり、仮に存在するとしても必ず10より大きいことが示されている。

証明

約数関数 
自然数  について  で  の約数の総和を表すことにする。例えば である。これは約数関数と呼ばれるもので、ユークリッド・オイラーの定理の証明において重要な役割を果たす。約数関数は以下の性質を持つ。
  が完全数であるとき、またそのときに限り、 である。
  が素数であるとき、またそのときに限り、 である。
 乗法的関数である。すなわち、 と  が互いに素ならば、 である。

ユークリッドの十分条件 
 が素数ならば偶数  が完全数であることは、以下のように証明される。
  が素数となるとき  であるから  であり、 と  は互いに素であるので、 である。
  である。
  は素数なので 
 以上より、 なので  は完全数である。

オイラーの必要条件 
偶数の完全数  が素数  を用いて  と表せることは、以下のように証明される。
 偶数は素因数に  を含むので、ある自然数  と正の奇数  を用いて  と表せる。
  と  は互いに素であるから  である。
 また、 は完全数であるので  である。
 2.と3.より  である。
 4. を変形して  となる。
  も  も自然数なので、 は自然数であって、しかも  を自然数  で割って得られるので  の約数でもある。
  が必ず  の約数であるから、仮に  とすると  となって5.に矛盾する。そのため  である。
  であるので、5.より  であり、 は素数であって、 が成り立つ。

脚注

注釈

出典

文献 
 

数学に関する記事
数論の定理
素数
エウクレイデス
レオンハルト・オイラー