友愛数

友愛数（ゆうあいすう、）とは、異なる 2 つの自然数の組で、自分自身を除いた約数の和が互いに他方と等しくなるような数をいう。親和数（しんわすう）とも呼ばれる。
最小の友愛数の組は (220, 284) である。
友愛数はピタゴラス学派の時代にはすでに知られていた（ダンブリクス Damblichus）。現在まで知られる友愛数の組は、すべて偶数同士または奇数同士の組である。
(220, 284) の次に求められた友愛数は (17296, 18416) である。この友愛数はそれ以前にも求められていたが、フェルマーにより再発見された。その後、オイラーにより 60 余りの友愛数が求められている。
なお、自分自身を除いた約数の和が元の数と等しい場合には、完全数と呼ばれる。自分自身を除いた約数の和を次の数として同じように計算していき元の数に戻る場合には、その組を社交数という。
定義.
異なる2つの自然数 "n", "m" の組が友愛数であるとは
σ1("n") = σ1("m") = "n" + "m" となることである。ここで、σ1("n") 、σ1("m") は約数関数である。
友愛数の例.
友愛数の組を小さい順に列記すると
小さい方の数は 、大きい方の数は を参照。
友愛数を生成する法則.
注意点として、以下の法則は全ての友愛数の組に対して成立するわけではない。例えば、(220, 284), (17296, 18416), (9363584, 9437056) は法則を満たしているが、(6232, 6368) は友愛数であるにもかかわらず法則を満たさない。
サービト・イブン＝クッラの法則.
850年頃にサービト・イブン＝クッラによって友愛数を求めることができる可能性のある関係式が導き出されている。
ここで、"n" は 2 以上の整数、"p", "q", "r" は素数であるような "n", "p", "q", "r" が存在したとき、2"npq" と 2"nr" は友愛数の対となる。
オイラーの法則.
オイラーの法則は、サービト・イブン＝クッラの法則を一般化したものである。
"m" は "m" < "n" を満たす正の整数としたとき、サービト・イブン＝クッラの法則と同様に 2"npq" と 2"nr" は友愛数の対となる。
サービト・イブン＝クッラの法則は、オイラーの法則の "m" = "n" − 1 の場合であるといえる。
拡張.
友愛数は2つの数の関係だが、これを拡張して3つ以上の数の関係にすることができる。以下の定義において σ(n)は「nの約数の和」、s(n)は「nのn以外の約数の和」とする。
社交数.
社交数は、s(N)=N, s(N)=N, … s(N)=N を満たすm個の整数の組である。友愛数は2個からなる社交数の組ともいえる。
で知られている社交数の組の数は、4、5、6、8、9、28である。例えば3個組の社交数の組などは発見されておらず、存在するかどうかも未解決である。
多重友愛数.
多重友愛数は、σ(N)=σ(N)=…=σ(N)=N+N+…+N を満たすm個の整数の組である。重友愛数 (amicable -tuple) とも呼ぶ。
3重友愛数は、1913年にレナード・ディクソンが発見した組 (123228768, 103340640, 124015008) および (1945330728960, 2324196638720, 2615631953920)を始め、多数が見つかっている。3重友愛数の最小の組は(1980, 2016, 2556)である。
4重友愛数の存在は、遅くとも1994年までに Yasutoshi kohmoto によって解決された。Kohmoto は4重友愛数の一般式として
を示した。ここで、 C=2^(n-1)・M・5^9・7^2・11^4・17^2・19・29^2・67・71^2・109・131・139・179・307・431・521・653・1019・1279・2557・3221・5113・5171・6949 で、nは3より大きくメルセンヌ数Mが素数になる数とする。
5重友愛数については、Kohmotoが2008年に、(227491164588441600, 228507506351308800, 229862628701798400, 230878970464665600, 243752632794316800) という5つ組を発見、報告している。