1.2.1 \large 1.2.1 1.2.1
钦定无需证明
1.2.2 \large1.2.2 1.2.2
显然 [ 1 , p ) ∩ Z [1,p)\cap \Z [1,p)∩Z 中所有数都与 p p p 互质,所以 φ ( p ) = p − 1 \varphi(p)=p-1 φ(p)=p−1
1.2.3 \large 1.2.3 1.2.3
p k p^k pk 的质因子只有 p p p ,所有与 p k p^k pk 不互质的数一定可以被 p p p 整除。
在小于 p k p^k pk 的数中,能被 p p p 整除的数有 p , 2 p , … , ( p k − 1 − 1 ) × p p,2p,\dots,(p^{k-1}-1)\times p p,2p,…,(pk−1−1)×p ,共 p k − 1 − 1 p^{k-1}-1 pk−1−1 个。
所以 [ 1 , p k ) ∩ Z [1,p^k)\cap \Z [1,pk)∩Z 中与 p k p^k pk 互质的数的个数就是 ( p k − 1 ) − ( p k − 1 − 1 ) = p k − p k − 1 (p^k-1)-(p^{k-1}-1)=p^k-p^{k-1} (pk−1)−(pk−1−1)=pk−pk−1 ,也就是 φ ( p k ) = p k − p k − 1 \varphi(p^k)=p^k-p^{k-1} φ(pk)=pk−pk−1
1.2.4 \large 1.2.4 1.2.4
设 X X X 为 M M M 的简化剩余系,其中的元素用 x i x_i xi 来表示,元素个数为 φ ( M ) \varphi(M) φ(M) ;
设 Y Y Y 为 N N N 的简化剩余系,其中的元素用 y i y_i yi 来表示,元素个数为 φ ( N ) \varphi(N) φ(N) 。
我们只需证明下面三点即可:
A : ( x i N + y i M , M N ) = 1 \color{green}\rm A: (x_iN+y_iM,MN)=1 A:(xiN+yiM,MN)=1
B : x i N + y i M 代 表 的 元 素 两 两 不 在 同 一 剩 余 系 内 \color{green}\rm B: x_iN+y_iM 代表的元素两两不在同一剩余系内 B:xiN+yiM代表的元素两两不在同一剩余系内
C : x i N + y i M 能 代 表 M N 的 简 化 剩 余 系 内 的 所 有 元 素 \color{green}\rm C: x_iN+y_iM 能代表 MN 的简化剩余系内的所有元素 C:xiN+yiM能代表MN的简化剩余系内的所有元素
- 证 明 A \color{green}\rm 证明A 证明A :
( x i , M ) = 1 ⇒ ( x i N , M ) = 1 ⇒ ( x i N + y i M , M ) = 1 (x_i,M)=1 \Rightarrow (x_iN,M)=1 \Rightarrow (x_iN+y_iM,M)=1 (xi,M)=1⇒(xiN,M)=1⇒(xiN+yiM,M)=1
( y i , N ) = 1 ⇒ ( y i M , N ) = 1 ⇒ ( x i N + y i M , N ) = 1 (y_i,N)=1 \Rightarrow (y_iM,N)=1 \Rightarrow (x_iN+y_iM,N)=1 (yi,N)=1⇒(y