我的数论-素数部分博客共5part:
基本概念、性质、猜想、定理
素数筛法(埃式筛、欧拉筛、区间筛)
素数判断法(朴素法、模6法、Rabin-Miller及改进)
数的分解(Pollard-rho)
梅森素数(Lucas_Lehmer判定法)

文章目录

  • 基本概念与性质
  • 定理与猜想
    • 猜想
    • 素数定理
    • 算术基本定理
    • 威尔逊定理
    • 费马小定理
    • 欧拉定理

基本概念与性质

  • >1>1>1,正整数,除了1和本身不能被其他数整除
  • d>1,d∈N∗,p是素数,d∣p⇒d=pd>1,d\in N^*,p是素数,d|p\Rightarrow d=pd>1,d∈N∗,p是素数,d∣p⇒d=p
  • ppp 是素数,p∣ab⇒p∣aorp∣bp|ab\Rightarrow p|a\quad or\quad p|bp∣ab⇒p∣aorp∣b
  • 素数无穷多
  • 每个大于1的正整数都有一个素因子
  • nnn 是合数,则必有≤n\leq \sqrt n≤n​ 的素因子

定理与猜想

猜想

  • 伯特兰猜想:任意正整数nnn (大于1),存在素数ppp 有n<p<2nn<p<2nn<p<2n
  • 孪生素数猜想:存在无穷多的ppp 和p+2p+2p+2 的素数对
  • 哥德巴赫猜想:每个大于222 的正偶数可以写成两个素数之和

素数定理

  • 定义π(x)\pi(x)π(x) 表示小于xxx 的素数个数,π(x)=xln⁡x\pi(x)=\frac{x}{\ln x}π(x)=lnxx​

  • 推论:定义pnp_npn​ 为第nnn 个素数,pn∼nln⁡np_n \sim n\ln npn​∼nlnn

算术基本定理

  • 定理:每个大于111 的正整数nnn 都可以被唯一的写成素数的乘积n=p1α1p2α2⋯pkαk,p1<p2<⋯<pkn={p_1}^{\alpha_1}{p_2}^{\alpha_2}\cdots{p_k}^{\alpha_k},p_1<p_2<\cdots<p_kn=p1​α1​p2​α2​⋯pk​αk​,p1​<p2​<⋯<pk​ 且是素数,α1,α2,⋯αk\alpha_1,\alpha_2,\cdots \alpha_kα1​,α2​,⋯αk​ 是正整数。

  • 设d(n)d(n)d(n) 为nnn 的正因子个数,ϕ(n)\phi(n)ϕ(n) 为nnn 的所有因子之和,则有
    d(n)=(α1+1)(α2+1)⋯(αk+1)ϕ(n)=p1α1+1−1p1−1⋅p2α2+1−1p2−1⋯pkαk+1−1pk−1d(n)=(\alpha_1+1)(\alpha_2+1)\cdots(\alpha_k+1)\\ \phi(n)=\frac{{p_1}^{\alpha_1+1}-1}{p_1-1}·\frac{{p_2}^{\alpha_2+1}-1}{p_2-1}\cdots\frac{{p_k}^{\alpha_k+1}-1}{p_k-1} d(n)=(α1​+1)(α2​+1)⋯(αk​+1)ϕ(n)=p1​−1p1​α1​+1−1​⋅p2​−1p2​α2​+1−1​⋯pk​−1pk​αk​+1−1​

  • 设a=ρ1r1ρ2r2⋯ρkrk,b=ρ1s1ρ2s2⋯ρkska={\rho_1}^{r_1}{\rho_2}^{r_2}\cdots {\rho_k}^{r_k},b={\rho_1}^{s_1}{\rho_2}^{s_2}\cdots {\rho_k}^{s_k}a=ρ1​r1​ρ2​r2​⋯ρk​rk​,b=ρ1​s1​ρ2​s2​⋯ρk​sk​,则
    gcd⁡(a,b)=ρ1min⁡(r1,s1)ρ2min⁡(r2,s2)⋯ρkmin⁡(rk,sk)lcm(a,b)=ρ1max⁡(r1,s1)ρ2max⁡(r2,s2)⋯ρkmax⁡(rk,sk)\gcd(a,b)={\rho_1}^{\min(r_1,s_1)}{\rho_2}^{\min(r_2,s_2)}\cdots {\rho_k}^{\min(r_k,s_k)}\\ \text{lcm}(a,b)={\rho_1}^{\max(r_1,s_1)}{\rho_2}^{\max(r_2,s_2)}\cdots {\rho_k}^{\max(r_k,s_k)} gcd(a,b)=ρ1​min(r1​,s1​)ρ2​min(r2​,s2​)⋯ρk​min(rk​,sk​)lcm(a,b)=ρ1​max(r1​,s1​)ρ2​max(r2​,s2​)⋯ρk​max(rk​,sk​)

  • n!n!n! 的素因子分解中素数ppp 的幂为[np]+[np2]+⋯[\frac{n}{p}]+[\frac{n}{p^2}]+\cdots[pn​]+[p2n​]+⋯

威尔逊定理

  • 若 ppp 是素数,则 (p−1)!≡−1(modp)(p-1) ! \equiv-1(\bmod p)(p−1)!≡−1(modp)

费马小定理

  • 假如 ppp 是萦数, 且 (a,p)=1(a, p)=1(a,p)=1, 那么 ap−1≡1(modp)a^{p-1} \equiv 1(\bmod p)ap−1≡1(modp)

  • 推论:若ppp 是素数且aaa 是正整数,那么ap≡a(modp)a^{p} \equiv a(\bmod p)ap≡a(modp)

欧拉定理

  • 欧拉函数 φ(n)\varphi(n)φ(n) :不超过 nnn 且与 nnn 互素的正整数的个数,nnn 是一个正整数
  • 设 mmm 是一正整数, aaa 是一个整数且 (a,m)=1(a, m)=1(a,m)=1, 那么 aφ(m)≡a^{\varphi(m)} \equivaφ(m)≡ 1(modm)1(\bmod m)1(modm).

【数论】素数(一):基本概念、性质、猜想、定理相关推荐

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

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

  2. 与素数有关的一些性质及证明(一)

    文章目录 写在前面 素数.合数 定理:带余除法 整除.因数 ★\bigstar★命题:除数整除被除数的倍数和 公因数.最大公因数 除数与被除数的最大公因数等于除数与余数的最大公因数 辗转相除法:求两整 ...

  3. java输出孪生素数对数_为什么孪生素数、波利尼亚克、哥德巴赫这些素数加减关系的猜想不能被证明?问题出在哪?...

    同意楼上观点,素数的定义是与乘法有关的,更重要的是乘法比加法运算高一级,这就使得很难探讨素数加减的规律. 因为自然数乘法是用加法迭代定义的,联系乘法与加法通常只能使用乘法分配律,而素数是没有真因子的数 ...

  4. 费尔马小定理素数java_利用费马小定理判断素数

    今天听了ljss神犇的数论课,顿时感觉----我真的是太弱啦! 我只能稍微写一下我能听懂的部分orz 那么这就是今天我为数不多能听懂一点的之一......QAQ 首先先介绍今天的主角:费马小定理 -- ...

  5. 《算法竞赛进阶指南》数论篇(3)-组合计数,Lucas定理,Catalan数列,容斥原理,莫比乌斯反演,概率与数学期望,博弈论之SG函数

    文章目录 组合计数 例题:Counting swaps Lucas定理 Cnm≡Cnmodpmmodp∗Cn/pm/p(modp)C_n^m\equiv C_{n\ mod\ p}^{m\ mod\ ...

  6. 02_控制系统的数学模型拉普拉斯变换概念及常用定理(有简单证明过程)

    控制系统的数学模型 基本概念 数学模型: 描述系统输入.输出变量以及内部各变量之间关系的数学表达式 建模方法: 解析法(机理分析法) 根据系统工作所依据的物理定律列写运动方程 实验法(系统辨识法) 给 ...

  7. 线代笔记:行列式的性质及定理

    性质 性质1:行列式与它的转置行列式相等 DT=DD^{T}=DDT=D 性质2:互换行列式的两行(列),行列式变号. 推论 如果行列式有两行(列)完全相同,则此行列式等于零. 性质3:行列式中某一行 ...

  8. 【数论】关于质数的几个定理,用 latex 来表示数学公式

    文章目录 关于质数的几个定理,用 latex 来表示数学公式 1. 质数定义:质数是只能被1和自身整除的整数,即除了1和本身之外没有其他因数的整数.数学上可以表示为: 2. 质数的无穷性定理:质数是无 ...

  9. 基础数论算法(4) 中国剩余定理

    最后的gcd相关! 中国剩余定理是这么一个问题. "今有物不知其数,三三数之余二,五五数之余三,七七数之余二.问物几何?" 答曰:二十三.口诀:三人同行七十稀,五树梅花廿一枝,七子 ...

  10. 图的基本概念、握手定理、Havel定理

    图 图论被广泛应用在计算机科学.运筹学.信息论.控制论.网络理论.博弈论.化学.生物学.物理学.社会科学.语言学等领域: 图论的应用方向1:以理论计算机科学和信息科学为研究背景,探索图论在计算机科学和 ...

最新文章

  1. 重磅:国家正式出台学术不端行为界定
  2. 《系统集成项目管理工程师》必背100个知识点-42项目成本管理的过程
  3. 值得学习练手的22个Python迷你程序(附代码)
  4. 无关标签的一般长文本网页正文内容抽取
  5. linux内核研究(二)
  6. Ubuntu的中文是哪种字体?python的词云分析和 三国演义人物出场统计
  7. nginx源码阅读(二).初始化:main函数及ngx_init_cycle函数
  8. 手把手教你制作好看实用的可视化驾驶舱
  9. list去除重复值的方法(面试高频)
  10. 数据类型转换——Python
  11. Atitit 面试流程法 艾提拉总结 增加企业黑名单制度,出去前核对黑名单 免得白跑 增加白名单制度,统计分析号面试的企业,垃圾企业 中等分类 1.面试提前给指导人参考 具体分析企业性质 产
  12. Java 实现MD5加密
  13. 三维地图之cesium入门使用
  14. 个人github地址 https://github.com/Gerry1218
  15. Django 可重用注册登录系统
  16. 开发软件费用为什么这么贵?
  17. 【UEFI基础】UEFI网络框架之概述
  18. 第三章 添加背景音乐与音频剪辑
  19. oracle与甲骨文
  20. See-SQL审计平台介绍及部署

热门文章

  1. 只需数行python代码就可鉴定黄图的小程序
  2. 用Tensorflow计算距离矩阵
  3. wlk修复最好的服务器,cwlk中那些最容易获得的服务器第一成就(五)
  4. android 视频录制花屏,拍大师录制视频时画面花屏怎么办?拍大师录制视频花屏的解决方法图解...
  5. 赛事分享:四川省大学生飞行器挑战赛实践第一,铁道游击队!
  6. 为什么有的人明明很厉害,但就是混得不好?
  7. [又值奥运季] 2016年里约奥运会--8月19日赛事
  8. Java多线程之守护线程
  9. NLP+VS︱深度学习数据集标注工具、图像语料数据库、实验室搜索ing..
  10. 解决供电不足造成的USB设备掉驱动