欢迎来到数学证明世界！
你有没有想过，数学家是如何百分之百确定一条规则适用于世上每一个数字的？他们并非单纯猜测或测试几个数值；他们使用的是数学证明（Mathematical Proof）。在本章中，你将学习这些“游戏规则”，彻底证明数学命题的真伪。
你可以把证明想象成法庭上的案件。你从既定假设（given assumptions）开始，透过一系列的逻辑步骤（logical steps），最终达到一个无懈可击的结论（conclusion）。让我们开始吧！
1. 演绎证明（Proof by Deduction）
演绎证明是你在 A Level 数学中最常用的方法。它涉及从已知事实或“基本原理（first principles）”出发，利用代数展示某个命题必定成立。
它是如何运作的：
想象一排骨牌。如果第一块倒下（你的初始假设），并且每一块骨牌都能推倒下一块（你的逻辑步骤），那么最后一块骨牌就一定会倒下（你的结论）。
逐步示例：
证明对于所有 \(n\) 的值，\(n^2 - 6n + 10\) 均为正数。
1. 找出工具：对于二次式，配方法（completing the square）是我们最好的朋友，因为平方数永远是非负的。
2. 进行配方： \(n^2 - 6n + 10 = (n - 3)^2 - 9 + 10\)
3. 简化： \(= (n - 3)^2 + 1\)
4. 逻辑说明：我们知道任何实数的平方至少为零，因此 \((n - 3)^2 \geq 0\)。
5. 结论：因此， \((n - 3)^2 + 1 \geq 1\)，这必然恒为正数。证明完毕！
快速回顾框：
● 永远从一般情况开始（使用 \(n\) 或 \(x\) 等字母），而不是特定的数字。
● 使用配方法来证明表达式为正数。
● 使用由基本原理求导（differentiation from first principles）（稍后在课程中会学到）作为另一种演绎形式。
重点提示：演绎法利用代数在已知的事实与想要证明的目标之间建立逻辑桥梁。
2. 穷举法（Proof by Exhaustion）
别担心——这并不代表你必须工作到筋疲力尽！穷举法是指将问题拆解成所有可能的情况，并逐一证明每一种情况。
何时使用：
当只有少量且易于检查的可能性时使用此方法。
课程示例：
已知 \(p\) 为质数且 \(3 < p < 25\)，证明 \((p - 1)(p + 1)\) 为 12 的倍数。
1. 列出情况：介于 3 和 25 之间的质数有：5, 7, 11, 13, 17, 19, 23。
2. 测试情况 1 (\(p=5\))： \((5-1)(5+1) = 4 \times 6 = 24\)。(是 12 的倍数吗？是的！)
3. 测试情况 2 (\(p=7\))： \((7-1)(7+1) = 6 \times 8 = 48\)。(是 12 的倍数吗？是的！)
4. 继续：对 11, 13, 17, 19 和 23 重复上述步骤。若全部成立，则证明完成！
你知道吗？
电脑在穷举法方面非常厉害。1976 年，著名的“四色定理（Four Color Theorem）”就是透过电脑检查了 1,936 种不同情况而得证的！
重点提示：如果你找不到通则，试着将问题分类（例如“偶数”与“奇数”）或检查有限的值列表。
3. 反例证伪法（Disproof by Counter-Example）
这通常是最令人痛快的方法。要证伪（disprove）一个命题（显示它是错误的），你只需要找到一个不成立的例子即可。
类比：
如果有人说：“世界上所有的车都是蓝色的”，你不需要去检查每一辆车。你只需要指出一辆红色的车，就能证明他错了。
示例：
证伪以下命题：“对于所有 \(n\) 的值，\(n^2 - n + 1\) 皆为质数。”
1. 尝试代入数值：让我们测试一些数字。
若 \(n=1\)， \(1^2 - 1 + 1 = 1\) (不是质数，但关于质数的定义有时存在争议，我们继续测试)。
若 \(n=2\)， \(2^2 - 2 + 1 = 3\) (质数)。
若 \(n=3\)， \(3^2 - 3 + 1 = 7\) (质数)。
2. 找出“错误”：让我们试试 \(n=11\)。
\(11^2 - 11 + 1 = 121 - 11 + 1 = 111\)。
等等！ \(111\) 可以被 3 整除 (\(3 \times 37 = 111\))。
3. 结论：由于 \(n=11\) 得出的结果并非质数，因此该命题不成立。
避免常见错误：
你不能仅透过举例来“证明”某事为真。你只能用例子来“证伪”。要证明某事，你必须使用演绎法或穷举法。
重点提示：只要出现一个失败的例子，就足以摧毁一条数学“规则”。
4. 反证法（Proof by Contradiction）
这是数学证明中的“秘密武器”。刚开始可能会觉得有点反直觉，但它非常强大。如果觉得有点难懂也不要担心——这需要一点练习！
它是如何运作的：
1. 假设你要证明的命题是错误的（FALSE）。
2. 利用逻辑步骤证明这个假设会导致某种不可能的情况（即矛盾）。
3. 因此，你的假设一定是错的，这代表原始命题必然为真（TRUE）。
必考证明：证明 \(\sqrt{2}\) 是无理数
(Pearson Edexcel 明确要求你必须掌握此证明！)
1. 假设反面情况：假设 \(\sqrt{2}\) 是有理数。这意味着它可以写成最简分数 \(\frac{a}{b}\)（没有共同因数）。
2. 两边平方： \(2 = \frac{a^2}{b^2}\)，这代表 \(a^2 = 2b^2\)。
3. 逻辑推理：这告诉我们 \(a^2\) 是偶数，因此 \(a\) 也必须是偶数。让我们令 \(a = 2k\)。
4. 代入： \((2k)^2 = 2b^2\) 变为 \(4k^2 = 2b^2\)，简化后得到 \(b^2 = 2k^2\)。
5. 矛盾：这告诉我们 \(b^2\) 是偶数，所以 \(b\) 必须是偶数。但等等！如果 \(a\) 和 \(b\) 都是偶数，那么这个分数就不是最简形式了。产生矛盾！
6. 结论：我们的假设错了，因此 \(\sqrt{2}\) 必然是无理数。
记忆小撇步：
将反证法想象成“抬杠法”：
“喔是吗？好，假设你是对的……[进行数学推导]……你看？这完全说不通吧！所以你一定是错的。”
重点提示：如果假设“相反的情况”会导致数学上的灾难，那么原命题就一定是正确的。
考试总结清单
● 演绎法（Deduction）：我能使用代数（如配方法）来推导出结果吗？
● 穷举法（Exhaustion）：问题是否只有少量情况可以逐一测试？
● 反例证伪法（Counter-Example）：我能找到一个打破规则的数字吗？
● 反证法（Contradiction）：我可以假设它是假的并推导出不可能的情况吗？（记得背诵 \(\sqrt{2}\) 是无理数以及质数有无穷多个的证明！）