改成全角就能行首空两格了…
发现这玩意儿没有欧拉定理那么好证啊… 欧拉定理消去律做一下推推即可.
从丁学长那里学会了之后写一下证明. 论有一个善良的学长的重要性!!
终于会用makdown写数学公式了~
扩展欧拉定理
aq ≡ aq mod φ(m) + φ(m)(mod m)(a与m不一定互质)
证明
a=p1r1∗p2r2∗p3r3...
要证明扩展欧拉定理则只需证a的任意一个质因子pi piq ≡ piq mod φ(m) + φ(m)(mod m)
简单解释一下这是如何转化的.
piq ≡ piq mod φ(m) + φ(m)(mod m)
根据同余式可乘可推出(piq)ri ≡ (piq mod φ(m) + φ(m))ri(mod m)
即(piri)q ≡ (piri)q mod φ(m) + φ(m)(mod m),根据同余式可乘得到
(p1r1∗p2r2∗p3r3...)q ≡ (p1r1∗p2r2∗p3r3...)q mod φ(m) + φ(m)(mod m)
可以发现这就是aq ≡ aq mod φ(m) + φ(m)(mod m)
那么现在要证明的东西已经转化, 考虑如何证得.
p为a某质因子,若p∤m则欧拉定理显然证得,考虑p∣m.
m=pr∗s,则pφ(s)≡1(mod s)(因为s和p互质,由欧拉定理可得)
由φ(m)=φ(pr)∗φ(s)可得(积性函数),φ(s)∣φ(m)
所以 pφ(m)≡1(mod s)
从而 pq≡pq mod φ(m)(mod s), 显然式子同时乘以qr可以得到
=> pq + r≡pq mod φ(m) + r(mod m)(因为m=s∗qr)
显然r<=φ(m),所以两边同时乘以pφ(m) − r可以得到上面转化出来要求的式子
pq ≡ pq mod φ(m) + φ(m)(mod m)
证毕