完全数の一覧と性質
完全数とは「約数の総和が自分の2倍になる」ような正の整数のことです。
この記事では,完全数の意味や,完全数とメルセンヌ素数の関係について解説します。
完全数の例
素数は完全数ではない
偶数の完全数
完全数一覧
偶数の完全数についての定理の証明
完全数の例
は完全数です。
実際, の約数は で,全て足すと
となり, の2倍になっています。
も完全数です。
約数は で全て足すと となり, の2倍になっています。
素数は完全数ではない
全ての素数は完全数ではありません。
実際,素数 の約数は と だけですが,
となるような素数 は存在しません。
偶数の完全数
が素数であるような正の整数 に対して, は完全数である。
逆に,偶数の完全数は, が素数であるような正の整数 を用いて という形で表される。
証明はこの記事の最後にします(定理1は簡単,定理2は少し大変)。
という形の数をメルセンヌ数といい,素数のメルセンヌ数をメルセンヌ素数といいます。上記の定理により「メルセンヌ素数」と「偶数の完全数」が一対一に対応していることが分かります。
例えば のとき, はメルセンヌ素数なので が完全数となります。
ちなみに奇数の完全数は存在するかどうかすら分かっていません。
完全数一覧
1000桁以下の完全数を一覧にしてみました。全部で 個あります。
上記の議論により,偶数の完全数は で表すことができます。桁数が大きくなると表記が大変なので大きい部分は のみ示します。また,1500桁以下の奇数の完全数は存在しないことが確認されているそうです。
,対応する完全数
以下 のみ示す。
※List of perfect numbersを参照しました。
偶数の完全数についての定理の証明
おまたせしました,整数問題として面白い部分です。
まずは簡単な定理1から証明します。
が素数のとき, の約数の総和は,
である(※1)。一つ目のカッコは等比数列の公式(※2)から である。
よって, となるので は完全数。
定理2の証明も非常に面白いです。最初に証明したのはオイラーです。
偶数の完全数 が で 回割り切れるとする(ただし は 以上の整数)。つまり, ( は奇数)と表す。約数の和は,
ここで, が完全数であるので,
これを について解くと,
となる。 は整数なので も整数。よって,
も も の約数。また, より
が の異なる約数2つの和で表されているので, は素数であり,
以上より,偶数の完全数 は, が素数であるような正の整数 を用いて という形で表される。
→高校数学の問題集 ~最短で得点力を上げるために~のT139では,完全数に関する問題と3通りの解答を紹介しています。
奇数の完全数を発見した方はご一報ください!