首页 / 学科工具 / 初中竞赛 / 整除、同余与不定方程 / 剩余系:把无穷多个整数装进有限个抽屉
初中数学竞赛 · 整除、同余与不定方程

剩余系:把无穷多个整数装进有限个抽屉

模 m 的余数只有 m 种,所有整数被分成 m 类。这个“抽屉”视角能把关于所有整数的问题,变成关于有限个余数的问题。

九~九年级难度 ★★★★15 分钟

完全剩余系

模 m 的余数有 m 种:0,1,…,m−1。任取 m 个整数,如果它们模 m 的余数两两不同,就称这 m 个数构成模 m 的一个完全剩余系。

最标准的一组是 0,1,2,…,m−1。但 1,2,…,m 也是,−3,−2,−1,0,1(m=5 时)也是。

核心性质

若 gcd(a,m)=1,且 x1,x2,…,xm 是完全剩余系,则 ax1,ax2,…,axm 仍然是完全剩余系。

道理:只需证明它们两两不同余。若 axi≡axj(modm),因为 a 与 m 互素可以约掉,得 xi≡xj,与“两两不同”矛盾。

这条性质是欧拉定理和威尔逊定理的源头。

简化剩余系

在 0,1,…,m−1 里,与 m 互素的那些数,构成简化剩余系。它的元素个数记作 φ(m),叫欧拉函数。

  • m 是素数 p:φ(p)=p−1
  • m=pk:φ(pk)=pk−pk−1
  • m=ab 且 gcd(a,b)=1:φ(ab)=φ(a)φ(b)

欧拉定理

若 gcd(a,m)=1,则

aφ(m)≡1(modm)

证明思路:把简化剩余系 r1,…,rφ(m) 全部乘 a,得到的集合还是简化剩余系(同样是置换),所以两个集合的乘积同余:

aφ(m)r1⋯rφ(m)≡r1⋯rφ(m)(modm)

两边约掉与 m 互素的乘积,得证。

例题

例1 验证置换

m=7,取 a=3。写出 3×0,3×1,…,3×6 模 7 的余数。

解:0,3,6,2,5,1,4,正好是 0 到 6 的一个排列,确实是完全剩余系。

例2 用欧拉定理降次

求 3100 除以 7 的余数。

解:φ(7)=6,gcd(3,7)=1,由欧拉定理 36≡1。

100=6×16+4,故 3100≡34=81≡4(mod7)。

例3 威尔逊定理

设 p 是素数,证明 (p−1)!≡−1(modp)。

解:1,2,…,p−1 中,每个数 a 都有唯一的逆元 a−1(模 p),且 a·a−1≡1。

逆元等于自身的只有 a=1 和 a=p−1(因为 a2≡1 ⇒ (a−1)(a+1)≡0 ⇒ a≡±1)。

其余 p−3 个数两两配对,每对乘积 ≡1。所以 (p−1)!≡1·(p−1)·1⋯1≡−1(modp)

反过来也成立:若 (n−1)!≡−1(modn),则 n 是素数。这条常用来判素数。

例4 求 φ

求 φ(100) 与 φ(360)。

解:100=22·52,φ(100)=100×12×45=40。

360=23·32·5,φ(360)=360×12×23×45=96。

公式:φ(n)=n∏p∣n(1−1p),p 取遍 n 的不同素因子。

例5 逆元

求 7 在模 11 下的逆元。

解:试乘:7×1=7,7×2=14≡3,7×3=21≡10,7×4=28≡6,7×5=35≡2,7×6=42≡9,7×7=49≡5,7×8=56≡1。

所以逆元是 8。也可以直接用欧拉定理:710≡1,故 7−1≡79。

三个坑
  1. 模不互素还去约:只有 gcd(a,m)=1 才能约,否则结论不成立。
  2. 把 φ 当成“小于 n 的素数个数”:它数的是与 n 互素的个数,包括 1。
  3. 威尔逊定理方向搞反:是“p 素数 ⇒ (p−1)!≡−1”,反过来也成立,但中间不能插入别的条件。
练习(先做,再看答案)
  1. 判断 1,3,5,7 是否构成模 4 的完全剩余系。
  2. 求 φ(72)。
  3. 用欧拉定理求 21000 除以 9 的余数。
  4. 求 5 在模 7 下的逆元。
  5. 用威尔逊定理判断 7 是否为素数。
看答案

1. 模 4 的余数分别为 1,3,1,3,只有两种,不构成完全剩余系(应取 0,1,2,3)。

2. 72=23·32,φ(72)=72×12×23=24。

3. φ(9)=6,26≡1(mod9),1000=6×166+4,21000≡24=16≡7(mod9)。

4. 5×3=15≡1(mod7),逆元是 3。

5. 6!=720=7×102+6,720≡6≡−1(mod7),符合威尔逊定理,7 是素数(还需验证 7 确实素数,此处只是验证定理)。

一页速记
  • 完全剩余系:m 个数模 m 余数两两不同
  • gcd(a,m)=1 时,乘 a 仍得完全剩余系(置换)
  • φ(m):与 m 互素的个数;φ(p)=p−1
  • 欧拉定理:gcd(a,m)=1 ⇒ aφ(m)≡1
  • 威尔逊:p 素数 ⇒ (p−1)!≡−1(modp)
看完了? 去 整除、同余与不定方程 做配套练习,或回到 竞赛总览 挑下一个专题。想动手刷题、看看这些方法在题目里怎么用,去 奥数挑战。