定理11.1 Φ函数公式:
(a) 如果p是素数且k ≥ 1, 则 Φ(p ^ k) = p ^ k - p ^ (k - 1);
(b) 如果 gcd(m, n) = 1, 则 Φ(mn) = Φ(m) Φ(n)
定理11.1证明:
定理11.1 (a) 证明:
当m = p ^ k,p 是素数, [1, m) 内的a 被 p 整除时,a 不与 p ^ k 互素,即
Φ(p ^ k) = p ^ k - # {a: 1 ≤ a ≤ p ^ k, p | a}
= p ^ k - p ^ (k - 1)
定理11.1 (a) 证明完毕;
定理11.1 (b)证明:
取集合 {a : 1 ≤ a ≤mn, gcd(a, mn) = 1} (1)
与集合{(b, c) : 1 ≤ b ≤m, gcd(b, m) = 1, 1 ≤ c ≤n, gcd(c, n) = 1} (2)
需证明:⑴集合(1)的不同数对应集合(2)中的不同序对;
⑵集合(2)的每个序对适合集合(1)中的某个数
设对应关系满足 a ≡ b (mod m)