欢迎来到数学证明的世界！
你有没有想过，为什么数学家对某些规则总是万无一失感到如此确信？在大多数科目中，我们寻找的是证据；但在数学中，我们寻求的是证明 (Proof)。证明是一个逻辑论证，用以表明一个命题对于所有可能的情况，永远都是 100% 正确的！
在你的 Paper 2 考试中，你需要展示你能够一步步建立这些论证。如果起初觉得这是一种全新的思维方式，请不要担心——这就像是让我们已知的事实，搭建出一座通往我们想要证明之结论的桥梁。
1. 证明的组成基础
在我们开始“搭建”之前，需要先备齐材料。在数学证明中，我们使用逻辑演绎 (Logical deduction)。这意味着我们从已知的事实（假设）出发，运用清晰且具逻辑性的步骤，来推导出结论。
必须了解的关键术语：
- 命题 (Statement)： 一个数学句子，其性质非真即假。
- 恒等式 (Identity，\( \equiv \))： 对于变量的所有值均成立的式子。例如，\( 2(x + 1) \equiv 2x + 2 \)。
- 猜想 (Conjecture)： 一个数学上的“直觉”，或者看起来正确但尚未经过证明的命题。
小贴士： 在撰写证明时，务必先清楚说明你的假设，并以“因此，该命题成立”这类总结性语句作为结尾。
2. 演绎证明 (Proof by Deduction)
演绎证明是最常见的方法。你从已知事实出发，利用代数进行“推导”以得出结果。这就像跟着食谱做菜——只要食材正确且步骤精确，你就一定能得出相同的结果。
先修概念：代数中的数值
要证明关于数的问题，我们需要一种通用的表示方式：
- 偶数 (Even number) 永远是 2 的倍数。我们将其写作 \( 2n \)（其中 \( n \) 为任意整数）。
- 奇数 (Odd number) 永远比偶数大 1。我们将其写作 \( 2n + 1 \)。
- 连续整数 (Consecutive integers) 是指紧接在一起的数字，例如 \( n \) 和 \( n + 1 \)。
范例：证明任意两个偶数的和必为偶数。
第 1 步：定义数值。 设第一个偶数为 \( 2n \)，第二个为 \( 2m \)。 (我们使用不同的字母，因为这两个数不一定相同！)
第 2 步：相加。 和 = \( 2n + 2m \)。
第 3 步：因式分解。 提取公因子 2： \( 2(n + m) \)。
第 4 步：结论。 由于 \( n + m \) 为整数，因此 \( 2(n + m) \) 必为 2 的倍数。因此，其和为偶数。 Q.E.D. （这是拉丁文，意思是“证毕”！）
你知道吗？ "Q.E.D." 代表 Quod Erat Demonstrandum，意即“这就是所要证明的”。这是数学家宣告大功告成的帅气方式！
重点总结：
在演绎证明中，请使用像 \( 2n \) 这样的通用代数式，而不是 2 或 4 这样的具体数字。具体数字无法证明该规则适用于所有情况！
3. 穷举法证明 (Proof by Exhaustion)
有时代数过程可能较繁琐，但可能性范围却很小。穷举法证明是指你检查每一种可能的情况，直到将其“穷尽”为止。
类比： 如果你想证明一条走廊上的每扇门都是锁上的，你不需要复杂的理论——你只需要亲手去拉动每一扇门的把手即可！
范例：证明对于 \( 1 \leq n \leq 3 \)，\( n^2 + 2 \) 不能被 4 整除。
由于 \( n \) 只能是 1、2 或 3，我们逐一检查：
- 若 \( n = 1 \)： \( 1^2 + 2 = 3 \) (不能被 4 整除)
- 若 \( n = 2 \)： \( 2^2 + 2 = 6 \) (不能被 4 整除)
- 若 \( n = 3 \)： \( 3^2 + 2 = 11 \) (不能被 4 整除)
结论： 所有可能的情况均已测试，命题成立。
常见错误： 学生常试图对“所有质数”或“所有整数”使用穷举法。只有在你要求测试的群体是有限的（有明确的起点和终点）时，才能使用这种方法。
重点总结：
当只有少量情况需要测试时，请使用穷举法。请清楚列出每一种情况，让阅卷老师能看出你没有遗漏任何可能性！
4. 反证法 (Disproof by Counter-Example)
证明某事对于所有情况都成立是很困难的，但要证明某事是错误的却简单得多！你只需要找到一个例子，证明该命题不成立即可。这称为反例 (Counter-Example)。
类比： 如果有人宣称“所有的鸟都会飞”，你不需要检查全世界所有的鸟，你只需要指着一只企鹅。这只企鹅就是打破规则的反例。
范例：反驳“对于所有正整数 \( n \)，\( n^2 + n + 1 \) 均为质数”这一命题。
让我们代入一些数值试试：
- 若 \( n = 1 \)： \( 1^2 + 1 + 1 = 3 \) (质数)
- 若 \( n = 2 \)： \( 2^2 + 2 + 1 = 7 \) (质数)
- 若 \( n = 3 \)： \( 3^2 + 3 + 1 = 13 \) (质数)
- 等等！让我们试试 \( n = 4 \)： \( 4^2 + 4 + 1 = 21 \)。
结论： 21 不是质数（它是 \( 3 \times 7 \)）。因此，\( n = 4 \) 是一个反例，该命题为假。
快速回顾：
证明 (To Prove)： 你必须展示它适用于所有情况（演绎法/穷举法）。
反驳 (To Disprove)： 你只需要找到一个失败的例子（反例）。
5. Paper 2 的实用技巧
当你在 AQA 考试中看到“证明”题目时，请记住以下策略：
- 仔细阅读符号： 题目是指 \( n \) 为“整数”(integer)、“实数”(real number) 还是“自然数”(natural number)？这会影响你可以使用的数值范围！
- 展示每一个步骤： 阅卷老师会给予逻辑推导过程分数。不要跳过那些看似“显而易见”的部分。
- 使用正确的用语： 像“设... (Let...)”、“假设... (Assume...)”、“由于... (Since...)”和“因此... (Therefore...)”这样的词汇，能帮助阅卷者跟上你的逻辑思路。
- 不要慌张！ 如果你看不出代数证明（演绎法），试着代入一些数字，看看能否找到规律或反例。
总结表：我该使用哪种方法？
演绎法 (Deduction)： 当你需要用代数证明某事适用于所有数字时使用。
穷举法 (Exhaustion)： 当你有一个小型、有限的数字列表需要检查时使用。
反例 (Counter-Example)： 当题目要求你“证明该命题为假”时使用。
继续练习吧！证明就像拼图——一旦你找到了关键的逻辑板块，其余的部分自然就会拼凑起来。