扩展欧拉定理

似乎这也被叫做欧拉定理？？
$$a^b\equiv a^{b\mathrm{m}\mathrm{o}\mathrm{d}\phi (m)+\phi (m)}(\mathrm{m}\mathrm{o}\mathrm{d}m),whereb>=\phi (m)$$
证明：
把$a$分解质因数，与$m$互质的部分显然满足，考虑与$m$不互质的一个质因子$p^b$
令$gcd(p^r,\frac{m}{p^r})=1$
那么如果$b>=r$有$p^b=p^{b-r}\ast p^r\equiv p^{b-r}{p}^{\phi (m)+r}(\mathrm{m}\mathrm{o}\mathrm{d}m)$
这个$p^r\equiv p^{\phi (m)+r}(\mathrm{m}\mathrm{o}\mathrm{d}m)$
可以这样理解：
$m=p^r\ast s,gcd(s,p^r)=1$
那么$p^{\phi (m)+r}\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}{p}^r),p^{\phi (m)+r}\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}s)$
$p^r\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}{p}^r),p^r\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}s)$
那么你做CRT出来结果是一样的。
然后我们就得到了$p^b\equiv p^{\phi (m)+b}(\mathrm{m}\mathrm{o}\mathrm{d}m),whereb>=r$
发现后面那个限制条件不好用。
我们放弱一点：$p^b\equiv p^{\phi (m)+b}(\mathrm{m}\mathrm{o}\mathrm{d}m),whereb>=\phi (m)$
这放的好宽啊
这放一下就让这个公式好记得多。
$p^b\equiv p^{b\mathrm{m}\mathrm{o}\mathrm{d}\phi (m)+\phi (m)}(\mathrm{m}\mathrm{o}\mathrm{d}m),whereb>=\phi (m)$
然后和其他互质的因数组合一下就得证了。

模板

AC Code:

#include<bits/stdc++.h>
using namespace std;

int a,m;

int Pow(int base,int k,int mod){
	int ret = 1 % mod;
	for(;k;k>>=1,base=1ll*base*base%mod)
		if(k&1)
			ret=1ll*ret*base%mod;
	return ret;
}

int main(){
	scanf("%d%d",&a,&m);
	int phi = m;
	int M = m;
	for(int i=2;i*i<=M;i++)
		if(M % i == 0)
		{
			phi = phi / i * (i-1);
			while(M % i == 0) M /= i;
		}
	if(M > 1) phi = phi / M * (M-1);
	int b = 0;
	char ch;
	for(;!isdigit(ch=getchar()););
	bool f = 0;
	for(b=ch-'0';isdigit(ch=getchar());b=(b*10+ch-'0'),f|=b>=phi,b%=phi);
	printf("%d\n",Pow(a,b+f * phi,m));
}