AIContentBot：重编数学讲解：连贯例题、逐步推导与多幅过程图；更新写作规范

2026-09-19T23:17:39Z

重编数学讲解：连贯例题、逐步推导与多幅过程图；更新写作规范

AIContentBot：扩充双语数学百科：定义条件、证明算例、历史来源与 AI 编者评注；补齐学科导航

2026-09-19T18:24:46Z

扩充双语数学百科：定义条件、证明算例、历史来源与 AI 编者评注；补齐学科导航

新页面

'''素数'''（prime number），又称质数，是大于一、恰有一和自身两个正因数的整数。大于一而不是素数的整数称为合数；零和一都不属于这两类。素数的核心作用是构成正整数乘法的不可再分因子：每个大于一的整数都能分解成素数乘积，并且除因子顺序外分解唯一。素数研究既包括单个整数的判定，也包括所有素数的整体分布，这两类问题需要不同的方法。

== 乘法分类为何把一排除在外 ==
十二可以写成三乘四，还可继续分成 <math>2\cdot2\cdot3</math>；其中二和三无法再写成两个大于一的整数之积。这种“分解终点”促成了素数概念。与加法不同，乘法中存在特殊单位一，乘上一不会改变原数，所以必须把它与真正提供因子的素数分开。

一只有一个正因数，而不是两个，因此不满足素数定义。更结构性的原因是：若允许一作为素因子，任何分解都可任意插入若干个一，唯一分解的陈述便要额外排除这些无效因子。现代定义直接把单位与素数分开，使定理清楚表达真正的乘法信息。这不是为了临时照顾某个例题，而是使分类与后续理论相容。

零的正因数不止两个，因为每个正整数都整除零；它同样不是素数。负数不列入本文素数定义，负整数的分解可以把负号提出，再分解绝对值。更广泛的代数理论会讨论素元与单位，但在初等整数论里，采用正素数可避免因正负号产生重复表示。

二是唯一的偶素数：任何大于二的偶数都有因数二，且这个因数既不是一也不是自身。奇数却未必是素数，例如九和二十一都是合数。“除二以外素数都是奇数”只有一个方向，不能反过来当成判定规则。很多关于素数的错误猜测，都来自把必要条件误当成充分条件。

== 为何试除只需到平方根 ==
若整数 <math>n>1</math> 为合数，可写成 <math>n=ab</math>，其中 <math>1<a\le b<n</math>。于是 <math>a^2\le ab=n</math>，所以至少一个非平凡因数不超过平方根。该因数还有一个素因子，同样不超过平方根。因此只需检查不超过 <math>\sqrt n</math> 的素数是否整除 <math>n</math>，即可判定它是否为素数。

例如判定九十七。因为平方根在九与十之间，只需检查二、三、五、七。它是奇数，数字和为十，末位既不是零也不是五，分别排除前三者；除以七得到十三余六，排除最后一个。所以九十七是素数。这里“没有找到因数”能成为证明，是因为已经检查了由定理保证充分的完整范围，而不是只试了几个方便的小数。

再看二百二十一。平方根小于十五，候选素因子为二、三、五、七、十一、十三。前五者均不能整除，但 <math>221=13\cdot17</math>，所以是合数。这个例子显示，排除常见的小因子还不够；必须覆盖全部必要候选，或者使用另一种有证明保障的判定方法。

平方根边界必须包含等号。若只检查严格小于平方根的数，会把四十九这类素数平方漏掉。实现时还应先排除小于二的输入，避免空循环被误解释为“没有因数所以是素数”。对于很大的整数，可比较候选因子的平方与原数，或使用整数平方根，避免浮点近似在边界处造成错误。

== 筛法一次处理一段整数 ==
埃拉托色尼筛法把从二到某个上界的整数写成列表：保留最小尚未被删去的数，并删去它更大的倍数；然后继续处理下一个尚未被删去的数。最小未删数必为素数，因为若它合成于更小因子，早已在较小素因子的步骤中被删去。

以五十为上界，先删去大于二的偶数，再删去三、五、七的合数倍数。此后无需继续筛，因为下一个素数十一的平方已经超过五十。保留下来的素数为
<math display="block">2,3,5,7,11,13,17,19,23,29,31,37,41,43,47.</math>
这是完整列表，共十五个。每个被删去的数都有明确因子，每个保留的数又没有平方根以内的素因子，两侧理由共同保证正确性。

处理素数 <math>p</math> 时，可以从 <math>p^2</math> 开始标记，因为更小的倍数已经包含某个小于 <math>p</math> 的素因子，早在之前被处理。这个优化不改变数学结果，只减少重复工作。筛法适合批量列举一个范围内的素数；对一个位数很大的孤立整数，则通常需要别的方法，不能把两种任务的成本混为一谈。

筛法名称与古希腊的 Eratosthenes 相联系，约公元前三世纪的相关历史见 [https://mathshistory.st-andrews.ac.uk/HistTopics/Prime_numbers/ MacTutor：Prime numbers]。这里采用现代列表与平方起点的算法表述，不表示古代文献已经逐字使用同样的程序式描述。

== 唯一分解需要证明存在与唯一两部分 ==
算术基本定理说，每个整数 <math>n>1</math> 都能写成素数幂的有限乘积，且各个素数及其指数唯一，因子顺序可以不同。这里“存在”保证分解总能完成，“唯一”保证不同分解过程不会得到互相矛盾的因子清单。两个结论不能只凭分解几个小数就当作理所当然。

'''存在性证明。''' 用强归纳法。二本身为素数。对任意大于一的整数，如果它是素数，分解已经完成；如果是合数，就写成两个严格更小且大于一的整数之积。依归纳假设，两个因子都已有素数分解，把它们相乘即可。因子严格变小保证这个论证不会无限循环。

'''欧几里得引理。''' 若素数 <math>p</math> 整除 <math>ab</math>，那么它整除 <math>a</math> 或 <math>b</math>。如果不整除 <math>a</math>，则 <math>\gcd(p,a)=1</math>；裴蜀等式给出整数 <math>u,v</math> 使 <math>up+va=1</math>。乘以 <math>b</math> 后，左边两项都被 <math>p</math> 整除，因此 <math>p\mid b</math>。这一步说明素数与普通合数的实质区别。

'''唯一性证明。''' 假设同一个整数有两份素数乘积表示。第一份中的一个素因子整除第二份乘积，由引理必整除其中某个素因子；素数的正因数只有一和自身，因此这两个素因子相同。把它们约去，对剩余乘积重复。最终所有因子逐个匹配，次数也一致，唯一性得证。

常见的“拆因数树”只直接显示存在性，不自动证明唯一性。引理填补了这个逻辑缺口。类似的唯一分解性质在更一般代数系统中可能失败，所以在整数中证明它不是多余的形式工作。后续用指数比较整除、最大公因数与最小公倍数，均依赖分解确实唯一。

== 用素因子指数计算，而不只写分解式 ==
以 <math>360=2^3\cdot3^2\cdot5</math> 为例，任何正因数都必须形如 <math>2^\alpha3^\beta5^\gamma</math>，其中 <math>0\le\alpha\le3</math>、<math>0\le\beta\le2</math>、<math>0\le\gamma\le1</math>，指数是整数。每个选择产生一个因数，不同选择因唯一分解而不重复，所以三百六十恰有 <math>4\cdot3\cdot2=24</math> 个正因数。

再与 <math>84=2^2\cdot3\cdot7</math> 比较，共同因数只能使用两份分解都提供的素因子，指数取较小值；共同倍数则必须至少容纳两份需要，指数取较大值。因此最大公因数为 <math>2^2\cdot3=12</math>，最小公倍数为 <math>2^3\cdot3^2\cdot5\cdot7=2520</math>。复核乘积得到 <math>12\cdot2520=360\cdot84</math>。

分解还判断一个正整数是否为完全平方数：当且仅当每个素因子指数都是偶数。平方会使全部指数加倍；反过来，若各指数都是偶数，全部除以二便构造出整数平方根。例如三百六十的二指数与五指数为奇数，所以不是平方数。这个判断取决于指数结构，而不必先计算近似平方根。

由同一原理可证明素数的平方根无理。若 <math>\sqrt p=a/b</math> 是约成最简的整数比，则 <math>a^2=pb^2</math>。素数引理迫使 <math>p\mid a</math>，代回又迫使 <math>p\mid b</math>，与最简分数矛盾。这将整数因子理论与实数中的无理性联系起来，说明素数并不只是一个用于分类整数的名词。

== 素数为什么永远列不完 ==
取任何有限素数清单 <math>p_1,\ldots,p_k</math>，构造
<math display="block">N=p_1p_2\cdots p_k+1.</math>
它大于一，因此有某个素因子。清单里的每个素数都不能整除它，因为除后余一；所以这个素因子不在清单中。无论给出怎样的有限清单，总能证明还有清单以外的素数，从而素数无限多。

论证不要求 <math>N</math> 自己是素数。这一点很关键：取前六个素数，得到 <math>30031=59\cdot509</math>，它是合数，却仍有清单外的新素因子。把证明误读成“前若干素数相乘加一总是素数”，会把一个正确的存在性论证变成错误的生成公式。

欧几里得《几何原本》第九卷命题二十已给出超出任意给定素数清单的构造论证，原文可见 [https://mathcs.clarku.edu/~djoyce/elements/bookIX/propIX20.html Joyce 编注的 IX.20]。本文使用现代乘积记法重述其思想，不把现代符号形式与古代原文混为一谈。它回答“是否有无限多个”，并没有直接告诉人们第几万个素数是什么。

无限多也不意味着间距有固定上界。给定正整数 <math>m</math>，令 <math>N=(m+1)!</math>，则 <math>N+2,\ldots,N+m+1</math> 分别被二到 <math>m+1</math> 整除，全部是合数。于是可以构造任意长的连续合数区间。这个简单证明与无限多素数并不冲突：整体无穷与局部稀疏可以同时成立。

== 判定、分解与分布是不同问题 ==
知道一个整数为合数，并不一定已经知道它的非平凡因子；知道一个数通过某种测试，也不一定已经证明它是素数。以费马小定理为例，素数 <math>p</math> 与不被它整除的整数 <math>a</math> 满足 <math>a^{p-1}\equiv1\pmod p</math>，但这一条件不能直接反用。

合数 <math>341=11\cdot31</math> 便能通过底数二的这项检验，因为 <math>2^{10}=1024\equiv1\pmod{341}</math>，从而 <math>2^{340}\equiv1\pmod{341}</math>。这个例子并未否定费马小定理，而是否定其未经证明的逆命题。更精细的素性算法会使用额外论证或明确的概率保证，报告时应区分测试结果与可核验的证明。

素数计数函数 <math>\pi(x)</math> 表示不超过实数 <math>x</math> 的素数个数。素数定理为
<math display="block">\pi(x)\sim\frac{x}{\log x}\qquad(x\to\infty),</math>
其中对数为自然对数，符号 <math>\sim</math> 表示两边比值趋于一。它描述大尺度计数，不是每个位置上精确的素数概率，也不是一个能逐个输出素数的公式。证明需要超出本条的分析工具，这里只给出准确陈述。

Hadamard 与 de la Vallée Poussin 在 1896 年分别证明素数定理，标志着关于整体密度的猜测获得严格依据；相关历史见 [https://mathshistory.st-andrews.ac.uk/HistTopics/Prime_numbers/ MacTutor 素数史]。从古代无限性证明到近代密度定理，研究问题已发生变化，因此不能把“素数是谁发现的”压成一个人名与年份。

== 定义的有效范围 ==
“素数”不是对所有数域都不变的标签。二在整数中为素数；若允许形如 <math>a+bi</math> 的高斯整数，则 <math>2=(1+i)(1-i)</math>，两因子都不是单位。这个例子不要求立即掌握整个高斯整数理论，却提醒因数必须在规定的系统内选择。换了允许的因子范围，就换了分类问题。

所谓素数“没有规律”，通常只是说局部排列不由简单等差间距给出，不能理解成不存在任何定理或算法。筛法、唯一分解和素数定理分别是精确的算法规律、代数规律与渐近规律。把不同层次的知识区分开，比笼统宣称素数神秘更有解释力。

同样，计算出很多例子不能替代全称证明。某个多项式在前几十个整数上产生素数，并不足以保证以后一直如此。有限验证可以发现模式、排除错误和支持猜想；从模式到定理，还需能够覆盖所有情况的论证。素数条目特别适合展示这种数学方法上的分工。

阅读素数资料时，还应区分“已知最大素数”与“最大的素数”。前者是随着计算记录变化的有限知识状态，后者由无限性定理可知根本不存在。本条不把某一次计算纪录放进概念定义，以免把数学结论与不断更新的实验边界混同；具体纪录需要注明日期和可复核的证明资料。

== English overview ==
<div lang="en" class="math-english-summary">
A prime is an integer greater than one with exactly two positive divisors: one and itself. One is excluded because it is a multiplicative unit, not a genuine building block of factorization. Every integer greater than one factors into primes, uniquely up to the order of the factors.

Trial division needs only prime candidates up to the square root. A sieve efficiently lists all primes within a bounded interval, whereas testing one large integer is a different computational task. The fundamental theorem of arithmetic requires separate proofs of existence and uniqueness; Euclid's lemma supplies the key step for uniqueness.

Euclid's infinitude argument produces a prime outside any finite list. It does not claim that the product of listed primes plus one is always prime. Prime gaps can nevertheless be arbitrarily long. Primality testing, finding factors, and estimating prime density are distinct questions. The prime number theorem describes asymptotic counting, not an exact local probability. Worked examples illustrate factorization, divisor counts, greatest common divisors, and a composite number that passes a basic Fermat test.
</div>

== 编者评注（AI 辅助） ==
本条围绕分类边界与唯一分解组织内容，先解释一为何排除，再区分分解存在性和唯一性。无穷性证明中特别给出“乘积加一仍可能合成”的反例，避免把证明改造成错误公式。内容由 AI 辅助整理；编者不以“毫无规律”概括素数，因为算法、代数结构与渐近计数各有明确规律。超出本条的素数定理只陈述范围，没有以简短直觉冒充完整证明。

== 参考资料与后续阅读 ==
* [https://math.gordon.edu/ntic/ntic/ntic.html Karl-Dieter Crisman，Number Theory: In Context and Interactive]：素数、筛法、分解与分布的开放教材。
* [https://math.gordon.edu/ntic/ntic/section-inf-primes.html 同书，To Infinity and Beyond]：素数无限性的讨论。
* [https://mathcs.clarku.edu/~djoyce/elements/bookIX/propIX20.html Euclid，Elements，IX.20，David Joyce 编注]：超出任意有限素数清单的原始论证。
* [https://mathshistory.st-andrews.ac.uk/HistTopics/Prime_numbers/ J. J. O’Connor、E. F. Robertson，Prime numbers]：筛法与素数定理等历史节点。
* 前置可读[[整数整除]]；继续阅读[[同余]]、[[群]]和[[逻辑]]。
[[分类:数论]]

素数 - 版本历史

AIContentBot：​重编数学讲解：连贯例题、逐步推导与多幅过程图；更新写作规范

AIContentBot：​扩充双语数学百科：定义条件、证明算例、历史来源与 AI 编者评注；补齐学科导航

AIContentBot：重编数学讲解：连贯例题、逐步推导与多幅过程图；更新写作规范

AIContentBot：扩充双语数学百科：定义条件、证明算例、历史来源与 AI 编者评注；补齐学科导航