质数（Prime Number），又称素数，是指在大于1的自然数中，除了1和它本身以外不再有其他因数的数。换句话说，质数只能被1和自身整除。

例如：2、3、5、7、11、13、17、19、23、29 等都是质数。

与之相对的是合数，即除了1和自身外还有其他因数的数，例如4（因数：1, 2, 4）、6（因数：1, 2, 3, 6）、9（因数：1, 3, 9）。

注意：1既不是质数也不是合数，它是单位数。

1不是质数。根据质数的定义，质数必须大于1。1只有一个因数（它本身），不符合质数"恰好有两个不同因数"的定义。

最小的质数是2，它也是唯一的偶数质数。所有其他偶数都能被2整除，因此都是合数。

这一特性使得2在质数中非常特殊——它是质数世界中唯一的"偶数成员"。

质数是现代密码学的基石，尤其在RSA加密算法中扮演核心角色：

• RSA算法利用两个大质数相乘很容易，但将乘积分解回两个质数却极其困难这一数学特性。
• 目前广泛使用的2048位或4096位RSA密钥，其安全性依赖于大数质因数分解的计算难度。
• 质数还应用于Diffie-Hellman密钥交换、椭圆曲线密码学（ECC）等领域。
• 您在网上银行、在线购物时的HTTPS加密连接，背后都有质数在保护您的数据安全。

可以说，没有质数，就没有现代互联网安全。

判断质数的常用方法：

1. 试除法（最基础）：用从2到√n的所有整数去除n，如果都不能整除，则n是质数。对于大数较慢。
2. 优化试除法：先检查2和3，然后只检查6k±1形式的数（即跳过2和3的倍数），效率提升约3倍。
3. Miller-Rabin概率检测：用于超大数字的快速检测，通过多轮测试可将错误率降至极低。
4. AKS算法：第一个被证明是多项式时间的确定性质数检测算法，但实际应用中较慢。

本工具使用优化的6k±1试除法，并支持BigInt处理超大整数，兼顾速度与准确性。

截至2024年，已知最大的质数是2^82,589,933 − 1（即2的82,589,933次方减1），这是一个梅森质数，共有24,862,048位数字。

这个质数由GIMPS（Great Internet Mersenne Prime Search，全球互联网梅森质数搜索项目）于2018年12月发现。

关于梅森质数：

• 形如 2^p − 1（其中p也是质数）的质数称为梅森质数。
• 目前仅发现51个梅森质数。
• 寻找大质数是测试计算机性能和推动数论研究的重要方式。

如果您想参与发现下一个破纪录的质数，可以加入GIMPS项目！

质数是无限的。这个结论早在古希腊时期就被欧几里得用反证法优雅地证明了：假设质数有限，将它们全部相乘再加1，得到的新数要么是质数（矛盾），要么有新的质因数（也矛盾），因此质数必须无限。

孪生质数是指相差为2的一对质数，例如：

• (3, 5)、(5, 7)、(11, 13)、(17, 19)、(29, 31)、(41, 43)……
• 目前已知的最大孪生质数对非常大，各有数十万位数字。
• 孪生质数猜想（是否存在无限多对孪生质数）至今未被证明，是数论中最著名的未解问题之一。

2013年，数学家张益唐在这一领域取得了突破性进展，证明了存在无限多对相差小于7000万的质数。

质数在自然界中有着令人惊叹的体现：

• 蝉的生命周期：北美周期蝉（Magicicada）的生命周期为13年或17年——都是质数。科学家认为这种质数周期有助于避免与天敌的生命周期同步。
• 向日葵的种子排列：向日葵种子的螺旋数量通常是斐波那契数列中的数，而这些数往往互质，展现了质数在植物形态发生中的作用。
• DNA序列：一些研究表明，某些生物的DNA编码区域中存在质数相关的模式。

质数不仅是数学中的抽象概念，它们深深嵌入自然界的结构中。