数学板块学习之欧拉定理及拓展欧拉定理

欧拉函数

首先$phi(n)$即为欧拉函数$\phi (n)$

对正整数n，欧拉函数是小于n的正整数中与n互质的数的数目（$\phi (1)=1$）。例如$\phi (8)=4$，因为$1$,$3$,$5$,$7$均和$8$互质。

欧拉函数公式：$\phi (x)=x\ast (1-\frac{1}{p_1})(1-\frac{1}{p_2})\dots \dots (1-\frac{1}{p_n})$,$p_i$为$x$的质因数。

性质：
欧拉数在$n>2$时，必定为偶数
质数x的欧拉数为$x-1$ $[\phi (7)=6,\phi (5)=4,\phi (3)=2]$
对于质数p有：

• $\phi (p)=p-1$，因为对于质数$p$在$1-p$只有$p$与本身不互质
• 如果$i\%p=0$，$phi(i\ast p)=phi(i)\ast p$
• 如果$i\%p≠0$，$phi(i\ast p)=phi(i)\ast (p-1)$。这里好像是积性函数？

欧拉函数一个美妙的性质：${\sum }_{d|n}\phi (d)=n$，写成卷积形式为$\phi \ast I=N$

小于n且与n互质的数的和$\sum _{i=1}^{n-1}i[gcd(i,n)=1]=\frac{n\phi (n)+[n=1]}{2}$

公式法

int euler(int n){
    int res = n,a = n;
    for(int i = 2; i*i <= a; i++){
        if(a%i == 0){
            res = res/i*(i-1);
            while(a%i == 0){
                a /= i;
            }
        }
    }
    if(a > 1) res=res/a*(a-1);
    return res;
}

打表

int euler[maxn];
void Euler(){
    euler[1] =1;
    for(int i = 2; i < maxn; i++){
        euler[i] = i;
    }
    for(int i = 2; i < maxn; i++){
        if(euler[i] == i){
            for(int j = i; j < maxn; j += i){
                euler[j] = euler[j]/i*(i-1);
            }
        }
    }
}

欧拉筛法（线性筛）

int prime[1000100];
bool vis[maxn+10];
int phi[maxn+10];
int tot = 0;
void Euler(){
    me(prime,0);
    me(vis,true);
    me(phi,0);
    phi[1] = 1;
    for(int i = 2; i <= maxn; ++i){
        if(vis[i]) prime[++tot] = i,phi[i] = i-1;
        for(int j = 1; j <= tot && i*prime[j] <= maxn; ++j){
            vis[i*prime[j]] = false;
            if(i%prime[j] == 0){
                phi[i*prime[j]] = phi[i]*prime[j];
                break;
            } 
            else{
                phi[i*prime[j]] = phi[i]*phi[prime[j]];
            }
        }
    }
}

欧拉定理

在数论中，欧拉定理,（也称费马-欧拉定理）是一个关于同余的性质。欧拉定理表明，若n,a为正整数，且n,a互质，则:$a^{phi(n)}\equiv 1(modn)$. $phi(n)$是$n$的欧拉函数的值。

费马小定理

假如$p$是质数，且$gcd(a,p)=1$，那么 $a^{p-1}\equiv 1(modp)$。即：假如$a$是整数，$p$是质数，且$a$,$p$互质(即两者只有一个公约数$1$)，那么$a$的$p-1$次方除以$p$的余数恒等于$1$。

注意：费马小定理是欧拉定理的特例，因为$p$是质数，$p$的欧拉函数值为$p-1$。

拓展欧拉定理

将欧拉定理$a^{phi(n)}\equiv 1(modn)$扩展到不互质的情况

$$a^c\equiv \{\begin{array}{ll}{a}^{c\%phi(n)}& \text{gcd(a,n)=1}\\ a^c& \text{gcd(a,n)≠1,c<phi(n)}\\ a^{(c\%phi(n)+phi(n))}& \text{gcd(a,n)≠1,c≥phi(n)}\end{array}$$