质数
质数，又称素数，指在一个大于1的自然数中，除了1和此整数自身外，无法被其他自然数整除的数（也可定义为只有1和本身两个因数的数）。 比1大但不是素数的数称为合数。1和0既非素数也非合数。素数在数论中有着很重要的地位。
目录
基本介绍
相关定理
未解之谜
数目证明
著名问题
质数应用
展开
编辑本段
基本介绍
就是在所有比1大的整数中，除了1和它本身以外没有别的约数，这种整数叫做质数，质数又叫做素数。这终规只是文字上的解释而已。能不能有一个代数式，规定用字母表示的那个数为规定的任何值时，所代入的代数式的值都是质数呢?
质数的分布是没有规律的，往往让人莫名其妙。如：101、401、601、701都是质数，但上下面的301(7*43)和901(17*53)却是合数。
有人做过这样的验算：1^2+1+41=43,2^2+2+41=47,3^2+3+41=53……于是就可以有这样一个公式：设一正数为n，则n^2+n+41的值一定是一个质数。这个式子一直到n=39时，都是成立的。但n=40时，其式子就不成立了，因为40^2+40+41=1681=41*41。
被称为“17世纪最伟大的法国数学家”费尔马，也研究过质数的性质。他发现，设Fn=2^(2^n)，则当n分别等于0、1、2、3、4时，Fn分别给出3、5、17、257、65537，都是质数，由于F5太大(F5=4292967297)，他没有再往下检测就直接猜测：对于一切自然数，Fn都是质数。但是，就是在F5上出了问题!费尔马死后67年，25岁的瑞士数学家欧拉证明：F5=4292967297=641*6700417，并非质数，而是合数。 更加有趣的是，以后的Fn值，数学家再也没有找到哪个Fn值是质数，全部都是合数。目前由于平方开得较大，因而能够证明的也很少。现在数学家们取得Fn的最大值为：n=1495。这可是个超级天文数字，其位数多达10^10584位，当然它尽管非常之大，但也不是个质数。质数和费尔马开了个大玩笑!
17世纪还有位法国数学家叫梅森，他曾经做过一个猜想：2^p-1代数式，当p是质数时，2^p-1是质数。他验算出了：当p=2、3、5、7、17、19时，所得代数式的值都是质数，后来，欧拉证明p=31时，2^p-1是质数。 p=2，3，5，7时，Mp都是素数，但M11=2047=23×89不是素数。
还剩下p=67、127、257三个梅森数，由于太大，长期没有人去验证。梅森去世250年后，美国数学家科勒证明，2^67-1=193707721*761838257287，是一个合数。这是第九个梅森数。20世纪，人们先后证明：第10个梅森数是质数，第11个梅森数是合数。质数排列得这样杂乱无章，也给人们寻找质数规律造成了困难。
目前最大的已知质数是梅森质数2^43112609-1(此数字位长度是12978189，它是在2008年8月23日由GIMPS发现。迄今
为止，人类仅发现47个梅森质数。由于这种质数珍奇而迷人，它被人们称为“数学珍宝”。
人们在寻找梅森质数的同时，对它的重要性质——分布规律的研究也一直在进行着。从已发现的梅森质数来看，它在正整数中的分布时疏时密、极不规则，因此研究梅森质数的分布规律似乎比寻找新的梅森质数更为困难。英、法、德、美等国的数学家都曾经分别给出过有关梅森质数分布的猜测，但他们的猜测都以近似表达式给出，而与实际情况的接近程度均难如人意。
编辑本段
相关定理
素数定理
素数定理描述素数素数的大致分布情况。 素数的出现规律一直困惑著数学家。一个个地看，素数在正整数中的出现没有什么规律。可是总体地看，素数的个数竟然有规可循。对正实数x，定义π(x)为不大于x的素数个数。数学家找到了一些函数来估计π(x)的增长。以下是第一个这样的估计。 π(x)≈x/ln x 其中ln x为x的自然对数。上式的意思是当x趋近∞，π(x) 和x/ln x的比趋 近1（注：该结果为高斯所发现）。但这不表示它们的数值随着x增大而接近。 下面是对π(x)更好的估计： π(x)=Li (x) + O (x e^(-(ln x)^(1/2)/15)，当 x 趋近∞。 其中 Li(x) = ∫(dt/ln x2,x)，而关系式右边第二项是误差估计。
素数定理可以给出第n个素数p(n)的渐近估计：p(n)～n/ln n. 它也给出从整数中抽到素数的概率。从不大于n的自然数随机选一个，它是素数的概率大约是1/ln n。 这定理的式子於1798年法国数学家勒让德提出。1896年法国数学家哈达玛(Jacques Hadamard)和比利时数学家普森(Charles Jean de la Vallée-Poussin)先後独立给出证明。证明用到了复分析，尤其是黎曼ζ函数。 因为黎曼ζ函数与π(x)关系密切，关于黎曼ζ函数的黎曼猜想对数论很重要。一旦猜想获证，便能大大改进素数定理误差的估计。1901年瑞典数学家Helge von Koch证明出，假设黎曼猜想成立，以上关系式误差项的估计可改进为 :π(x)=Li (x) + O (x^(1/2) ln x) 至於大O项的常数则还未知道。
素数定理有些初等证明只需用数论的方法。第一个初等证明於1949年由匈牙利数学家保罗·艾狄胥（“爱尔多斯”，或“爱尔多希”）和挪威数学家阿特利·西尔伯格合作得出。 在此之前一些数学家不相信能找出不需借助艰深数学的初等证明。像英国数学家哈代便说过素数定理必须以复分析证明，显出定理结果的「深度」。他认为只用到实数不足以解决某些问题，必须引进复数来解决。这是凭感觉说出来的，觉得一些方法比别的更高等也更厉害，而素数定理的初等证明动摇了这论调。Selberg－艾狄胥的证明正好表示，看似初等的组合数学，威力
也可以很大。 但是，有必要指出的是，虽然该初等证明只用到初等的办法，其难度甚至要比用到复分析的证明远为困难。
算术基本定理
任何一个大于1的自然数N，都可以唯一分解成有限个质数的乘积 N=(P_1^a1)*(P_2^a2)......(P_n^an) , 这里P_1
算术基本定理的内容由两部分构成：分解的存在性、分解的唯一性（即若不考虑排列的顺序，正整数分解为素数乘积的方式是唯一的）。
算术基本定理是初等数论中一个基本的定理，也是许多其他定理的逻辑支撑点和出发点。
此定理可推广至更一般的交换代数和代数数论。高斯证明复整数环Z也有唯一分解定理。它也诱导了诸如唯一分解整环，欧几里得整环等等概念。 更一般的还有戴德金理想分解定理。
素数等差数列
等差数列是数列的一种。在等差数列中，任何相邻两项的差相等。该差值称为公差。类似7、37、67、97、107、137、167、197。这样由素数组成的数列叫做等差素数数列。2004年，格林和陶哲轩证明存在任意长的素数等差数列。2004年4月18日，两人宣布：他们证明了“存在任意长度的素数等差数列”，也就是说，对于任意值K，存在K个成等差级数的素数。例如 K=3，有素数序列3, 5, 7 （每两个差2）……K=10，有素数序列 199, 409, 619, 829, 1039, 1249, 1459, 1669, 1879, 2089 （每两个差210）。
已经被证明的定理
在一个大于1的数a和它的2倍之间（即区间(a, 2a]中）必存在一个素数。
存在任意长度的素数等差数列。（格林和陶哲轩，2004年）
一个偶数可以写成两个数字之和，其中每一个数字都最多祇有9个质因数。（挪威数学家布朗，1920年）
一个偶数必定可以写成一个质数 p 加上一个合成数 c ，其中 c 的因子个数有上界。（瑞尼，1948年）
一个偶数必定可以写成一个质数加上一个最多由5个因子所组成的合成数。后来，有人简称这结果为 (1 + 5) (中国潘承洞，1968年)
一个充分大偶数必定可以写成一个素数加上一个最多由2个质因子所组成的合成数。简称为 (1 + 2) (中国陈景润)
素数算法
欲求出小于x的所有素数参见素数公式
编辑本段
未解之谜
哥德巴赫猜想：是否每个大于2的偶数都可写成两个素数之和？
孪生素数猜想：孪生素数就是差为2的素数对，例如11和13。是否存在无穷多的孪生素数？
斐波那契数列内是否存在无穷多的素数？
是否存在无穷多的梅森素数？
在n2与（n+1）2之间是否每隔n就有一个素数？
是否存在无穷个形式如X
2+1素数？
黎曼猜想
编辑本段
数目证明
质数的无穷性的证明
质数的个数是无穷的。最经典的证明由欧几里得证得，在他的《几何原本》中就有记载。它使用了现在证明常用的方法：反证法。具体的证明如下：
●假设质数只有有限的n个，从小到大依次排列为p1，p2，……，pn，设 N = p1 × p2 × …… × pn，那么，N+1是素数或者不是素数。
●如果N+1为素数，则N+1要大于p1，p2，……，pn，所以它不在那些假设的素数集合中。
●如果N+1为合数，因为任何一个合数都可以分解为几个素数的积；而N和N+1的最大公约数是1，所以N+1不可能被p1，p2，……，pn整除，所以该合数分解得到的素因数肯定不在假设的素数集合中。
●因此无论该数是素数还是合数，都意味着在假设的有限个素数之外还存在着其他素数。
●对任何有限个素数的集合来说，用上述的方法永远可以得到有一个素数不在假设的素数集合中的结论。
●所以原先的假设不成立。也就是说，素数有无穷多个。
其他数学家也给出了他们自己的证明。欧拉利用黎曼函数证明了全部素数的倒数之和是发散的，恩斯特·库默的证明更为简洁，Hillel Furstenberg则用拓扑学加以了证明。
对于一定范围内的素数数目的计算
尽管整个素数是无穷的，仍然有人会问“100000以下有多少个素数?”，“一个随机的100位数多大可能是素数?”。素数定理可以回答此问题。
检验素数
检查一个正整数N是否为素数，最简单的方法就是试除法，将该数N用小于等于根号N的所有素数去试除，若均无法整除，则N为素数，参见素数判定法则。
2002年，印度人M. Agrawal、N. Kayal以及N. Saxena提出了AKS质数测试算法，证明了可以在多项式时间内检验是否为素数。
编辑本段
著名问题
哥德巴赫猜想
在1742年给欧拉的信中哥德巴赫提出了以下猜想：任一大于2的整数都可写成三个质数之和。因现今数学界已经不使用“1也是素数”这个约定，原初猜想的现代陈述为：任一大于5的整数都可写成三个质数之和。欧拉在回信中也提出另一等价版本，即任一大于2的偶数都可写成两个质数之和。今日常见的猜想陈述为欧拉的版本。把命题"任一充分大的偶数都可以表示成为一个素因子个数不超过a个的数与另一个素因子不超过b个的数之和"记作"a+b"。1966年陈景润证明了"1+2"成立，即"任一充分大的偶数都可以表示成二个素数的和，或是一个素数和一个半素数的和"。 今日常见的猜想陈述为欧拉的版本，即任一大于2的偶数都可写成两个素数之和，亦称为“强哥德巴赫猜想”或“关于偶数
的哥德巴赫猜想”。
从关于偶数的哥德巴赫猜想，可推出任一大于7的奇数都可写成三个质数之和的猜想。后者称为“弱哥德巴赫猜想”或“关于奇数的哥德巴赫猜想”。
若关于偶数的哥德巴赫猜想是对的，则关于奇数的哥德巴赫猜想也会是对的。若哥德巴赫猜想尚未完全解决，但1937年时前苏联数学家维诺格拉多夫已经证明充分大的奇质数都能写成三个质数的和，也称为“哥德巴赫-维诺格拉朵夫定理”或“三素数定理”，数学家认为弱哥德巴赫猜想已基本解决。
黎曼猜想
黎曼猜想是关于黎曼ζ函数ζ(s)的零点分布的猜想，由数学家波恩哈德·黎曼（1826--1866）于1859年提出。德国数学家希尔伯特列出23个数学问题．其中第8问题中便有黎曼假设。素数在自然数中的分布并没有简单的规律。黎曼发现素数出现的频率与黎曼ζ函数紧密相关。黎曼猜想提出：黎曼ζ函数ζ(s)非平凡零点（在此情况下是指s不为-2、-4、-6等点的值）的实数部份是1/2。即所有非平凡零点都应该位于直线1/2 + ti（“临界线”（critical line））上。t为一实数，而i为虚数的基本单位。至今尚无人给出一个令人信服的关于黎曼猜想的合理证明。
在黎曼猜想的研究中，数学家们把复平面上 Re(s)=1/2 的直线称为 critical line。 运用这一术语，黎曼猜想也可以表述为：黎曼ζ 函数的所有非平凡零点都位于 critical line 上。
黎曼猜想是黎曼在 1859 年提出的。在证明素数定理的过程中，黎曼提出了一个论断：Zeta函数的零点都在直线Res(s) = 1/2上。他在作了一番努力而未能证明后便放弃了，因为这对他证明素数定理影响不大。但这一问题至今仍然未能解决，甚至于比此假设简单的猜想也未能获证。而函数论和解析数论中的很多问题都依赖于黎曼假设。在代数数论中的广义黎曼假设更是影响深远。若能证明黎曼假设，则可带动许多问题的解决。
孪生质数猜想
1849年，波林那克提出孪生质数猜想（the conjecture of twin primes），即猜测存在无穷多对孪生质数。
猜想中的“孪生质数”是指一对质数，它们之间相差2。例如3和5，5和7，11和13，10016957和10016959等等都是孪生质数。
费马数2^(2^n)+1
被称为“17世纪最伟大的法国数学家”的费马，也研究过质数的性质。他发现，设Fn=2^(2^n)+1，则当n分别等于0、1、2、3、4时，Fn分别给出3、5、17、257、65537，都是质数，由于F5太大（F5=4294967297），他没有再往下检测就直接猜测：对于一切自然数，Fn都是质数。这便是费马数。费马死后67年，25岁的瑞士数学家欧拉证明：F5是一个合数。
以后的Fn值，数学家再也没有找到哪
个Fn值是质数，全部都是合数。目前由于平方开得较大，因而能够证明的也很少。现在数学家们取得Fn的最大值为：n=1495，其位数多达10^10584位，当然它尽管非常之大，但也不是个质数。
梅森质数
17世纪还有位法国数学家叫梅森，他曾经做过一个猜想：当2^p-1 中的p是质数时，2^p-1是质数。他验算出了：当p=2、3、5、7、17、19时，所得代数式的值都是质数，后来，欧拉证明p=31时，2^p-1是质数。 p=2，3，5，7时，2^p-1都是素数，但p=11时，所得2047=23×89却不是素数。
梅森去世250年后，美国数学家科勒证明，2^67-1=193707721×761838257287，是一个合数。这是第九个梅森数。20世纪，人们先后证明：第10个梅森数是质数，第11个梅森数是合数。质数排列得杂乱无章，也给人们寻找质数规律造成了困难。
目前最大的已知质数是梅森质数2^43112609－1（此数字位长度是12978189，它是在2008年8月23日由GIMPS发现。迄今为止，人类仅发现47个梅森质数。由于这种质数珍奇而迷人，它被人们称为“数学珍宝”。
人们在寻找梅森质数的同时，对它的重要性质——分布规律的研究也一直在进行着。从已发现的梅森质数来看，它在正整数中的分布时疏时密、极不规则，因此研究梅森质数的分布规律似乎比寻找新的梅森质数更为困难。英、法、德、美等国的数学家都曾经分别给出过有关梅森质数分布的猜测，但他们的猜测都以近似表达式给出，而与实际情况的接近程度均难如人意。
中国数学家和语言学家周海中是这方面研究的领先者——他运用联系观察法和不完全归纳法，于1992年2月首次给出了梅森质数分布的精确表达式；后来其猜测被国际上命名为“周氏猜测”。著名的《科学》杂志有一篇文章指出：这项成果是质数研究的一项重大突破。美籍挪威数论大师、菲尔茨奖和沃尔夫奖得主阿特勒·塞尔伯格认为：周氏猜测具有创新性，开创了富于启发性的新方法；其创新性还表现在揭示新的规律上。
编辑本段
质数应用
质数近来被利用在密码学上，所谓的公钥就是将想要传递的信息在编码时加入质数，编码之后传送给收信人，任何人收到此信息后，若没有此收信人所拥有的密钥，则解密的过程中（实为寻找素数的过程），将会因为找质数的过程（分解质因数）过久，使即使取得信息也会无意义。
在汽车变速箱齿轮的设计上，相邻的两个大小齿轮齿数最好设计成质数，以增加两齿轮内两个相同的齿相遇啮合次数的最小公倍数，可增强耐用度减少故障。
在害虫的生物生长周期与杀虫剂使用之间的关系上，杀虫剂的质数次数的使用也得到
了证明。实验表明，质数次数地使用杀虫剂是最合理的：都是使用在害虫繁殖的高潮期，而且害虫很难产生抗药性。
以质数形式无规律变化的导弹和鱼雷可以使敌人不易拦截。