初等数论(闵嗣鹤版)课件.ppt

数的素性检验方法问题在近几年得到了飞速的发展,1若用计算机编成程序,对于10位数,几乎瞬间即可完成,2对于一个20位数,则需要2个小时,对于一个50位数就需3要一百亿年,令人吃惊的是,要检验一个一百位数,需要4的时间就猛增到10^36年.到了1980年,这种困难的情况5得到了改观,阿德曼(Adleman),鲁梅利(Rumely),科恩6(Cohen),和伦斯特拉(Lenstra)研究出一种非常复杂的7过去,要检验一个数是否是素数，最简单方法是试除法，80102030405检验一个20位数只消10秒钟,对于一个50位数用15秒钟,100位数用40秒钟,如果要他检验一个1000位数,只要用一个星期也就够了.但是大部分的素性检验法都不能分解出因数来,只能回答一个数是否是素数.技巧,现在以他们的名字的首字母命名的ARCL检验法010203040506定理3、素数的个数是无穷的。01注：2000多年前，古希腊数学家欧几里得（前330-02前275），著有《几何原本》，他在此书中率先证明了03素数的无限性，这个证明一直被当作数学证明的典范，04受到历代数学家的推崇，因为这一定理及其证明既简洁、05优美而不失深刻。其证明思路如下：06证明:假设正整数中只有有限个质数，设为下面介绍与素数有关的某些问题1费马数：费马在1640年设计了一个公式，给出一些素数。21尺规作图是指用没有刻度的直尺和圆规作图。尺规作图2、费马数与尺规作图的联系：然而他大错特错了！只有五个素数被发现是遵从于这个公式的，它们是3,5,17,257和65537,分别对应于n=0,1,2,3,4瑞士科学家欧拉于1732年举出故费马的猜测不正确。2规作图使用的直尺和圆规带有想像性质，跟现实中的并01非完全相同：1、直尺必须没有刻度，无限长，且只能02使用直尺的固定一侧。只可以用它来将两个点连在一起，03不可以在上画刻度；2、圆规可以开至无限宽，但上面04亦不能有刻度。它只可以拉开成之前构造过的长度。05只准许使用有限次，来解决不同的平面几何作图题。尺06是起源于古希腊的数学课题。只使用圆规和直尺，并且07一般地，任意正n边形有以下结论：梅森数(Mersennenumber)是指形如2^p－1的正整数，1其中指数p是素数，常记为Mp。若Mp是素数，则称2为梅森素数。3早在公元前300多年，古希腊数学家欧几里得4就开创了研究2^P－1的先河，他在名著《几何原本》5第九章中论述完美数时指出：如果2^P－1是素数，6则(2^p－1)2^(p－1)是完美数。73、梅森数梅森在欧几里得、费马等人的有关研究的基础上，对12^P－1作了大量的计算、验证工作，并于1644年在他的2《物理数学随感》一书中断言：对于p=2，3，5，7，313，17，19，31，67，127，257时，2^P－1是素数4而对于其他所有小于257的数时，2^P－1是合数。5前面的7个数属于被证实的部分，是他整理前人的工作6得到的；而后面的4个数属于被猜测的部分。701值得提出的是：虽然梅森的断言中包含着若干错误，02但他的工作极大地激发了人们研究2^P－1型素数的热情，03在梅森素数的基础研究方面，法国数学家鲁卡斯和美国04数学家雷默都做出了重要贡献；以他们命名的“鲁卡斯-05雷默方法”是目前已知的检测梅森素数素性的最佳方法。06此外，中国数学家和语言学家周海中给出了梅森素数分07布的精确表达式，为人们寻找梅森素数提供了方便；这08一研究成果被国际上命名为“周氏猜测”。关于梅森数有下列的一个命题：该素数是：是目前知道的最大的素数，研小组发现了第43个梅森素数，该素数有9152052位数，2005年，美国数学家C.Cooper和S.Boone领导的科STEP03STEP01STEP02定理4任一大于1的整数能表成素数的乘积，即任一大于1的整数此为算术基本定理。二、算术基本定理例6第二节最大公因数与辗转相除法任意整数的最大公因数可转化为正整数来讨论3、下面先讨论两个非负整数的最大公因数01定理2、设b是任一正整数，则（i)0与b的公因数就是02b的因数，反之，b的因数也就是0与b的公因数。03(ii)(0,b)=b4、定理3设a,b,c是三个不全为零的整数，且a=bq+c其中q是非零整数，则a,b与b,c有