数论进阶总结

稍微进阶一些，比昨天难（除了类欧）

先说说欧拉函数

欧拉函数$\phi (n)$表示与n互质的正整数个数
显然，当$p$为质数时，$\phi (p)=p-1$

给一个定理：$\phi (p^a)=p^a-p^{a-1}$

证明：
显然$\gcd (x,p^a)=1$可以推出$\gcd (x,p)=1$

在$[1,p^a]$中，只有$\gcd (p,kp)̸=1,k\in [1,p^{a-1}]$

则在$[1,p^a]$中，有$p^{a-1}$个数和$p^a$不互质

故$\phi (p^a)=p^a-p^{a-1}$

大家都知道欧拉函数是积性函数，那怎证明？

除了大力推公式，我提供一种新的方法：

观察下表：

$\begin{array}{ccccc}1& m+1& 2m+1& ...& (n-1)m+1\\ 2& m+2& 2m+2& ...& (n-1)m+2\\ ...& ...& ...& & ...\\ r& m+r& 2m+r& ...& (n-1)m+r\\ ...& ...& ...& & ...\\ m& 2m& 3m& ...& nm\end{array}$

若$\gcd (r,m)=d>1$,则第$r$行与$mn$没有互质的元素（显然）

这是因为第$r$行元素形式为$km+r$,而$d|m,d|r$，所以$d|(km+r)$

若$\gcd (r,m)=1$,则第$r$行元素都与$m$互质

假设$k_{2}m+r\equiv k_{2}m+r(modn)$，则$(k_1-k_2)m\equiv 0(modn)$，得到$k_1=k_2$

所以第$r$行元素模$n$两两不同余，故$\phi (n)$个数与$n$互质

满足$\gcd (r,m)=1$的行号$r$有$\phi (m)$个，故表中与nm互质的数有$\phi (n)\phi (m)$个

即$\phi (nm)=\phi (n)\phi (m)$

证明了欧拉函数的积性，加上$\phi (p^a)=p^a-p^{a-1}$（$p$为素数）

设n的质因子分解式为${\prod }_{}{p_i}^{q_i}$，则$\phi (n)=n{\prod }_{}\frac{p_i-1}{p_i}$

证明：

$\phi (n)=\phi ({\prod }_{}{p_i}^{q_i})={\prod }_{}\phi ({p_i}^{q_i})={\prod }_{}(p_i^{q_i})(1-\frac{1}{p_i})=n{\prod }_{}(1-\frac{1}{p_i})=n{\prod }_{}\frac{p_i-1}{p_i}$

欧拉函数还有一个重要的性质：

$n=\sum _{d|n}\phi (d)$

证明：

设$f(n)=\sum _{d|n}\phi (d)$
则$f({p_i}^{q_i})=\sum _{e=0}^{q_i}\phi ({p_i}^e)=1+p_i-1+...+{p_i}^{q_i}={p_i}^{q^{}}$