欢迎来到构造证明（Proof by Construction）的世界！
在你的 H2 数学旅程中，你已经花了不少时间在计算和解题上。到了 H3 数学，我们要退一步思考：“究竟我们如何得知这个东西本身是存在的？”
构造证明是回答这个问题最令人满足的方法之一。你可以把它想象成一份“食谱”。与其只争论蛋糕“可能”存在，你直接把它烤出来并端上桌。如果你能把它造出来，那它就一定是真实存在的！这一章将教会你如何成为一名数学建筑师。
1. 什么是构造证明？
在数学中，我们经常遇到以“存在...”（由符号 \(\exists\) 表示）开头的命题。为了证明这些命题，我们使用构造性证明。
构造证明是透过创建一个数学对象，或提供一种特定的方法（算法）来寻找它，从而证明该对象的存在。
核心概念：要证明“存在一个 \(x\) 使得 \(P(x)\) 为真”，你只需要找到一个特定的 \(x\) 值，并证明它满足条件 \(P(x)\) 即可。
类比：寻宝游戏
想象有人说：“这个公园里藏着一枚金币。”
• 非构造性证明可能会争论说：“金属探测器在响，所以某个地方一定有金币。”
• 构造性证明则会说：“我在这些坐标 (x, y) 挖了一下，这就是那枚金币。”
重点总结：
只要你找到一个有效的例子，“存在性”就已经被证明了。你不需要找到所有例子——只要一个就足够了！
2. 三步骤流程
如果这听起来有点抽象，不用担心。对于几乎所有的构造证明，你都可以遵循这三个简单的步骤：
步骤 1：确认“目标”。 观察命题，弄清楚你需要找到的是哪种对象（一个数字？一个函数？还是一个集合？）。
步骤 2： “构造”候选者。 利用你的直觉、草稿或反复试验来选出一个特定的候选者。（注意：你通常不需要在最终证明中展示你的试错过程！）
步骤 3：验证。 一步一步展示你所选择的候选者确实符合题目中提出的所有要求。
3. 实战演练
例题 1：数论（基础）
证明存在一个偶质数。
构造： 令 \(n = 2\)。
验证：
1. \(n\) 是偶数吗？是的，\(2 \div 2 = 1\)，所以它是偶数。
2. \(n\) 是质数吗？是的，2 的唯一因数是 1 和它本身。
由于我们找到了一个既是偶数又是质数的数字，该命题得证。得证（Q.E.D.）。
例题 2：合成数
证明存在一个整数 \(n\)，使得 \(2^n - 1\) 是一个合成数，其中 \(n > 1\)。
构造： 我们试几个数值。
若 \(n=2\)，\(2^2 - 1 = 3\)（质数）。
若 \(n=3\)，\(2^3 - 1 = 7\)（质数）。
若 \(n=4\)，\(2^4 - 1 = 15\)（合成数！）。
所以，我们选择 \(n = 4\)。
验证： 当 \(n = 4\) 时，\(2^4 - 1 = 15\)。由于 \(15 = 3 \times 5\)，它是合成数。存在性得证。
快速回顾： 请注意在例题 2 中，我们不必讨论 \(n=5\) 或 \(n=6\)。一旦我们找到了 \(n=4\)，我们的工作就完成了！
4. 构造性与非构造性证明
在 H3 数学中，很重要的一点是知道并非所有的存在性证明都是构造性的。
• 构造性： “这是数字 \(x = 5\)。你看？它有效！”
• 非构造性： “如果没有这样的数字，逻辑就会崩溃，所以一定存在一个……但我不知道它是什么。”
你知道吗？ 构造证明在计算机科学中备受重视。如果你能“构造”出一个解决方案，你就可以编写一个程序来找到它。非构造性证明只是告诉电脑“它在那里”，但却没有给电脑任何寻找它的指令！
5. 常见陷阱与小撇步
常见错误：证明“所有”而不是“一个”
学生有时会试图证明某个性质对集合中的所有数字都成立，而题目仅要求证明至少存在一个。
小撇步： 如果题目说“存在...”或“展示存在一个...”，只需要找到一个特定的例子。不要把问题想得比实际情况更难！
常见错误：忘记验证
仅仅列出例子是不够的。你必须展示计算过程，证明你的例子确实有效。
小撇步： 务必在证明结尾清楚展示你选择的数值是如何符合题目给出的原始定义。
记忆法： “身份证”技巧
将构造证明想象成检查某人的身份证：
1. 题目要求找到符合特定年龄的人。
2. 你带出一个人作为代表。
3. 你出示他们的身份证（计算过程），证明他们确实是该年龄。
6. 总结清单
当处理构造证明题时，问问自己：
- 我识别出存在量词 (\(\exists\)) 了吗？
- 我有清楚说明我选择的候选者吗？
- 我有展示计算过程来验证它符合准则吗？
- 我的例子是否在题目指定的定义域内（例如，如果题目要求整数，它是整数吗）？
继续加油！ 构造证明讲求的是创造力。如果证明过程让你觉得过于复杂，不妨深呼吸并试着一些简单的数字。通常，“构造”过程比你想象中简单得多！
欢迎来到“分类证明法”（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 定理。只需记住：涵盖所有情况，并证明每一个情况！