前置知识:

模运算消去律:ac ≡ bc (mod p) → a ≡ b (mod p/gcd(c,p) )

威尔逊定理:

  • 当且仅当p为素数时,( p -1 )! ≡ -1 ( mod p )

  • 当且仅当p为素数时,( p -1 )! ≡ p-1 ( mod p )

  • 若p为质数,则p能被(p-1)!+1整除

  • 当且仅当p为素数时,p∣(p−1)!+1

证明:https://brilliant.org/wiki/wilsons-theorem
https://www.jianshu.com/p/ad5bb5b8fa7d


欧拉定理:

若正整数a和n互质,则 aφ(n) ≡ 1 (mod n)
若a,p互素,aφ(p)a^{φ( p)}aφ(p)≡1 (mod p) → a*aφ(p)−1a^{φ( p)-1}aφ(p)−1 ≡ 1 (mod p)
因此aφ(p)−1a^{φ( p)-1}aφ(p)−1 为a mod p意义下的逆元

证明:https://brilliant.org/wiki/eulers-theorem/


中国剩余定理:

设 k 组数 (ai, ni), 其中 ni两两互素,要找到最小的正整数x,
满足方程组 x≡ai(mod ni)(i=1,2…k)

◼ 算法步骤:
◼ 令 n=n1n2…nk, mi=n/ni
◼ 显然 gcd(mi,ni)=1,用扩展欧几里德算法计算出 xi 满足mixi≡1(mod ni)
◼ 方程组的解 x = (a1x1m1+a2x2m2+…+akxkmk) mod n
◼ 方程组的任意两个解 模n同余,因此x就是最小的解。


费马小定理:

  • 对任意a和任意质数p,有ap ≡ a(mod p)
  • 对任意a和任意质数p,当a与p互质时,有ap−1≡1(mod p)
  • 若p能被a整除,则ap−1≡0(mod p)

证:因为 φ( p) = p-1,代入欧拉定理即证

若p为素数,ap-1≡1 (mod p) → a*ap-2 ≡ 1 (mod p)
因此 ap-2 为a mod p意义下的逆元


小结:数论四大定理(威尔逊定理+欧拉定理+中国剩余定理+费马小定理)相关推荐

  1. 同余定理 逆元 中国剩余定理 费马小定理

    同余定理 同余定理是数论中的重要概念.给定一个正整数m,如果两个整数a和b满足(a-b)能够被m整除,即(a-b)/m得到一个整数,那么就称整数a与b对模m同余,记作a≡b(mod m). 两个整数a ...

  2. 初等数论四大定理之——费马小定理

    皮埃尔·德·费马(Pierre de Fermat),1601年生于法国,是一个律师和业余数学家.他在数学多个分支上都有贡献,成就甚至超过了许多职业的数学家,被誉为"业余数学家之王" ...

  3. 欧拉定理 费马小定理

    前言 学基础数论的时候看过证明,然而很快就忘了,最近在学习高深一点的数论,于是再复习一下欧拉定理和费马小定理. 欧拉定理 内容 若正整数 \(a,n\) 互质,则 \(a^{\varphi(n)}\e ...

  4. 【算法小结】费马小定理

    " Ctrl AC!一起 AC!" 费马小定理可以用来求乘法逆元. 费马小定理:P为质数时且gcd(A,P)==1,则A^(P-1)=1(在mod P的条件下). 乘法逆元:A*B ...

  5. 费马小定理与素数判定

    费马小定理是初等数论四大定理(威尔逊定理,欧拉定理(数论中的欧拉定理,即欧拉函数),中国剩余定理和费马小定理)之一,在初等数论中有着非常广泛和重要的应用.实际上,它是欧拉定理的一个特殊情况. 其内容为 ...

  6. c语言中余数恒等于1,费马小定理_KANGMANG201102_新浪博客

    费马小定理是数论中的一个重要定理,其内容为: 假如p是质数,且(a,p)=1,那么 a^(p-1) ≡1(mod p) 假如p是质数,且a,p互质,那么 a的(p-1)次方除以p的余数恒等于1 费马小 ...

  7. 除法取模与逆元/费马小定理

    对于正整数和,如果有,那么把这个同余方程中的最小正整数解叫做模的逆元. 逆元一般用扩展欧几里得算法来求得,如果为素数,那么还可以根据费马小定理得到逆元为.(都要求a和m互质) 推导过程如下(摘自Acd ...

  8. 求2的n次方对1e9+7的模,n大约为10的100000次方(费马小定理)

    昨天做了一个题,简化题意后就是求2的n次方对1e9+7的模,其中1<=n<=10100000.这个就算用快速幂加大数也会超时,查了之后才知道这类题是对费马小定理的考察. 费马小定理:假如p ...

  9. 数论四大定理(欧拉定理、费马小定理、中国剩余定理、威尔逊定理)

    前置知识 同余 假设 a,ba,ba,b 都是整数,如果 nnn 是一个正整数,且存在整数 kkk 使得 a−b=k×na−b=k \times na−b=k×n,则称 a,ba,ba,b 模 nnn ...

最新文章

  1. python中的模块如何学习_在python中学习队列模块(如何运行它)
  2. 面试官:你知道双机存储有哪几种吗?分别有哪些优缺点(主备、主从、主主)...
  3. HTML5绝对定位图片合成,HTML5 绝对定位的问题
  4. golang 函数指针相等比较
  5. python的简单编程-python入门脚本的简单示例
  6. 深入理解Kafka(2)-Producer
  7. 【天工Godwork精品教程】任务一:创建工程(导入相片、编辑相机参数、导入POS)
  8. 图片呈现jQuery中fadeIn、fadeOut、fadeTo的用法(图片隐藏与显示)
  9. php larve,封装composer包,实现thinkphp、larverl、yii框架中使用(使用框架实现回调方法)...
  10. Bzoj 2154: Crash的数字表格(积性函数)
  11. Sound Of Firmware 学习 (一) 注册SOF
  12. JSP中用List list = new ArrayList();报错, List cannot be resolved to a type
  13. wamp环境二次配置
  14. 怎么打开华硕电脑计算机功能,华硕笔记本小键盘怎么开(笔记本电脑虚拟键盘怎么打开)...
  15. 行锁、间隙锁、next-key锁
  16. 随机的Lazy-Greedy:lazier than lazy greedy
  17. 一篇文章带你了解Nodejs
  18. SpaceVim 安装和卸载
  19. 物联网漏洞挖掘入门--DLINK-DIR-645路由器栈溢出漏洞分析复现
  20. cdr vb 动态定义数组 遍历对象里面包含群组的

热门文章

  1. Zjh游戏(十六)搭建房间选择界面
  2. 神秘海域:失落的遗产 - 概念艺术
  3. thinkphp-许愿墙-3
  4. 如何解决PHP-FPM报错: server reached max_children
  5. 一个Key对应多个Value
  6. AVL树的插入与删除(详解)
  7. 原生js的scroll和touch事件
  8. 纪中DAY10做题小结
  9. Guava 之 Multimap
  10. ASP.net Core 2.2中Jwt验证的使用方法及在微信小程序上应用