初等数论1–整除理论.ppt

整 除 理 论 1、素数 (1)、素因子 (2)、素数分布 (3)、素数搜寻 (4)、素性判定 2、GCD和LCM 定义 若整数a ? 0，?1，并且只有约数 ?1和 ?a，则称a是素数（或质数）； 否则称a为合数。 定理 任何大于1的整数a都至少有一个素约数。 推论 任何大于1的合数a必有一个不超过a1/2的素约数。 定理 (算术基本定理) 任何大于1的整数n可以唯一地表示成(标准分解式) 其中p1 , p2, ? , pk 是素数，p1 p2 ? pk，?1, ?2, ?, ?k是正整数。 哥德巴赫猜想：“每个大于2的偶数均可表成为两个素数之和” 陈景润： “每一个充分大的偶数都可表为一个素数及一个不超过两个素数乘积之和” 素因子 素数分布 1)、任意两个相邻的正整数n和n＋l (n＞3)中必有一个不是素数。 相邻两整数均为素数只有 2和 3。 2)、n和n＋2均为素数的有很多, 这样一对素数称为孪生素数。 在100以内有七对孪生素数: (3,5),(5,7),(11,13),(29,31),(41,43),(59,61)和(71,73)。 《自然》(2013.5.14)：新罕布什尔大学（Lecturer）（University of New Hampshire，UNH）张益唐（《数学年刊》（Annals of Mathematics））——存在无穷多对素数，其差小于7000万。 素数分布 1)、任意两个相邻的正整数n和n＋l (n＞3)中必有一个不是素数。 相邻两整数均为素数只有 2和 3。 2)、n和n＋2均为素数的有很多, 这样一对素数称为孪生素数。 在100以内有七对孪生素数: (3,5),(5,7),(11,13),(29,31),(41,43),(59,61)和(71,73)。 3)、 p为素数，2p-1称为Mersenne数；素数2p-1称为Mersenne素数。 p=2,3,5,7时，2p-1都是素数；p=11时， 2p-1 =2047=23×89不是素数 。 已发现最大梅森素数是p＝43,112,609的情形，一个12,978,189位数。 若an-1(a1)是素数，则a = 2，并且n是素数。(3+k)ab-1 必非素数。 4)、形如2^(2n)+1 (n = 0, 1, 2, ?)的数称为Fermat数。 Fermat曾猜测是素数：F0,F1,F2,F3,F4是素数，F5=641*6700417是合数。 5)、形如4n ? 3的素数有无限多个。 6)、越往后越稀疏：在正整数序列中, 有任意长的区间中不含有素数。 对于大于等于2的整数n，连续n-1个整数n!＋2, n!＋3, …, n!＋n都不是素数。 素数分布 7)、素数大小粗糙的估计 pn ? p1p2?pn-1 ? 1，n ? 1。 pn ? 22n。 ?(n) ? (log2n)/2。 8)、素数定理： 素数搜寻 寻找素数的方法：Eratosthenes筛法。 素性判定 确定型算法 　　试除法 尝试从2到√N的整数是否整除N。 威廉斯方法、艾德利曼、鲁梅利法、马宁德拉.阿格拉瓦法(log(n)的多项式级算法)…… 随机算法 　　费马测试 利用费马小定理来测试。 若存在a，(a, n) = 1，使得a n ?1 ? 1 mod n成立，则称n是关于基数a的伪素数（ Fermat伪素数，Carmichael 数 ）。 米勒-拉宾法、…… GCD和LCM 定义 整数a1, a2, ?, ak的公共约数称为a1, a2, ?, ak 的公约数。 不全为零的整数a1, a2, ?, ak 的公约数中最大一个叫做a1, a2, ?, ak 的最大公约数（或最大公因数），记为(a1, a2, ?, ak)。 由于每个非零整数的约数的个数是有限的，所以最大公约数是