一句话
两个整数相等,那么它们除以任何一个数 m,余数都相同。
反过来用:如果能找到一个 m,让左边不管怎么取值,都余不出右边的那个余数——方程就没有整数解。无穷多种可能,一张小小的余数表就查完了。
难点只有一个:选哪个 m。常用的几张“通缉令”:
- 平方数:除以 3 只余 0,1;除以 4 只余 0,1;除以 8 只余 0,1,4。
- 立方数:除以 7 只余 0,1,6;除以 9 只余 0,1,8。
- 四次方数:除以 5 只余 0,1;除以 16 只余 0,1。
先猜后证
一个完全平方数除以 4,余数可能有几种?
先选定答案,才能看到结论。
✓ 猜对了!✗ 和你想的不一样——这正是值得停一下的地方。
偶数的平方 (2k)2=4k2,余 0。奇数的平方 (2k+1)2=4k(k+1)+1,余 1。只有这两种。
所以除以 4 余 2 或余 3 的数,一定不是完全平方数。下面每一站都在用这类事实。
第 1 站 · 同余(卷六)
余数表不用背,现场列一张就行。
例:11, 111, 1111, … 里有没有完全平方数?
第 1 / 4 步 -
数太大,只看余数 这些数越来越大,没法一个个开方。换个问法:它们除以 4 余几?
11, 111, 1111, 11111, …
-
除以 4 只看末两位
-
查平方数的余数表
-
对不上
第 2 站 · 剩余系(卷六)
平方看模 4、模 8。那立方呢?一个个试。
例:x³ + y³ = 2020 有整数解吗?
第 1 / 5 步 -
先试模 2 立方不改变奇偶,x3 可以余 0 也可以余 1。左边什么余数都凑得出,看不出矛盾。
-
模 3 也不行
-
找一个让立方“挑食”的模
-
右边余 4
-
模 7 也可以
为什么偏偏是 7 和 9?不用背。到“模运算实验室”翻一翻乘方表:换几个模,看 n3 那一列在哪个模下出现的余数最少,就选它。
第 3 站 · 完全平方数(卷六)
系数本身,常常就是最好的模。
三个连续整数 n−1, n, n+1 的平方和是
(n−1)2+n2+(n+1)2=3n2+2.
它会不会是完全平方数?设它等于 m2,就是问 m2−3n2=2 有没有整数解。
例:m² − 3n² = 2 有整数解吗?
第 1 / 4 步 -
顺手试模 4 平方数的老朋友模 4:左边能余 0,1,2,右边余 2。对得上,看不出矛盾。注意,这不代表有解。
-
盯住系数 3
-
平方数模 3
-
结论
第 4 站 · 不定方程(卷六)
两个系数都很显眼时,各试一次。
例:15x² − 7y² = 9 有整数解吗?
第 1 / 5 步 -
模 7:消去 7y² 除以 7,7y2 消失,15x2 和 x2 同余。右边 9 余 2。而 32=9 正好余 2——没有矛盾。
x2≡2(mod7)(如 x=3)
-
模 3:也不行
-
模 5:消去 15x²
-
查 3y² 的余数
-
结论
选模的顺序可以这样想:先试系数(让某一项消失),再试指数的老朋友(平方试 3,4,8;立方试 7,9;四次方试 5,16)。
练一练
完全平方数除以 8,余数一共有几种可能?
提示 · 方向不用想很大的数。余数只和“这个数除以 8 余几”有关。
提示 · 方法把 0,1,2,…,7 各平方一次,再除以 8 取余数。
提示 · 第一步0,1,4,9,16,25,36,49 除以 8 分别余 0,1,4,1,0,1,4,1。
完整解答出现过的余数只有 0,1,4,共 3 种。特别地,奇数的平方除以 8 一定余 1。
方程 x2−5y2=3 没有整数解。在 3, 4, 5, 8 这四个模里,只有一个能推出矛盾。是哪一个?
提示 · 方法除以 5:5y2 消失,只剩下 x2 和右边的余数比较。
提示 · 第一步模 5 时方程变成 x2≡3(mod5)。平方数除以 5 能余几?
完整解答平方数除以 5 只余 0,1,4,不可能余 3,所以模 5 推出矛盾。其余三个都对得上:例如模 4 时取 x 偶、y 奇,左边余 0−1≡3。
四次方数 n4 除以 16,余数一共有几种可能?算出来以后,用它说明 x4+y4+z4=2024 没有整数解。
提示 · 方法偶数:n=2k,n4=16k4。奇数:先用“奇数的平方除以 8 余 1”。
提示 · 第一步奇数 n:n2=8t+1,于是 n4=(8t+1)2=64t2+16t+1,除以 16 余 1。
完整解答余数只有 0 和 1 两种。于是三个四次方数之和除以 16 只能余 0,1,2,3。而 2024=16×126+8,余 8,对不上,所以方程没有整数解。