友愛数と婚約数

友愛数とは異なる2つの自然数の組で、自分自身を除いた約数の和が互いに他方と等しくなるような数のことです。

220の約数は、1, 2, 4, 5, 10, 11, 20, 22, 44, 55, 110, 220で、220を除く約数を全部足すと284になります。一方、284の約数は、1, 2, 4, 71, 142, 284で、284以外の約数の和は220です。(220, 284)は友愛数です。そして最小の友愛数の組です。

また異なる2つの自然数の組で、1と自分自身を除いた約数の和が、互いに他方と等しくなるような数を婚約数といいます。友愛数の場合、偶数同士または奇数同士になりますが、婚約数は片方が偶数で他方が奇数になります。

最小の婚約数の組は (48, 75) です。48の約数は 1, 2, 3, 4, 6, 8, 12, 16, 24, 48で1と48を除く約数の和は 75です。75の約数は 1, 3, 5, 15, 25, 75で1と75を除く約数の和は48です。このことから (48, 75)は婚約数であることがわかります。

昔の数学の世界においては、偶数が女性を奇数が男性を表すものと考えられていました。友愛数は同性同士の関係、婚約数は異性同士の関係です。また婚約数はその数だけでなく1も除外されているので、結婚の一歩前であるとしてこのような名前がつけられました。

もし偶数と奇数の友愛数が存在するのであれば、これは異性同士の友愛=結婚となるのですが、実際に一方が偶数で他方が奇数である友愛数は発見されていません。また結婚数は存在しないという証明もされていないので探してみると面白いかもしれません。

では友愛数婚約数を探してみましょう。

まず友愛数から。友愛数は英語では amicable numbers です。

まず引数で渡された値の約数を調べます。GetDivisorメソッドは

C#で約数と完全数を求める

を参照してください。

約数をすべて足してそこから引数を引きます。これでその数以外の約数をすべて足した値を得ることができます。次に得られた数の約数をしらべて総和を求めてそこからその数を引きます。このとき引数と一致すれば友愛数を発見できたことになります。その場合はペアになる整数を返します。

上記の操作をして引数と同じ値にならなかった場合、引数は友愛数の組を構成する自然数ではないことになります。この場合は-1を返します。

引数以外の約数をすべて足した値が引数と同じ場合は除外します。この場合は引数は完全数になっています。

最初はループを1,000回で実験してみましたが、友愛数のペアはひとつ(220 と 284)しか見つかりませんでした。ループが10,000回程度であればすぐ終わりますが、100,000回となると相当待たされます。

100,000までの友愛数の組は以下のとおりです。

出力結果

220 と 284
1,184 と 1,210
2,620 と 2,924
5,020 と 5,564
6,232 と 6,368
10,744 と 10,856
12,285 と 14,595
17,296 と 18,416
63,020 と 76,084
66,928 と 66,992
67,095 と 71,145
69,615 と 87,633
79,750 と 88,730

では次に婚約数について調べてみます。婚約数は英語ではbetrothed numbersです。

100,000までの婚約数の組は以下のとおりです。

出力結果

48 と 75
140 と 195
1,050 と 1,925
1,575 と 1,648
2,024 と 2,295
5,775 と 6,128
8,892 と 16,587
9,504 と 20,735
62,744 と 75,495

友愛数の補足

友愛数を生成する法則としてサービト・イブン=クッラの法則とオイラーの法則があります。

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

p = 3 × 2^(n-1) – 1
q = 3 × 2^n – 1
r = 9 × 2^(2n-1) – 1

nは2以上の整数、p,q,rが素数であるとすると、2^n × p × q と 2^n × r は友愛数の対となる。

オイラーの法則は、サービト・イブン=クッラの法則を一般化したもので、mはm<nを満たす正の整数としたときに2^n × p × q と 2^n × r は友愛数の対となるというものです。

p = (2^(n-m) + 1) × 2^m – 1
q = (2^(n-m) + 1) × 2^n – 1
r = (2^(n-m) + 1)^2 × 2^(m+n) – 1

ただすべての友愛数の組に対して成立するわけではないとのことです。これも実験してみました。

出力結果

220 と 284
17,296 と 18,416
9,363,584 と 9,437,056

出力結果

220 と 284
2,172,649,216 と 2,181,168,896
17,296 と 18,416
9,363,584 と 9,437,056

2,172,649,216 と 2,181,168,896を新しく見つけることができました。ループ回数を増やしても処理に時間がかかるだけで4つしか取得できません。 (1184, 1210), (2620, 2924), (5020, 5564), (6232, 6368), (10744, 10856), (12285, 14595)などを取得することはできませんでした。