数论概论笔记 第9章 同余式、幂与费马小定理

定理9.1 费马小定理：设 p 是素数，a 是任意整数且 a !≡ 0 (mod p)（不同余符号打不出来）则

a^(p - 1) ≡ 1 (mod p)

断言9.2：设 p 是素数，a 是任意整数且 a !≡ 0 (mod p)，则数

a, 2a, 3a, ……(p - 1)a (mod p)                                             （1）

与数1， 2， 3……(p - 1) (mod p)                                        （2）

相同，尽管次序可能不同。

断言证明：

数列（1）中包含的 p - 1 个数显然都不能被 p 整除；

设 取 ja, ka，且 ja ≡ ka (mod p)，

则 p 整除 (j - k) * a；

因为 假设 a !≡ 0 (mod p)，则 p 整除 (j - k)；

由于 j, k < p，则 j - k = 0， j = k；

故数列（1）中的不同乘积对模 p 不同，包括 (p - 1) 个非零值；

由于有(p - 1) 个不同的非零值 (mod p)，因此数列（1）与数列（2）包含相同的数。

证明完毕。

定理9.1证明：

数列（1）与数列（2）包含相同的数 (mod p)；

故 a ^ (p - 1)!    ≡    (p - 1)! (mod p)；

由于p 与 (p - 1)! 互质，

故 a^(p - 1) ≡ 1 (mod p) 成立。

证明完毕。