[logo] Web連載「数学ガールの秘密ノート」
Share

第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連載読み放題プランのおすすめ

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 $$ と考えることができる。そうすればテトラちゃんのいう《素因数分解した形》と《別の形》がきれいに作れそうだ!」

無料で「試し読み」できるのはここまでです。 この続きをお読みになるには「読み放題プラン」へのご参加が必要です。

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


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

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

(2025年4月25日)

[icon]

結城浩(ゆうき・ひろし) @hyuki


『数学ガール』作者。 結城メルマガWeb連載を毎週書いてます。 文章書きとプログラミングが好きなクリスチャン。2014年日本数学会出版賞受賞。

Twitter note 結城メルマガ Mastodon Bluesky Threads Home