亲和数检查器

检查两个正整数是否构成亲和数对，或者仅输入一个数字，让工具自动发现其伙伴数字。功能包括动画除数“握手”可视化、sigma 函数逐步分解、真约数和序列预览，以及追溯到毕达哥拉斯的历史背景。

亲和数检查器

欢迎使用亲和数检查器，这是一个交互式工具，用于验证两个正整数是否构成亲和数对 —— 这是数论中最优雅的关系之一。您可以输入一对数字进行验证，或者只提供一个数字，让工具自动发现它的候选伴侣。结果页面包括一个五步证明、一个显示两个交叉求和条件的握手图、并排的因数分解以及一个等分链预览。

什么是亲和数？

如果两个不同的正整数 $a$ 和 $b$，其中每一个的真因数之和等于另一个，则这两个数构成一个亲和数对。换句话说，等分和（aliquot sum，即一个数除自身以外的所有正因数之和）从 $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，意为友好）。

亲和数的简史

亲和数吸引了数学家们 2500 多年：

毕达哥拉斯 (约公元前 500 年)： 根据叙利亚哲学家扬布利霍斯的记载，毕达哥拉斯知道 (220, 284) 这一对数，并将其视为友谊的象征。
萨比特·伊本·库拉 (9 世纪)： 发现了生成亲和数对的第一个通用规则 —— 现在被称为“萨比特定理”。
伊本·班纳 (13 世纪)： 发现了 (17296, 18416) 这一对，后来费马在 1636 年重新发现了它。
费马和笛卡尔 (17 世纪)： 独立发现了 (9,363,584; 9,437,056)。
欧拉 (18 世纪)： 大大扩展了名单，发现了 59 个新数对，并将该理论系统化。
帕格尼尼 (1866)： 一个名叫尼科罗·帕格尼尼的 16 岁意大利学生发现了 (1184, 1210)，这是第二小的亲和数对 —— 在他之前的每一位伟大数学家都错过了它。
现代： 截至 2020 年代，协作计算已发现超过 12 亿对亲和数。

如何使用此计算器

输入数字： 输入一个或两个正整数。将第二个字段留空，让工具自动寻找候选伴侣。
检查： 点击“检查亲和数对”运行验证。
阅读结论： 顶部的彩色横幅显示该数对是否为亲和数（绿色）或不是（红色）。
探索： 查看握手图、并排的因数分解、分步证明、因数条形图和等分链预览。

萨比特·伊本·库拉法则

在公元 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-循环）。
渴望数（Aspiring numbers）最终会达到一个完全数。
亏缺链会下降到 1 并终止。
莱默五数（Lehmer five）：从 276, 552, 564, 660 和 966 开始的序列已被计算到数十亿项仍未解决 —— 它们的命运仍然未知。

前十对亲和数

#	较小数	较大数	发现者
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) 的致敬。
在中世纪，护身符有时会在朋友或恋人交换的两个物体上刻下 220 和 284。
所有已知的亲和数对都具有相同的奇偶性：要么都是偶数，要么都是奇数 —— 尚未发现任何奇偶性混合的对，尽管它们是否存在仍然是一个悬而未决的问题。
每一个已知的亲和数对都有大于 1 的公因数。是否存在一对互质的亲和数仍未解决，如果存在，它必须超过 $10^{67}$。

常见问题解答

什么是亲和数？

亲和数是指两个不同的正整数 (a, b)，其中 a 的所有真因数之和等于 b，且 b 的所有真因数之和等于 a。最小的亲和数对是 (220, 284)，由毕达哥拉斯发现。

如何检查两个数是否为亲和数？

分别计算两个数的真因数（所有小于该数本身的因数）并求和。如果 $s(a) = b$ 且 $s(b) = a$，且 $a \neq b$，那么 $(a, b)$ 就是一对亲和数。我们的工具会自动执行这些步骤并显示过程。

我能只输入一个数字来寻找它的亲和数伴侣吗？

可以。将第二个字段留空，工具将计算 $s(a)$ 作为候选伴侣，然后检查 $s(s(a)) = a$。如果相等，这两个数就构成亲和数对。

亲和数和完全数有什么区别？

完全数是指一个数等于其自身所有真因数之和（例如 6 = 1+2+3）。亲和数对由两个不同的数组成，其中每一个都等于另一个的真因数之和。完全数可以被视为 $a = b$ 的退化情况，但按照惯例，它们不被称为亲和数。

目前已知有多少对亲和数？

截至 2020 年代，通过协作项目已计算出超过 12 亿对亲和数。前几对是 (220, 284), (1184, 1210), (2620, 2924), (5020, 5564) 和 (6232, 6368)。目前已知最小的奇亲和数对是 (12285, 14595)。

谁发现了 (1184, 1210) 这一对？

它是由 16 岁的意大利学生尼科罗·帕格尼尼 (Niccolò Paganini) 在 1866 年发现的。尽管这是第二小的亲和数对，但包括费马、笛卡尔和欧拉在内的几个世纪的数学家都忽略了它。

亲和数检查器