初等数论第一章节：整数的可除性幻灯片.ppt

例题 则原命题等价于证 注：此为厄米特恒等式。 二、取整函数的一个应用 例3、求50！中3的最高幂 [3（50！）=16+5+1] 例4、求1000！的十进制表示式中末尾连续零的个数 解：1000！的十进制表示式中因子5的个数等于因子 10的个数，所以1000！的十进制表示式中末尾连续零 的个数等于因子5的个数，即 第四节 质（素）数 算术基本定理 一、质（素）数 1、定义 一个大于1的整数，如果它的正因数只有1 及它本身，就叫做质数（或素数）；否则就叫合数。 2、与素数相关的性质定理 注：利用第三节推论2.2证明。 证：必要性显然。 对于一个给定的整数，我们根据上述定理不仅可以 判别它是否是素数，且还可以找出所有不大于它的素数 把1划去，剩下第一个数是2,2是素数。从2起划去它 后面所有2的倍数，剩下的第一个数是3，它不是2的倍 所以它是素数。 依次，当我们把所有的不大于 的素数。 这种方法是希腊时代幼拉脱斯展纳发明的， 好像用筛子筛出素数一样，称幼拉脱斯展纳筛法。 数的素性检验方法问题在近几年得到了飞速的发展, 若用计算机编成程序,对于10位数,几乎瞬间即可完成, 对于一个20位数,则需要2个小时,对于一个50位数就需 要一百亿年,令人吃惊的是,要检验一个一百位数,需要 的时间就猛增到10^36年.到了1980年,这种困难的情况 得到了改观,阿德曼(Adleman),鲁梅利(Rumely),科恩 (Cohen),和伦斯特拉(Lenstra)研究出一种非常复杂的 过去,要检验一个数是否是素数，最简单方法是试除法， 检验一个20位数只消10秒钟,对于一个50位数用15秒钟, 100位数用40秒钟,如果要他检验一个1000位数,只要用 一个星期也就够了.但是大部分的素性检验法都不能分 解出因数来,只能回答一个数是否是素数. 技巧,现在以他们的名字的首字母命名的ARCL检验法 定理3、素数的个数是无穷的。 注：2000多年前，古希腊数学家欧几里得（前330- 前275），著有《几何原本》，他在此书中率先证明了 素数的无限性，这个证明一直被当作数学证明的典范， 受到历代数学家的推崇，因为这一定理及其证明既简洁、 优美而不失深刻。其证明思路如下： 证明: 假设正整数中只有有限个质数，设为 关于素数的个数，有著名的素数定理： 下面列举的数字也可以说明定理的真实性。 素数定理是古典素数分布的理论核心，这个定理 大约是在1798年高斯与勒让德作为猜想提出的。之后 许多学者都做过深入的研究，但都没有成功。1896年， 法国数学家哈达马及比利时数学家德.瓦利-普斯因同时 独立地证明了它，他们是用黎曼zata函数获得解决的。 1949年，挪威数学家赛尔伯格与匈牙利数学家爱尔特希 第一次给出不用很多函数论知识，也可以说是一个初等 的证明。他们的证明是依靠一个不等式，但是这个所谓 的初等证明也是非常复杂的。1950年，赛尔伯格还因为 这个证明获得了菲尔茨奖。 下面介绍与素数有关的某些问题 1、费马数： 费马在1640年设计了一个公式，给出一些素数。 然而他大错特错了！只有五个素数被发现是遵从于这个 公式的，它们是3,5,17,257和65537,分别对应于n=0,1,2,3,4 2、费马数与尺规作图的联系： 尺规作图是指用没有刻度的直尺和圆规作图。尺规作图 瑞士科学家欧拉于1732年举出 故费马的猜测不正确。 规作图使用的直尺和圆规带有想像性质，跟现实中的并 非完全相同：1、直尺必须没有刻度，无限长，且只能 使用直尺的固定一侧。只可以用它来将两个点连在一起， 不可以在上画刻度； 2、圆规可以开至无限宽，但上面 亦不能有刻度。它只可以拉开成之前构造过的长度。 只准许使用有限次，来解决不同的平面几何作图题。尺 是起源于古希腊的数学课题。只使用圆规和直尺，并且 一般地，任意正n边形有以下结论： 3、梅森数 梅森数(Mersenne number)是指形如2^p－1的正整数， 其中指数p是素数，常记为Mp 。若Mp是素数，则称 为梅森素数。 早在公元前300多年，古希腊数学家欧几里得 就开创了研究2^P－1的先河，他在名著《几何原本》 第九章中论述完美数时指出：如果2^P－1是素数， 则(2^p－1)2^(p－1)是完美数。 梅森在欧几里得、费马等人的有关研究的基础上 ，对 2^P－1作了大量的计算、验证工作，并于1644年在他的 《物理数学随感》一书中断言：对于p=2，3，5，7， 13，17，19，31，67，127，257时，2^P－1是素数 而对于其他所有小于257的数时，2^P－1是合数。 前面的7个数属于被证实的部分，是他整理前人