友愛数とは?220と284の秘密と求め方・完全数との違いを徹底解説
古代ギリシャの哲学者ピタゴラスが「これぞ友人の姿である」と称え、ベストセラー小説『博士の愛した数式』で多くの読者の涙を誘った神秘の数字のペア、それが「友愛数(ゆうあいすう)」です。一見すると何の変哲もない2つの整数が、互いの約数をすべて足し合わせることで固く結ばれ合うその構造は、2500年以上もの間、偉大な数学者たちを魅了し続けてきました。
スーパーコンピューターや分散コンピューティングが発達した2026年現在においても、友愛数には「無限に存在するのか」「偶数と奇数のペアはあるのか」といった根本的な未解決問題が残されています。本稿では、友愛数の基本定義から計算の仕組み、歴史的な発見ドラマ、完全数や社交数との決定的な違い、そして現代の数学的知見までを網羅し、わかりやすく解き明かしていきます。
📌 【この記事の重要ポイントまとめ】
- 要点1:友愛数は「自分自身を除く約数の和が互いに一致する2つの自然数の組」であり、最小のペアは「220と284」。
- 要点2:ピタゴラスの命名からフェルマー、オイラーを経て、16歳の少年が歴史的見落とし(1184と1210)を暴いた情熱の歴史を持つ。
- 要点3:完全数(自身と一致)や婚約数・社交数(連鎖する輪)とは明確に区別され、2026年時点でも未解決の謎を多く残す。
【基本解説】友愛数(親和数)とは?220と284が織りなす「奇跡の絆」と計算の仕組み
友愛数(英語:Amicable numbers、別名:親和数)とは、「異なる2つの自然数において、それぞれの自分自身を除く約数(真の約数)をすべて足し合わせると、相手の数と等しくなる数のペア」を指します。数学の厳密な定義でありながら、まるで互いを補い合うようなロマンチックな関係性を持っている点が特徴です。
最も有名かつ最小の友愛数ペアである「220」と「284」を例に、実際の計算プロセスを検証してみましょう。
まず、「220」の真の約数をすべて書き出し、足し合わせます。
【220の真の約数】:1、2、4、5、10、11、20、22、44、55、110
これらをすべて足すと:1 + 2 + 4 + 5 + 10 + 11 + 20 + 22 + 44 + 55 + 110 = 284
続いて、相手の数字である「284」の真の約数を書き出して足し合わせます。
【284の真の約数】:1、2、4、71、142
これらをすべて足すと:1 + 2 + 4 + 71 + 142 = 220
220の約数の和が284になり、284の約数の和が220に戻るという、寸分の狂いもない完全な循環が成立しています。膨大な数の大海原において、このように互いを呼び合うペアは極めて稀であり、数論の歴史の中で特別視されてきた理由がここにあります。

『博士の愛した数式』で涙した名シーン|数字に宿る人間ドラマとピタゴラスの由来
友愛数の存在を一躍日本中に広めたのが、小川洋子氏による芥川賞作家の名作小説『博士の愛した数式』(2003年刊行、2006年映画化)です。記憶が80分しか持たない天才数学者の「博士」と、家政婦の「私」、その息子「ルート」の心の交流を描いた本作において、友愛数は物語の核となる象徴として登場しました。
作中で博士は、家政婦の手首に刻まれた腕時計の裏蓋の整理番号「284」(学長賞の副賞)と、家政婦の誕生日である「2月20日(220)」の一致に気付きます。博士は静かにこう語りかけます。
「神の計らいを受けて結ばれ合っている本物の友愛数だ。美しいと思わないかい?君の誕生日と、ぼくの手首の数字が、これほど華麗な鎖でつながり合っているなんて」
この言葉に心を揺さぶられた読者も多いはずです。実はこの「友愛」という情緒的な言葉の起源は、紀元前6世紀の哲学者・数学者であるピタゴラスにまで遡ります。「友人とは何か」と問われたピタゴラスは、「もう一人の自分であり、220と284のようなものだ」と答えたと伝えられています。
古代ギリシャや中世イスラム世界では、友愛数は単なる数式を超え、友情の証や愛の護符(タリスマン)として重宝されました。「220」と刻んだ果物を一方が食べ、「284」と刻んだ果物をもう一方が食べることで永遠の愛が手に入ると信じられていた伝承すら存在します。
【比較表で一発理解】友愛数・完全数・婚約数・社交数の決定的な違い
数論の世界には、友愛数と似た性質を持つ「約数の和」にまつわる特別な数が複数存在します。ネット上や学習現場でも混同されがちな「友愛数」「完全数」「婚約数(準友愛数)」「社交数」の違いを整理したのが下表です。
| 項目・分類 | 定義と約数の計算ルール | 代表的な具体例 | 編集部の見解・数学的特徴 |
|---|---|---|---|
| 友愛数 (親和数) | 2つの数で、真の約数(自身を除く)の和が互いに相手と等しくなるペア。 | (220, 284) (1184, 1210) (17296, 18416) | 周期2の約数ループ。ピタゴラス以来、最も文学的・神秘的に扱われる基本ペア。 |
| 完全数 | 単独の数で、真の約数の和が自分自身と一致する数。 | 6 (1+2+3) 28 (1+2+4+7+14) 496, 8128 | 周期1のループ。メルセンヌ素数と1対1で対応する性質が完全に証明されている。 |
| 婚約数 (準友愛数) | 「1と自身を除く」真の約数の和が互いに相手と等しくなるペア。 | (48, 75) (140, 195) (1050, 1925) | 友愛数と異なり、知られているペアはすべて「偶数と奇数の組み合わせ」という特徴を持つ。 |
| 社交数 (親族数) | 真の約数の和を辿っていくと、3つ以上の数を経由して元の数に戻るグループ。 | 5個の周期: (12496, 14288, 15472, 14536, 14264) | 周期3以上の長大な環状チェーン。発見数が極めて少なく、計算機探索の重要ターゲット。 |
このように整理すると、「完全数は自己完結(1点)」「友愛数は2者の往復(2点)」「社交数は3者以上の輪(多角形)」というクリアな階層構造が見えてきます。

友愛数の求め方と公式の謎|サビトの公式とオイラー・フェルマーの功績
古代ギリシャ時代以降、人類は長らく「220と284」以外の友愛数を見つけることができませんでした。この停滞を打破したのが、9世紀のイスラムの天文学者・数学者サービト・イブン・クッラ(Thābit ibn Qurra)です。彼は友愛数を生成するための画期的な公式(サビトの公式)を発見しました。
【サビトの定理(友愛数の公式)】:
$n > 1$ となる整数に対して、以下の3つの式で定義される $p, q, r$ がすべて素数であるとします。
・$p = 3 \cdot 2^{n-1} - 1$
・$q = 3 \cdot 2^n - 1$
・$r = 9 \cdot 2^{2n-1} - 1$
このとき、$A = 2^n pq$ と $B = 2^n r$ は必ず友愛数のペアになります。
例えば $n=2$ を代入すると:
・$p = 3 \cdot 2^1 - 1 = 5$(素数)
・$q = 3 \cdot 2^2 - 1 = 11$(素数)
・$r = 9 \cdot 2^3 - 1 = 71$(素数)
となり、$p, q, r$ がすべて素数であるため条件を満たします。
この結果、$A = 2^2 \times 5 \times 11 = 220$、$B = 2^2 \times 71 = 284$ となり、最小の友愛数が導き出されます。
17世紀に入ると、近代数学の巨人たちがこの公式を再発掘します。
- ピエール・ド・フェルマー(1636年):サビトの公式に $n=4$ を適用し、第2の友愛数ペア(17296, 18416)を発見。
- ルネ・デカルト(1638年):$n=7$ に対応する第3のペア(9363584, 9437056)を発見。
- レオンハルト・オイラー(1747〜1750年):サビトの公式をさらに一般化し、わずか数年で一挙に60組以上(最終的に64組)の友愛数ペアを導き出すという驚異的な業績を残しました。
【一覧と未解決問題】16歳の少年が歴史を覆した大発見と2026年最新の数学ミステリー
偉大な数学者たちが何百年も競い合ってきた友愛数の歴史の中で、数学史上に残る最も痛快な事件が1866年に起きました。当時わずか16歳だったイタリアの少年ニッコロ・パガニーニ(Niccolò I. Paganini)が、オイラーやデカルトら最高峰の頭脳が見落としていた「第2に小さい友愛数ペア」を発見したのです。
そのペアこそが「(1184, 1210)」です。
なぜオイラーほどの天才がこの身近な数字を見逃したのか。それは、当時の数学者たちが「サビトの公式のような特定の数式から導く手法」に依存しすぎていたためでした。パガニーニ少年は独自の素因数分解と緻密な手計算によって、公式の網目をすり抜けていた美しいペアを掘り当てたのです。
代表的な友愛数ペア一覧(小さい順)
- (220, 284):紀元前にピタゴラスが発見(4桁未満で最小)
- (1184, 1210):1866年に16歳のパガニーニが発見
- (2620, 2924):オイラーが発見
- (5020, 5564):オイラーが発見
- (6232, 6368):オイラーが発見
- (10744, 10856):オイラーが発見
- (12285, 14595):オイラーが発見(初の奇数同士のペア)
- (17296, 18416):フェルマーが再発見(イスラム世界で先行記録あり)
現代において、友愛数は分散コンピューティングプロジェクトにより徹底的に探索され、2026年現在では12億組(1,200,000,000組)以上のペアがカタログ化されています。しかし、データ量がどれほど増えても、以下の核心的な謎は未だに証明されていません。
- 【未解決問題1】友愛数は無限に存在するのか?(無数に存在すると予想されているが、厳密な証明は未踏)
- 【未解決問題2】偶数と奇数の友愛数ペアは存在するのか?(現在見つかっている億単位のペアはすべて「偶数同士」または「奇数同士」であり、偶奇混在のペアは1つも見つかっていない)
- 【未解決問題3】互いに素(最大公約数が1)である友愛数ペアは存在するのか?

一般に知られていない盲点と誤解|「公式さえあればすべて見つかる」の落とし穴
ネット上の解説記事や初学者向けの動画において、しばしば「サビトの公式を使えば友愛数はすべて計算できる」という誤解が見受けられます。しかし、これは明確な誤りです。
サビトの公式で友愛数が生成されるためには、$n$ に代入した3つの数($p, q, r$)が「すべて同時に素数」でなければなりません。この条件は $n=2$(220, 284)、$n=4$(17296, 18416)、$n=7$(9363584, 9437056)のわずか3つのケースでしか満たされないことが判明しています。現代のスーパーコンピューターで天文学的な $n$ まで探索しても、サビトの公式から新しいペアは1つも生まれていません。
つまり、公式は「ある特殊な型の友愛数を生み出す限定的なツール」に過ぎず、パガニーニが発見した(1184, 1210)をはじめ、現在知られている友愛数の大半は公式の枠外に存在しています。数論の世界がいかに深く、単純なパターン化を拒絶しているかを物語る事実です。
【プロの結論】数学的思考がもたらす教養の深みと学びに向いている人の特徴
友愛数は、現代の暗号理論(RSA暗号など)に直接組み込まれているわけではありません。しかし、整数論の根幹である「素因数分解」や「約数の性質」を直感的に学ぶための最高の教材として、世界中の教育機関やプログラミング演習で活用され続けています。
友愛数の探求・プログラミング学習に向いている人の条件
- アルゴリズムの効率化を学びたい人:約数をすべて足す単純なループ処理($O(N)$)から、平方根($O(\sqrt{N})$)や素因数分解を用いた高速化アルゴリズムへのステップアップに最適です。
- 知的好奇心と物語性を好む人:単なる無機質な計算ではなく、2500年の歴史や『博士の愛した数式』のような文化的背景と結びつけて数学を楽しみたい人。
- 「答えのない問い」にワクワクできる人:現代の数学者でも解けない未解決問題にロマンを感じ、思考実験を楽しめる人。
一方で、「実生活で即座に役立つ損得勘定」や「目先の業務効率化」だけを求める人にとっては、純粋数学の抽象的な美しさは退屈に映るかもしれません。しかし、一見役に立たないように見える「数の純粋な調和」を慈しむことこそが、物事の本質を深く見抜く論理的思考力の礎となります。
【友愛数とは】に関するよくある質問(FAQ)
Q1:友愛数と完全数の違いを最も簡単に説明すると?
A1:完全数は「自分1人」で約数の和が自分に戻る数(6や28など)です。対して友愛数は「2つの数」がペアになり、互いの約数の和が相手の数になる関係を指します。
Q2:友愛数は日常生活や暗号技術で使われていますか?
A2:直接暗号鍵として使われることは稀ですが、友愛数を探索・検証するアルゴリズム(巨大数の素数判定や高速因数分解技術)は、現代の情報セキュリティや分散コンピューティング技術の進化に大きく寄与しています。
Q3:奇数同士の友愛数は実在しますか?
A3:実在します。1750年にオイラーが発見した「(12285, 14595)」が最小の奇数友愛数ペアです。ただし、偶数同士のペアに比べて出現頻度が極めて低いことが知られています。
まとめ:数字の絆が教えてくれる知性と教養の本質
友愛数とは、220と284をはじめとする「互いの約数の和が相手と等しくなる」奇跡的な調和を持った数字のペアです。ピタゴラスが友情の理想を見出し、パガニーニ少年が歴史を覆し、そして『博士の愛した数式』が温かな絆として描いたこの数は、時代を超えて人々の心を惹きつけて止みません。
12億組以上が確認された2026年現在もなお、友愛数の全体像は完全には解明されておらず、数学の深淵を示し続けています。規則正しい数式の中に隠された神秘に思いを馳せることは、デジタル時代において私たちの思考を豊かに広げてくれる贅沢な知的冒険といえるでしょう。 (出典: 友愛 数 と は(Yahoo!ニュース))