第二讲：算数基本定理解析.pptVIP

第四节：质数 算术基本定理 定义 一个大于1的整数，如果它的正因数只有1和它本身，就叫它质数（或素数）；否则叫做合数 由该定义可知，正整数集合可分三类: 素数、合数和1. 定理1 设a是任一个大于1的整数，则a的除1外 最小正因数q是一质数，并且当a是合数时 证明 若a是素数, 显然a的大于2的最小因数就是素数a; 若a是合数, 则除1和a外还有其它的因数，令b是这些正因数中最小者, 可以证明b不是合数而是素数, 若其不然, b必有大于1且不等于b的因数c, 于是由c|b和b|c可知c|a, 即c是a的因数,又有1cb, 这与假设b是a的大于1的最小因数相矛盾．故b不是合数而是素数．因此，a的大于1的最小因数b是素数． 该定理为公元前三世纪希腊数学家厄拉多塞(Eratosthenes)提出的构造素数表方法奠定了理论基础, 后人称它为厄拉多塞筛法. 近代素数表都是由此法略加变化构造的. 截止 1977年, 最完善的素数表是查基尔(Den Zagier)作的, 列出所有不大于 50 000 000的素数. 质数有多少？公元前三世纪, 古希腊数学家欧几里德Euclid就证明了素数有无穷多个. 定理2 (Euclid) 素数有无穷多个. 证明(反证法)假设素数是有限多个, 共有n个, 令它们是p1,p2,…,pn, 并令N= p1p2…pn+1. 若N是素数, 则因N≠pi; 其中1in, 故素数个数最少是n+1个, 这与假设素数个数为n个矛盾. 若N不是素数, 则由定理1知, 大于1的最小因数p是素数. 由于pi|p1p2…pn, 但pi不能整除1, 故pi不能整除N, 因此p≠pi, 其中1≤i≤n, 所以在p1,p2,…,pn,还有素数, 这也与已知共有n个素数矛盾. 人们对素数这块整数中的“基石”进行大量研究，发现素数的分布是很不规则的，而且越往后越稀疏．例如，对于每个大于或等于2的整数n，连续n-1个整数n!＋2, n!＋3, …, n!＋n都不是素数. 可见在正整数序列中, 有任意长的区间中不含有素数. 另一方面, 任意两个相邻的正整数n和n＋l(n＞3)中必有一个不是素数.相邻两整数均为素数只有 2和 3. 但是 n和n＋2均为素数的则有很多, 这样一对素数称为孪生素数. 例如在100以内有七对孪生素数: (3,5),(5,7),(11,13),(29,31),(41,43),(59,61)和(71,73). 又如, 1644年, 法国数学家默森尼(M. Mersenne)研究过形如2p-1的素数,其中p为素数.人们称它为默森尼素数, 截止2003年11月17日, 发现有40个, 其中220996011-1是目前最大素数. 在网上 (/)有个基金组织资助计算M. Mersenne)素数的志愿者. 猜想孪生素数和默森尼素数有无穷多, 但至今都尚未证明. 1742年, 德国数学家哥德巴赫(C.Goldbach)提出了“每个大于2的偶数均可表成为两个素数之和”的著名猜想. 我国数学家陈景润在已有研究成果的基础上, 1966年证明并在1973年发表了“每一个充分大的偶数都可表为一个素数及一个不超过两个素数乘积之和”的重要论文, 这是至今关于这一猜想的最好结果. 有人验证了在 3.3×106以内的偶数对哥德巴赫猜想都是正确的. 但该猜想至今未证明. 定理3 若p是一质数,a是任一整数，则a能被p整除，或p与a互质 证明 因为(p,a)|p , (p,a)=1或(p,a)=p,即p|a,或p与a互质 推论3.1 设 是n个整数，p是一质数，若p| ,则p一定能整除某一 定理4（算术基本定理）任一大于1的整数都能表示成质数的乘积，即任一大于1的整数 其中 是质数，并且，若 其中 是质数，则 证明：（1）当a=2时，(1)式成立 假定对一切小于a的正整数(1)式都成立，此时若a 是质数，则(1)式对a成立；若a是合数，则有两个正 整数b,c满足a=bc,由假定 适当调动 的次序即得(1)式，故(1)式对 a成立 归纳法，即对任一大于1的整数(1)式成立。