完全数・メルセンヌ素数・フェルマー素数に関連する定理の証明

スポンサーリンク
a,\ n$を2以上の自然数とする. \\[.2zh] \hspace{.5zw}$a^n-1$が素数ならば,\ $a=2$であり,\ $n$は素数であることを示せ. \\ {完全数とメルセンヌ素数}}}} \\\\  本項では,\ 主に完全数にまつわる定理の証明を取り扱う. \\[.2zh]  まずは,\ 完全数と密接な関係があるメルセンヌ素数に関する定理を証明する. \\\\   $n\geqq2のとき \textcolor{magenta}{a^n-1=(a-1)(a^{n-1}+a^{n-2}+\cdots+a+1)}$ \\[.5zh]   $a\geqq2,\ n\geqq2$より $a^{n-1}+a^{n-2}+\cdots+a+1\geqq2^{2-1}+1=3$ \\[.5zh]   $a^n-1$が素数のとき,\ $\textcolor{red}{a-1=1}$より $\bm{a=2}$ \\[1zh]   $対偶「\textcolor{red}{\,nが素数でないならば,\ 2^n-1も素数でない}」を証明する.$ \\[1zh]   $n\geqq2よりnは合成数であるから,\ \textcolor{cyan}{n=pq\ (p,\ q:2以上の自然数)}とおける.$ \\[.5zh]   $2^n-1=2^{pq}-1=(2^p)^q-1=\textcolor{magenta}{(2^p-1)\{(2^p)^{q-1}+(2^p)^{q-2}+\cdots+2^p+1\}}$ \\[.2zh]   \scalebox{.93}[1]{$p\geqq2,\ q\geqq2より\ \ 2^p-1\geqq2^2-1=3,\ \ (2^p)^{q-1}+(2^p)^{q-2}+\cdots+2^p+1\geqq(2^2)^{2-1}+1=5$} \\[.2zh]   \textcolor{forestgreen}{2以上の自然数の積}であるから,\ $2^n-1$は合成数である. \\[1zh]   対偶が真なので,\ 元の命題も真である. \\[.2zh]   つまり,\ $\bm{2^n-1が素数ならば,\ nは素数である.}$ 次の因数分解公式は常識としておいてほしい.\ 整数分野では特によく利用する. \\[.2zh] 2以上の自然数nに対して \bm{x^n-y^n=(x-y)(x^{n-1}+x^{n-2}y+\cdots+xy^{n-2}+y^{n-1})} \\[.2zh]  \rei\ \ x^2-y^2=(x-y)(x+y) x^3-y^3=(x-y)(x^2+xy+y^2) \\[.2zh]   \ \ x^4-y^4=(x-y)(x^3+x^2y+xy^2+xy^3) \\[1zh] a^n-1=a^n-1^n\,を公式を用いて因数分解し,\ 右の因数の範囲を調べると3以上である. \\[.2zh] よって,\ a^n-1が素数になるためには,\ \bm{左の因数a-1が1であることが必要条件}である. \\[1zh] nが素数であることは,\ \bm{背理法}または\bm{対偶法}を用いて証明できる. \\[.2zh] すべての自然数は,\ 1,\ 素数,\ 合成数の3つのいずれかに分類される. \\[.2zh] 素数でないということは1または合成数ということになるが,\ n\geqq2より,\ nは合成数である. \\[1zh] 結局,\ \bm{nが合成数のとき,\ 2^n-1が1または合成数となる}ことを証明することになる. \\[.2zh] 合成数を\bm{2以上の自然数の積で表される整数}ととらえて文字で設定する. \\[.2zh] 2^{pq}=(2^p)^q\,として公式を用いて因数分解し,\ 各因数の範囲を調べればよい. \\[1zh] 2^n-1の形で表される自然数を\bm{メルセンヌ数},\ これが素数であるとき\bm{メルセンヌ素数}という. \\[.2zh] 本定理は,\ \bm{メルセンヌ素数2^n-1のnが必ず素数である}ことを主張する. \\[.2zh] \bm{逆「\,nは素数ならば,\ 2^n-1は素数である」は成り立たない}ので注意してほしい. \\[.2zh] 実際,\ n=11のとき2^{11}-1=2047=23\cdot89 という反例がある. {正の約数の総和が自身の2倍になるような自然数}}を\textbf{\textcolor{blue}{完全数}}という. \\ \hspace{.5zw}$n$を自然数とする.\ \ $2^n-1$が素数ならば,\ $2^{n-1}(2^n-1)$が完全数であることを示せ. \\ \hspace{25zw}(紀元前3世紀\,;ユークリッド) \\ \\[-.8zh] $2^n-1$が素数}のとき,\ $\textcolor{red}{2^{n-1}(2^n-1)}$の正の約数の総和は \\[.5zh]  $(1+2+2^2+2^3+\cdots+2^{n-1})(\textcolor{cyan}{1+2^n-1})=\bunsuu{2^n-1}{2-1}\cdot2^n=(2^n-1)2^n=2\cdot\textcolor{red}{2^{n-1}(2^n-1)}$ \\[1zh]  よって,\ $\bm{2^n-1が素数ならば,\ 2^{n-1}(2^n-1)は完全数である.}$ \\\\[.5zh] \centerline{{\small $\left[\textcolor{brown}{\begin{array}{l} 実は,\ 完全数の定義は,\ \bm{自身を除く正の約数の和に等しくなる自然数}とされていることの方が多い. \\[.2zh] しかし,\ 以下の公式の利用を考えると,\ 正の約数の総和が自身の2倍ととらえておく方がよい. \\[1zh] 自然数NがN=p^kq^lr^m\,と素因数分解されるとする. \\[.2zh] \bm{正の約数の総和 (1+p+p^2+\cdots+p^k)(1+q+q^2+\cdots+q^l)(1+r+r^2+\cdots+r^m)} \\[.2zh] つまり,\ 各素因数ごとのすべての約数の和を掛けると総和が求まる. \rei\ \ p^k\,の約数は1,\ p,\ \cdots,\ p^k \\[1zh] \bm{正の約数の総和を計算し,\ 元の数の2倍になることを示す}ことで,\ 完全数であることを証明できる. \\[.2zh] 2^n-1=p\ (p:素数)とおくと,\ 2^{n-1}p^1\,の正の約数の総和は(1+2+\cdots+2^{n-1})(1+p)となる. \\[.2zh] 初項a,\ 公比rの等比数列の和の公式(数\text B)\ S_n=\bunsuu{a(r^n-1)}{r-1}\,の適用で,\ 元の数の2倍になる. \\\\ 本定理は,\ \bm{メルセンヌ素数を見つけると,\ 直ちに対応する\dot{偶}\dot{数}の完全数が見つかる}ことを意味する. \\[.2zh] また,\ \bm{2^n-1が素数ではないとき,\ 2^{n-1}(2^n-1)は完全数ではない.}\ 以下略証. \\[.2zh] 2^n-1が素数でないならば,\ その正の約数は1と2^n-1以外にも存在する. \\[.2zh] このとき,\ 2^{n-1}(2^n-1)の正の約数の和は,\ 2\cdot2^{n-1}(2^n-1)よりも大きくなる. \\[1zh] 前問より「\,nが素数」が「\,2^n-1が素数」の必要条件なので,\,以下のように完全数を探索できる. \\[1zh] n=2のとき & 2^2-1=3\ (素数)より & 2^{1}(2^2-1)=2\cdot3=6\ (完全数) \\[.2zh] n=3のとき & 2^3-1=7\ (素数)より & 2^{2}(2^3-1)=4\cdot7=28\ (完全数) \\[.2zh] n=5のとき & 2^5-1=31\ (素数)より & 2^{4}(2^5-1)=16\cdot31=496\ (完全数) \\[.2zh] n=7のとき & 2^7-1=127\ (素数)より & 2^{6}(2^7-1)=64\cdot127=8128\ (完全数) \\[.2zh] n=11のとき & 2^{11}-1=23\cdot89\ (非素数) & 2^{10}(2^{11}-1)は完全数ではない \\[.2zh] n=13のとき & 2^{13}-1=8191\ (素数)より & 2^{12}(2^{13}-1)=4093\cdot8191=33550336\ (完全数) 紀元前の古代ギリシャでは,\ 4個の完全数6,\ 28,\ 496,\ 8128が知られていた. \\[.2zh] その後の2000年間,\ 新たに発見された完全数はわずか3個にとどまった. \\[.2zh] nの値が大きくなるにつれて2^n-1の値は爆発的に大きくなり,\ 素数判定が困難になるのである. \\[.2zh] 20世紀にコンピュータが登場し,\ 2021年現在51個のメルセンヌ素数(完全数)が発見されている. \\[.2zh] 2021年の時点で「偶数の完全数は無数に存在するか」「奇数の完全数は存在するか」は未解決である. n$を自然数とする.\ 偶数の完全数が$2^n-1$が素数となる$n$を用いて$2^{n-1}(2^n-1)$の形 \\[.2zh] \hspace{.5zw}で表されることを示せ.               \    (18世紀\,;オイラー) \\  自然数$a$の正の約数の総和を$S(a)$とする. \\[.2zh]  偶数の完全数を$\textcolor{red}{N=2^{n-1}k\ (n:2以上の整数\,;k:奇数)}$とおく. \\[1zh]  $2^{n-1}$と$k$は互いに素なので $S(N)=(1+2+2^2+\cdots+2^{n-1})S(k)=(2^{n}-1)S(k)$ \\[.2zh]  一方,\ $N$は完全数であるから $S(N)=2N=2^{n}k$ \\[.2zh]  よって $\textcolor{cyan}{2^{n}k=(2^{n}-1)S(k)}$ \\[1zh]  $2^n,\ 2^n-1$は互いに素なので,\ $\textcolor{red}{k=(2^n-1)m\ (m:自然数)}\ \ \cdots\cdots\,\maru1$とおける. \\[.2zh]  $2^n(2^n-1)m=(2^n-1)S(k)$より $2^nm=S(k)\ \ \cdots\cdots\,\maru2$ \\[.2zh]  一方,\ $仮定すると,\ S(k)\geqq1+m+(2^n-1)m=2^nm+1となる.$ \\[.2zh]  これは,\ \maru2と矛盾する. \\[1zh]  よって,\ $m=1$であり,\ このとき\maru1,\ \maru2より \textcolor{red}{$k=2^n-1$,\ \ $S(k)=2^n$} \\[.2zh]  ゆえに,\ $S(k)=k+1$が成り立つから,\ \textcolor{red}{$k$は素数}である. \\\\ \centerline{\scalebox{0.95}[1]{$\therefore\ \ \bm{偶数の完全数Nは,\ 2^n-1が素数となるnを用いて2^{n-1}(2^n-1)の形で表される.}$}} 逆に,\ \bm{\dot{す}\dot{べ}\dot{て}の偶数の完全数が2^{n-1}(2^n-1)\ (2^n-1:素数)の形で表される}ことの証明である. \\[.2zh] 難易度が高く,\ 大学入試での出題も非常に少ないので超上級者向けである. \\[1zh] まず,\ 偶数の完全数を2の累乗数2^{n-1}\,と奇数kに分割して設定する. \\[.2zh] 後は,\ この\bm{kが2^n-1と表せ,\ かつ素数である}ことを示せばよい. \\[1zh] Nは完全数であるから,\ 2^{n-1}kの正の約数の総和が元の数Nの2倍に等しい. \\[.2zh] この観点で等式を作成し,\ kについての条件を追求する. \\[1zh] \bm{連続する2整数は互いに素}であることから,\ kが2^n-1の倍数であることがわかる. \\[.2zh] kが2^n-1と表せることを示すにはm=1を示せばよく,\ \bm{背理法}を利用する. \\[.2zh] m>1のとき,\ k=(2^n-1)mは少なくとも3個の約数1,\ m,\ (2^n-1)mをもつ. \\[.2zh] よって,\ kの正の約数の総和S(k)\geqq2^nm+1であり,\ 2^nm=S(k)と矛盾する. \\[1zh] S(k)=k+1は,\ \bm{kの正の約数が1とkのみ}であることを意味する.\ つまり,\ kは素数である. 偶数の完全数のすべての正の約数の逆数の和が2となることを示せ.  偶数の完全数は,\ $\textcolor{cyan}{2^{n-1}(2^n-1)\ (n:自然数\,;2^n-1:素数)}$と表される. \\[.2zh]  これの正の約数は,\ $1,\ 2,\ \cdots,\ 2^{n-1},\ 2^n-1,\ 2(2^n-1),\ \cdots,\ 2^{n-1}(n-1)$である. \\[1zh]  正の逆数の和は $\bunsuu11+\bunsuu12+\cdots+\bunsuu{1}{2^{n-1}}+\bunsuu{1}{2^n-1}+\bunsuu{1}{2(2^n-1)}+\cdots+\bunsuu{1}{2^{n-1}(2^n-1)}$ \\[.5zh]           $=\bunsuu{\textcolor{red}{2^{n-1}(2^n-1)+\cdots+2+1}}{2^{n-1}(2^n-1)}=\bunsuu{\textcolor{red}{2\cdot2^{n-1}(2^n-1)}}{2^{n-1}(2^n-1)}=\bm{2}$ \\\\[1zh] まずは具体的な完全数で計算してみる. \\[.5zh] 完全数6のとき\ \, \bunsuu11+\bunsuu12+\bunsuu13+\bunsuu16=\bunsuu{6+3+2+1}{6}=2 \\[1zh] 完全数28のとき \bunsuu11+\bunsuu12+\bunsuu14+\bunsuu17+\bunsuu{1}{14}+\bunsuu{1}{28}=\bunsuu{28+14+7+4+2+1}{28}=2 \\[1zh] このように,\ 通分により,\ \bm{分母は元の完全数,\ 分子はすべての正の約数の和}となることがわかる. \\[1zh] 前問までで証明した定理を利用し,\ これを一般化する. \\[.2zh] 2^n-1が素数のとき,\ 2^{n-1}(2^n-1)の正の約数は1から2^{n-1}(2^n-1)までの2n個ある. \\[.2zh] わかりづらいならば,\ 素数2^n-1=pとおいて考えるとよい. \\[.2zh] 2^{n-1}pの正の約数は,\ 1,\ 2,\ \cdots,\ 2^{n-1},\ p,\ 2p,\ \cdots,\ 2^{n-1}pの2n個である. \\[.2zh] 完全数の定義より,\ \bm{正の約数の総和(分子)は,\ 元の数2^{n-1}(2^n-1)の2倍に等しい.} \\[.2zh] これを考慮すると,\ 正の約数の逆数の和が2となることはほぼ当たり前に感じられるはずである. a,\ nを2以上の自然数とする.$ \\[.2zh] \hspace{.5zw}$a^n+1が素数ならば,\ n=2^m\ (m:整数)\ と表せることを示せ.$ \\ {フェルマー素数}}}} \\\\  対偶「\,\textcolor{red}{$n=2^mと表せないならば,\ a^n+1が素数でない$}」を示す. \\[1zh]  $n=2^m$と表せないとき,\ $\textcolor{cyan}{n=kp\ (k:自然数\,;p:奇素数)}$とおける. \\[1zh]  $a^{kp}+1=(a^k)^p+1=\textcolor{magenta}{(a^k+1)\{(a^k)^{p-1}-(a^k)^{p-2}+\cdots+(a^k)^2-a^k+1\}}$ \\[1zh]  $a^k+1\geqq2^1+1=3$ \\[.2zh]  $(a^k)^{p-1}-(a^k)^{p-2}+\cdots+(a^k)^2-a^k+1=(a^k)^{p-2}(a^k-1)+\cdots+a^k(a^k-1)+1$ \\[1zh]  よって,\ \textcolor{forestgreen}{2以上の自然数の積}であるから,\ \textcolor{red}{$a^{pk}+1$は合成数}である. \\[.2zh]  ゆえに,\ \textbf{対偶が真であるから,\ 元の命題も真である 「\,2^n-1が素数ならば,\ nは素数である」の証明と同様の方針で証明できる. \\[1zh] nが2の累乗数ではないとき,\ \bm{nは奇数の素因数をもつ}はずである. \\[.2zh] これを文字で設定し,\ 以下の公式を適用する. \\[1zh] 3以上の\dot{奇}\dot{数}\,nに対して \bm{x^n+y^n=(x+y)(x^{n-1}-x^{n-2}y+\cdots-xy^{n-2}+y^{n-1})} \\[.2zh]  \rei\ \ x^3+y^3=(x+y)(x^2-xy+y^2) x^5+y^5=(x+y)(x^4-x^3y+x^2y^2-xy^3+y^4) \\[1zh] 後は各因数が2以上の整数であることを示せば,\ a^n+1=a^{kp}+1が素数でないことが示される. \\[.2zh] 右の因数の処理がわかりづらいので,\ 具体例を示しておく.\ \ a^k=xとおき,\ p=5とする. \\[.2zh] x=a^k\geqq2より,\ x^4-x^3+x^2-x+1=x^3(x-1)+x^2(x-1)+1>1である. (\,\because\ x-1>0) \\[1zh] \bm{F_m=2^{2^m}+1}\ (m:0以上の整数)を\bm{フェルマー数},\ これが素数のとき\bm{フェルマー素数}という. \\[.5zh] F_0=2^1+1=3\ (素数) \\[.2zh] F_1=2^2+1=5\ (素数) \\[.2zh] F_2=2^4+1=17\ (素数) \\[.2zh] F_3=2^8+1=257\ (素数) \\[.2zh] F_4=2^{16}+1=65537\ (素数) \\[.2zh] F_5=2^{32}+1=4294967297=641\times6700417\ (非素数) \\[1zh] フェルマー(17世紀)は,\ すべてのフェルマー数が素数であると予想した. \\[.2zh] しかし,\ オイラー(18世紀)によってF_5\,が非素数であることが示された. \\[.2zh] 2021年現在でも,\ F_5\,以降の素数は発見されていない. \\[.2zh] この5個以外にフェルマー素数が存在するかや,\ フェルマー素数が無限に存在するかは未解決である.