威尔逊定理证明:

威尔逊定理证明:威尔逊定理 当 p 1 1 modp 时 p 为素数 证明如下充分性 当 p 不是素数 那么令 p a b 其中 1

威尔逊定理

威尔逊定理:当 ( p − 1 ) ! ≡ − 1 ( m o d p ) ( p -1 )! ≡ -1 ( mod p ) (p1)!1(modp) 时, p p p为素数。
p ∣ ( p − 1 ) ! + 1 p|(p-1)!+1 p(p1)!+1

( p − 1 ) ! ≡ ( p − 1 ) ≡ − 1 ( m o d   p ) (p – 1)! \equiv (p -1) \equiv-1(mod \ p) (p1)!(p1)1(mod p)
证明(静下心看):



先假设集合 M = { 2 , 3 , 4 , ⋯   , p − 2 } M=\{ 2,3,4,\cdots,p – 2\} M={
2,3,4,,p
2}
,集合 N = { 1 , 2 , 3 , ⋯   , p − 1 } N = \{ 1,2,3,\cdots,p-1\} N={
1,2,3,,p
1}

任取一个 a ∈ M a\in M aM a a a 一定与 p p p 互质。

再假设一个集合 S = a ⋅ N = { a , 2 a , ⋯   , a ( p − 1 ) } S=a\cdot N=\{a,2a,\cdots, a(p-1)\} S=aN={
a,2a,,a(p
1)}
,对于 ∀ x ∈ N \forall x\in N xN x x x 一定与 p p p 互质。

S ≡ N ( m o d p ) S\equiv N (mod \quad p) SN(modp) (任何数 m o d p mod \quad p modp 一定属于 { 1 , 2 , ⋯   , p − 1 } \{1,2,\cdots ,p-1\} {
1,2,,p
1}
N N N)。

∀ a ∈ M \forall a\in M aM ∃ x ∈ N \exist x \in N xN a x ≡ 1 ax \equiv 1 ax1(因为 a x ∈ S ax \in S axS ,在 m o d    p mod \ \ p mod  p 的条件下 S = N S=N S=N ,且存在 1 ∈ N 1\in N 1N

我们可以证明,当 x = 1 x=1 x=1 x = p − 1 x=p-1 x=p1 x = a x=a x=a 时,与已知矛盾。

对于 ( p − 1 ) ! (p-1)! (p1)! ,有
2 × ( p − 1 ) ! = 1 × 2 × 3 × ⋯ × ( p − 1 ) × ( p − 1 ) × ( p − 2 ) × ( p − 3 ) × ⋯ × 1 ( m o d    p ) 2\times(p-1)!=1 \times 2 \times 3 \times \cdots \times (p-1) \\ \times(p-1)\times(p-2)\times(p-3) \times\cdots \times1 (mod \ \ p) 2×(p1)!=1×2×3××(p1)×(p1)×(p2)×(p3)××1(mod  p)

2 × ( p − 1 ) ! = 2 × ( p − 1 ) ( m o d    p ) 2\times(p-1)!=2\times(p-1) (mod \ \ p) 2×(p1)!=2×(p1)(mod  p)


版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请联系我们举报,一经查实,本站将立刻删除。

发布者:全栈程序员-站长,转载请注明出处:https://javaforall.net/207614.html原文链接:https://javaforall.net

(0)
上一篇 2026年3月19日 下午1:28
下一篇 2026年3月19日 下午1:29


相关推荐

  • ASP.NET_动态网页怎么连接数据库

    ASP.NET_动态网页怎么连接数据库近期本人在关注实体设计的过程中一直在了解“ADO.NETEntityFramework数据模型”,从中结识了.NETFramework4中的ASP.NET动态数据,ASP.NET动态数据允许您通过在运行时从数据库架构推断数据实体的外观和行为并从中派生UI行为,创建可扩展的、数据驱动的Web应用程序。         动态数据的一个重要功能是基架机制

    2025年6月14日
    5
  • C语言实现PID算法:位置式PID和增量式PID[通俗易懂]

    原创者微信公众号PID算法可以说是在自动控制原理中比较经典的一套算法,在现实生活中应用的比较广泛。大学参加过电子竞赛的朋友都应该玩过电机(或者说循迹小车),我们要控制电机按照设定的速度运转,PID控制在其中起到了关键的作用。说来惭愧,大学这门课程学的不咋滴,老师讲的课基本没听进去过。直到后面接触竞赛,算是对PID有了很基础的一点点认识,直到现在工作实际应用的…

    2022年4月11日
    115
  • vuex中mapGetters「建议收藏」

    vuex中mapGetters「建议收藏」vuex为了更快捷解决组件之间相互传值问题不划分模块结构目录index.js:importVuefrom’vue’importVuexfrom’vuex’importrouterfrom’@/router’import{getToken,setToken,removeToken}from’@/common/utils/auth’import{getInfo,getDeptUserTreeList,initGetToke…

    2022年6月6日
    38
  • ERROR: Exception: Traceback (most recent call last)的解决方法

    ERROR: Exception: Traceback (most recent call last)的解决方法在使用 pip 安装 pillow 时 总是提示 ERROR Exception Traceback mostrecentca 到网上搜了很多方法 包括使用管理员权限 修改 pip main 方法 都不行 后来我想应该就是简单的网速低导致断链的问题吧 pip 可能不支持断点续传 后来我按照 cmd 命令行里提示的下载地址 自己用浏览器下载 然后本地安装 whl 文件 成功 下载完成

    2026年3月19日
    2
  • 测试技术提升分享_测试技术分享

    测试技术提升分享_测试技术分享在腾讯课堂上分享测试技术相关的课程也有一段时间了,同时在博客(http://blog.sina.com.cn/u/1760715297)和微信公众号上也分享了不少相关文档。现在已经有相当关注度,也有很多同学加入了我们的QQ群(867446822)积极地进行交流。但在交流过程中,也存在不少问题,有相当的同学不了解我们的课程,也不清楚如何学习,所以我写这篇文章,给大家做个指导:一,测…

    2025年11月25日
    8
  • 编程之美2013初赛——竞价

    编程之美2013初赛——竞价题目时间限制 1000ms 内存限制 256MB 描述 Alice 和 Bob 都要向同一个商人购买钻石 商人手中有 N 颗钻石 他会将它们一颗颗地卖给他们 Alice 和 Bob 通过竞价的方式来决定钻石的归属 具体的过程如下 商人首先指定其中一个人开始报价 之后两人轮流报价 要求是一定要比对方报的价格更高 任何时候 如果一个人不愿出价或者出不起价钱时 可以宣布弃权 则对手以最后一次

    2026年3月19日
    2

发表回复

您的邮箱地址不会被公开。 必填项已用 * 标注

关注全栈程序员社区公众号