关于欧拉函数的递推方法的证明