如果要评选数学中最“委屈”的数字，1恐怕会高票当选，它明明那么重要——乘法单位元、一切数的基石，却偏偏被素数俱乐部拒之门外，每当有人问“1是素数吗”，总会有热心人回答“不是”，但紧接着追问“为什么不是？”时，许多人就支支吾吾了,我们就来彻底聊清楚这个问题。
先看定义：素数的“硬性标准”
现代数学中，素数（质数）的定义是：
一个大于1的自然数，如果除了1和它本身以外，不再有其他因数，就称为素数。
这个定义里有一个关键词——大于1，也就是说，素数必须是大于1的整数，1显然不满足这个条件，所以按定义,1不是素数。
但等等，为什么定义里要特意强调“大于1”？如果只按“只有1和它本身两个因数”这个说法，1也符合啊——因为1的因数只有1（它本身），好像也只有“两个”……不对，1只有一个因数，不是两个，所以即使不放“大于1”这个限定，1也因“只有1和它本身两个因数”中的“两个”而落选，为了防止误解，数学家干脆在定义开头直接排除1,干净利落。
为什么一定要把1排除在外？
你可能会想：把1算作素数，会怎样？难道天会塌下来吗？其实天不会塌，但数学的许多漂亮定理会变得别扭无比,我们来看两个核心原因。
保持“唯一分解定理”的简洁性
算术基本定理说：任何大于1的自然数，都可以唯一地分解成有限个素数的乘积（不考虑因子的顺序）。
- 6 = 2 × 3
- 12 = 2 × 2 × 3
- 100 = 2 × 2 × 5 × 5
如果1是素数,那么12还可以写成：
- 12 = 2 × 2 × 3 × 1
- 12 = 2 × 2 × 3 × 1 × 1
- 12 = 2 × 2 × 3 × 1 × 1 × 1……
分解式中的1可以无限乘进去，唯一性就被破坏了，为了让“每个数只有一本‘素数身份证’”,必须把1踢出去。
保护“素数个数无限”的经典证明
欧几里得证明“素数有无穷多个”时，用的是反证法：假设素数是有限的，把所有素数乘起来再加1，得到一个新数，它要么本身是素数，要么含有新的素因子,从而矛盾。
如果1算素数，这个证明会立刻出问题——因为“所有素数”就包含1，所有素数相乘”的结果就是0（任何数乘以1还是那个数，但这里若把1算进来，乘积不变），再加1，就变成了：假设素数为 {1, 2, 3, 5, ……}，则乘积为 1×2×3×5×…… = 2×3×5×……，加1后确实可能产生新素数，但整套逻辑会变得混乱且不直观，更重要的是，素数本身应当构成一个“不可再分”的原子集合，而1作为乘法单位元，是可忽略的“冗余项”，它一旦混入，许多数论公式中的“素数乘积”就必须写上“×1”,毫无意义。
历史上有过“1是素数”的时代吗？
有，在数学史上,人们对素数的认识是逐步演进的。
-
古希腊：欧几里得在《几何原本》中定义素数时，并没有强调“大于1”，但他在实际讨论中，把1当作“数的单位”，而不是“数”，希腊人认为“数”是多个单位（即1）的集合，所以1本身不是数，自然也不是素数，这算是一种“哲学上的排除”。
-
中世纪到近代：有些数学家为了方便，曾把1列入素数表，比如14世纪的一些算数书，甚至19世纪仍有数学家（如某些教科书）把1视为素数，但后来，随着数论的发展，尤其是算术基本定理的地位确立后，数学界逐渐达成共识：1不是素数，也不是合数，它只是一个特殊的单位数。
-
20世纪至今：所有现代数学教材都采用“大于1”这个条件，1被彻底排除在素数之外，现在如果你说“1是素数”，数学老师会摇摇头，但也会补一句：“你发现了历史上曾有过的定义争议，这很好。”
1不是素数，那它是什么？
在自然数的分类中，1既不是素数，也不是合数（合数指大于1且除了1和自身外还有其他因数的数）,那它属于哪一类？
答案是：它是 乘法单位元（也叫单位数），在整数中，乘法单位元只有两个：1 和 -1，而在正整数中,1是唯一的乘法单位元。
这个“单位元”身份，在更高级的抽象代数中非常重要，比如在环论中，可逆元素叫“单位”，素数被推广为“不可约元素”和“素元”，而单位（如1）是生成理想时的“无足轻重”的元素，可以说，1的角色不是“小素数”，而是“比素数更高阶的基石”——它定义了乘法的恒等性质。
常见误解与趣味延伸
误区1：“1有两个因数：1和它本身”——错！
1的因数只有1这一个，不存在“两个”，因为“它本身”和“1”是同一个数，不能重复计算，所以连“两个因数”这条都不满足。
误区2：“能被1和它本身整除的数就是素数”——对，但要先满足“大于1”。
比如2能被1和2整除，3能被1和3整除，但1“能被1和1整除”，这只算一个除数,所以这个口诀对1失效。
趣味延伸：如果改变定义，1可以是素数吗？
在某些特殊领域，比如群上的质数概念，或者为了某些算法方便，有人会“临时”把1当作素数，但这是“定义定制”，不是标准数学，标准数学中，1不是素数，就像0不是自然数一样（注：有些教材把0算自然数，但素数定义明确限制大于1，不受此争论影响）。
为什么这个问题值得认真回答？
“1是素数吗”这个问题，看似简单，却像一面镜子，照出了数学定义背后的严谨性，它提醒我们：数学概念不是随意定的，而是为了让整个体系更和谐、更优雅，如果1是素数，那么许多定理需要加无数个“除1以外”的补充说明；而把1请出去,整个数论的大厦便井井有条。
下次有人再问“1是素数吗”,你可以自信地回答：
“不是，因为1连‘大于1’的条件都不满足，而且如果它是素数，算术基本定理就要连夜改版了。”
你可以笑着补一句：“它比素数更特殊——它是所有数字的‘乘法地基’，没有它，整个数字大厦都会晃动。”