友愛数チェッカー

2つの正の整数が友愛数のペアであるかどうかを判定します。また、1つの数値を入力するだけでその相方を自動的に見つけることも可能です。約数の「ハンドシェイク」アニメーションによる可視化、シグマ関数の段階的な内訳、アリコート数列のプレビュー、ピタゴラスにまで遡る歴史的背景などの機能を備えています。

友愛数チェッカー

Embed 友愛数チェッカー Widget

友愛数チェッカー

数論における最も優雅な関係の一つである、2つの正の整数が友愛数のペアを形成するかどうかを検証するインタラクティブなツール、友愛数チェッカーへようこそ。検証したいペアを入力するか、1つの数値を入力してツールに自動的に候補パートナーを見つけさせることができます。結果ページには、5段階の証明、2つの相互和条件を示すハンドシェイク図、左右並列の約数分解、およびアリコート鎖（約数和の連鎖）のプレビューが含まれています。

友愛数とは何ですか？

2つの異なる正の整数 $a$ と $b$ が友愛数のペアを形成するのは、それぞれの真の約数の和がもう一方の数に等しい場合です。言い換えれば、アリコート和（その数自身を除くすべての正の約数の合計）が $a$ から $b$ へ、そして $b$ から $a$ へと循環します。

友愛数ペアの定義

$$s(a) = b \quad \text{および} \quad s(b) = a, \quad a \neq b$$

ここで $s(n)$ は $n$ の真の約数の和です

最小の友愛数のペアは (220, 284) です：

220 の真の約数: 1 + 2 + 4 + 5 + 10 + 11 + 20 + 22 + 44 + 55 + 110 = 284
284 の真の約数: 1 + 2 + 4 + 71 + 142 = 220

それぞれの数が自身の約数を通じて相手を「生成」することから、友愛（ラテン語の amicabilis、友好的なという意味に由来）という名前が付けられました。

友愛数の短い歴史

友愛数は2,500年以上にわたって数学者たちを魅了してきました：

ピタゴラス (紀元前500年頃): イアンブリコスによると、ピタゴラスはペア (220, 284) を知っており、それを友情の象徴と呼びました。
サービト・イブン・クッラ (9世紀): 友愛数のペアを生成するための最初の一般的な規則を発見しました。これは現在「サービトの定理」として知られています。
イブン・アル・バンナー (13世紀): ペア (17296, 18416) を発見しました（1636年にフェルマーによって再発見）。
フェルマーとデカルト (17世紀): 独立して (9,363,584; 9,437,056) を発見しました。
オイラー (18世紀): リストを大幅に拡大し、59組の新しいペアを発見して理論を形式化しました。
パガニーニ (1866): 16歳のイタリア人ニコロ・パガニーニが、それまでの偉大な数学者たちが見落としていた2番目に小さいペア (1184, 1210) を発見しました。
現代: 2020年代時点で、共同計算プロジェクトにより12億組以上の友愛数ペアが発見されています。

この電卓の使い方

数値を入力: 1つまたは2つの正の整数を入力します。2番目のフィールドを空のままにすると、ツールが自動的に候補パートナーを見つけます。
チェック: 「友愛数のペアをチェック」をクリックして検証を実行します。
判定を読む: 上部の色付きバナーに、そのペアが友愛数であるか（緑）そうでないか（赤）が表示されます。
詳細を確認: ハンドシェイク図、左右並列の約数分解、ステップバイステップの証明、約数棒グラフ、およびアリコート鎖のプレビューを確認します。

サービト・イブン・クッラの法則

西暦850年頃、アラブの博学者サービト・イブン・クッラは、友愛数のペアを生成するための部分的な公式を発見しました：

サービトの法則

$$p = 3 \cdot 2^{n-1} - 1, \quad q = 3 \cdot 2^{n} - 1, \quad r = 9 \cdot 2^{2n-1} - 1$$

もし $p, q, r$ がすべて素数ならば、 $\left(2^n \cdot p \cdot q, \; 2^n \cdot r\right)$ は友愛数のペアです。

$n = 2$ とすると $p=5, q=11, r=71$ となり、これらはすべて素数であるため、古典的なペア (220, 284) が生成されます。この規則は少数の $n$ の値に対してのみ有効であり、網羅的ではありませんが、コンピュータが登場する数世紀前に数学者たちが新しいペアを見つける足がかりとなりました。

アリコート数列と社交数

数値 $n$ のアリコート数列（等分除数列）とは、真の約数の和を繰り返し適用して得られる数列 $n, s(n), s(s(n)), \ldots$ です。数列の挙動は、数の深い構造を明らかにします：

完全数は固定点を形成します: $s(n) = n$（周期 1）。
友愛数ペアは2サイクルを形成します: $s(s(n)) = n$（周期 2）。
社交数は周期 3 以上の長いサイクルを形成します（例：12496 から始まる 5 サイクル）。
渇望数は最終的に完全数に到達します。
不足鎖は 1 になり終了します。
レーマーの5数: 276, 552, 564, 660, 966 から始まる数列は、解決されないまま数十億項まで計算されており、その結末は不明です。

最初の10組の友愛数ペア

#	小さい数	大きい数	発見者
1	220	284	ピタゴラス (紀元前500年頃)
2	1,184	1,210	パガニーニ (1866)
3	2,620	2,924	オイラー (1747)
4	5,020	5,564	オイラー
5	6,232	6,368	オイラー
6	10,744	10,856	オイラー
7	12,285	14,595	ブラウン (1939) — 最小の奇数ペア
8	17,296	18,416	イブン・アル・バンナー / フェルマー
9	63,020	76,084	オイラー
10	66,928	66,992	オイラー

友愛数に関する豆知識

聖書の中で、ヤコブはエサウに和解の贈り物として220頭のヤギを贈っています（創世記 32:14）。一部の学者は、これが友愛数のペア (220, 284) を暗示していると考えています。
中世のお守りには、友人や恋人の間で交換される2つの品物に 220 と 284 を刻むことがありました。
既知の友愛数ペアはすべて同じパリティ（偶奇性）を共有しています。つまり、両方が偶数か両方が奇数です。奇数と偶数が混ざったペアは一度も見つかっていませんが、そのようなものが存在し得るかどうかは未解決の問題です。
既知のすべての友愛数ペアは 1 より大きい共通因数を持っています。互いに素な友愛数ペアが存在するかどうかは未解決であり、もし存在するならば、それは $10^{67}$ を超える必要があります。

よくある質問

友愛数とは何ですか？

友愛数とは、2つの異なる正の整数 (a, b) の組で、aの真の約数の和がbに等しく、bの真の約数の和がaに等しいものを指します。最小の友愛数の組は、ピタゴラスが発見したとされる (220, 284) です。

2つの数が友愛数かどうかを確認するにはどうすればよいですか？

両方の数の真の約数（その数自身を除くすべての約数）を計算し、それらを合計します。 $s(a) = b$ かつ $s(b) = a$、さらに $a \neq b$ であれば、 $(a, b)$ は友愛数のペアです。当ツールはこれを自動的に行い、各ステップを表示します。

1つの数だけ入力して、その友愛数のパートナーを見つけることはできますか？

はい。2番目のフィールドを空のままにすると、ツールは $s(a)$ を候補パートナーとして計算し、 $s(s(a)) = a$ かどうかを確認します。そうであれば、その2つの数は友愛数のペアを形成します。

友愛数と完全数の違いは何ですか？

完全数は、自分自身の真の約数の和に等しい単一の数です（例：6 = 1+2+3）。友愛数のペアは、それぞれが相手の真の約数の和に等しい2つの異なる数で構成されます。完全数は $a = b$ の特殊なケースと見なせますが、定義上、友愛数とは呼びません。

現在、いくつの友愛数のペアが知られていますか？

2020年代時点で、共同計算プロジェクトにより12億組以上の友愛数ペアが発見されています。代表的なものは (220, 284), (1184, 1210), (2620, 2924), (5020, 5564), (6232, 6368) です。既知の最小の奇数のペアは (12285, 14595) です。