定理
若p为质数,x2≡1(modp),则x≡1(modp)或x≡p−1(modp)若p为质数,x2≡1(modp),则x≡1(modp)或x≡p−1(modp)若p为质数,x2≡1(modp),则x≡1(modp)或x≡p−1(modp)
证明:
移项可得:x2−1≡0(modp),也就是(x+1)(x−1)≡0(modp).移项可得:x2−1≡0(modp),也就是(x+1)(x−1)≡0(modp).移项可得:x2−1≡0(modp),也就是(x+1)(x−1)≡0(modp).

这个式子等价于p∣(x+1)(x−1).这个式子等价于p|(x+1)(x−1).这个式子等价于p∣(x+1)(x−1).

容易想到p∣(x+1)或者p∣(x−1)都是可行的,那么有没有p∤(x−1),p∤(x+1),而p∣(x−1)(x+1)呢?容易想到p|(x+1)或者p|(x−1)都是可行的,那么有没有p∤(x−1),p∤(x+1),而p|(x−1)(x+1)呢?容易想到p∣(x+1)或者p∣(x−1)都是可行的,那么有没有p∤(x−1),p∤(x+1),而p∣(x−1)(x+1)呢?

若出现上面这种情况,首先要保证的是gcd(p,x−1)>1且gcd(p,x+1)>1.可以理解为p这个因子被"拆成"了两份,一份和(x−1)融合在了一起,另一份和(x+1)融合在了一起.而p是质数,只能拆成p和1两个因子;无论怎么拆,都不能使得两个gcd同时大于1.这算是一种不严谨的证法,证明了一定有p∣(x−1)或p∣(x+1)若出现上面这种情况,首先要保证的是gcd(p,x−1)>1且gcd(p,x+1)>1.\\可以理解为p这个因子被"拆成"了两份,一份和(x−1)融合在了一起,另一份和(x+1)融合在了一起.而p是质数,只能拆成p和1两个因子;\\无论怎么拆,都不能使得两个gcd同时大于1.这算是一种不严谨的证法,证明了一定有p|(x−1)或p|(x+1)若出现上面这种情况,首先要保证的是gcd(p,x−1)>1且gcd(p,x+1)>1.可以理解为p这个因子被"拆成"了两份,一份和(x−1)融合在了一起,另一份和(x+1)融合在了一起.而p是质数,只能拆成p和1两个因子;无论怎么拆,都不能使得两个gcd同时大于1.这算是一种不严谨的证法,证明了一定有p∣(x−1)或p∣(x+1)

接下来就简单了:p∣(x+1)等价于x+1≡0(modp),即x≡p−1(modp).p∣(x−1)同理.这样就证明完毕了.接下来就简单了:p|(x+1)等价于x+1≡0(modp),即x≡p−1(modp).p|(x−1)同理.这样就证明完毕了.接下来就简单了:p∣(x+1)等价于x+1≡0(modp),即x≡p−1(modp).p∣(x−1)同理.这样就证明完毕了.

数学--数论--二次探测定理相关推荐

  1. 数学--数论--费马小定理+求逆元

    1.费马小定理: (此处的p为素数) 证明: 费马小定理求逆元 如果p为小素数我们选择直接暴力,时间复杂度为: int Fermat_inverse(int a,int mod) {int res = ...

  2. 数论及其应用——同余式定理

    这篇文章我们将介绍数论当中几个很重要的定理:威尔逊定理.费马小定理以及欧拉定理,并讨论一些基于这些定理的算法. 首先我们给出费马小定理:如果p是素数,并且gcd(a,p) = 1 , 那么有a^(p- ...

  3. 数学--数论--质数处理

    定义: 一个数的因数只有1和本身,那么这个数是质数. 质数的判断: 一个数n如果不是质数那么在2-sqrt(n)sqrt(n)sqrt(n)一定有他的因子,于是: bool isPrime (int ...

  4. 数论 —— 逆元与同余式定理

    [同余模公式] (A+B)%M = (A%M+B%M) % M (A*B)%M = (A%M*B%M) % M (A/B)%M = (A*C)%M = (A%M*C%M) % M,其中 B*C≡1(m ...

  5. 数学/数论专题-学习笔记:狄利克雷卷积

    数学/数论专题-学习笔记:狄利克雷卷积 1. 前言 2. 一些基础函数 3. 积性函数 4. 狄利克雷卷积 5. 总结 6. 参考资料 1. 前言 狄利克雷卷积,是学习与继续探究 μ\muμ 函数和 ...

  6. 高中数学必修二空间向量及其运算(经典案例)

    今天给同学分享高中数学必修二空间向量及其运算知识梳理,通过五个经典案例解答,对高中数学必修二空间向量及其运算要点整合. 一. 知识点梳理 2.两个向量的数量积(与平面向量基本相同) 4.直线的方向向量 ...

  7. 信奥中的数学 数论 第2讲 奇数和偶数

    28.891.数的奇偶 (课程6) 难度:1 登录 29.892.同奇偶 (课程6) 难度:1 登录 30.893.奇数个数 (课程6) 难度:1 登录 35.898.2位偶数 (课程7) 难度:1 ...

  8. 2020考研数学-数二考试大纲原文(21可做参考)

    2020考研数学-数二考试大纲原文(21可做参考) 附:各大高校专业课资料整理可以看一下我的博客主页上传的资源哦!感谢关注,点赞,评论♥ 一.函数.极 限.连续 考试内容 函数的概念及表示法. 函数的 ...

  9. 数学/数论专题:莫比乌斯函数与欧拉函数

    数学/数论专题:莫比乌斯函数与欧拉函数(进阶) 0. 前言 1. 前置知识 2. 正文 3. 总结 4. 参考资料 0. 前言 本篇文章会从狄利克雷卷积的角度,讨论莫比乌斯函数与欧拉函数的相关性质. ...

最新文章

  1. 200秒=超算1万年,谷歌实现“量子霸权”论文上架随即被撤回,引发全球热议...
  2. 教您怎么从spring 官网下载参考文档
  3. 基于单片机的c语言倒计时程序,30秒倒计时c语言51单片机实现.doc
  4. JQUERY拼接数组
  5. 访问tomcat manager应用遇到的403 access denied错误
  6. 计算机初试占比高的学校,复试压力小,初试占比70%及以上的院校汇总!
  7. 【Vue指令】—v-if、v-show二者用法及区别
  8. BUG: button点击高亮延迟问题
  9. 一个函数中写多少行代码比较合适呢?
  10. 刷题——必备十二大网站
  11. 解析Excel(xls、xlsx两种格式)
  12. BottomNavigationView与Navigation使用
  13. Python的学习笔记案例8--空气质量指数计算9.0
  14. Infor CloudSuite Industrial (SyteLine) 报告文件存储位置设置
  15. syscall(SyS_gettid)是什么
  16. 编译原理 —— 什么是编译
  17. 拍照手机哪款好?华为Mate 20 Pro值不值得买
  18. DVWA通关-SQL注入篇
  19. SpringBoot 21 Swagger 2.9.2
  20. 纯css实现科技感十足的方格闪烁背景

热门文章

  1. 公司项目拓扑的演变过程
  2. 13.10 Scala中使用JSON.toJSONString报错:ambiguous reference to overloaded definition
  3. 【转】jmeter学习笔记——JDBC测试计划-连接Mysql
  4. mysql create routine 权限的一些说明
  5. Android 百度地图开发(一)
  6. UILabel设定行间距方法
  7. 10个调试Java的技巧
  8. java_math_BigDecimal
  9. 刷新页面 数组轮播
  10. 2021宿州市地区高考成绩排名查询,2021年宿州市所有的高中排名,宿州市高中高考成绩排名出炉...