欢迎来到“分类证明法”（Proof by Cases）的世界！
在你的 H3 数学旅程中，你会发现有些数学命题就像谜题一样，会根据你代入的数字而有所不同。对于偶数成立的规律，换作奇数时可能就会完全改变。这时候，“分类证明法”（有时也称为“穷举法”）就能派上用场了！
你可以把它想像成“分而治之”的策略。与其试图一次过证明所有数字都适用同一个规律，不如将问题拆解成较小、较易处理的小组（即“情况”或 Case），然后逐一证明。只要我们涵盖了所有可能出现的情况，整个命题就必定成立！
如果刚开始觉得有点棘手也不用担心；一旦你掌握了当中的规律，它就会成为你数学工具箱中最具逻辑性的工具之一。
1. 什么是分类证明法？
分类证明法是指通过将定义域（即我们所研究的数集）划分为若干个子群组，从而证明命题 \(P\) 正确的方法。我们接着会证明 \(P\) 对每个子群组均分别成立。
黄金法则：为了确保证明有效，你所划分的各种情况必须是穷尽（exhaustive）的。这意味着它们必须涵盖所有可能性。如果你遗漏了哪怕是一个微小的可能性，整个证明就会站不住脚！
一个简单的类比：
假设你想证明你对明天的天气总能准备充足。你不能只说“我会带一件外套”，因为天气可能很热。相反，你应将情况分类：
情况 1：下雨。（我会带雨伞。）
情况 2：天晴。（我会戴太阳眼镜。）
情况 3：下雪。（我会穿羽绒服。）
由于天气不是下雨、天晴就是下雪（假设这就是全部选择！），你已经证明了你总是准备充足！
关键要点：
要用分类证明法证明一个命题，你必须展示该命题在情况 1 或 情况 2 或 情况 3……中均成立，直到所有可能性都被穷尽为止。
2. 什么时候应该使用这种方法？
当单一公式或逻辑路径不适用于所有情况时，就应考虑使用分类证明法。常见的“触发点”包括：
- 奇偶性（Parity）：当命题涉及整数，且该整数可能是偶数或奇数时。
- 绝对值（Absolute Values）：当你看到 \( |x| \) 时，因为它的特性会根据 \( x \) 是正数、负数或零而改变。
- 不等式（Inequalities）：当变量的符号会改变不等式的方向时。
- 余数（同余运算，Modular Arithmetic）：当一个数字除以另一个数字时可能会有不同的余数（例如：\( n \equiv 0, 1, \text{ 或 } 2 \pmod 3 \)）。
你知道吗？
著名的“四色定理”（即任何地图都可以只用四种颜色着色，使得没有两个相邻区域共用同一颜色）就是通过 1,482 种不同的情况证明出来的！由于情况太过于复杂，必须依靠电脑来检查所有情况。
3. 撰写证明的步骤指南
让我们看看如何构建你的答案，让阅卷员一目了然：
第 1 步：说明你的计划。 告诉读者你正在使用分类证明法。
第 2 步：定义你的分类。 确保它们涵盖了所有情况（例如：\( n \) 是偶数，\( n \) 是奇数）。
第 3 步：证明情况 1。 使用代数或逻辑来证明命题对该群组成立。
第 4 步：证明情况 2（以此类推）。 对其余群组进行同样的操作。
第 5 步：结论。 简要说明由于该命题对所有可能情况均成立，因此对所有数值均成立。
4. 经典例题：整数的平方
问题：证明对于任何整数 \( n \)，\( n^2 + n \) 的值总是偶数。
等等！在开始之前，让我们记住：
一个偶数可以写成 \( 2k \)。
一个奇数可以写成 \( 2k + 1 \)。
（其中 \( k \) 为整数。）
情况 1：\( n \) 是偶数。
令 \( n = 2k \)。
则 \( n^2 + n = (2k)^2 + (2k) = 4k^2 + 2k \)。
我们可以提取公因数 2：\( 2(2k^2 + k) \)。
由于这是 2 乘以一个整数，结果为偶数。
情况 2：\( n \) 是奇数。
令 \( n = 2k + 1 \)。
则 \( n^2 + n = (2k + 1)^2 + (2k + 1) \)。
展开后：\( (4k^2 + 4k + 1) + (2k + 1) = 4k^2 + 6k + 2 \)。
同样地，提取公因数 2：\( 2(2k^2 + 3k + 1) \)。
这同样是 2 乘以一个整数，所以结果亦为偶数。
结论：由于 \( n \) 必定是偶数或奇数，且在这两种情况下 \( n^2 + n \) 均为偶数，命题得证！
速查核对表：
稳固证明的检查清单：
1. 我的分类是否区分明确？（它们不需要完全不重叠，但必须涵盖所有情况）。
2. 我的分类是否穷尽？（我是否遗漏了零？是否遗漏了负数？）
3. 我是否为每一个情况都得出了清晰的结论？
5. 避免常见错误
即使是最优秀的学生也可能掉进这些“陷阱”：
- “遗漏零”陷阱：如果你将情况分为“正数”和“负数”，千万别忘了 \( x = 0 \) 的情况！
- 过于复杂：如果 2 个情况就能解决，就别搞出 10 个情况。寻找划分数字最简单的方法。
- 未达穷尽：如果你仅证明了所有质数的情况，你并没有证明所有整数的情况（你遗漏了 1, 4, 6, 8 等）。
记忆小撇步：“CEO”
要记住什么构成好的分类证明，请记住 CEO：
Cases defined（已定义分类）。
Exhaustive（穷尽所有可能性）。
One-by-one proof（逐一证明）。
6. 进阶技巧：使用同余（Modulo）
身为 H3 学生，你应该要掌握同余运算。这是创造分类的强力方法！如果问题涉及除以 3 的整除性，你可以根据余数将证明分为三种情况：
- 情况 1： \( n = 3k \) （余数为 0）
- 情况 2： \( n = 3k + 1 \) （余数为 1）
- 情况 3： \( n = 3k + 2 \) （余数为 2）
这涵盖了所有可能的整数，因为任何数除以 3 的余数只可能是 0、1 或 2！
总结：
当问题感觉“分裂”时，分类证明法是你最好的朋友。通过将大问题拆解为较小、较简单的逻辑步骤，你可以自信地应对最复杂的 H3 定理。只需记住：涵盖所有情况，并证明每一个情况！