数论ch1-6-9.pptVIP

续证 Ch1 整数的唯一分解定理 内容简介 整除, 因数, 倍数 最大公因数和辗转相除法(Euclid算法) 最小公倍数 素数和整数的唯一分解定理 素数分布 不定方程 Mersenne数 Mersenne 数 Mp = 2p?1 (p为素数) 17世纪, Mersenne证明了p=2,3,5,7,13,17,19,31时, Mersenne数是素数, 目前只知道33个Mersenne数是素数. 麦什涅数 定义 设p是一个素数，形如 叫做麦什涅数，记作 定理1 设p是一个奇素数，q是 的一个素因数，则q形如q=2kp+1. 引理 设a0,b0,s1,则 引理的证明(Euclid算法) 设a ? b 0, 由带余除法可以得到下列等式 Fermat数 Fermat 数 Fn = 22n ?1 (n ? 0) 1640年, 法国数学家费马猜想Fn都是素数, 1732年欧拉(Euler)发现F5是合数. 费马数 定理 任给两个费马数 则 在Mersenne数和Fermat数中, 是否有无穷多个素数? 完全数 定义5.1 设n是一个正整数, 如果n的全部因数的和等于2n, 则称n为完全数. 如6=(1+2+3), 28, 496, 8128等. 定理5.5 n是一个偶完全数的充要条件是n具有形状2p?1(2p?1), 其中p和2p?1均为素数. 问: 奇完全数是否存在? 定理5.5证明了整数的唯一分解定理的重要性。说明了有一个麦什涅素数存在，就对应着一个偶完全数，反过来也对。 亲和数 定义5.2 一个数的真因子的和是另一个数, 而另一个数的真因子的和恰好又等于这个数, 具有这样性质的一对数称为亲和数. 例如, 220和284是一对亲和数, 17926和18416也是一对亲和数. 孪生素数 通过大量研究人们发现素数的分布是很不规则的，而且越往后越稀疏．例如，对于每个?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是目前最大素数. 猜想孪生素数和默森尼素数有无穷多, 但至今都尚未证明. 素数定理 令?(x)表示不超过x的素数个数, 可以证明: 它表明: 尽管素数个数无穷多, 但它比起正整数的个数来少得很多. 进一步, 有 哥德巴赫猜想 每一个大于或等于6的偶数都可以表示为两个奇素数之和； 每一个大于或等于9的奇数都可以表示为三个奇素数之和． 哥德巴赫猜想 1742年, 德国数学家哥德巴赫(C.Goldbach)提出了“每个大于2的偶数均可表成为两个素数之和”的著名猜想. 我国数学家陈景润在已有研究成果的基础上, 1966年证明并在1973年发表了“每一个充分大的偶数都可表为一个素数及一个不超过两个素数乘积之和”的重要论文, 这是至今关于这一猜想的最好结果. 有人验证了在 3.3×106以内的偶数对哥德巴赫猜想都是正确的. 但该猜想至今未证明. 六、不定方程 定理6.1不定方程a1x ? a2y ? n (a1a2 ? 0) 有整数解x, y的充分必要条件是 (a1, a2) | n. 设(a1 , a2) = 1, 不定方程a1x ? a2y ? n, a1a2 ? 0的全部解可表为 x = x0 + a2t, y = y0 – a1t 其中x0, y0是方程的一组解, t为任意整数. 定理6.2 设 则全部解可表示为 其中 为一组解，t为任意整数。 定理6.3不定方程a1x1 ? a2x2 ? … ? as xs ? n (a1a2 …as ? 0) 有整数解x1, x2, …, xs的充分必要条件是 (a1, a2, … , as) | n. 不定方程a1x1 ? a2x2 ? … ? as xs ? n (ai 0) 的正整数解? x1 ? x2 ? … ? xs ? n的(正)整数解? (组合计数) 定理6.4