2016と28の共通点~完全数について

この記事の所要時間: 511

2016と28の共通点

今年は西暦2016年, そして平成28年ですが, この二つの数2016と28には共通点があります. それぞれ, 以下のように書くことができます.

2016=32\times 63=2^5\times(2^6-1)

28=4\times 7=2^2\times(2^3-1)

右辺が似た形になっています. 分かりやすくするために, P_n=2^{n-1}\times(2^n-1)とおくと, 2016=P_6, 28=P_3と書くことができます.

実はこのP_nは数学的に意味を持った式で, 完全数と呼ばれる数に関係があります.

完全数とは

完全数とは, ある自然数nで, その正の約数の総和が2nとなるもののことを言います. 小川洋子さんの『博士の愛した数式』に出て来たので, 知っている人もいるかもしれません.

分かりにくいので例を挙げると,

6の約数の和は

1+2+3+6=12=2\times 6

28の約数の和は

1+2+4+7+14+28=28=2\times 28

496の約数の和は

1+2+4+8+16+31+62+124+248+496=992=2\times 496

となるので, 6, 28, 496はいずれも完全数です.

これらはすべて偶数ですが, 完全数で奇数のものは存在するかどうかも知られていません(もし奇数の完全数を発見したら大発見です). なので, ここでは偶数の完全数について書きます.

偶数の完全数については次のような性質があることが知られています.

1. M_n=2^n-1が素数であるとき, P_n=2^{n-1}M_n=2^{n-1}(2^n-1)は完全数である.

2. 偶数の完全数はすべて1. の形をしている.

1. はユークリッドによって, 2. はオイラーによって証明がなされています. (参考までにこの記事の最後に証明を載せておきます). また, 1. にでてくるM_n=2^n-1の形をした素数にはメルセンヌ素数という名前が付いています.

実際, 上の例を見ると, 6=P_2, 28=P_3, 496=P_5となっていて, それぞれについて2^n-1の値は4-1=3, 8-1=7, 32-1=31とすべて素数になっていることが分かります. この性質から, P_nと完全数は重要な関係性があることが分かります.

ちなみに, 28は上の例でも示した通り完全数ですが, 2016=P_6については2^6-1=63=3^2\times 7と素数でないので, 残念ながら完全数ではありません.

さらに偶数の完全数には次のような性質もあります.

6以外の偶数の完全数は, 奇数の立方和で表される.

これも例を見ると分かりやすいです.

28=1+27=1^3+3^3

496=1+27+125+343=1^3+3^3+5^3+7^3

8128=1+27+125+343+729+1331+2197+3375=1^3+3^3+5^3+7^3+9^3+11^3+13^3+15^3

これは, nが偶数のとき2^n-1が3の倍数となるので, n=2の場合を除いてP_nが完全数とならない, つまり, 6以外の偶数の完全数P_nについてnは奇数である, ということを用いれば簡単に示すことができます.

おまけ(完全数の性質1, 2の証明)

1. 2^n-1が素数のとき, P_n=2^{n-1}(2^n-1)の約数の総和は, 約数の和の公式を用いれば,

(1+2+\cdots+2^{n-1})\{1+(2^n-1)\}=(2^n-1)2^n=2P_n.

2. 2^nの形の数は, 約数の和が1+2+\cdots+2^n=2\cdot 2^n-1となり完全数でないから, 偶数の完全数は2^nN(Nは奇数)と書けることになります. このとき, 約数の和は

S(2^nN)=S(2^n)S(N)=(2^{n+1}-1)S(N)

となります. 一方, 完全数の定義から約数の和はS(2^nN)=2\times 2^nN=2^{n+1}Nとならなければいけないので,

(2^{n+1}-1)S(N)=2^{n+1}N

となります. ここで, M=2^{n+1}-1とおきなおすと,

M\cdot S(N)=(M+1)N

(1) \begin{eqnarray*} \therefore S(N)&=&\frac{1}{M}(M+1)N\\ &=&N+\frac{N}{M} \end{eqnarray*}

すると, \displaystyle \frac{N}{M}は自然数となるはずなので, \displaystyle \frac{N}{M}=aとおくと,

(2) \begin{equation*} S(N)=N+a \end{equation*}

ここで, a\geqq 2と仮定すると, N=aMより, Nは少なくとも1, a, aMを約数としてもつので

(3) \begin{eqnarray*} S(N) &\geqq& 1+a+aM\\ &=& 1+a+N \end{eqnarray*}

(2)と(3)は矛盾しているので, 仮定が誤りでa=1となる.

このとき, S(N)=N+1よりNは素数で, N=M=2^{n+1}-1

よって, 完全数は2^n(2^{n+1}-1)と書ける.

スポンサーリンク
sub2
sub2
  • このエントリーをはてなブックマークに追加

コメントをどうぞ

メールアドレスが公開されることはありません。