[数论小定理]扩展欧拉定理及其证明

前言

对于模意义下的指数运算a^n\ mod\ m,欧拉定理为我们提供了一个很好的等式(a,m)=1 => a^{\varphi(m)} \equiv 1 (mod\ m)利用此等式我们可以很好的解决对于n特别大情况如10^{200000}

若前提的互素条件不一定成立时,则这个等式不能达到需求,而扩展欧拉定理通过对(a,m) \neq 1时两者素因子的分析,也可以让运算下降到O(m)的级别


定理内容

a^{n} \equiv \left\{ \begin{array}{lr} a^{n} & n<\varphi(m)\\ a^{n \% \varphi (m) +\varphi(m)} & n\geq \varphi(m) \end{array} \right. (mod\ m)


证明

1.若(a,m)=1结论即为普通的欧拉定理

2.若(a,m)>1,考察a,m的一个相同素因子p,其中m=p^\alpha m_1m_1无素因子p

m | p^{\beta} (p^{\varphi(m_1)}-1) |p^{\beta} (p^{\varphi(m)}-1) \ =>p^{\beta+\varphi(m)} \equiv p^{\beta} (mod\ m)

对于每个a的素因子都进行这种操作,若(p,m)=1直接利用欧拉定理

n\geq \varphi(m)将所有a的素因子作用一次后取乘积即可得到a^{n} \equiv a^{n \% \varphi (m) +\varphi(m)} (mod\ m)

ps:可以看出上述的证明2部分中界不是最优的,但考虑实际计算时可以让指数化解到O(m)级别通过快速幂即可快速计算

  • 0
    点赞
  • 4
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值