欧拉函数及其相关证明(极清晰)

预备知识

• 剩余系:指对于某一个特定的正整数ｎ，一个整数集中的数mod n所得的余数域。

• 完全剩余系:$设m\in Z+，若r_0,r_1,...r_{m-1}为m个整数，并且两两模m不同余，则r_0,r_1,...r_{m-1}叫作模m的一个完全剩余系。$

• 缩系:设A是mod n的剩余系，若任意A中两个元素相乘mod n后仍为A中的元素,则称A为mod n的缩系

好吧其实后面好像用不上，但总还是有用的。

欧拉函数

• 定义

$\phi (n)$为不超过n且与n互质的数的个数。

显然，若p为质数，$\phi (p)=p-1$

$\phi (p^k)=p^k-p^{k-1}$　因为与$p^k$不互质的只有p的倍数，而p的倍数有$P^{k-1}$个。

欧拉函数是积性函数。

证明:（需要中国剩余定理）

$n=p_1^{k_1}{p}_2^{k_2}...p_m^{k_m}$

若x,n互质，则x%n,$p_1^{k_1}也互质$

$$\{\begin{array}{l}x\equiv a_{1}mod{p}_1^{k_1}\\ x\equiv a_{2}mod{p}_2^{k_2}\\ ...\\ x\equiv a_{m}mod{p}_m^{k_m}\end{array}$$

$x,a_i,p_i^{k_1}均互质$

在一组方程中，$a_i$ 有多种取法，需满足gcd($a_1,p_1^{k_1})=1$

$\therefore$　$\phi (p_i^{k_i})$=sizeof{$a_i$}

根据中国剩余定理，在１～ｎ范围内有唯一ｘ，又gcd(x,n)=1

则x有$\phi (n)$中取法

对于每一个ｘ，与{$a_1,a_2,...,a_m$}集合唯一对应

有$N_{a_1}\ast N_{a_2}\ast ...\ast N_{a_m}$种方法

=$\phi (p_1^{k_1})\ast \phi (p_2^{k_2})\ast ...\ast \phi (p_m^{k_m})$

分别对应一个唯一的ｘ

$\therefore$　 $\phi (p_1^{k_1})\ast \phi (p_2^{k_2})\ast ...\ast \phi (p_m^{k_m})=\phi (n)$

又 $n=p_1^{k_1}{p}_2^{k_2}...p_m^{k_m}$

$\therefore$　$\phi$为积性函数

---

若gcd(a,M)=1,则$a^{\phi (M)}\equiv 1(modM)$

证明:

设a,M互质,有M的一个缩系为{$a,2a,...,\phi (M)a$},缩系元素个数为$\phi (M)$个

$$\phi (M)!\equiv \prod ^{\phi (M)}{a}_i(modM)$$

$$\phi (M)!\equiv a^{\phi (M)}\phi (M)!(modM)$$

$$a^{\phi (M)}\equiv 1(modM)$$

当M为质数时，则有$\phi (M)=M-1$,即费马小定理

---

扩展欧拉定理

如果gcd(a,M)!=1,那么$a^b\equiv a^{bmod\phi (M)+\phi (M)}(modM)(b>\phi (M))$

证明:

先考虑$M$的一个质因子p ,$gcd(p,M)=p$
把$M$分解:　$M=s\ast p^k,gcd(s,p)=1$
可得:　$p^x\equiv p^{xmod\phi (s)}mods(x>\phi (s))$
又$\because$　$\phi (s)|\phi (M)$($\phi$是积性函数)
　$\therefore$　$p^x\equiv p^{xmod\phi (M)}modM$
更有　 $p^x\equiv p^{xmod\phi (M)+\phi (M)}modM$

对于任意一个数$a,gcd(a,M)=b,b≠1$
有$a=b^{k_1}\ast r_1,gcd(r_1,M)=1$
则$a^x\equiv {b^{k_1}}^x\ast {r_1}^{x}modM$
　$a^x\equiv {b^{k_1}}^{xmod\phi (M)+\phi (M)}\ast {r_1}^{xmod\phi (M)+\phi (M)}modM$
　$a^x\equiv {b^{k_1}\ast r_1}^{xmod\phi (M)}modM$
即$a^x\equiv a^{xmod\phi (M)+\phi (M)}modM(x>\phi (M))$
证毕

---

ok,继续之前的内容

当n=$p_1^{a_1}{p}_2^{a_2}...p_k^{a_k}$时

$$\varphi (n)=\prod _{i=1}^k{p}_i^{a_i-1}(p_i-1)=n\ast \prod _{i=1}^k(1-\frac{1}{p_i})=n\ast \prod _{i=1}^k\frac{p_i-1}{p_i}$$
可以用此式子递推

递推证明
递推代码

/*******************************
Author:galaxy yr
LANG:C++
Created Time:2019年01月22日 星期二 15时53分29秒
*******************************/
#include<iostream>
#include<cstdio>
using namespace std;
const int maxn=1e6+10;
int n=1e6,prime[maxn],vis[maxn],tot,mn[maxn],e[maxn],phi[maxn],d[maxn],mu[maxn];
//e最小质因子的个数,mn最小质因子,phi欧拉函数,d约数个数,mu莫比乌斯函数
void euler_sieve()
{
    mu[1]=1;phi[1]=1;
        for(int i=2;i<=n;i++)
        {
                if(!vis[i]) { prime[++tot]=i;mn[i]=i;e[i]=1;phi[i]=i-1;d[i]=2;mu[i]=-1; }
                for(int j=1;j<=tot and prime[j]*i<=n;j++)
                {
                        vis[prime[j]*i]=1;
                        mn[prime[j]*i]=prime[j];
                        e[prime[j]*i]=1;
                        if(i%prime[j]==0)
                        {
                                phi[i*prime[j]]=phi[i]*prime[j];
                                e[prime[j]*i]=e[i]+1;
                                d[i*prime[j]]=d[i]/(e[i]+1)*(e[i]+2);
                                break;
                        }
                        else phi[i*prime[j]]=phi[i]*(prime[j]-1);
                        mu[i*prime[j]]=-mu[i];
                        d[i*prime[j]]<<=1;
                }
        }
}
int main()
{
}

---

欧拉反演

$\begin{array}{r}\sum _{i=1}^{n}gcd(i,n)=\sum _{d|n}\frac{n}{d}\phi (d)\end{array}$
证明:
首先有$\begin{array}{r}n=\sum _{d|n}\phi (d)\end{array}$

即n的因数(包括1和它自己))的欧拉函数之和等于n

证明

设$\begin{array}{r}f(n)=\sum _{d|n}\phi (d)\end{array}$,有 $f$是积性函数。

$\begin{array}{r}f(n)\cdot f(m)=\sum _{i|n}\phi (i)\sum _{j|m}\phi (j)=\sum _{i|n}\sum _{j|m}\phi (i)\cdot \phi (j)=\sum _{i|n}\sum _{j|m}\phi (i\cdot j)=\sum _{d|nm}\phi (d)=f(nm)\end{array}$

$f(p^k)=\phi (1)+\phi (p)+\phi (p^2)+\cdots +\phi (p^k)=1+(p-1)+(p^2-p)+\cdots +(p^k-p^{k-1})=p^k$

$f(n)=f(p_1^{k_1})\cdot f(p_2^{k_2})\cdot \cdots \cdot f(p_m^{k_m})=p_1^{k_1}\cdot p_2^{k_2}\cdot \cdots \cdot p_m^{k_m}=n$

把n=gcd(i,j)代入得

$\begin{array}{r}gcd(i,j)=\sum _{d|gcd(i,j)}\phi (d)=\sum _{d|i}\sum _{d|j}\phi (d)\end{array}$

$\begin{array}{r}\sum _{i=1}^{n}gcd(i,n)=\sum _{i=1}^n\sum _{d|i}\sum _{d|n}\phi (d)=\sum _{d|n}\sum _{i=1}^n\sum _{d|i}\phi (d)=\sum _{d|n}\frac{n}{d}\phi (d)\end{array}$

即$\begin{array}{r}\sum _{i=1}^{n}gcd(i,n)=\sum _{d|n}\frac{n}{d}\phi (d)\end{array}$