为什么线性筛欧拉函数i%prime[j]==0的时候phi[i*prime[j]]=phi[i]*prime[j]

看贾志鹏线性筛的时候想起来的。
我有一个繁琐的证明- -。
证明$\phi(pm)=p\times\phi(m),p为素数，m\in \Bbb Z$.
设

$$m=p^{\alpha}\cdot m',\;\alpha,m'\in\Bbb N,(p^{\alpha},m')=1.$$
那么 $$\phi(m)=\phi(m')\cdot \phi(p^{\alpha}).$$
而 $$\phi(p^{\alpha})=(p-1)p^{\alpha-1}$$
因此 $$\phi(m)=\phi(m')\cdot ((p-1)p^{\alpha-1}).$$
又因为 $$n=p\cdot m=m'\cdot p^{\alpha+1}$$
显然 $m'和p^{\alpha+1}互素$,所以
$$\begin{align} \phi(n)&=\phi(m')\cdot \phi(p^{\alpha+1})\\ &=\phi(m')\cdot p \cdot (p-1)\cdot p^{\alpha-1}\\ &=\phi(m)\cdot p \end{align}$$
证毕。