第450回シーズン45 エピソード10

友愛数の楽しみ（後編）ただいま無料

$ \newcommand{\TEXT}[1]{\textbf{#1}} \newcommand{\REMTEXT}[1]{\textbf{#1}} \definecolor{CUD-GREEN}{rgb}{0.012,0.686,0.478}% 3,175,122 \definecolor{CUD-GOLD}{rgb}{0.890,0.690,0.000} % RGB(227,176,0) \newcommand{\GEQ}{\geqq} \newcommand{\LEQ}{\leqq} \newcommand{\NEQ}{\neq} \newcommand{\FOCUS}[1]{\fbox{ $#1$ }} \newcommand{\REDFOCUS}[1]{\textcolor{red}{#1}} \newcommand{\GREENFOCUS}[1]{\textcolor{CUD-GREEN}{#1}} \newcommand{\BLUEFOCUS}[1]{\textcolor{blue}{#1}} \newcommand{\BROWNFOCUS}[1]{\textcolor{brown}{#1}} \newcommand{\ABS}[1]{|#1|} \newcommand{\BAR}[1]{\overline{#1}} \newcommand{\PS}[1]{\left(#1\right)} \newcommand{\CANCEL}[1]{\textcolor{red}{\cancel{\textcolor{black}{#1}}}} \newcommand{\SQRT}[1]{\sqrt{\mathstrut #1}} \newcommand{\TT}[1]{\textrm{#1}} \newcommand{\TTPQ}{\TT{PQ}} \newcommand{\TTPSTQ}{\TT{PSTQ}} \newcommand{\TTQR}{\TT{QR}} \newcommand{\TTQTUR}{\TT{QTUR}} \newcommand{\TTPSUR}{\TT{PSUR}} \newcommand{\TTPR}{\TT{PR}} \newcommand{\TTPS}{\TT{PS}} \newcommand{\TTQM}{\TT{QM}} \newcommand{\TTPM}{\TT{PM}} \newcommand{\TTM}{\TT{M}} \newcommand{\RFM}{\REDFOCUS{M}} \newcommand{\BFN}{\BLUEFOCUS{N}} \newcommand{\RF}[1]{\REDFOCUS{#1}} \newcommand{\BF}[1]{\BLUEFOCUS{#1}} \newcommand{\GF}[1]{\GREENFOCUS{#1}} \newcommand{\XXP}{\fbox{ $2$ }} \newcommand{\beginCases}{\left\{\begin{aligned}} \newcommand{\endCases}{\end{aligned}\right.} $

『数学ガール／リーマン予想』のお知らせ

「数学ガール」シリーズ第七巻目にして最終巻。

数学青春物語、堂々の完結！

2025年8月刊行予定。いますぐご予約を！

『数学ガール／リーマン予想』

オフシーズンのお知らせ

結城浩です。いつもご愛読ありがとうございます。

おかげさまでこのWeb連載も今回で第450回を迎えました！みなさまの応援に感謝します！

さて、たいへん恐れ入りますが、次のシーズン準備のため、下記の通り更新をお休みいたします。

日程	内容
2025年4月25日（金）	第450回更新
2025年5月2日〜2025年6月13日	オフシーズンのため更新はありません
2025年6月20日（金）	第451回更新（以降、毎週金曜日更新）

シーズン再開を見逃したくない方はぜひ「数学ガールのお知らせメール」にいますぐご登録ください。登録は無料です。

Web連載読み放題プランのおすすめ

Web連載読み放題にご参加の方は、公開済みの記事はすべて読み放題です！

Web連載読み放題について詳しく

登場人物紹介

僕：数学が好きな高校生。

ユーリ：僕のいとこの中学生。僕のことを《お兄ちゃん》と呼ぶ。論理的な話は好きだが飽きっぽい。

テトラちゃん：僕の後輩。好奇心旺盛で根気強い《元気少女》。言葉が大好き。

テトラちゃんの発想

僕とユーリ、そしてテトラちゃんは、双倉（ならびくら）図書館で開催されているイベント会場を回っている。会場にはパネルがたくさんあり、解説や数学の問題が書かれている。

僕たちは、 9世紀の学者サービト・イブン・クッラによる友愛数を見つける方法が確かに正しいことを証明した（第449回参照）。

ところがそこでテトラちゃんが考え込んでしまった。

テトラ「……」

僕「テトラちゃんは、何を考えているの？」

テトラ「あのですね、気になっていることがあるんです。サービト・イブン・クッラの方法で友愛数が見つかるのはいいんですけれど……どうやって見つけるんでしょうね」

僕「それは $n$ を変えて試していくんだと思うけど」

テトラ「あっ、違います違います。あたしが気にしているのは、《友愛数》を見つける話ではなくて、《友愛数を見つける方法》を見つける話です」

ユーリ「？」

僕「？」

テトラ「わ、わかりにくくてすみません。サービト・イブン・クッラの方法は理解したんですが、あのような方法を、何もないところから見つけたんでしょうか？」

僕はうなった。

どうやらテトラちゃんは、サービト・イブン・クッラの方法を証明するだけじゃなくて、自然に発見することができないか——と考えているらしい！

友愛数（再掲）

二つの自然数 $\RFM$ と $\BFN$ の組 $(\RFM,\BFN)$ が友愛数（ゆうあいすう）であるとは、 $\RFM$ と $\BFN$ が次の性質を持つことをいう。

$\RFM$ の約数の総和から $\RFM$ を引くと $\BFN$ に等しい。
$\BFN$ の約数の総和から $\BFN$ を引くと $\RFM$ に等しい。

言い換えると、自然数 $x$ の約数の総和を $\sigma(x)$ で表すとき、 $\RFM$ と $\BFN$ の組 $(\RFM,\BFN)$ が友愛数であるとは、 $$ \beginCases \sigma(\RFM) - \RFM &= \BFN \\ \sigma(\BFN) - \BFN &= \RFM \endCases $$ が成り立つことである。

古代のピタゴラス学派は $(\RF{220},\BF{284})$ が友愛数であることを知っていた。これは最小の友愛数である。

$\sigma(x)$の$\sigma$はギリシア文字シグマの小文字である。

一般に「約数」は正と負の両方を考えるが、ここでは正の約数に限って考えることにする。

友愛数を見つけるサービト・イブン・クッラの方法（再掲）

サービト・イブン・クッラは友愛数を見つける方法を示した。

整数 $n \GEQ 2$ に対して、次のように $p,q,r$ を定める。 $$ \beginCases p &= 3\times 2^{n-1} - 1 \\ q &= 3\times 2^n - 1 \\ r &= 9\times 2^{2n-1}-1 \endCases $$ このとき、 $p,q,r$ が素数ならば、 $$ (2^npq, 2^nr) $$ は友愛数となる。

たとえば $n = 2$ のとき最小の友愛数 $(220,284)$ が得られる。

ただし、この方法で得られる友愛数は非常に限られている。

ユーリ「でもね、テトラさん……タイムマシンに乗って『どーやって見つけたの？』なんて本人に聞けないよね？　だって、日本語は通じないもん」

僕「いやいや、日本語が通じるかどうか以前に、タイムマシンがないんだけど」

テトラ「はい、でも、そういうことではなくて——あたしは、もっと深くサービト・イブン・クッラの方法を理解したいんだと思います、たぶん」

僕「テトラちゃんのその気持ち、わかるような気がする。 $$ \beginCases p &= 3\times 2^{n-1} - 1 \\ q &= 3\times 2^n - 1 \\ r &= 9\times 2^{2n-1}-1 \endCases $$ という式を使って得られた $p,q,r$ が素数なら $(2^npq, 2^nr)$ が友愛数になる。その証明はもうできた（第449回参照）。でも、 $p,q,r$ を表す式が与えられなかったら証明はできなかった」

ユーリ「そりゃそーだよね」

僕「だとしたら、 $p,q,r$ を表すこの式は、どうやって見つけたのか。どうやったら、こんな複雑そうに見える式が見つけられるのか……確かにそれは知りたい」

テトラ「あたしは……どんなふうに納得したいんでしょうね」

テトラちゃんは、ひとりごとのように言った。

彼女は、自分の《わかった感じ》をいつも大事にしている。問題が解けるかどうかだけではなく、しっかりと《わかった感じ》をつかみたいのだ。

ユーリ「……なんだか、《かくれんぼ》みたいだね」

僕「かくれんぼ？」

ユーリ「$p,q,r$ を計算する式がどっかに隠れてる。隠れてるその式を見つけたいんでしょ？　《かくれんぼ》じゃん」

僕「うーん」

テトラ「《知っていることは何か》から考えてみます。サービト・イブン・クッラの時代でも $(\RF{220},\BF{284})$ が友愛数であることは知られていたわけですよね」

僕「そうだね。パネルにはそう書いてあった」

テトラ「計算して確かめた通り、サービト・イブン・クッラの方法で $n = 2$ にすると、 $(\RF{220},\BF{284})$ は得られます（第448回参照）。ということはですよ。あのですね、うまく言えないんですが……《動画の逆再生》みたいに考えればどうでしょう」

僕「？」

ユーリ「？」

テトラ「つ、つまり、友愛数である $(\RF{220},\BF{284})$ から、 $n = 2$ を見つけるんです」

僕「？？」

ユーリ「？？」

僕もユーリも、テトラちゃんが何を言いたいのかわからない。

そこでテトラちゃんに考えていることを説明してもらうことにした。

テトラ「$(\RF{220},\BF{284})$ が友愛数であることをあたしたちは知っています。目標はサービト・イブン・クッラの方法を発見することです。もちろんすでにそれはわかっているんですが、あえて《知らないふり》をします」

僕「なるほど」

テトラ「もしもあたしが《友愛数を見つける方法》を見つけたいと思うなら、 $(\RF{220},\BF{284})$ を調べるところから始めると思うんです」

ユーリ「おー、にゃるほど」

テトラ「ですから、 $\RF{220}$ と $\BF{284}$ が持っている構造……のようなものを調べるんです」

僕「素因数分解？」

テトラ「ですよね！　あたしもそう思います。 $\RF{220}$ と $\BF{284}$ をそれぞれ素因数分解してみます」

$$ \beginCases \RF{220} &= 2^2 \times 5 \times 11 \\ \BF{284} &= 2^2 \times 71 \endCases $$

僕「両方に $2^2$ が共通しているね……」

ユーリ「あっ！　 $5,11,71$ はぜんぶ奇数じゃん！」

僕「いや、それはさすがに当たり前だよ。だって、素因数分解したときに $2$ の冪乗以外は奇数になるよね」

ユーリ「あ、そっか」

テトラ「$2^2$ は $\RF{220}$ と $\BF{284}$ に共通しています。まるで《友愛のしるし》のような二人の共通部分です。それ以外の残った部分は《$5\times11$》と《$71$》ですね。ということは、友愛数を考える上で 《$5\times11$ と $71$ の関係を調べる》 のはとても自然だと感じます——」

僕「あっ、ごめん。 $5\times11$ と $71$ の関係、わかっちゃったかも！」

テトラ「え？」

僕「わかったというか、《知らないふり》に失敗してしまった」

テトラ「何のことですか？」

僕「$5$ と $11$ と $71$ は素数で、次の関係が成り立ってる！」

$$ (\underbrace{5 + \GF1}_{6}) \times (\underbrace{11 + \GF1}_{12}) = \underbrace{71 + \GF1}_{72} $$

ユーリ「えっ！　お兄ちゃん、こんな関係、どーしてわかるの？」

僕「いや、だから、サービト・イブン・クッラの方法を思い出したんだよ。 $$ \beginCases p &= 3\times 2^{n-1} - \GF1 \\ q &= 3\times 2^n - \GF1 \\ r &= 9\times 2^{2n-1} - \GF1 \endCases $$ のように《ある数から $\GF1$ を引いた数》として $p,q,r$ をそれぞれ作っている。テトラちゃんが、《$5\times11$》と《$71$》の関係を調べるのは自然だと言ったとき、僕はそれが《$pq$》と《$r$》の関係を調べることだと気づいちゃった。サービト・イブン・クッラの方法では、 $5,11,71$ という三つの数はどれも《ある数から $\GF1$ を引いた数》としてそれぞれ作ったもの。だから、 $5,11,71$ のそれぞれに $\GF1$ を足してみた。そこから $$ (\underbrace{5 + \GF1}_{6}) \times (\underbrace{11 + \GF1}_{12}) = \underbrace{71 + \GF1}_{72} $$ がわかった」

テトラ「なるほどです……」

僕「ごめんね、せっかく《知らないふり》で発見しようとしてたのに。カンニングしたみたいになっちゃった」

テトラ「いえいえ。いま先輩がおっしゃったことからすると、サービト・イブン・クッラの方法では、 $$ (p+1)(q+1) = r+1 $$ が成り立っているということですよね？」

僕「ああ、そうなるね。それはすぐ計算できるよ」

$$ \begin{align*} (p+1)(q+1) &= (3\times 2^{n-1})\times(3\times 2^n) \\ &= 3\times3 \times 2^{n-1} \times 2^n \\ &= 9 \times 2^{(n-1)+n} \\ &= 9 \times 2^{2n-1} \\ &= r + 1 \end{align*} $$

ユーリ「ほえー」

テトラ「あたしがイメージしているのは、まさにそういうことです！　二つの数を素因数分解したとき、その素因数同士に何か関係を見つけるんです。いま《見つけた》のは、 $$ (p+1)(q+1) = r+1 $$ という関係ですよね。ということは、 $p,q,r$ をそれぞれ $+\GF1$ した形で表すことができます。つまり、《素因数分解した形》を《別の形》に、折り返す……編み直す……入れ変えるみたいなことをしたいんです。ええと——」

僕「待って。テトラちゃんのやりたいことがわかってきたと思う。 $$ (p+1)(q+1) = r+1 $$ ということは、 $$ \beginCases p &= (p+1) - \GF1 \\ q &= (q+1) - \GF1 \\ r &= (p+1)(q+1) - \GF1 \endCases $$ と考えることができる。そうすればテトラちゃんのいう《素因数分解した形》と《別の形》がきれいに作れそうだ！」

《素因数分解した形》 $$ \beginCases \RF{220} &= 2^2 \times 5 \times 11 \\ \BF{284} &= 2^2 \times 71 \endCases $$

$$\downarrow\downarrow\downarrow$$

《別の形》 $$ \beginCases \RF{220} &= 2^2 \times (6 - \GF1) \times (12 - \GF1) \\ \BF{284} &= 2^2 \times (6 \times 12 - \GF1) \endCases $$

テトラ「そうです、そうですねっ」

ユーリ「ぜんぶ、《$\textbf{ナントカ} - \GF1$》ってパターンになった？」

僕「その$\textbf{ナントカ}$も素因数分解できる！　 $6 = 2\times3$ と考えて、 $12 = 2^2\times3$ と考えるともっとパターン化されそうだけど……」

テトラ「……わっ、わかりましたっ！ $$ 6 = 2\times3 = 2^{\XXP - 1} \times 3 $$ だと考えるんですよ。つまり、 $$ 2 = 2^1 = 2^{\XXP - 1} $$ という形をしていると見なします。これで $n = \XXP$ が発見できますねっ！」

$$ \beginCases \RF{220} &= 2^\XXP \times (2^{\XXP-1}\times3 - \GF1) \times (2^\XXP\times3 - \GF1) \\ \BF{284} &= 2^\XXP \times (2^{\XXP-1}\times3 \times 2^\XXP\times3 - \GF1) \endCases $$

僕「なるほど、なるほど。その $\XXP$ の部分が $n$ になるわけだ」

ユーリ「ねーねー、それ、何やってるの？式をごちゃごちゃにしてるだけに見えるんですけどー」

テトラ「ごめんなさいね。あたしの納得感に付き合わせてしまいました」

ユーリ「結局、何やってたの？」

テトラ「$(\RF{220}, \BF{284})$ が友愛数であることはわかっていたので、 $\RF{220}$ と $\BF{284}$ のそれぞれを素因数分解して、構造を調べます。構造を調べることで、友愛数が生まれてくる仕組みが少しでもわかるのではないかと思ったからです」

ユーリ「うん、そこまではわかってた」

テトラ「素因数分解して得られた構造を調べると、 $2^2$ という共通因子があって、 $r$ は $p,q$ を使って $$ r = (p+1)(q+1) - 1 $$ と表すことができます。つまり、この関係を考えるなら、 $r$ は $p$ と $q$ から作れるわけです」

ユーリ「ふんふん」

テトラ「そして、さらに $p+1$ と $q+1$ については、 $$ \beginCases p + 1 &= 2^{\XXP-1}\times3 \\ q + 1 &= 2^\XXP\times3 \\ \endCases $$ という形になっていますので、結局、 $\XXP$ から $p,q,r$ が作れることになりますよね」

ユーリ「あー……ちょっとわかったかも。あとは $\XXP$ のところに別の数を入れれば、友愛数がジャンジャン作れる！」

僕「ただそこで《$p,q,r$ が素数の場合》という条件がはさまっちゃうから、ジャンジャンは作れない」

ユーリ「ザンネン！」

僕「テトラちゃんの言ってた《動画の逆再生》の気持ちがちょっとわかったよ。具体的な $(\RF{220}, \BF{284})$ から、サービト・イブン・クッラの方法にさかのぼる道筋を探ったんだね」

テトラ「はいっ！そうです。もちろん途中でサービト・イブン・クッラの方法をちらちら思い出してはいるんですが、テトラとしてはかなり満足です。素因数分解が大活躍しましたよね」

僕「そうだね」

僕とテトラちゃんとユーリが話しているところに、ミルカさんがやってきた。

ミルカ「もうエピソード10の終盤だ。私の出番がないぞ」

僕「メタ発言自重！」

登場人物紹介（追加）

ミルカさん：数学が好きな高校生。僕のクラスメート。メタルフレームの眼鏡に長い黒髪の《饒舌才媛》。

テトラ「いまみんなでサービト・イブン・クッラの方法を分析してたんです」

ユーリ「ミルカさま、友愛数の話です」

テトラちゃんは、友愛数を求めるサービト・イブン・クッラの方法を $(\RF{220}, \BF{284})$ から《発見》することをミルカさんに説明した。

ミルカ「ふうん……みんなはまだ、オイラー先生の方法を説明したパネルは見ていないのか？」

僕「オイラーの方法？　友愛数を見つけるオイラーの方法ってこと？」

テトラ「まだ、見てません！」

僕たちは、ミルカさんに連れられて新しいパネルへ向かった。

ミルカ「このパネルだ」

友愛数を見つけるオイラーの方法

オイラーは、友愛数を見つけるサービト・イブン・クッラの方法を一般化した。

不等式 $1 \LEQ m < n$ を満たす二つの整数 $m$ と $n$ を使って、次のように $p,q,r$ を定める。 $$ \beginCases p &= (2^{n - m} + 1)\times 2^m - 1 \\ q &= (2^{n - m} + 1)\times 2^n - 1 \\ r &= (2^{n - m} + 1)^2 \times 2^{m+n}-1 \endCases $$ このとき、 $p,q,r$ が素数ならば、 $$ (2^npq, 2^nr) $$ は友愛数となる。

テトラ「……なるほど、このオイラーの方法で、 $n = 2$ で $m = 1$ とすれば、 $(\RF{220}, \BF{284})$ が出てくるんですね」

僕「……なるほど、確かにオイラーの方法は、サービト・イブン・クッラの方法を一般化してるね」

ユーリ「……どこがなるほど？　何が一般化？」

ミルカ「$3$ の部分を一般化している」

ユーリ「？」

テトラ「これはおもしろいですよ！　サービト・イブン・クッラの方法では、 $$ q = \BROWNFOCUS{3} \times 2^n - 1 $$ のように $n$ を使って $q$ を決めました。でもオイラーの方法では、 $$ q = (\BROWNFOCUS{2^{n - m} + 1})\times 2^n - 1 $$ のように $m$ と $n$ を使って $q$ を決めています。オイラーの方法で、 $n - m = 1$ になるように $m$ を決めれば、サービト・イブン・クッラの方法になります。つまり、 $\BROWNFOCUS{3}$ という数を《$\BROWNFOCUS{2^{n - m} + 1}$ で $n - m = 1$ の場合》だと考えたわけですね！」

ミルカ「そういうこと」

テトラ「あたしはさっき、 $$ 2 = 2^1 = 2^{\XXP - 1} $$ という形を見つけました。つまり、 $2$ という数のことを《$2^{n - 1}$ で $n = 2$ の場合》と考えたんです。でも、実は $3$ も同じように考えることができたんですね……」

僕「オイラーの方法では $m$ と $n$ という二つのパラメータで $p,q,r$ を作るから、サービト・イブン・クッラの方法で得られるのとは別のパターンの友愛数が見つかるかもしれないことになるね」

ユーリ「オイラーの方法でも、 $$ (p+1)(q+1) = r+1 $$ は成り立つの？」

僕「成り立つよ」

$$ \begin{align*} (p+1)(q+1) &= \underbrace{(2^{n - m} + 1)\times 2^m}_{p+1} \times \underbrace{(2^{n - m} + 1)\times 2^n}_{q+1} \\&= (2^{n - m} + 1)^2 \times 2^{m+n} \\ &= r + 1 \end{align*} $$

僕たちは、夢中になってサービト・イブン・クッラの方法とオイラーの方法を比べる。

そして、オイラーの方法で得られる数の組が、本当に友愛数になるかどうか改めて証明したくなった。

また、オイラーの方法を、さらに一般化することはできないだろうかとも考えた。

僕たちの議論は尽きることがない。

「数学ガールのお知らせメール」では週に一度の更新連絡をしています。読み逃しのないように、ぜひご登録ください。登録は無料です。

参考文献

※ 本文中に出てくるパネルの文章は、参考文献の内容をもとに再構成したものであり、直接の引用ではありません（引用であることを明記しているものを除きます）。

この記事は期間限定で「ただいま無料」となっています。

ひと月500円で「読み放題プラン」へご参加いただきますと、 450本すべての記事が読み放題になりますので、ぜひ、ご参加ください。

読み放題プランへのご参加について

参加済みの方／すぐに参加したい方はこちら

結城浩のメンバーシップで参加結城浩のpixivFANBOXで参加