费马小定理证明

费马小定理证明费马小定理的证明如下 任意取一个质数 比如 13 考虑从 1 到 12 的一系列整数 1 2 3 4 5 6 7 8 9 10 11 12 给这些数都乘上一个与 13 互质的数 比如 3 得到 3 6 9 12 15 18 21 24 27 30 33 36 对于模 13 来说 这些数同余于 3 6 9 12 2 5 8 11 1 4 7 10 这些余数实际上就是原来的 1 2 3 4 5 6 7 8 9 10 11 1

费马小定理的证明如下:

任意取一个质数,比如13。考虑从1到12的一系列整数1,2,3,4,5,6,7,8,9,10,11,12,给这些数都乘上一个与13互质的数,比如3,得到3,6,9,12,15,18,21,24,27,30,33,36。对于模13来说,这些数同余于3,6,9,12,2,5,8,11,1,4,7,10。这些余数实际上就是原来的1,2,3,4,5,6,7,8,9,10,11,12,只是顺序不同而已(这里可以用中国剩余定理去理解)。

  把1,2,3,„,12统统乘起来,乘积就是12的阶乘12!。把3,6,9,„,36也统统乘起来,并且提出公因子3,乘积就是312×12!。对于模13来说,这两个乘积都同余于1,2,3,„,12系列,尽管顺序不是一一对应,即312×12!≡12!mod 13。两边同时除以12!得312≡1 mod 13。如果用p代替13,用x代替3,就得到费马小定理x^{p-1}\equiv1\: mod\: p  

1*2*..*12 ≡ 3*6*9*12*2*5*8*11*1*4*7*10 mod 13 (因为顺序不同而已)

  而3*6*9*12*15*18*21*24*27*30*33*36 ≡ 3*6*9*12*2*5*8*11*1*4*7*10 mod 13 (因为3和13互质,所以1,2,.. 12 乘上3后还是和13互质,12个数还是和1到12同余 ,只是顺序不同了 )。

  所以312×12!≡12!mod 13。

费马小定理可以快速求得x关于p的逆。前提是x与p互质。

x*x^{p-2} \equiv 1\: mod\: p

所以x^{p-2}就是x关于p的乘法逆元。

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

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

(0)
上一篇 2026年3月18日 上午8:45
下一篇 2026年3月18日 上午8:45


相关推荐

  • 图像处理5:Sobel边缘检测算子(C++)[通俗易懂]

    图像处理5:Sobel边缘检测算子(C++)[通俗易懂]voidCMFCworkDlg::OnBnClickedButton7(){ //TODO:在此添加控件通知处理程序代码 //Sobel算子边缘检测 Matimage=imread(“ema.jpg”,1); Matimage_gray=gray_img(image); Matgradx,grady; gradx.create(image.size(),CV_8UC1); grady.create(image.size(),CV_8UC1); for..

    2022年7月15日
    15
  • supervisor 进程管理

    supervisor 进程管理supervisor 进程管理

    2022年4月24日
    49
  • SpringBoot跨域设置(CORS)「建议收藏」

    SpringBoot跨域设置(CORS)「建议收藏」目录什么是跨域跨域资源共享(CORS)1.简单请求2.非简单请求SpringBoot设置CORS1.配置过滤器CorsFilter2.实现接口WebMvcConfigurer3.使用注解@CrossOrigin什么是跨域请求url的协议、域名、端口三者有任意一个不同即为跨域。跨域问题是因为浏览器的同源策略的限制而产生的。同源:请求url的协议、域名、端口三者都相同即为同源(同一个域)。同源策略:同源策略(Sameoriginpolicy)是一种约定,他是浏览器最核心也最基本的安全

    2022年6月18日
    28
  • 奇怪的知识增加了

    奇怪的知识增加了近日闲来无事,总有一种无形的力量萦绕在朕身边,让朕精神涣散,昏昏欲睡。可是,像朕这么有职业操守的社畜怎么能在上班期间睡瞌睡呢,我不禁陷入了沉思。。。。突然旁边的IOS同事问:‘嘿,兄弟,我发现一个网站的图片很有意思啊,能不能帮我保存下来提升我的开发灵感?’作为一个坚强的社畜怎么能说自己不行呢,当时朕就不假思索的答应:‘oh,It’ssimple.Waitformefora…

    2022年7月16日
    16
  • 思科交换机 flow control 交换机流控[通俗易懂]

    思科交换机 flow control 交换机流控[通俗易懂]配置IEEE802.3X流控制流控制在直连的以太端口上启用,在拥塞期间允许另一端拥塞的节点暂停链路运作来控制流量速率。如果一个端口发生拥塞并且不能接收任何更多的流量,他将通知对端端口停止发送直到这种拥塞情况消失。当本地设备在他本地检测到了任何拥塞,他能够发送一个暂停帧通知链路伙伴或者远程设备已发生拥塞。紧随收到暂停帧之后,远程设备停止发送任何…

    2022年6月5日
    93
  • 内核置顶[置顶] Linux 内核定时器

    内核置顶[置顶] Linux 内核定时器

    2021年8月24日
    62

发表回复

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

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