COMPASS

真の理解のためのシンプルな数学のノート

数式を枠からはみ出さずに表示するためには, 画面を横に傾けてください(532 ピクセル以上推奨).

メルセンヌ数と完全数

理論

メルセンヌ数

定義≪メルセンヌ数≫

(1)
$2$ のべきよりも $1$ 小さい正の整数, つまりある正の整数 $n$ を用いて $2^n-1$ の形に表される整数をメルセンヌ数(Mernenne number)と呼ぶ.
(2)
素数であるメルセンヌ数をメルセンヌ素数(Mersenne prime)と呼ぶ.

完全数

定義≪完全数≫

 正の整数 $a$ について, $a$ の正の約数の総和を $\sigma (a)$ で表す. $\sigma (a) = 2a$ が成り立つとき, $a$ を完全数(perfect number)と呼ぶ.

問題

問題≪メルセンヌ素数と偶数の完全数の対応≫

 正の整数 $a$ について, $a$ の正の約数の総和を $\sigma (a)$ で表す. $\sigma (a) = 2a$ が成り立つとき, $a$ を完全数と呼ぶ.
(1)
$2$ つの正の整数 $a,$ $b$ が互いに素ならば, $\sigma (ab) = \sigma (a)\sigma (b)$ が成り立つことを示せ.
(2)
$n$ を正の整数とする. $2^n-1$ が素数ならば, $a = 2^{n-1}(2^n-1)$ は偶数の完全数であることを示せ.
(3)
偶数の完全数 $a$ が $a = 2^{n-1}a'$ ($n$ は $2$ 以上の整数, $a'$ は奇数)と因数分解されるとする. このとき, $\sigma (a') = a'+\dfrac{a'}{2^n-1}$ を示すことにより, $a' = 2^n-1$ であり, $a'$ は素数であることを示せ.

解答例

(1)
$a,$ $b$ の素因数分解をそれぞれ \[ a = p_1{}^{m_1}\cdots p_r{}^{m_r}, \quad b = q_1{}^{n_1}\cdots q_s{}^{n_s}\] とすると, $ab$ の素因数分解は \[ ab = p_1{}^{m_1}\cdots p_r{}^{m_r}q_1{}^{n_1}\cdots q_s{}^{n_s}\] となるから, 約数の和の公式により \begin{align*} \sigma (ab) &= (1+\!\cdots\!+p_1{}^{m_1})\cdots (1+\!\cdots\!+p_r{}^{m_r}) \\ &\qquad (1+\!\cdots\!+q_1{}^{n_1})\cdots (1+\!\cdots\!+q_s{}^{n_s}) \\ &= \sigma (a)\sigma (b) \end{align*} となる.
(2)
$2^n-1$ が素数であるとすると, (1) の結果から \begin{align*} \sigma (a) &= \sigma (2^{n-1})\sigma (2^n-1) \\ &= (1+\cdots +2^{n-1})(1+2^n-1) \\ &= (2^n-1)2^n = 2a \end{align*} となるので, $a$ は完全数である.
(3)
$\sigma (a) = 2a = 2^na'$ と \begin{align*} \sigma (a) &= \sigma (2^{n-1})\sigma (a') = (1+\cdots +2^{n-1})\sigma (a') \\ &= (2^n-1)\sigma (a') \end{align*} から, \[\sigma (a') = \frac{2^na'}{2^n-1} = a'+\frac{a'}{2^n-1}\] が成り立つ. $a'$ と $\sigma (a')$ は整数であるから, $\dfrac{a'}{2^n-1}$ は正の整数である. $n > 1$ より $2^n-1 > 1$ であるから, $\dfrac{a'}{2^n-1}$ は $a'$ より小さい $a'$ の約数である. $a'$ の正の約数は $a'$ と $\dfrac{a'}{2^n-1}$ の $2$ つのみであるから, $\dfrac{a'}{2^n-1} = 1$ つまり $a' = 2^n-1$ であり, $a'$ は素数である.