欧拉函数相关

一.欧拉函数的定义.

欧拉函数：定义欧拉函数$\varphi (n)$表示$[1,n]$中与$n$互质的数的个数，即：
$$\varphi (n)=\sum _{i=1}^n[\gcd (n,i)=1]$$

所以下次看到这个式子就知道是个欧拉函数的定义式了.

这个东西与剩余系的关系参见同余理论相关.


二.单个欧拉函数的计算.

根据定义，单个欧拉函数$\varphi (n)$需要$O(n)$的时间才能计算，但我们可以更快.

欧拉函数计算公式：设唯一分解式$n={\prod }_{i=1}^k{p}_i^{c_i}$，则有：
$$\varphi (n)=n\prod _{i=1}^k\frac{p_i-1}{p_i}$$

证明：
考虑用容斥计算欧拉函数，设唯一分解$n={\prod }_{i=1}^k{p}_i^{c_i}$，我们可以得到：
$$\varphi (n)=\sum _{T\subseteq [k]}(-1{)}^{|T|}\frac{n}{{\prod }_{i\in T}{p}_i}$$

现在我们要证明的是：
$$\sum _{T\subseteq [k]}(-1{)}^{|T|}\frac{n}{{\prod }_{i\in T}{p}_i}=n\prod _{i=1}^k\frac{p_i-1}{p_i}$$

考虑数学归纳法：
1.对于$k=1,2$的情况，显然结论成立.
2.对于$k>2$的情况，若在$k<m$时结论成立，则$k=m$时有：
$$\begin{gathered} \sum _{T\subseteq [k]}(-1{)}^{|T|}\frac{n}{{\prod }_{i\in T}{p}_i} \\ =\sum _{T\subseteq [k-1]}(-1{)}^{|T|}\frac{n}{{\prod }_{i\in T}{p}_i}-\sum _{T\subseteq [k-1]}(-1{)}^{|T|}\frac{n}{p_k{\prod }_{i\in T}{p}_i} \\ =n\left(\prod _{i=1}^{k-1}\frac{p_i-1}{p_i}-\frac{1}{p_k}\prod _{i=1}^{k-1}\frac{p_i-1}{p_i}\right) \\ =n\prod _{i=1}^k\frac{p_i-1}{p_i} \end{gathered}$$

证毕.

根据这个性质，我们可以在$O(\sqrt{n})$的时间复杂度内求单个$\varphi (n)$.

代码如下：

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

三.欧拉函数若干性质.

性质1：欧拉函数是一个积性函数，即$\gcd (a,b)=1\Rightarrow \varphi (ab)=\varphi (a)\varphi (b)$.

证明：
我们让$P$代表素数集，那么有：
$$\begin{gathered} \varphi (ab)=ab\prod _{p\in P\wedge p|ab}\frac{p-1}{p} \\ =a\prod _{p\in P\wedge p|a}\frac{p-1}{p}\ast b\prod _{p\in P\wedge p|b}\frac{p-1}{p} \\ =\varphi (a)\varphi (b) \end{gathered}$$

证毕.

性质1的推论：设唯一分解$n={\prod }_{i=1}^k{p}_i^{c_i}$，则有：
$$\varphi (n)=\prod _{i=1}^k\varphi (p_i^{c_i})$$

性质2：${\sum }_{d|n}\varphi (n)=n$.

证明：
首先我们构造函数$f(n)$为：
$$f(n)=\sum _{d|n}\varphi (n)$$

容易发现这是一个积性函数，所以有：
$$\gcd (x,y)=1\Rightarrow f(xy)=f(x)f(y)$$

此时我们可以把$n$写成唯一分解形式$n={\prod }_{i=1}^k{p}_i^{c_i}$，容易发现现在只需要证明：
$$\sum _{d|p_i^{c_i}}\varphi (d)=p_i^{c_i}$$

于是有：
$$\begin{gathered} \sum _{d|p_i^{c_i}}\varphi (d)=\sum _{j=0}^{c_i}\varphi (p_i^j) \\ =1+\sum _{j=0}^{c_i-1}(p_i-1)p_i^j \\ =1+(p_i-1)\frac{1-p_i^{c_i}}{1-p_i} \\ =1+p_i^{c_i}-1 \\ =p_i^{c_i} \end{gathered}$$

证毕.

性质3：$n>1\Rightarrow {\sum }_{i\in [1,n]\wedge \gcd (n,i)=1}i=\frac{n\varphi (n)}{2}$.

证明：
$$\gcd (n,i)=1\iff \gcd (i,n-i)=1$$

也就是说对于满足条件的数有$\varphi (n)$个，并且若有$\gcd (n,i)=1$，必然有$\gcd (n,n-i)=1$，此时两两配对得到$i+(n-i)=n$，对数为$\frac{\varphi (n)}{2}$，乘起来就可以证明.
证毕.


四.线性筛欧拉函数.

我们可以用线性筛做到$O(n)$求出$[1,n]$上的所有欧拉函数.

具体来说，我们在线性筛的时候分三种情况：
1.$p$为素数时，$\varphi (p)=p-1$.
2.$p$为$np$的最小素因子且$p\nmid n$时，$\varphi (np)=\varphi (n)\varphi (p)=(p-1)\varphi (n)$.
3.$p$为$np$的最小素因子且$p|n$时，$\varphi (np)=p\varphi (n)$.

然后我们就可以写出线性筛欧拉函数的代码：

int n,b[N+9],pr[N+9],cp;
int phi[N+9];

void Sieve(){
  phi[1]=1;
  for (int i=2;i<=n;++i){
  	if (!b[i]) pr[++cp]=i,phi[i]=i-1;
  	for (int j=1;j<=cp&&i*pr[j]<=n;++j){
  	  int t=i*pr[j];
  	  b[t]=1;
  	  if (i%pr[j]==0) {phi[t]=phi[i]*pr[j];break;}
  	  phi[t]=phi[i]*(pr[j]-1);
  	}
  }
}

五.欧拉定理.

欧拉定理：$\gcd (n,a)=1\Rightarrow a^{\varphi (n)}=1(modn)$.

证明：
设$n$的简化剩余系为$S_n$，由于$S_n$和模$n$意义下的乘法构成一个群，所以有：
$$\begin{gathered} x\in S_n\Rightarrow axmodn\in S_n \\ x,y\in S\wedge x\ne y\Rightarrow ax\not\equiv ay(modn) \end{gathered}$$

那么显然 S n ′ = { a x    m o d    n ∣ x ∈ S n } S'_n=\{ax\,\,mod\,\,n|x\in S_n\} Sn′​={axmodn∣x∈Sn​}与$S_n$同是$n$的简化剩余系.

那么就有：
$$a^{\varphi (n)}\prod _{x\in S_n}x\equiv \prod _{x\in S_n}ax\equiv \prod _{x\in S_n}x(modn)$$

可以同时去掉${\prod }_{x\in S_n}x$，得到$a^{\varphi (n)}\equiv 1(modn)$.
证毕.

费马小定理：若$n$为素数且$a$不是$n$的倍数，则有$a^{n-1}\equiv 1(modn)$.

欧拉定理的推论：当$\gcd (a,n)=1$时，$a^k\equiv a^{kmod\varphi (n)}(modn)$.

扩展欧拉定理：若$k\ge \varphi (n)$，则$a^k\equiv a^{kmod\varphi (n)+\varphi (n)}(modn)$.

证明：
为了证明这个定理，我们先证明$a$为素数时定理成立：
设$n=a^r{n}^{\prime }$，其中$\gcd (a,n^{\prime })=1$，此时有：
$$a^{\varphi (n^{\prime })}\equiv 1(mod{n}^{\prime })$$

由于$\varphi (n^{\prime })|\varphi (n)$，有：
$$a^{\varphi (n)}\equiv 1(mod{n}^{\prime })$$

同时让两边和模数乘上$a^r$，得到：
$$a^{\varphi (n)+r}\equiv a^r(modn)$$

于是有：
$$a^{k+r}\equiv a^{kmod\varphi (n)+r}(modn)$$

显然有$k\ge \varphi (n)=(a-1)a^{r-1}\varphi (n^{\prime })\ge r$，所以有：
$$a^k\equiv a^{r+k-r}\equiv a^{r+\varphi (n)+(k-r)mod\varphi (n)}\equiv a^{rmod\varphi (n)+(k-r)mod\varphi (n)+\varphi (n)}\equiv a^{kmod\varphi (n)+\varphi (n)}(modn)$$

至此我们证明了$a$为素数的情况.
那么对于素数的幂$a=p^c$，有：
$$\begin{gathered} p^k\equiv p^{kmod\varphi (n)+\varphi (n)}(modn) \\ \Rightarrow (p^k{)}^c\equiv (p^{kmod\varphi (n)+\varphi (n)}{)}^c(modn) \\ \Rightarrow a^k\equiv a^{kmod\varphi (n)+\varphi (n)}(modn) \end{gathered}$$

对于任意一个数$a$，直接写出它的唯一分解形式，会得到一些下面的式子：
$$(p_i^{c_i})\equiv (p_i^{c_i}{)}^{kmod\varphi (n)+\varphi (n)}(modn)$$

把左右两边分别相乘即可得到原定理.
证毕.