欧拉函数推导公式证明