《第一章整数的可除性【精品】》课件.pptVIP

* litonghong * 素数个数 1 ~ 1000之间有168个素数； 1000 ~ 2000之间有135个素数； 2000 ~ 3000之间有127个； 3000 ~ 4000之间有120个； 4000 ~ 5000之间有119个； …… 9999000之间有53个； 素数分布越向上分布越稀. * litonghong * 定理8 素数有无穷多个. 证：反证法.假设只有有限个素数.设它们为 p1，p2，…，pk，考虑整数 n=p1 · p2 … pk +1 因为npi，i=1，…，k，所以n一定是合数. 根据定理6，n的大于1的正因数p是素数，因 此，p是p1，p2，…，pk，中的某一个，即 存在j，1jk，使得p=pj.根据定理3，我们 有：p|n-p1…pj…pk=1 这是不可能的.故存在有无穷多个素数. 定理3 设a，b，c是三个 整数.若c|a，c|b.则对任 意整数s，t，有c|sa+tb. * litonghong * 例 10 证明： ①形如4n-1的整数中，必有形如4m-1的素因数. ②形如4n-1的整数中，有无限多个素数. 证：①事实上，如果4n-1的一切因子，都是 4m+1的形式，那么 4n-1=(4m1 + 1)(4m2 + 1) …(4ms + 1) =4k + 1 其中，mi∈Z，i=1，2，…，s， k是 m1 ，m2 ，…，ms 的整系数多项式.故k是 一个整数. 可推出4n – 1 = 4k +1 矛盾. * litonghong * ②反证法.假设形如4n-1的素数只有有限 个，可设为p1 ，p2 ，…， ps ， 令 a = 4p1 … ps – 1 ，则 pi a ， i=1，…，s. 所以有 ，a 是异于p1 ，p2 ，…， ps 的 形如4n-1的素因数. 这与形于4n-1的素数只 有p1 ，p2 ，…， ps 有限个矛盾. 故形如4n-1的素数有无限多个. * litonghong * 定理9 欧几里得除法 设a，b是两个整数，其中b0.则存在 唯一的整数q，r使得 a=bq+r，0≤rb. （2） 证明（存在性）考虑一个整数序列 …，-3b，-2b，-b，0，b，2b，3b，… 它们将实数轴分成长度为b的区间，而a必定 落在其中的一个区间中，因此存在一个整数 q使得 qb≤a(q+1)b 我们令r=a-bq，则有a=bq+r，0≤rb 欧几里得除法 * litonghong * (唯一性) 如果分别有整数q，r和q1，r1满足（2）， 则 a= bq+r， 0≤rb， a= bq1+r1，0≤r1b 两式相减，我们有 b(q-q1) =-(r-r1) 当q≠q1 左边的绝对值大于等于b，而右边的绝对值 小于b，这是不可能的.故q=q1，r=r1. * litonghong * 定义3 （2）式中的q叫做a被b除所得的 不完全商，r叫做a被b除所得的余数. 推论 在定理9的条件下，b|a的充要条件是 a被b除所得的余r=0. 例11 证明N＝137是素数. 解： 因为小于等于 所有的素数为2，3，5，7，11，所以依次用2，3，5，7，11去试除： 137 ＝68·2＋1， 137＝45·3＋2 137＝ 27·5＋2， 137＝19·7＋4 137＝12·11＋5 * litonghong * 根据定理9之推论，我们有2 137， 3 137 5 137，7 137，11 137.根据定理7， N=137为素数. 定义4(高斯函数) 设x 是一个实数，我们称x 的整数部分为小于或等于x的最大整数，记成 [x].这时有 [x] ≤x[x]+1 则定理9中的不完全商q可以写成 * litonghong * 例12 设 b=15， 当 a=255时，a=17b+0， * litonghong * 余数为任意数的欧几里得除法 定理10 设a，b是两个整数，其中b0.则 对任意的整数c，存在唯一整数q，r使得 a=bq+r，c≤rb+c (3) 证明（存在性）考虑整个序列 …，－3b+c，-2b+c，-b+c，c，b+c，2b+c，3b+c，… 它们将实数轴分成长度为b的区间，而a必定 落在其中的一个区间中，因此存在一个整数q 使得 qb+c≤a(q+1)b+c 我们令r