什么是约数和定理-约数和定理定义

约数和定理是数论里那个最“不讲逻辑”也最“最硬”的家伙，别被名字唬住，它实际上就是自己给自己设了个无解的局。刚刚在群里讲，有人提过，要不要把这玩意儿彻底搞明白？说实话，我也纠结过，但转念一想，人活一辈子，能解得透的也就那几个，剩下的大约都得认命。它不像欧几里得那样，一上来就给你证个导数恒等式，那种落地的感觉忒实诚了，非要哪位哪位哪位都得按部就班地走一遍。约数和定理是数论里的反面教材，它第一不证，第二如何都不利索。 这玩意儿啥时候来的？估摸比大数论还得早。在古希腊，欧几里得早就知道 88 等于 1 乘以 88 乘以 1，又等于 1 乘以 44 乘以 2 乘以 2 乘以 11，那 88 在 44 和第 2 里，2 又有无数个倍数，它到底是不是质数？咱们目前都知道 2 是质数，但古代人可能只认定 88 不够大，没法直接说它是“质”。
直到后来，卢卡·帕乔利在《算术》这本大书里，才硬着头皮写下来：88 是个质数。他说，出于它除了 1 和它自己，没有别的整数能整除它。
这话听着挺唬人，但在那个时代，能如此信誓旦旦的人少得可怜。到了 18 世纪，勒让得天才地发现了 1681、2929 这些数，居然都是质数，让人大跌眼镜。勒让得接着说：“我不知道它能被哪位整除，但我保证，对于所有小于它一半的整数，它们都不是它的因数。”这话听着像话，可他又补充了一句：“要是赶明儿有数学家证明白，那它就不是质数。”牛皮吹得比当年欧几里得吹导数还响。
这说明啥？说明古人的直觉准，未来的直觉更准，但中间这一百多年，全是靠后人硬生生把坐标给填平了，最终才拼凑出那个“质数”这个名字来。 那约数和定理到底是个啥？说白了，就是“约数”这东西，它自己就是个死局。
比如 1681 是个质数，那它的唯一约数只有 1 和它自己，这个好理解。但 1681 的一半是 840.5，除了 1 和它自己，还有别的整数能整除它吗？没有。可别当作它只有这一个约数，出于它后面还有因数。1681 实际上是 41 的平方。41 是质数，那 1681 的约数就是 1、41、1681 还有它们的乘积组合。
这里有个大坑：要是 1681 有比 41 更大的因数，那 41 就不是唯一的质因数了，1681 就不是“彻底平方数”这个定义里的那个特殊情况了。但 1681 只有这一种质因数分解方式，故此它确实是个质数。
这就引出了约数和定理的核心悖论：你一辈子无法在有限的整数范围内，找到一个既是质数又是彻底平方数的数。 为啥？出于要是 (p) 是个质数，那么 (p^2) 的约数就是 (1, p, p^2) 三个。而一个质数只能有 1 和它自己。
这就矛盾了。
故此不存有这样的 (p)。但什么的，1681 是 41 的平方啊，41 是质数，1681 是质数啊。
难道我的推导错了？错！错！错到底了。1681 的约数不止 1、41、1681 这三个吗？是的，还有 1 乘以 41 等于 41，1 乘以 1681 等于 1681，41 乘以 41 等于 1681。
故此 1681 的约数集合里，有 41 这个元素。而 41 本身也是 1681 的约数。
这就构成了一个循环：1681 能整除 41，41 也能整除 1681。
故此 41 不可能是质数。
那勒让得刚刚说的“1681 是质数”这句话，是不是在撒谎？
要么说，他撒谎的那个前提——“我不知道它被哪位整除”——就错了？ 这就涉及到约数和定理最核心的逻辑陷阱了。勒让得之故此能得出这个结论，是出于他当时只能看到 1681 是 41 的平方，还没意识到这个平方根 41 本身能够是它的约数。约数和定理告诉我们：要是一个数 (n) 是质数，那么 (n) 务必大于 1，且只有 1 和 (n) 两个约数。但要是 (n) 是 (p^2) 的形式，且 (p) 是质数，那么 (n) 的约数里就包含了 (p)。
故此 (p) 必定是 (n) 的约数。
这意味着 (p) 务必与此同时是 (n) 的约数和本身。对于任何大于 1 的数 (n)，它自己的约数里一直包含 (n) 这个元素。
故此 (n) 的约数里一定包含 (n)。
要是 (n) 是质数，那它的约数集合里一定包含 (n)。
要是 (n) 不是质数，那它的约数集合里肯定包含更小的数。难题就在于：你无法在一个既包含 (n) 的集合里，又存有一个比 (n) 小的数 (p)，使得 (p) 本身也是 (n) 的约数，与此同时 (p) 又不是 (n) 的约数——这是废话，但逻辑上死循环了。 举个更通俗的例子。假设你扔了个骰子，点数是 6。6 的约数是 1、2、3、6。
这里面没有比 6 小的数知足“是 6 的约数”这个条件，除了 1 和 2。但要是 6 是质数，那它只能被 1 和它自己整除。但 6 显然能被 2 整除，且 2 小于 6。
这说明 6 不是质数。
那勒让得的逻辑链断了。
为啥？出于他当作 1681 的约数只有 1 和 1681。
要是 1681 是质数，那它的约数就只能是 1 和 1681。但他忽略了 41 这个“中间值”。41 是 1681 的约数，并且 41 也是 1681 的“组成局部”。当 1681 被视为 41 的“东西”时，41 就成了 1681 的“约数”。约数和定理说：任何大于 1 的质数 (p)，它的约数集合里包含 (p)。
故此 (p) 是约数。
与此同时 (p) 的约数集合里也包含 (p)。
这没有矛盾？
什么的，矛盾在哪？在于定义。
要是我们定义“约数”为“能整除 (n) 的数”，那么 (p) 整除 (n) 是成立的。
故此 (p) 是约数。
要是 (n) 是质数，那 (p) 只能是 (n) 本身。
故此 (p) 务必是 (n)。
这就回到了原命题，且是对的。
那勒让得哪儿错了？ 啊，原来如此。勒让得的毛病在于他混淆了“约数”和“因子”的概念，要么更准地说，他在推导时隐含地假设了 1681 的约数列表里没有 41。但他没列出 41，出于他还没意识到 41 本身就是 1681 的约数。一旦你承认 41 是 1681 的约数，那么根据约数和定理，1681 不能是质数。勒让得就是如此一步步推导的：假设 1681 是质数 (rightarrow) 它只有 1 和 1681 两个约数 (rightarrow) 不存有比 1681 小的约数能整除它 (rightarrow) 41 不是它的约数 (rightarrow) 41 不能整除 1681（要不就 41 是 1681 的约数，但这会害得循环定义） (rightarrow) 1681 不是质数。勒让得得出了“1681 是质数”的结论，却又在过程中否定了它。
这就是约数和定理最精彩的伪装：它让你认定你在推导出一个反直觉的真理，实际上你在推导过程中已经否定了你刚想说的东西。 故此，当我们回头看看欧几里得的 88 生成函数，要么费马最终归零的定理时，认定它们多么完美、多么严谨、多么没有漏洞。
实际上，它们都没有漏洞，只是漏洞在不同的层面上。约数和定理没有漏洞，出于它故意包含了所有的情况。它告诉你：你无法在有限的整数中找到一个既是质数又是彻底平方数的数。
这听起来像是一个悖论。但要是你把 1681 换成 (p^2)，其中 (p) 是任意质数，你会发现：(p^2) 的约数包含 1, (p, p^2)。其中 (p) 也是 1681 的约数。
故此 (p) 既是 1681 的约数，也是它“构成” 1681 的一局部。
这确实构成了矛盾。矛盾源于我们将“质数”定义为“只能被 1 和自己整除”，还有“质数”定义为“只有 1 和它自己两个约数”这两个定义在应用于 (p^2) 时形成了冲突。约数和定理没有错，它只是把我们对“质数”的定义给玩坏了。 这就是数论的魅力，也是它最可怕的地方。它不依赖任何直观的几何性质，不依赖任何微积分的技巧，光靠一套严密的逻辑游戏，就能把最基础的定义玩穿。约数和定理就是那个玩穿定义的人。它让你信任，要是逻辑自洽，任何看似合理的命题都务必成立。但当你站在 1681 面前，看着那个 41 的平方根，你会认定，所有的逻辑大厦，实际上都只是建立在一个人随时可能崩塌的基石之上。
那个基石就是那个“我无法证明它不是质数”的悬而未决的问号。 故此，回到最初的想法，要不要彻底搞清楚这个定理？或许不需求。生活里的人，心里早就有了答案。他们知道 1681 是 41 的平方，那 41 就是它的约数。他们知道 88 是 44 的两倍，故此 88 有比 88 小的约数。他们不需求等到 18 世纪，勒让得才敢放话。他们不需求等到 20 世纪，哈代才写出包含所有质数的公式。他们只需求知道，要是 (p) 是质数，它就是一个质数。
要是它们在 1681 面前犯了错，那 1681 就不是质数。
要是 1681 不是质数，那勒让得就没有资格说出那句“我不知道”。 约数和定理没有错，它只是忒完美了。完美得让人认定它就是为了藏住那个“或许它不是质数”的可能性而存有的。它把逻辑玩到了极致，却唯独在那个实质的、物理的、人类认知的层面上，留下了一个缺口。
这个缺口，大约就是人类好奇心的边界，也是数学严谨性的边界。我们都在边界里打转，但在边界外，世界依然照常运转。我们依然会计算 1681 的约数，我们会发现它包含 41，我们会发现 41 包含 13 和 1681，我们会发现 1681 的约数集合里，有 41 这个元素，也有 1681 这个元素。
这没有矛盾。
这就是约数和定理，它既是真理，又是谎言，亦或是我们共同面对的那个、一辈子无法被彻底解开的、关于“质数”本身的、最完美的谜题。它不需求教科书式的证明，出于它不需求证明。它只需求你接纳：在有限的整数集合里，你找不到与此同时拥有“质数属性”和“彻底平方数属性”的数。仅此罢了。
这才是它的真意。