欧拉函数

定义 φ(n)\varphi(n)[1,n][1,n] 中 与 nn 互质的数的个数,即欧拉函数。

N=p1c1p2c2p3c3pncnN=p_{1}^{c_1}p_{2}^{c_2}p_{3}^{c_3}\dots p_{n}^{c_n},也可写作 N=i=1npiciN = \prod\limits_{i=1}^{n}{p_i}^{c_i}

φ(N)=N(11/p1)(11/p2)(11/p3)(11/pn)\varphi(N) = N(1-1/p_1)(1-1/p_2)(1-1/p_3)\cdots(1-1/p_n)

容易发现,欧拉函数只和 N,pN,p 有关。对于一个质数,φ(N)=N1\varphi(N)=N-1


欧拉函数为积性函数,即对于互质的 A,BA,B,有 φ(AB)=φ(A)φ(B)\varphi(AB) = \varphi(A)\varphi(B)

证明:

根据 N=p1c1p2c2p3c3pncnN=p_{1}^{c_1}p_{2}^{c_2}p_{3}^{c_3}\dots p_{n}^{c_n}

φ(A)=A(11/p1)(11/p2)(11/p3)(11/pa)\varphi(A)=A(1-1/p_1)(1-1/p_2)(1-1/p_3)\cdots(1-1/p_a)

φ(B)=B(11/p1)(11/p2)(11/p3)(11/pb)\varphi(B)=B(1-1/p_1)(1-1/p_2)(1-1/p_3)\cdots(1-1/p_b)

A,BA,B 互质,所以他们没有任何相等的 pp。两者相乘可以直接得 φ(AB)\varphi(AB)


随后我们可以在 O(N)O(N) 内求出 [1,N][1,N] 的欧拉函数。设 pp 为质数,N=i=1npiciN = \prod\limits_{i=1}^{n}{p_i}^{c_i},那么有以下性质:

  1. φ(p)=p1\varphi(p) = p-1

  2. pN,p2Np\mid N,p^2\mid N,有 φ(N)=φ(N/p)p\varphi(N) = \varphi(N/p) p。因为欧拉函数只和 N,pN,p 有关,而 N,N/pN,N/ppp 完全一样,不同只有 NNN/pN/ppp 倍。

  3. pN,p2Np\mid N,p^2\nmid N,有 φ(N)=φ(N/p)(n1)\varphi(N) = \varphi(N/p)(n-1)。因为 N/p,pN/p,p 互质,所以 φ(N)=φ(N/p)φ(p)\varphi(N) = \varphi(N/p)\varphi(p)。因为 pp 是质数,所以 φ(p)=p1\varphi(p) = p-1

欧拉筛会将每个合数用它的最小质因子筛去,所以根据这些性质就可以求 [1,n][1,n] 的欧拉函数啦。

欧拉函数还有以下性质:

  1. n>1n>1,则 [1,n][1,n]nn 互质的数的和为 φ(n)n/2\varphi(n)n /2。证明:因为 gcd(n,x)=gcd(n,nx)\gcd(n,x) = \gcd(n,n-x)。所以我们可认为互质的数是成双成对的。显然 nx,xn-x,x 的和是 nn,所以 [1,n][1,n]nn 互质的数的平均数是 n/2n/2。我们又知道 φ(n)\varphi(n)[1,n][1,n]nn 互质的数的个数。所以得证。

  2. dnφ(d)=n\sum\limits_{d\mid n} \varphi(d) = n。设 f(n)=dnφ(d)f(n) = \sum\limits_{d\mid n} \varphi(d)。我们可以证明 ff 是积性函数:设 n,mn,m 互质,那么 f(nm)=dnmφ(d)=dnφ(d)×dmφ(d)f(nm) = \sum\limits_{d\mid nm} \varphi(d)=\sum\limits_{d\mid n} \varphi(d)\times\sum\limits_{d\mid m} \varphi(d)。该等式成立的原因是 n,mn,m 互质,所以他们没有任何相等的 pp。当然,直接利用狄利克雷卷积的性质即可证明。 对于质数 pp,f(pk)=φ(1)+φ(p)++φ(pk)=1+(p1)+(p1)×p+(p1)×p2++(p1)×pk1=pkf(p^k) = \varphi(1) + \varphi(p) + \cdots +\varphi(p^k)=1+(p-1)+(p-1)\times p + (p-1)\times p^2+\cdots+ (p-1)\times p^{k-1}=p^k.所以 f(N)=i=1nf(pici)=i=1npici=Nf(N)=\prod\limits_{i=1}^nf({p_{i}^{c_i}})=\prod\limits_{i=1}^n{p_{i}^{c_i}}=N.证毕.

posted @ 2024-02-26 21:32  cjrqwq  阅读(22)  评论(0)    收藏  举报  来源