数论第6节：完全剩余系、欧拉函数通式及证明

完全剩余系的定理

定理1（同余集合）

若m是一个给定的正整数，则全部整数可以被分为m个集合，记做$K_0,K_1,...,K_{m-1}$,其中$K_r(r=0,1,...,m-1)$是由一切形如$qm+r$的整数组成的。这些集合具有下列性质：
(1) 每一个整数必包含在而且仅包含在上述的一个集合里面。
(2) 两个整数同在一个集合的充分必要条件是这两个整数模m同余。

定理2（剩余类与完全剩余系定义）

定理1中的$K_0,K_1,...,K_{m-1}$叫做模m的剩余类，一个剩余类中任一数叫做它同类的数的剩余。若$a_0,a_1,...,a_{m-1}$是m个整数，并且其中任何两数都不在同一剩余类里面，则称其为模m的完全剩余系。

定理3（完全剩余系转换）

若$a_0,a_1,...,a_{m-1}$ 是模m的完全剩余系，且(a,m)=1，则 $a\ast a_0+b，a\ast a_1+b,...,a\ast a_{m-1}+b$ 也是模m的完全剩余系。
证明：（反证法）
假设$a_0,a_1,...,a_{m-1}$ 是模m的完全剩余系，则$a{a}_i+b三a{a}_j+b(modm)$。由同余式的性质，$a{a}_i三a{a}_j(modm)$. 两边同除m，得$a_i=a_j(modm)$,这与假设相矛盾。

定理4（完全剩余系扩充）

若$m_1,m_2$是互质的两个正整数，而$x_1,x_2$分别通过模$m_1,m_2$的完全剩余系，则$m_2{x}_1+m_1{x}_2$通过模$m_1{m}_2$的完全剩余系。
简要来说:
若$(m_1,m_2)=1$，则 { x 1 , x 2 , . . . , x m 1 } ∗ m 2 × { y 1 , y 2 , . . . , y m 2 } ∗ m 1 \{x_1,x_2,...,x_{m_1}\}*m_2×\{y_1,y_2,...,y_{m_2}\}*m_1 {x1​,x2​,...,xm1​​}∗m2​×{y1​,y2​,...,ym2​​}∗m1​是$m_1\ast m_2$的完全剩余系。
PS:×代表笛卡尔积

欧拉函数φ(a)

欧拉函数定义

φ(a)是定义在正整数上的函数，它在正整数a上的值等于序列0,1,2…，a-1,中与a互质的数的个数。
规定φ(1)=1。

可积函数定理f(x)

若f(x)是在一切正整数上都有定义的函数，并且具有下述两个性质：
1、存在a∈正整数，s.t. f(a)≠0
2、对于任意$a_1,a_2\in$正整数，且$(a_1,a_2)=1，f(a_1\ast a_2)=f(a_1)f(a_2)$
则函数f(x)称为可积函数。
PS：欧拉函数就是可积函数。

欧拉函数的计算通式

若$(m_1,m_2)=1$，则$\phi (m=m_1\ast m_2)=\phi (m_1)\ast \phi (m_2)$。
若m可以被素数分解为$m=p_1^{s_1}\ast p_2^{s_2}\ast ...\ast p_k^{s_k}$，则可得：
$$\phi (m)=\mathrm{m}\prod _{i=1}^k(1-\frac{1}{p_i})$$

证明：（通过既约剩余式的交叉相乘证明）
总体思路：证欧拉函数为可积函数->求既约简化剩余系->既求约简化剩余系个数
由于φ(m)=m的既约剩余系的个数。
即证明当$m=m_1\ast m_2$时，|m的既约剩余系|=|$m_1$的既约剩余系|*|$m_2$的既约剩余系|.
设$x_1$是$m_1$的既约剩余系，$x_2$是$m_2$的既约剩余系，则$x_1\ast m_2\times x_2\ast m_1$是$m_1\ast m_2$既约剩余系。即$$\phi (m)=\phi (m_1\ast m_2)=|x_1\ast m_2\times x_2\ast m_1|=|x_1\times x_2|=|x_1|\ast |x_2|=\phi (m_1)\ast \phi (m_2)$$。
所以欧拉函数为可积函数。
设p为素数，$a=p^s$，且$1,2,3,...,p^s$中与a不互素的数一定是p的整数倍，即$p,2p,3p,...,p^{s-1}p$，总共有$p^{s-1}$个。则$$\phi (a)=\phi (p^s)=p^s-p^{s-1}=p^s\ast (1-\frac{1}{p})$$
所以$$\phi (m)=\phi (p_1^{s_1})\ast \phi (p_2^{s_2})\ast ...\ast \phi (p_k^{s_k})=\mathrm{m}\prod _{i=1}^k(1-\frac{1}{p_i})$$