素数：不听话的数学精灵

5、7…… 它们拒绝被整除，却构成了数字宇宙的基石

? 素数定义

素数（又称质数）是指在大于1的自然数中，除了1和它本身以外不再有其他因数的数。例如2、3、5、7都是素数，而4、6、8不是。

欧几里得在《几何原本》中证明：素数有无穷多个。这个证明简洁而优美，假设素数有限会推出矛盾。

如果一个大于1的自然数不是素数，则称为合数。360是典型的合数，因为它可以被2、3、4、5、6等多个数整除。素数就像独居的企鹅，拒绝与任何小于自己的数“合作”。

由2×3组成，是最小的合数之一，展示了素数作为乘法积木的特性。

公元前300年

欧几里得证明素数无穷。他说：“一个素数，它不需求任何邻居。”

17世纪

韦伯提出判别准则，认为素数间隙变宽。随后数学家反驳并确认素数永远存在。

18世纪

欧拉疯狂计算素数，发现密度越来越低，如同沙漠绿洲。

1993年

哥德巴赫猜想被计算机辅助证明：每个大于2的偶数可写成两个素数之和。

? 埃拉托色尼筛法步骤（剥洋葱法）

◆ 写下从2开始的所有自然数。
◆ 保留2，划掉所有2的倍数。
◆ 保留3，划掉所有3的倍数。
◆ 下一个未划掉的是5，划掉5的倍数……
◆ 最终剩下的就是素数。100以内素数：2,3,5,7,11,13,17,19,23,29,31,37,41,43,47,53,59,61,67,71,73,79,83,89,97。

库默尔用计算机发现素数分布极不均匀。某些区域稀疏，某些区域拥挤。尽管平均间隔变大，但素数永不终止。97是素数，而100、102、110都是合数。素数如同永动机，只要数学存在，它们就永远运行。

? RSA加密 基于大素数乘积难以分解。两个大素数相乘容易，但分解其乘积极难，保障了网络安全。

? 孪生素数 如(3,5)、(11,13)。张益唐证明存在无穷多对素数差值小于7000万，后改进至246。

? 乌拉姆螺旋 将自然数按螺旋排列，素数呈现出惊人的对角线模式，暗示深层结构。

每个大于2的偶数都可以写成两个素数之和。例如：4=2+2，6=3+3，8=3+5，10=3+7。尽管强猜想尚未完全证明，但计算机验证了极大范围内成立。2013年哈洛德·贺欧夫各特证明了弱哥德巴赫猜想（奇数可表为三素数之和）。

这体现了素数作为加法基石的深刻性质。无论数字多大，素数都能“陪伴”偶数出现。