一句话
分类原则:要研究的对象全体是 M,把它分成两两不交、并为 M 的若干类(M 的一个分划),然后逐类解决。
分类本身不难,难的是选标准。好的标准有一个检验办法:只要知道对象属于哪一类,要问的事情就能判断。上面的操作台是在数“和为 3 的倍数的数对”,三种标准里只有一种过得了这一关。
数一数:1~12 中和为 3 的倍数的数对
第 1 / 4 步 -
硬数 66 对,一对一对检查,有 22 对。电脑能这么干,人不行,而且 N 一大就算不过来。
-
按奇偶分
-
按除以 3 的余数分
-
逐类计数
第 1 站 · 整除:按余数分
1∼12 中取两数,使乘积是 4 的倍数,有几种取法? 按奇偶分看似自然,可“奇·偶”这一格里 1×2 不行、1×4 行。要按什么分才干净?
按除以 4 的余数分,每格都说得清。
按除以 4 的余数分,干净了。但 ✓ 的格子太多,加起来很累——反过来数不符合的更省事:乘积不是 4 的倍数,只能是“两个奇数”(C62=15 对)或“一个奇数配一个除以 4 余 2 的数”(6×3=18 对),于是答案是 66−15−18=33。
第 2 站 · 方程:按符号分
绝对值是“分段”定义的,含绝对值的方程天然要分类:零点把数轴切成几段,每一段上绝对值都能直接去掉。
先猜后证
方程 ∣x−1∣+∣x+2∣=5 有几个实数解?
先选定答案,才能看到结论。
✓ 猜对了!✗ 和你想的不一样——这正是值得停一下的地方。
零点是 −2 和 1,分三段:
- x≤−2:(1−x)+(−x−2)=5,得 x=−3,在这一段里,✓。
- −2<x<1:(1−x)+(x+2)=3=5,无解。
- x≥1:(x−1)+(x+2)=5,得 x=2,✓。
共 2 个解:x=−3 或 x=2。几何上,∣x−1∣+∣x+2∣ 是 x 到 1 和到 −2 的距离之和,中间一段上它恒为 3,两边才变大。
每一段解出来的 x 必须落在这一段里才算数——这是分类讨论里最常丢的一步检查。
第 3 站 · 计数:按最大元素分
从 1∼10 中取 3 个数,有几种取法? 答案当然是 C103=120,但按“最大的那个数是几”分类,可以得到一条恒等式:
-
分类 三个数里最大的那个只能是 3,4,…,10 之一。按它分成 8 类,不重不漏。
k=max∈{3,4,…,10}
-
每一类
-
相加
同一个对象,两种数法——这是“算两次”的种子。分类标准选“最大元素”,正是因为一旦它定了,剩下的选择就彼此无关了。
练一练
从 1∼20 中取两个不同的数,使它们的和是 3 的倍数,有多少种取法?
提示 · 方法和是 3 的倍数:两个都余 0,或者一个余 1、一个余 2。
提示 · 第一步余 0 的有 3,6,…,18 共 6 个;余 1 的有 1,4,…,19 共 7 个;余 2 的有 2,5,…,20 共 7 个。
解方程 ∣x+1∣−∣x−3∣=2。
提示 · 方法零点 −1 和 3,分 x≤−1、−1<x<3、x≥3 三段。
提示 · 第一步x≤−1 时左边恒为 −4;x≥3 时左边恒为 4。都不等于 2。
完整解答−1<x<3 时左边是 (x+1)−(3−x)=2x−2=2,得 x=2,在这一段内。唯一解 x=2。
从 1∼15 中取两个不同的数 a,b,使 a2+b2 是 5 的倍数,有多少种取法?
提示 · 方法按除以 5 的余数分类。余 0 的平方余 0;余 1,4 的平方余 1;余 2,3 的平方余 4。
提示 · 第一步a2+b2≡0:要么两个平方都余 0,要么一个余 1、一个余 4。每个余数类在 1∼15 中各有 3 个数。
完整解答两数都是 5 的倍数:C32=3;一个余 1 或 4(6 个数)、一个余 2 或 3(6 个数):6×6=36。共 39 种。
从 1∼12 中取 3 个不同的数,使它们的和是 3 的倍数,有多少种取法?
提示 · 方向三个余数加起来要是 3 的倍数,有哪几种可能?
提示 · 方法按三个数的余数组合分类:(0,0,0)、(1,1,1)、(2,2,2)、(0,1,2)。
提示 · 第一步每个余数类各 4 个数。三个同类:C43=4 种,三类共 12 种。
完整解答各取一个:4×4×4=64 种。合计 12+64=76 种。