若 ppp 为素数,gcd(a,p)=1gcd(a,p)=1gcd(a,p)=1 ,则 ap−1≡1(modp)a^{p-1} \equiv 1 \pmod{p} ap−1≡1(modp)
若 gcd(a,m)=1gcd(a,m)=1gcd(a,m)=1,则 aφ(m)≡1(modm)a^{\varphi(m)}\equiv 1\pmod maφ(m)≡1(modm)
主要用于解决幂次很大时的取模
按底数 aaa 和模数 ppp 的关系分情况(与指数是多少无关)
ab≡{ab,b<φ(p)a(bmod φ(p))+φ(p),b≥φ(p)(modp)a^b\equiv \begin{cases} a^b, & b<\varphi(p)\\ a^{(b\mod \varphi(p))+\varphi(p)}, &b\ge \varphi(p) \end{cases} \pmod p ab≡{ab,a(bmodφ(p))+φ(p),b<φ(p)b≥φ(p)(modp)