关于phi函数的积性性质的一个证明

从网上查阅资料时得到的启示，就写了下来

命题1：
对于$\gcd (n,m)=1$，我们有$\phi (nm)=\phi (n)\phi (m)$

证明：考虑$n\ast m$的方阵
$$\begin{gathered} \begin{array}{ccccccc} \\ 1& 2& 3& ...& r& ...& m\\ m+1& m+2& m+3& ...& m+r& ...& 2m\\ 2m+1& 2m+2& 2m+3& ...& 2m+r& ...& 3m\\ ...& ...& ...& ...& ...& ...& ...\\ (n-1)m+1& (n-1)m+2& (n-1)m+3& ...& (n-1)m+r& ...& nm\end{array} \end{gathered}$$
$\phi (nm)$为矩阵中与$nm$互质的数的个数
1.因为$\gcd (km+r,m)=\gcd (r,m)$，所以对于每一列，其中的数要么都与$m$互质，要么都不互质，所以共有$\phi (m)$列的数与$m$互质.
2.对于每一列，由于$\gcd (n,m)=1$，所以$r,m+r,2m+r,...,(n-1)m+r$可以形成一个完整的模$n$剩余系$Z_n$，所以每一列中有$\phi (n)$个与$n$互质的数.
3.由1、2知，整个矩阵中共有$\phi (n)\phi (m)$个既与$m$互质又与$n$互质的数，而由于$\gcd (n,m)=1$，因此对于一个数而言，其与$n,m$均互质等价于其与$nm$互质，即与$nm$互质的数共有$\phi (n)\phi (m)$个，命题得证.

命题2：$$\phi (n)=n\prod _{p|n,p\in P}(1-\frac{1}{p})$$

证明：考虑质因数分解$n=\prod p_i^{a_i}$，显然质因子幂次的乘积项互质，因此$\phi (n)=\prod \phi (p_i^{a_i})$
而我们很容易证明$\phi (p^k)=(p-1)p^{k-1}=(1-\frac{1}{p})p^k$，乘起来就是上面的式子。