当前位置: 首页 > news >正文

威尔逊定理、费马小定理,逆元

威尔逊定理
p=2显然成立,以下仅考虑p>=3。
(p-1)! =-1 (mod p)
123...(p-1) 一共有p-1个数。
由于p是素数,(a, p) = 1,固 ax=1 (mod p) 有唯一解,即每个数都有一个逆元。
首先,对于方程 x^2=1 (mod p) 只有两个解 x=±1,意味着只有 x=±1 的逆元是本身,其他的元都需要和别的数配对。
也就意味着从2~p-2正好构成 (p-3)/2 对互为逆元的数对。
因此:123...(p-1) = p-1。
即 (p-1)! = p-1 = -1 (mod p)
简单推论 (p-2)! = 1 (mod p)

费马小定理
对于 1~p-1 的两个数a,b,如果 a!=b,则对任意 x 在 1~p-1 之间有 xa!=xb,这是因为如果 xa=xb,则通过乘以x的逆元,会得到 a=b。
因此 将 1~p-1 的每个数与x相乘会得到不同的 p-1 个数,这必然正好对应于 1~p-1。
所以有 x^(p-1) * (p-1)! = (p-1)!。
消去 (p-1)! 即得 x^(p-1) = 1。

素数的逆元
由费马小定理 x^(p-1) = 1,
x*x^(p-2) = 1,
所以 x^-1 = x^(p-2)。

http://www.jsqmd.com/news/753574/

相关文章:

  • 2026年4月目前比较好的白刚玉生产厂家推荐,氧化铝粉/磷酸二氢铝/陶土/型煤球团粘合剂,白刚玉直销厂家口碑推荐 - 品牌推荐师
  • CSP-J初赛备考别慌!从这5道易错题入手,帮你理清C++基础与算法思路
  • 用嘉立创和淘宝‘筛’MCU:一个硬件工程师的选型实操笔记
  • NVIDIA Air网络自动化实践:从拓扑创建到CI/CD集成
  • Openpilot上车实战:雅阁混动+乐视手机,从硬件采购到软件SSH安装的完整避坑记录
  • 告别全量微调!用Mona Adapter在Swin Transformer上轻松搞定分割与检测(附代码)
  • 本地化私有AI助手部署指南:基于InsightsLM与RAG架构的完全离线解决方案
  • Revit族参数管理太乱?试试用Dynamo把族数据一键导出到Excel(保姆级流程)
  • 2026年3月咸鸭蛋公司推荐,市场咸鸭蛋企业,咸蛋黄咸香与酸味搭配 - 品牌推荐师
  • 别再为GDAL编译发愁了!Win11下用CMake搞定TIFF库的保姆级教程
  • Origin 2025b 中英文界面切换脚本
  • 6G ISAC系统安全波束成形技术解析与优化
  • 为什么你的C++27无锁队列卡在200万QPS?揭秘std::atomic_wait/std::atomic_notify在Linux futex2下的3层内核调度盲区
  • RISC-V五级流水线数据通路Verilog实现避坑指南:那些教科书上没讲的细节
  • 使用 OpenClaw 配置 Taotoken 作为其 Agent 工作流后端
  • 电子签名保存的坑我帮你踩完了:从Canvas到Blob,再到Base64和PDF的完整方案对比
  • RAG学习笔记2--系统查询流程
  • 为什么你的DoIP连接总在12.8秒后断开?C++底层定时器与ISO 13400-2:2020心跳机制深度解耦
  • 服务器上CUDA版本混乱?手把手教你用环境变量搞定FlashAttention安装报错
  • AEUX:5分钟完成Figma到After Effects的无缝转换
  • Altium Designer新手必看:保姆级Gerber文件生成与检查全流程(附CAM350/华秋DFM对比)
  • 从波形图到SDC命令:手把手教你分析DDR SDRAM数据手册并完成FPGA时序约束
  • 多模态大语言模型视觉推理中的注意力优化实践
  • 【Java服务网格配置黄金法则】:20年架构师亲授5大避坑指南与生产环境调优清单
  • 告别MT7621!MT7981新分区解析:BL2和FIP镜像怎么来的?
  • 《The Probabilistic Methods》课后习题
  • 【绝密预发布资料】OPC Foundation未公开的C# .NET 8专用UA SDK Beta 3.2.0:支持ARM64边缘网关+OPCUA over MQTT 5.0,仅开放给前200名订阅者
  • 移动端 App 存储 JWT 怎么利用 Keychain 防止根越狱读取?
  • 别再死记硬背符号了!EPlan新手必学的5个高效绘图技巧(附2.9版安装包)
  • 给娃讲C++:用《信息学奥赛一本通》习题带娃入门编程(附2051-2056题保姆级解析)