方法线路 M14 · 什么时候用?为什么用?

选择合适的模

等式两边除以同一个数,余数必须相同。挑一个让左边“余不出来”的模,方程就无解。

📖 配合《解题方法与策略》§3.3阅读

一个想法,一张图一个一个模试过去。哪些模能让左边永远余不出右边的余数?

图形加载中…

一句话

两个整数相等,那么它们除以任何一个数 ,余数都相同。

反过来用:如果能找到一个 ,让左边不管怎么取值,都余不出右边的那个余数——方程就没有整数解。无穷多种可能,一张小小的余数表就查完了。

难点只有一个:选哪个 。常用的几张“通缉令”:

  • 平方数:除以 只余 ;除以 只余 ;除以 只余 。
  • 立方数:除以 只余 ;除以 只余 。
  • 四次方数:除以 只余 ;除以 只余 。

先猜后证

一个完全平方数除以 ,余数可能有几种?

先选定答案,才能看到结论。

第 1 站 · 同余(卷六)

余数表不用背,现场列一张就行。

例:11, 111, 1111, … 里有没有完全平方数?

第 1 / 4 步
图形加载中…
  1. 数太大,只看余数

    这些数越来越大,没法一个个开方。换个问法:它们除以 余几?

第 2 站 · 剩余系(卷六)

平方看模 、模 。那立方呢?一个个试。

例:x³ + y³ = 2020 有整数解吗?

第 1 / 5 步
图形加载中…
  1. 先试模 2

    立方不改变奇偶, 可以余 也可以余 。左边什么余数都凑得出,看不出矛盾。

为什么偏偏是 和 ?不用背。到“模运算实验室”翻一翻乘方表:换几个模,看 那一列在哪个模下出现的余数最少,就选它。

第 3 站 · 完全平方数(卷六)

系数本身,常常就是最好的模。

三个连续整数 的平方和是

它会不会是完全平方数?设它等于 ,就是问 有没有整数解。

例:m² − 3n² = 2 有整数解吗?

第 1 / 4 步
图形加载中…
  1. 顺手试模 4

    平方数的老朋友模 :左边能余 ,右边余 。对得上,看不出矛盾。注意,这不代表有解。

第 4 站 · 不定方程(卷六)

两个系数都很显眼时,各试一次。

例:15x² − 7y² = 9 有整数解吗?

第 1 / 5 步
图形加载中…
  1. 模 7:消去 7y²

    除以 , 消失, 和 同余。右边 余 。而 正好余 ——没有矛盾。

选模的顺序可以这样想:先试系数(让某一项消失),再试指数的老朋友(平方试 ;立方试 ;四次方试 )。

练一练

练习 1基础

完全平方数除以 ,余数一共有几种可能?

练习 2提高

方程 没有整数解。在 这四个模里,只有一个能推出矛盾。是哪一个?

练习 3挑战

四次方数 除以 ,余数一共有几种可能?算出来以后,用它说明 没有整数解。

错误博物馆 · 本站展品

离站之前,看看别人在这里踩过的坑。去博物馆看全部展品 →

展品

没有矛盾,就当作有解

错误的做法: 两边除以 :左边可以余 ,右边余 ,对得上。所以方程有整数解。
错在哪里?先想一想,再打开

病因 一个模没有推出矛盾,只说明这个模不管用。余数对得上,离“真的相等”还差得远。换成模 :左边只能余 ,右边余 ,立刻矛盾。

正确的做法:要证明无解,找到一个推出矛盾的模就够了;要证明有解,必须真的拿出一组解来。

「模只能判死刑,不能判无罪」

展品

同余式两边随手约分

错误的做法:,两边约去 ,得 。
错在哪里?先想一想,再打开

病因  时 ,除以 也余 ,可是 除以 并不余 。约去的 和模 有公因数,这样约会丢掉解。

正确的做法:约去 的同时,模也要除以 :,也就是 是奇数。

「约去的数要和模互素,否则模也跟着约」

这条线路经过的站

同一个想法,在不同的地方各用一次。

  1. 同余的概念与基本性质卷六《整除、同余与不定方程》§2.1
  2. 剩余系及其应用卷六《整除、同余与不定方程》§2.2
  3. 完全平方数卷六《整除、同余与不定方程》§2.5
  4. 不定方程的常用解法卷六《整除、同余与不定方程》§3.2