数论——欧拉函数

qwq

数论——整除

定义

$\forall a,b\in \mathbb{N}$，若$\gcd (a,b)=1$，则称$a,b$互质

欧拉函数

• 定义：
  $1$~$x$中与$x$互质的个数称为欧拉函数，记作$\phi (x)$
• 由算术基本定理得
  $$x=p_1^{c_1}\ast p_2^{c_2}\ast \cdots \ast p_m^{c_m}$$
  $$\phi (x)=x\ast \frac{p_1-1}{p_1}\ast \frac{p_2-1}{p_2}\ast \cdots \ast \frac{p_m-1}{p_m}=x\ast \prod _{质数p\mid x}\left(1-\frac{1}{p}\right)$$
• 证明：
  设$p$为$x$的质因子，那么$1$~$x$中$p$的倍数有：$p,2p,3p\cdots \lfloor x/p\rfloor \ast p$，共$\lfloor x/p\rfloor$个，若$q$为$x$的质因子，那么$1$~$n$中$q$的倍数有$\lfloor x/q\rfloor$个。如果我们把这些数字去掉根据容斥原理，$1$~$x$中不与$x$含有与共同质因子$p$或$q$的数的个数为：
  $$x-\frac{x}{p}-\frac{x}{q}+\frac{x}{pq}=x\ast \left(1-\frac{1}{p}-\frac{1}{q}+\frac{1}{pq}\right)=x\left(1-\frac{1}{p}\right)\left(1-\frac{1}{q}\right)$$
  我们可以把这个式子推广到$1$~$x$中不与$x$含有任何共同质因子的数的个数，即与$x$互质的数的个数

欧拉函数的求法

int phi(int x) {
	int cnt = x; 
	for (int i = 2; i * i <= x; ++i) {
		if (x % i == 0) {
			cnt = cnt / i * (i - 1); 
			while (x % i == 0) x /= i; 
		} 
	}
	if (x > 1) cnt = cnt / n * (n - 1); 
	return cnt; 
}

欧拉函数的性质

1. $\forall n>1$，$1$~$n$中与$n$互质的数的和为$n\ast \phi (n)/2$
2. 若$a,b$互质，则$\phi (ab)=\phi (a)\ast \phi (b)$

证明如下：

• 性质1
  $$\because \gcd (x,n)=\gcd (x,n-x)$$
  $$\therefore 与n不互质的数是成对出现的$$
  $$\therefore 平均值为n/2$$
  $$\because 个数=\phi (n)=n-1$$
  由此得到性质一
• 性质2
  $$\phi (a,b)=ab\ast \prod _{质数p\mid ab}\ast \left(1-\frac{1}{p}\right)$$
  $$$$