文章目录

  • 写在前面
  • 素数、合数
    • 定理:带余除法
  • 整除、因数
    • ★\bigstar★命题:除数整除被除数的倍数和
  • 公因数、最大公因数
    • 除数与被除数的最大公因数等于除数与余数的最大公因数
    • 辗转相除法:求两整数最大公因数的统一方法
  • 互素
    • ★★\bigstar\bigstar★★定理:两整数互素的充要条件
      • 证明
    • 互素整数的重要性质及推广
  • 素数的重要性质
    • 证明
  • 算术基本定理

写在前面

最近学习了丘维声教授的课程《数学的思维方式与创新》,总结一下课程中关于素数的一些主要性质及证明。

素数、合数

设mmm是大于111的整数,如果mmm的正因数只有111和mmm自身,那么称mmm是一个素数(或质数),否则称mmm是合数

定理:带余除法

任给a,b∈Za,\,b\in\mathbb{Z}a,b∈Z,且b≠0b\neq0b​=0,则存在唯一的一对整数q,rq,\,rq,r,使得
a=qb+r,0⩽r<∣b∣,a=qb+r,\quad0\leqslant r<|b|, a=qb+r,0⩽r<∣b∣,
其中,qqq和rrr分别称为aaa被bbb除所得的余数

整除、因数

对于整数a,ba,\,ba,b,如果存在整数ccc,使得
a=cb,a=cb, a=cb,
那么称bbb整除aaa,记作b∣ab\,|\,ab∣a,否则,称bbb不能整除aaa,记作b∤ab\,\nmid\,ab∤a。当b∣ab\,|\,ab∣a时,bbb称为aaa的一个因数,aaa称为bbb的一个倍数。

  • 任给a∈Za\in\mathbb{Z}a∈Z,由于0=0a0=0a0=0a,因此a∣0a\,|\,0a∣0,特别地,0∣00\,|\,00∣0。
  • 整除具有反身性,传递性,但是没有对称性。

★\bigstar★命题:除数整除被除数的倍数和

在Z\mathbb{Z}Z中,若b∣ai,i=1,2,⋯,sb\,|\,a_i,\,i=1,\,2,\,\cdots,\,sb∣ai​,i=1,2,⋯,s,则对任意整数u1,u2,⋯,usu_1,\,u_2,\,\cdots,\,u_su1​,u2​,⋯,us​,有
b∣u1a1+u2a2+⋯+usas.b\,|\,u_1a_1+u_2a_2+\cdots+u_sa_s. b∣u1​a1​+u2​a2​+⋯+us​as​.

公因数、最大公因数

  • 如果c∣ac\,|\,ac∣a且c∣bc\,|\,bc∣b,那么称ccc是aaa与bbb的一个公因数(公约数)。

  • 整数aaa与bbb的一个公因数ddd如果满足:aaa与bbb的任一公因数都能整除ddd,那么称ddd是aaa与bbb的一个最大公因数(最大公约数)。

  • 约定: 用(a,b)(a,\,b)(a,b)表示两整数间正的最大公因数。

  • 任给a∈Za\in\mathbb{Z}a∈Z,由于a∣aa\,|\,aa∣a且a∣0a\,|\,0a∣0,所以aaa是aaa与000的一个公因数,任取aaa与000的一个公因数ccc,显然c∣ac\,|\,ac∣a,所以aaa是aaa与000的一个最大公因数。

  • 特别地,000是000与000的最大公因数。

除数与被除数的最大公因数等于除数与余数的最大公因数

在Z\mathbb{Z}Z中如果有等式
a=qb+ra=qb+r a=qb+r
成立,那么ddd是aaa与bbb的最大公因数当且仅当ddd是bbb与rrr的最大公因数。

辗转相除法:求两整数最大公因数的统一方法

任给两个整数a,ba,\,ba,b,都存在它们的一个最大公因数ddd,并且ddd可以表示成aaa与bbb的倍数和,即存在整数u,vu,\,vu,v,使得
ua+vb=d.ua+vb=d. ua+vb=d.

互素

  • 设a,b∈Za,\,b\in\mathbb{Z}a,b∈Z,如果(a,b)=1(a,\,b)=1(a,b)=1,那么称aaa与bbb互素
  • 两个整数互素当且仅当它们的公因数只有±1\pm1±1。

★★\bigstar\bigstar★★定理:两整数互素的充要条件

两整数a,ba,\,ba,b互素的充要条件是:存在整数u,vu,\,vu,v,使得
ua+vb=1.ua+vb=1. ua+vb=1.

证明

  • 必要性:由辗转相除法定理即可得到,下证充分性。

  • 充分性:设ua+vb=1ua+vb=1ua+vb=1成立,只需证明整数a,ba,\,ba,b互素,即证明(a,b)=1(a,\,b)=1(a,b)=1。任取a,ba,\,ba,b的一个公因数ccc,则有c∣a,c∣bc\,|\,a,\,c\,|\,bc∣a,c∣b,由定理:除数整除被除数的倍数和,可以得到:c∣ua+vbc\,|\,ua+vbc∣ua+vb,所以c∣1c|1c∣1,证毕。

互素整数的重要性质及推广

  1. 在Z\mathbb{Z}Z中,如果a∣bca\,|\,bca∣bc,且(a,b)=1(a,\,b)=1(a,b)=1,那么a∣ca\,|\,ca∣c。

    证明:

    若c=0c=0c=0,a∣ca\,|\,ca∣c显然成立;若c≠0c\neq0c​=0,利用整数互素的充要条件得到:存在整数u,vu,\,vu,v,使得ua+vb=1ua+vb=1ua+vb=1,两边同乘以ccc得到:uac+vbc=cuac+vbc=cuac+vbc=c,而显然有a∣a,a∣bca\,|\,a,\,a\,|\,bca∣a,a∣bc,根据命题:除数整除被除数倍数和,得到a∣(uc)a+v(bc)⟹a∣ca\,|\,(uc)a+v(bc)\Longrightarrow a\,|\,ca∣(uc)a+v(bc)⟹a∣c.

    性质1的简单应用

    对于素数ppp, 有p∣Cpk,∀k∈[1,p)p\,|\,{C}_p^k, \forall k\in[1,p)p∣Cpk​,∀k∈[1,p)
    证明:
    对组合数Cpk{C}_p^kCpk​显然有(p−k)Cpk=pCp−1k(p-k){C}_p^k=p{C}_{p-1}^k(p−k)Cpk​=pCp−1k​, 而显然(p,p−k)=1(p, p-k)=1(p,p−k)=1,p∣(p−k)Cpkp\,|\,(p-k){C}_p^kp∣(p−k)Cpk​, 所以由性质1, 可得p∣Cpkp\,|\,{C}_p^kp∣Cpk​.

  2. 在Z\mathbb{Z}Z中,如果a∣c,b∣ca\,|\,c,\,b\,|\,ca∣c,b∣c,且(a,b)=1(a,\,b)=1(a,b)=1,那么ab∣cab\,|\,cab∣c。

    证明:

    根据a∣ca\,|\,ca∣c,有整数hhh使得c=hac=hac=ha。由于b∣cb\,|\,cb∣c,因此b∣hab\,|\,hab∣ha。又由于(a,b)=1(a,\,b)=1(a,b)=1,因此由性质1得到b∣hb\,|\,hb∣h,从而有整数ggg使得h=gbh=gbh=gb,所以有c=g(ba)c=g(ba)c=g(ba),即得到ab∣cab\,|\,cab∣c。

    推广:

    在Z\mathbb{Z}Z中,如果ai∣c,i=1,2,⋯,sa_i\,|\,c,\,i=1,\,2,\,\cdots,\,sai​∣c,i=1,2,⋯,s,且a1,a2,⋯,asa_1,\,a_2,\,\cdots,\,a_sa1​,a2​,⋯,as​两两互素,那么a1a2⋯as∣ca_1a_2\cdots a_s\,|\,ca1​a2​⋯as​∣c.

  3. 在Z\mathbb{Z}Z中,如果(a,c)=1(a,\,c)=1(a,c)=1,且(b,c)=1(b,\,c)=1(b,c)=1,那么(ab,c)=1(ab,\,c)=1(ab,c)=1。

    证明:

    根据(a,c)=1,(b,c)=1(a,\,c)=1,\,(b,\,c)=1(a,c)=1,(b,c)=1,得到:有整数ui,vi,i=1,2u_i,\,v_i,\,i=1,\,2ui​,vi​,i=1,2,使得
    {u1a+v1b=1u2b+v2c=1\begin{cases} u_1a+v_1b=1\\ u_2b+v_2c=1 \end{cases} {u1​a+v1​b=1u2​b+v2​c=1​
    将上述两式左右两边分别相乘,得到
    (u1u2)ab+(u1av2+v1u2b+v1v2c)c=1(u_1u_2)ab+(u_1av_2+v_1u_2b+v_1v_2c)c=1 (u1​u2​)ab+(u1​av2​+v1​u2​b+v1​v2​c)c=1
    于是由整数互素的充要条件得到:(ab,c)=1(ab,\,c)=1(ab,c)=1.

    推广:

    在Z\mathbb{Z}Z中,如果(ai,c)=1,i=1,2,⋯,s(a_i,\,c)=1,\,i=1,\,2,\,\cdots,\,s(ai​,c)=1,i=1,2,⋯,s,那么(a1a2⋯as,c)=1(a_1a_2\cdots a_s,\,c)=1(a1​a2​⋯as​,c)=1。

素数的重要性质

设ppp是大于111的整数,则下列命题等价:

  1. ppp是素数;
  2. 对任意整数aaa,都有p∣ap\,|\,ap∣a或者(p,a)=1(p,\,a)=1(p,a)=1;
  3. 对整数a,ba,\,ba,b,从p∣abp\,|\,abp∣ab可以推出:p∣ap\,|\,ap∣a或者p∣bp\,|\,bp∣b;
  4. ppp不能分解成两个比ppp小的正整数的乘积。

证明

  • 1->2:由于ppp是素数,所以有(p,a)=1(p,\,a)=1(p,a)=1或者(p,a)=p(p,\,a)=p(p,a)=p,而后者可得出p∣ap\,|\,ap∣a.
  • 2->3:由于p∣abp\,|\,abp∣ab,假设p∤ap\,\nmid\,ap∤a,则由性质2,有(p,a)=1(p,\,a)=1(p,a)=1,再由整数互素的性质1,得到p∣bp\,|\,bp∣b。
  • 3->4:假设p=p1p2,0<p1<p,0<p2<pp=p_1p_2,\,0<p_1<p,\,0<p_2<pp=p1​p2​,0<p1​<p,0<p2​<p,则由整除的反身性得到p∣p1p2p\,|\,p_1p_2p∣p1​p2​,由性质3得到:p∣p1p\,|\,p_1p∣p1​或者p∣p2p\,|\,p_2p∣p2​,矛盾。
  • 4->1:任取ppp的一个正因数aaa,则存在正整数bbb,使得p=bap=bap=ba,根据性质4,b=pb=pb=p或者a=pa=pa=p,当b=pb=pb=p时,a=1a=1a=1,因此ppp的正因数只有1,p1,\,p1,p,从而ppp为素数。

算术基本定理

任一大于111的整数aaa都能唯一地分解成有限多素数地乘积。

其中,唯一性是指:如果aaa有两个这样的分解式:
a=p1p2⋯ps=q1q2⋯qt,a=p_1p_2\cdots p_s=q_1q_2\cdots q_t, a=p1​p2​⋯ps​=q1​q2​⋯qt​,
则一定有s=ts=ts=t,且适当排列因数地次序之后有:
pi=qi,i=1,2,⋯,s.p_i=q_i,\quad i=1,\,2,\,\cdots,\,s. pi​=qi​,i=1,2,⋯,s.

与素数有关的一些性质及证明(一)相关推荐

  1. 输入一个正整数求所有素数因子_一起来聊聊素数的两个性质

    素数(prime number),又称质数,有无限个. 定义:在大于1的自然数中,除了1和它本身以外不再有其他因数. 来介绍两个简单的性质: 质数的个数是无穷的. 欧几里得的<几何原本>曾 ...

  2. 高数 | 开 闭区间上连续函数的性质及证明

    一.有界性定理 函数的上界和下界的绝对值不一定相等. 函数在某区间上不是有界就是无界,二者必属其一: 要证明f(x)在X上有界,必须找到一个M>0,使任意x属于X都有 |f(x)|<=M: ...

  3. 单源最短路径:最短路径性质的证明

    本节就之前给出的一部分性质进行严密的证明,而非通过"显然"等模糊的语句. 1.三角不等式性质 引理10:设G = ( V,E)为一个带权重的有向图,其权重函数 w :E→R,其源节 ...

  4. 毕达哥拉斯素数的王伟猜想的简要证明

    毕达哥拉斯素数的王伟猜想的简要证明 证明使用到的两个前提条件是 一是费马的二平方和定理,即一个素数 满足p=4*n+1 的形式 ,它可以表示成p=a^2+b^2,不失一般性, 令 当a<b 时, ...

  5. 《小学生都能看懂的三类斯特林数从入门到升天教程 》(含性质完整证明、斯特林反演、拉赫数)

    整理的算法模板合集: ACM模板 点我看算法全家桶系列!!! 实际上是一个全新的精炼模板整合计划 真的特别简单,我尽量讲的详细一些,本文包含了几乎所有性质定理证明,老少皆宜 ~ 内容过多,质量过硬,建 ...

  6. 傅里叶变换的性质及证明

    傅里叶变换的性质及证明 1. 线性性质 F[αf1(t)+βf2(t)]=αF1(ω)+βF2(ω)\qquad F[\alpha f_1(t)+\beta f_2(t)]=\alpha F_1(\o ...

  7. zoj 1562 反素数 附上个人对反素数性质的证明

    反素数的定义:对于不论什么正整数,其约数个数记为.比如,假设某个正整数满足:对随意的正整 数.都有,那么称为反素数. 从反素数的定义中能够看出两个性质: (1)一个反素数的全部质因子必定是从2開始的连 ...

  8. 积性函数的性质及证明 + 线性筛

    引言 在数论问题中,积性函数有着广泛的应用. 如在莫比乌斯反演问题中,函数变换之后如何快速维护前缀和往往是最重要也是最难的一步.如果维护的函数具有积性,那就可以尝试利用线性筛在O(n)O(n)O(n) ...

  9. 狄利克雷卷积_一些狄利克雷卷积性质的证明

    1.\(\phi * I=id\) 可以表示成\(n=\Sigma_{d\mid n}\phi(d)\) 对于证明这类的式子,一般有以下个步骤 1.证明\(f(1)\) 2.证明\(f(p)\) 3. ...

最新文章

  1. 哈工大、清华、CSDN、嵌入式视觉联盟合办的 AIoT 盛会,你怎么舍得错过?!
  2. 传输层TCP/UDP协议
  3. 2021 年百度之星·程序设计大赛 - 初赛二 1001 签到(找规律,快速幂)
  4. html在线编辑器 asp.net,ASP.NET网站使用Kindeditor富文本编辑器配置步骤
  5. flink 任务执行类的加载
  6. git统计当前项目代码行数
  7. 装双系统?不需要!教你在iMac上流畅使用Windows!
  8. 根据后缀名/扩展名获取content-type/Mime类型
  9. 卸载驱动、安装CUDA及CUDNN
  10. 合宙 4G模块Air720D Mini PCI-E 开发教程
  11. Docker 详细文档
  12. 触发onblur事件alert死循环问题
  13. sublime 3 自定义配置
  14. 关系网络lbs的应用_冒泡网王江:熟人关系将成LBS最重要商业模式
  15. 线性代数(预备知识)
  16. pythonmathcot函数_math库是python语言的数学模块吗_Python中的数学模块:Math和Cmath
  17. 电影学英语系列:双字幕电影
  18. 微信公众号网页授权--前端获取code及用户信息(vue)
  19. 6.7 广义特征向量与特征空间
  20. 一文看懂:光学行业 三摄+潜望式+3D

热门文章

  1. cefSharp 开发随笔
  2. SpringMVC中注解@RequestBody和@ResponseBody的使用区别
  3. Codeforces | CF1029F 【Multicolored Markers】
  4. 框架学习八:二维码(Zxing)
  5. Angular - ng-repeat高级用法
  6. HTML 颜色值及脚本
  7. 通用型CRM还是行业型CRM?-定制为王
  8. \r:command not found
  9. Stack Overflow 2021开发者调查报告 - 数据库篇!
  10. MYSQL SHELL 到底是个什么局 剑指 “大芒果”