实验五素数.doc

实验五 素数 实验目的 本实验通过对素数的判别、求解、生成素数的公式及素数的分布等问题的基本认识，激发学生对数论中研究课题的兴趣，并体会探索数学奥妙的艰巨性. 二、实验环境 基于Windows环境下的Mathematica7.0软件。 实验的基本理论和方法 如果一个大于1的自然数只能被1及他本身整除，则称该数为素数. 否则称为合数(1即不是素数也不是合数)。远在古希腊时代，欧几里得就证明了每一个合数都可以分解为若干个素数的乘积，并且在不计较素数的排列顺序时这种分解是唯一的，这就是所谓的基本算术定理。算数基本定理表明，素数是构造自然数的基石，正如物质的基本粒子一样。正是由于素数如此重要的地位才使得一代又一代数学家努力地探寻素数的规律。 Mathematica系统提供了两个常用的与素数有关的函数： ?????Prime[n] 返回从第一个素数2数起的第n个素数. ?????PrimeQ[n] 判断自然数n是否为素数，是则返回True，否则返回False. 在某一充分大的自然数以后素数依然是存在的。欧几里得时代就已证明了这一结论，假设素数只有有限个，按从小到大的顺序排列为，令，则N不被中任何一个整除。因而，N要么是素数，要么有比大的素因子，这与为最大素数相矛盾。 最早人们是如何寻找素数呢？2000多年前，希腊学者埃拉托色尼(Eratosthenes 公元前约284-192年)给出了一个寻找素数的简便方法—筛法：将自然数列从2开始按顺序排列至某一整数N，注意到2是一个素数，划去后面所有2的倍数（不包括2），第一个没有被划去的数是3，它是第二个素数，接下来再划掉所有3的倍数，3之后没有被划去的数是5，然后再划掉除5外所有5的倍数，以此类推. 显然，划掉的都是较小整数的倍数，它们都不是素数，都被筛掉了. 而素数永远不会被筛掉，它们就是要寻找的不超过N的所有素数. 筛法是用乘法寻找素数，实际上也可以用除法判别一个数是否是素数。而且，用除法的效率可能会更高。假设我们已经找到了前n个素数，为了寻找下一个素数，我们从开始依次检验每一个整数N，看N能否被某个整除。如果N能被前面的某个素数整除，则N为合数。否则N即为下一个素数，实际上，为了提高算法的效率，我们不需用前面的每一个素数去除N，而只需用不超过的素数去除就可以了。 虽然从理论上来说Eratonsthenes筛法和试除方法可以求出所有的素数，但是通过练习会发现，利用这些方法构造大的素数表是不切实际的。例如，要构造以内的素数表，利用当今最快的计算机也得需要一百亿年。人们一直试图找到一个能生成所有素数的公式，十七世纪法国数学家费马(Fermat)曾断言，对任意正整数n，永远是一个素数. 不难计算对，费马的推测确实是正确的. 1732年欧拉提出反例，指出是一个合数，费马的断言是错误的. 此后，有人甚至推断当，都是合数. 1772年欧拉给出了一个公式，对于整数n，多项式的值是素数. 然而这个推断也是错误的，事实上，当时，不是素数.计算发现多项式、(勒让德Legendre)、等，对于某些整数，其值为素数，对于另一些整数，其值为合数. 对于具有特殊结构的数的素性判别，有更加快捷的方法。这方面最引人注目的例子是Mersenne数。历史上，关于梅森素数的研究也是用公式寻找素数的一个实例：1644年法国神父梅森(M.Mersenne)指出，对于素数=2，3，5，7，13，17，19，31，67，127和257，都是素数，而对于其它小于257的素数，都是合数. 后来证明梅森的这个推断并不正确，但在17世纪时能得出这一结论，也实属不易. 如今我们把形如的数称为梅森数，若为素数且也是素数，称为梅森素数，记为.对任何素数p，如何判断是不是素数？1930年数学家卢卡斯(E.Lucas)和莱默(D.Lehmer)提出一个有效的检验法：设为一个素数，检验法的伪代码为： 赋值；循环变量i从3到p，计算；若 则是素数，否则是合数. 素数在自然数中的分布是很不规则的，但是人们发现，随着数的增大，素数变得越来越稀疏，十八世纪以来，素数的统计分布问题成为数学家们研究的一个重要课题，为此引进素数个数函数，它是不超过实数x的素数的个数，例如，是一个单调增函数，由欧几里得定理时，.而欧拉又发现。 素数理论中不乏富于挑战性的、至今仍未解决的难题： (1) 完全数 早在公元前希腊数学家发现数6有一个特性，它等于它自身因子的和：6=1+2+3. 又如28=1+2+4+7+ 14，这种数称为完全数. 除了6，28之外，下一个完全数是496，如何找出其他的完全数呢？欧几里得证明了：若是一个素数，则数是完全数. 这种形式的完全数显然都是偶数，称为偶完全数. 后来欧拉又证明了凡偶完全数必呈的形式，其中是一个素数. 据此就