数论四大定理之威尔逊定理
本文总结了网上关于威尔逊定理的证明,用逻辑更通顺的数学语言表述出来,仅供参考
威尔逊定理
ppp 为质数⟺(p−1)!≡−1(modp)\Longleftrightarrow(p-1)!\equiv -1(\mod p)⟺(p−1)!≡−1(modp)
证明:
- 必要性:
(p−1)!≡−1(modp)⟺p∣(p−1)!+1(p-1)!\equiv -1(\mod p)\Longleftrightarrow p|(p-1)!+1(p−1)!≡−1(modp)⟺p∣(p−1)!+1
假设 ppp 不是质数,且 aaa 是 ppp 的质因子。
易知a∣(p−1)!a|(p-1)!a∣(p−1)!,则a∤(p−1)!+1a\nmid(p-1)!+1a∤(p−1)!+1
而p∣(p−1)!+1⟹a∣(p−1)!+1p|(p-1)!+1\Longrightarrow a|(p-1)!+1p∣(p−1)!+1⟹a∣(p−1)!+1,前后矛盾!
故 ppp 一定为质数。
关于充分性的证明,如果直接看证明的话,容易一脸懵逼。如果带着证明思路看,可能会好得多。证明思路如下:证明集合{2,3,⋯,p−2}\{2,3,\cdots,p-2\}{2,3,⋯,p−2}中存在两两配对的元素a,ba,ba,b,有ab≡1(modp)ab\equiv1(\mod p)ab≡1(modp)。即(p−2)!≡1(modp)(p-2)!\equiv1(\mod p)(p−2)!≡1(modp),又p−1≡−1(modp)p-1\equiv-1(\mod p)p−1≡−1(modp),所以有(p−1)!≡−1(modp)(p-1)!\equiv-1(\mod p)(p−1)!≡−1(modp)
- 充分性:
当 p=2p = 2p=2 时,(p−1)!≡−1(modp)(p-1)!\equiv -1(\mod p)(p−1)!≡−1(modp)显然成立。
当 p=3p = 3p=3 时,(p−1)!≡−1(modp)(p-1)!\equiv -1(\mod p)(p−1)!≡−1(modp)显然成立。
当p≥5p\ge5p≥5时,令M={2,3,⋯,p−2},N={1,2,⋯,p−1}M=\{2,3,\cdots,p-2\},N=\{1,2,\cdots,p-1\}M={2,3,⋯,p−2},N={1,2,⋯,p−1}∀a∈M\forall a\in M∀a∈M,令S=a⋅N={a,2a,⋯,(p−1)a}S=a\cdot N=\{a,2a,\cdots,(p-1)a\}S=a⋅N={a,2a,⋯,(p−1)a} 注意∀t∈S,p∤t\forall t\in S,p\nmid t∀t∈S,p∤t
∴∀t1,t2∈S,t1<t2⟹t2−t1∈S⟹p∤(t2−t1)\therefore\forall t_1,t_2\in S,t_1<t_2\Longrightarrow t_2-t_1\in S\Longrightarrow p\nmid(t_2-t_1)∴∀t1,t2∈S,t1<t2⟹t2−t1∈S⟹p∤(t2−t1)
根据同余的定义可知,SSS中所有元素模ppp都不同余
∴Smodp=N\therefore S\mod p=N∴Smodp=N
也就是说∀a∈M,∃x∈N\forall a\in M,\exists x\in N∀a∈M,∃x∈N,一定有ax≡1(modp)ax\equiv1(\mod p)ax≡1(modp)
若x=1x=1x=1,则ax%p=a%p=a,∴x≠1ax\%p=a\%p=a,\therefore x\ne1ax%p=a%p=a,∴x=1
若x=p−1x=p-1x=p−1,则
ax%p=(ap−a)%p=[(a−1)p+p−a]%p=p−a,∴x≠p−1ax\%p=(ap-a)\%p=[(a-1)p+p-a]\%p=p-a,\therefore x\ne p-1ax%p=(ap−a)%p=[(a−1)p+p−a]%p=p−a,∴x=p−1
若x=ax=ax=a,则
a2≡1(modp)⟹(a+1)(a−1)≡0(modp)a^2\equiv1(\mod p)\Longrightarrow(a+1)(a-1)\equiv0(\mod p)a2≡1(modp)⟹(a+1)(a−1)≡0(modp)
⟹a=1\Longrightarrow a=1⟹a=1 或 a=p−1∴x≠aa=p-1\therefore x\ne aa=p−1∴x=a
综上所述,∀a∈M,∃x∈M\forall a\in M,\exists x\in M∀a∈M,∃x∈M,且a≠xa\ne xa=x,有ax≡1(modp)ax\equiv1(\mod p)ax≡1(modp)
所以(p−1)!≡1⋅(p−1)≡−1(modp)(p-1)!\equiv1\cdot(p-1)\equiv-1(\mod p)(p−1)!≡1⋅(p−1)≡−1(modp)
证毕!
数论四大定理之威尔逊定理相关推荐
- 费马小定理、威尔逊定理
目录 费马小定理: 威尔逊定理: 费马小定理: 若p为质数且a%p!=0 则 等价于 也就是对于mod(p)而言,模乘法a的逆为 证明: 对于质数p,任意a都满足a%p!=0且(p-1)!%p != ...
- 数论四大定理之——威尔逊定理
作为数论四大定理中的一员,威尔逊定理可谓是最简单的一个定理了.虽然它的用处也不想欧拉定理或中国剩余定理那么广泛,但是,我们也必须要了解威尔逊定理,因为没有了它,很多题目都会将你深深的折磨的.那我们现在 ...
- 7. 数论四大定理(威尔逊定理、欧拉定理、费马小定理、孙子定理)
一.准备工作 点击查看数论基础知识 二.威尔逊定理 威尔逊定理给出了判定一个自然数是否为素数的充分必要条件.但是由于阶乘是呈爆炸增长的,其结论对于实际操作意义不大. 1. 定理及其变形 当且仅当p为素 ...
- 数学--数论--四大定理之威尔逊定理
威尔逊定理 当 (p−1)!≡−1(modp)(p−1)!≡−1(modp)(p−1)!≡−1(modp)时,ppp为素数. p∣(p−1)!+1p∣(p−1)!+1p∣(p−1)!+1 即(p−1) ...
- 小结:数论四大定理(威尔逊定理+欧拉定理+中国剩余定理+费马小定理)
前置知识: 模运算消去律:ac ≡ bc (mod p) → a ≡ b (mod p/gcd(c,p) ) 威尔逊定理: 当且仅当p为素数时,( p -1 )! ≡ -1 ( mod p ) 当且仅 ...
- 数论学习四之——威尔逊定理
在介绍威尔逊定理之前,我们先给出一个引理: 如果 p p p是素数,正整数 a a a是其自身模 p p p的逆,当且仅当 a ≡ 1 ( m o d p ) a\equiv1(mod\ p) a≡1 ...
- 【初等数论四大定理之三】欧拉定理,费马小定理,威尔逊定理
突然想整理一下几个定理及其证明. 欧拉定理 若n,a为正整数,且n,a互质,则: 费马小定理: 假如p是质数,且gcd(a,p)=1,那么 a^(p-1)≡1(mod p) 求逆元方法之一:其实是欧拉 ...
- Fansblog HDU-6608(费马小定理、威尔逊定理)
1e14以内的素数间隔最大不超过700(我也不会证明,网上看的) 威尔逊定理:https://blog.csdn.net/m0_50623076/article/details/109894993 p ...
- 数论篇5——数论四大定理
数论四大定理: 威尔逊定理 欧拉定理 孙子定理(中国剩余定理) 费马小定理 1.威尔逊定理 在初等数论中,威尔逊定理给出了判定一个自然数是否为素数的充分必要条件. 当且仅当$p$为素数时 $(p-1) ...
最新文章
- 1.8 欠拟合和过拟合-机器学习笔记-斯坦福吴恩达教授
- antd如何获取表单的值_antd 父组件获取子组件中form表单的值
- 动态规划专题 01背包问题详解【转】
- nagios报Connection refused by host的解决办法
- windows无法发现任何计算机或设备,Win10系统提示windows无法与设备或资源通信如何解决...
- Spring不使用XML的注解开发
- C++_类和对象_C++多态_多态案例1-计算器类_抽象父类---C++语言工作笔记071
- 因未交赎金,世界航天巨头机密文档遭勒索软件公开
- python 性能优化监控工具_推荐一款非常实用的JVM性能调优监控工具(亲测好用)...
- 利用ESP8266与米思齐从零制作模拟温室大棚--接线篇
- Unity如何开发微信小游戏
- python:tushare 获取A股指数数据,并使用LSTM预测
- webstorm官网中文破解版(转自http://blog.csdn.net/vchen_hao/article/details/77248053)
- 会编程的都来玩玩这个游戏吧,看看你的编程水平.
- python生成单位矩阵_python 实现一个反向单位矩阵示例
- MPC轨迹跟踪——基于ROS系统和全向车实验平台
- 基于java的雷电游戏
- 网站如何添加php模板文件路径,Dede网站怎么修改模板路径
- C++ 第九节——map/set(用法+底层原理+模拟实现)
- mobl-lang 的反应性编程
热门文章
- 大数据案例——Hive、MySQL、HBase数据互导
- linux6.5kdump,GitHub - figozhang/linux-5.0-kdump: Kdump+crash lab
- HTML Ueditor图片宽度超出编辑器
- oracle imp ora 00959,Oracle导入dmp文件时出现了IMP-00038和ora-00959
- 一文了解摩根大通的金融区块链平台:Quorum
- 中英文对照 —— 集合(数学)、代数(抽象代数)、拓扑
- 提高工作效率,牵引力技术总监告诉你诀窍!
- Spring Boot集成Quartz动态实现数据库任务
- phpcms 模板中php代码,PHPCMS 模板制作教程 黑夜之舞出品
- NetApp 存储一些概念