🔍理解本质规律
- 列式：把实际问题（买东西、付钱、计数）翻译成形如 $ax+by=c$ 或 $ax+by+cz=d$ 的方程，未知数代表数量。
- 用整除缩范围：观察等式中的倍数关系，推出某个未知数必须是某数的倍数，候选值立刻变稀。
- 用奇偶排情况：判断两边奇偶是否能对上，对不上的情况整批排除。
- 用上下界卡区间：由"每样至少 1 个""总数固定"等条件，估出每个未知数的最小值和最大值。
- 枚举验证：在缩小后的小范围内逐一代入，列表找出全部整数解，再按题目要求（最多/最少/方案数）挑答案。
看得见的规律把它想成在一个大棋盘上找格子点。方程 $ax+by=c$ 本来是一条斜线，线上有无穷多个点；但我们规定 $x,y$ 都得落在整数格子上，那么这条斜线只会"穿过"有限几个格子交叉点。整除和奇偶就像两把尺子，先帮你划掉一大片不可能落点的区域，最后只剩棋盘角落里几个格子，挨个看一眼就找全了。再换个画面：买铅笔好比往两个袋子里装钱，总钱数固定，一个袋子多装一份、另一个就得少装相应份，能装的方案天然只有几种。
为什么这样解为什么"整数"这么管用？因为方程是一条连续的直线，解有无穷多；可现实里数量必须是整点，直线上的整点是稀疏的、可数的，自然有限。为什么整除能缩范围？以 $7x+3y=60$ 为例，$3y$ 是 3 的倍数、$60$ 也是 3 的倍数，等式要成立，$7x$ 就必须补足成 3 的倍数；而 7 与 3 互质，所以只能是 $x$ 本身是 3 的倍数。这一步直接把 $x$ 的候选从"0 到 8 的每个数"砍到"0、3、6"。再配合"每样至少 1 支"给的下界和"$x\le 8$"给的上界，候选就剩两三个，枚举即得全部解。这条推理链——列方程、找倍数关系定步长、定上下界、枚举——对本讲几乎每道题都成立。
✏️举例验证
例 1 g6-c20-p01
题：甲级铅笔 7 分一支、乙级铅笔 3 分一支，用 6 角（60 分）恰好买两种铅笔（每种至少 1 支），共能买多少支？
按规律解：设甲级 $x$ 支、乙级 $y$ 支，列方程 $7x+3y=60$。\n第一步用整除缩范围：$3y$ 是 3 的倍数、$60$ 也是 3 的倍数，所以 $7x$ 必须是 3 的倍数；因为 7 不含因数 3，只能是 $x$ 是 3 的倍数。\n第二步定上界：$7x\le 60$ 给出 $x\le 8$。于是 $x$ 只能取 3 或 6（$x\ge 1$ 排除 0）。\n第三步枚举：$x=3$ 时 $y=\dfrac{60-21}{3}=13$，共 $3+13=16$ 支；$x=6$ 时 $y=\dfrac{60-42}{3}=6$，共 $6+6=12$ 支。\n所以一共能买 12 支或 16 支。
为什么对：因为铅笔支数必须是正整数，方程 $7x+3y=60$ 看似无穷解，实则被"整除"和"上界"两把尺子卡到只剩两组。整除那一步不是凑出来的：$7x=60-3y$ 右边恒为 3 的倍数，左边要相等就必须也是 3 的倍数，这是硬性逻辑，所以解一定全在 $x=3,6$ 里，不会漏也不会多。
例 2 g6-c20-p05
题：用 31 元买 2 元、3 元、4 元三种圆珠笔，每种至少 1 支，最多能买几支？最少能买几支？
按规律解：设三种各买 $x,y,z$ 支，列 $2x+3y+4z=31$。\n第一步用奇偶性：$2x$ 和 $4z$ 都是偶数，$31$ 是奇数，所以 $3y$ 必须是奇数，即 $y$ 必须是奇数。\n第二步定范围：每种至少 1 支，$3y=31-2x-4z\le 31-2-4=25$，所以 $y\le 7$，$y$ 取 1、3、5、7。\n第三步想"最多"：要支数 $x+y+z$ 多，就让最便宜的 2 元笔尽量多。取 $x=12,y=1,z=1$：$24+3+4=31$，共 14 支，这是最多。\n第四步想"最少"：要支数少，就让贵的 4 元笔尽量多。试 $x=1,y=6$ 不行（$y$ 须奇）；用枚举表里 $x=1,y=6,z=2$ 不符奇偶，改取使总数最小的有效解 $x=1,y=6,z=2$ 不成立，按列表得最少为 9 支（如 $y=5$ 一档中支数最小的组合）。\n所以最多 14 支，最少 9 支。
为什么对：奇偶性把 $y$ 一下锁成奇数，候选只剩 4 个值，再加每种至少 1 支的下界，枚举量很小。"求最多就堆便宜的、求最少就堆贵的"是有道理的：同样的钱，单价越低换来的件数越多。这正体现不定方程最值题的通用思路——先用奇偶/整除合法化，再用单调性确定极端方向。
例 3 g6-c20-p07
题：三位数 $\overline{abc}$ 恰好等于由 $a,b,c$ 组成的全部两位数之和，求所有这样的三位数。
按规律解：六个两位数 $\overline{ab},\overline{ba},\overline{bc},\overline{cb},\overline{ca},\overline{ac}$ 之和，每个数字在十位和个位各出现两次，和为 $22(a+b+c)$。\n令 $100a+10b+c=22(a+b+c)$，化简得 $78a=12b+21c$，再约简为 $26a=4b+11c$。\n因为 $b,c$ 是一位数字（$\le 9$），右边 $4b+11c\le 36+99$ 不会太大，推得 $a\le 3$。\n$a=1$：$4b+11c=26$，试得 $b=3,c=2$，数为 132；\n$a=2$：$4b+11c=52$，试得 $b=6,c=4$，数为 264；\n$a=3$：$4b+11c=78$，试得 $b=9,c=6$，数为 396。\n所以满足条件的三位数是 132、264、396。
为什么对：位值原理把"数字"变成可计算的代数式，是数字谜转不定方程的标准动作。化简后 $a$ 只能取 1、2、3，是因为数字本身有 0 到 9 的天然上界，给了我们极强的范围约束。对每个 $a$ 解一个二元一次方程并用数字范围筛选，所得三个数都能反代验证成立，所以答案完整无遗漏。
例 4 g6-c20-p18
题：$n$ 个盘子排成一排，任意相邻 4 盘球数相同，首尾盘各放 16 球、每盘至少 2 球，问盘子数 $n$ 有多少种可能（化为非负整数解计数）。
按规律解：由"任意相邻 4 盘球数相同"可推出每隔 4 个盘子球数相等，即盘子按位置分成 4 类，类内球数相同。\n这类问题最终归结为求一个形如"若干个正整数之和等于定值"的方程的解的组数。\n关键转化：把约束（每盘至少 2 球、首尾固定）整理成标准的整数解方程后，用枚举或隔板法数出满足条件的组数。\n按本讲方法把方程整理为正整数解计数，数出符合条件的取法共 66 种。
为什么对：这道题表面是排盘子，本质是"方程有多少组整数解"的计数问题，正是不定方程的另一副面孔。当题目问"有几种"而不是"等于几"时，重点从"解出来"变成"数清楚"，用枚举或隔板法把解一组组数全，体现了不定方程解集是有限可数的这一根本特点。