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

费马小定理证明

费马小定理

若存在整数 a , p 且gcd(a,p)=1gcd(a,p)=1gcd(a,p)=1,即二者互为质数,则有a(p−1)≡1(modp)a^{(p−1)}≡1(modp)a(p1)1(modp)a(p−1)%p=1a^{(p-1)}\%p=1a(p1)%p=1

证明方法一:剩余系与乘法群

有一个集合A={1,2,3,4···p-1}
是模p的一个完全剩余系去掉0

因为gcd(a,p)=1,所以a在模p下有逆元,且a乘以A中的每一个元素,我们就可以得到另外一个集合
B={a1modp,a2modp······a*(p-1)modp};

集合B依然是属于集合A的,只是顺序不同。

于是乎我们可以得到一个通解:
∏x∈Ai=∏x∈a(i∗a)modp\prod_{x\in A}i = \prod_{x\in a}(i*a) mod pxAi=xa(ia)modp
即:(p−1)!≡ap−1∗(p−1)!modp(p-1)! \equiv a^{p-1}*(p-1)! mod p(p1)!ap1(p1)!modp

这里为什么会想到累乘?
因为AB集合是相同的,只是顺序不同,集合元素乘起来的和一定相同,这样就不会因为元素位置不同,而产生无法联系的关系。
由于他们都是质数,就可以得出:
1≡ap−1modp1\equiv a^{p-1}modp1ap1modp
得证。


证明方法二:二项式定理与归纳法

引理证明:二项式系数的整除性

对于质数 (p)( p )(p),二项式系数 (pk)\binom{p}{k}(kp)1≤k≤p−11\leq k \leq p-11kp1时,有(p∣(pk))( p \mid \binom{p}{k} )(p(kp))
展开二项式系数:
[(pk)=p!k!(p−k)!][\binom{p}{k} = \frac{p!}{k!(p-k)!}][(kp)=k!(pk)!p!]
分子含因子 ( p ),而分母 ( k!(p-k)! ) 不包含 ( p )(因为 ( k < p ) 且 ( p-k < p )),故 (pk)\binom{p}{k}(kp) 是 ( p ) 的倍数。

数学归纳法证明 (ap≡a(modp)(a^p \equiv a \pmod{p}(apa(modp)

基础情况:( a = 0 ) 时显然成立。
归纳假设:假设 (ap≡a(modp)(a^p \equiv a \pmod{p}(apa(modp) 成立。
归纳步骤:考虑 ( (a+1)^p ) 的展开式:
[(a+1)p=∑k=0p(pk)ak][(a+1)^p = \sum_{k=0}^p \binom{p}{k} a^k][(a+1)p=k=0p(kp)ak]

由引理知,当 ( 1≤k≤p−11 \leq k \leq p-11kp1 ) 时,((pk)≡0(modp)\binom{p}{k} \equiv 0 \pmod{p}(kp)0(modp) ),因此:

[(a+1)p≡ap+1(modp)[(a+1)^p \equiv a^p + 1 \pmod{p}[(a+1)pap+1(modp)]
根据归纳假设 ( a^p \equiv a \pmod{p} ),代入得:
[(a+1)p≡a+1(modp)][(a+1)^p \equiv a + 1 \pmod{p}][(a+1)pa+1(modp)]

归纳成立,故对任意整数 ( a≥0a \geq 0a0 ) 有 ( ap≡a(modp)a^p \equiv a \pmod{p}apa(modp) )。

在这个基础上,两边同时乘一个a的逆元(a−1a^{-1}a1
得到:ap−1≡1(modp)a^{p-1} \equiv 1 \pmod{p}ap11(modp)

得证


http://www.dtcms.com/a/439227.html

相关文章:

  • 建设中网站源码微信小程序怎么注册申请
  • iis7.5 没有默认网站彩票网站代理
  • 汇编语言Debug工具与常用指令完全指南
  • wordpress 托管建站有了公网ip如何做网站
  • 网站的费用多少合肥网站开发建设
  • 零基础学习做网站蚌埠做网站建设费用
  • 麒麟系统安装后添加自启动
  • 网站底部备案号悬挂佛山木工机械厂骏域网站建设专家
  • 顺序表专题
  • 网站 备案 中国 名字微网站模板代码
  • ASP.NET Core Web API 中控制器操作的返回类型及Swagger
  • AI模型测评平台工程化实战十二讲(第六讲:大模型测评系统:智能模型管理模块的设计与实现)
  • 手写MyBatis第90弹:动态SQL测试策略与验证方法
  • 比较有名的公司网站网站建设犀牛云
  • 网站备案 企业备案响应式博客wordpress
  • AI 重塑实体经济:2025 传统产业转型的南通实践启示
  • 番禺建设网站平台网站建设所需要的内容
  • 网站每年续费费用南通制作网站
  • 特优项目网站建设方案辽宁建设工程信息网开评标系统
  • 哪个网站可以做验证码兼职强 的软件免费的软件下载
  • IPV4/Ipv6公网检测网站, DDNS配置
  • 贵州省城乡和住房建设厅网站线上app怎么做
  • 地方网站推广云主机费用
  • QT肝8天13--删除用户
  • 素材分享网站源码北龙中网 可信网站验证 费用
  • P7226 [COCI 2015/2016 #3] POT
  • 网店代运营网站建设银行信用卡积分兑换话费网站
  • 数字资产离婚分割案:巨额数字资产归谁所有?
  • 网站源码安装教程阳江房产网站
  • 2.VMware上的Kali Linux操作系统安装(2025年10月3日)