欧拉函数推导公式