网站大量收购闲置独家精品文档,联系QQ:2885784924

1.4 素数和算术基本定.ppt

  1. 1、本文档共17页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
* 初等数论 卓泽朋 zhuozepeng@ 数学科学学院 ? 1.4 素数和算术基本定理 主要内容 ◎素数及其性质的回顾 ◎算术基本定理 ? 1.4 素数和算术基本定理 定义 一个大于1的整数, 若它的正约数只有1和它本身, 则称它为素数(质数); 否则称为合数. ◎回顾:素数的定义及其性质 ? 1.4 素数和算术基本定理 性质1 设a是任一个大于1的整数,则a的除1以外的最小正约数q是素数,并且当a是合数时,q≤ . ? 1.4 素数和算术基本定理 性质2 若p是素数, a是任一整数,则有 (a, p)=1或p|a. 推论1 设a_1,…,a_n是n个整数, p是素数. 若 p|a_1…a_n, 则p一定能整除某一a_k. ? 1.4 素数和算术基本定理 性质3 若p是素数, p|ab,则p|a或p|b. 注:1)性质3体现了素数的基本特性; 2)利用性质3,我们可以得到算术基本定理(又称质因数分解定理或整数惟一分解定理). ? 1.4 素数和算术基本定理 定理1(算术基本定理) 任一大于1的整数能表示成素数的乘积, 即对于任一整数a>1,有 a=p_1…p_n, p_1≤…≤p_n,其中p_1,…,p_n是素数, 并且若a=q_1,…,q_m, q_1≤…≤q_m,其中q_1,…,q_m是素数,则m=n,q_i=p_i,i=1,…,n. ? 1.4 素数和算术基本定理 推论2 任一大于1的整数能惟一地表示成a=p_1^{k_1}…p_s^{k_s}, p_1<…<p_s. 注:上式叫做a的标准分解式. 推论3 若a|n,b|n,(a,b)=1,则ab|n. ? 1.4 素数和算术基本定理 我们知道, 正整数可以按约数的多少分为3类: 第1类: 仅含一个数1, 称为单位; 第2类: 仅含两个约数的数, 是素数; 第3类: 含有大于两个的约数的数, 是合数. 素数是组成自然数的元素或原子. ? 1.4 素数和算术基本定理 定理2 素数的个数是无穷的. ? 1.4 素数和算术基本定理 为了把素数从自然数中筛选出来,古希腊的数学家厄拉多塞(Eratosthenes, 约前276-前195)设计了一种筛法. 例如,为了求出不超过100(或任给的正整数)的所有素数,只要把1和不超过100的正合数都删去即可. ? 1.4 素数和算术基本定理 ? 1.4 素数和算术基本定理 注: 1)100以内的素数只有25个,即 2,3,5,7,11,13,17,19,23,29,31,37,41,43,47,53,59,61,67,71,73,79,83,89,97; 2)从这不超过100的25个素数出发,重复上面的做法,就可以找出不超过100^2=10000的全部素数, 这种寻找素数的方法,通常叫做厄拉多塞筛法. ? 1.4 素数和算术基本定理 例1 求15与27的最大公约数与最小公倍数. 解 因为15=3×5, 27=3^3, 所以 (15,27)=3, [15,27]=3^3×5=135. 更一般地,有 ? 1.4 素数和算术基本定理 推论4 设a=p_1^{s_1}…p_k^{s_k}, b=p_1^{t_1},…,p_k^{t_k}, 则a,b的最大公约数为:p_1^{m_1}…p_k^{m_k},这里m_i=min(s_i,t_i),而a,b的最小公倍数为:p_1^{d_1}…p_k^{d_k},这里d_i=max(s_i,t_i),由于m_i+d_i=s_i+t_i,所以 ab=(a,b)[a,b]. ? 1.4 素数和算术基本定理 例2 证明: 形如4k-1的素数是无限的. 证明思路同定理2. 一般地,设k>0,l>0,(k,l)=1,则形如kn+l的素数有无限多个,这个定理叫狄利克莱(Dirichlet,1805-1859,德国数学家)定理. ? 1.4 素数和算术基本定理 定义1 设p是一个素数,形如2^p-1的数叫做麦什涅数,记做M_p=2^p-1. 几个定义 定义2 我们把F_n=2^{2^n}+1, n≥0, 叫做费马数.

文档评论(0)

daijun + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档