▾ 完全数とは?
sigma(n) = 2n
すべての約数(n 自身を含む)の和が元の数の 2 倍になる
完全数は、自分自身を除く約数の和がその数自身に等しい数である。6 = 1+2+3、28 = 1+2+4+7+14。完全数はきわめてまれで、現在知られているのは 51 個だけであり、すべて偶数で、桁数は天文学的な大きさになる。奇数の完全数が存在するかどうかは、数学で最も古い未解決問題の一つである。
最初の4つの完全数:約数の姿
6
divisors: 1, 2, 3
1 + 2 + 3 = 6 ✓
= 2^1 x (2^2-1)
Mersenne prime: 3
28
divisors: 1,2,4,7,14
1+2+4+7+14=28 ✓
= 2^2 x (2^3-1)
Mersenne prime: 7
496
divisors: 1,2,4,...,248
sum = 496 ✓
= 2^4 x (2^5-1)
Mersenne prime: 31
8128
divisors: 1...4064
sum = 8128 ✓
= 2^6 x (2^7-1)
Mersenne prime: 127
ユークリッド=オイラーの定理:偶完全数 ↔ メルセンヌ素数
n is even perfect ⟺ n = 2^(p−1) · (2^p − 1)
where 2^p − 1 is a Mersenne prime
Euclid proved the → direction. Euler proved ← . All 51 known perfect numbers are even and come from this formula. Whether odd perfect numbers exist is unknown.
対数目盛で見る完全数:指数関数よりも速く成長する
3.763 7.526 0.778 1.447 2.695 3.91 7.526 6 28 496 8128 33,5 … 値は log10 で表示している。対数目盛でも各跳躍は劇的に大きくなる。第51番目の完全数は 4,900 万桁を超える。
完全数の要点
完全数は、自分自身を除く約数の和が元の数に等しい数である。たとえば 6 = 1+2+3、28 = 1+2+4+7+14。ユークリッドは、2^p-1 が素数なら 2^(p-1)*(2^p-1) は完全数になることを示した。オイラーはその逆も証明し、偶完全数はすべてこの形に限られることを示した。奇数の完全数が存在するかどうかは最古級の未解決問題であり、まだ一つも見つかっていない。現在知られる 51 個の完全数はすべて偶数で、51 個の既知のメルセンヌ素数に対応している。
Question
完全数とは何ですか?
tap · space
1 / 10