# 反证法（Edexcel IAL 数学 P4）

> Edexcel 国际A-Level 数学 · IAL 数学 P4
> 来源: https://www.owlsprep.com/zh/study/edexcel-ial-math-p4-proof/

本指南覆盖Edexcel IAL 数学纯数4（P4）要求掌握的唯一证明方法：反证法。内容包含大纲指定的标准证明、陌生题型的完整例题，以及针对考试的避坑提示。

**先修:** [基础数论（偶数/奇数、素数、有理数/无理数）](https://www.owlsprep.com/zh/study/edexcel-ial-math-p1-number-theory/); [P2 证明相关的基础逻辑推理知识](https://www.owlsprep.com/zh/study/edexcel-ial-math-p2-proof-basics/)

## 学习目标

- 牢记反证法的标准4步结构
- 能完整复现√2无理性和素数无穷多的指定证明
- 将反证法应用于陌生的A2难度题目
- 避开常见的判分陷阱，在证明题中拿到全部分数

## 反证法的结构

**反证法** — 一种演绎证明方法，你先假设待证命题的否定（反面）为真，通过逻辑步骤推导出不可能的结果（矛盾），这就证明了你最初的假设是错的，因此原命题为真。

*例:* 证明不存在最大的正整数：先假设存在最大的整数N，再推出N+1比N更大，由此产生矛盾。

所有Edexcel P4的反证法题目都遵循标准的4步结构，你需要始终按这个结构作答，拿到所有方法步骤分：

1. 陈述你要证明的原命题。
2. 假设命题的**否定**（反面）为真。
3. 通过逻辑代数或数值推理推导出矛盾。
4. 得出结论：你最初的假设是错的，因此原命题为真。

**例题:** 证明不存在最小的正有理数。

1. 步骤1：陈述原命题：不存在最小的正有理数。
2. 步骤2：假设否定为真：设$a$是最小的正有理数。
3. $$b = \frac{a}{2}$$
4. 由于$a$非零且是有理数，$b$也为正有理数。
5. 步骤3：推导矛盾：$b < a$，但我们之前假设$a$是最小的正有理数，这不可能成立。
6. 步骤4：结论：我们最初的假设是错的，因此不存在最小的正有理数。

> **考试提示:** 必须明确写出矛盾点和最终结论，Edexcel P4的判分标准中这两部分是单独给分的。

*计算器:* allowed

## 大纲指定的标准证明

Edexcel P4大纲明确要求你背诵并复现两个标准证明：√2的无理性，以及素数的无穷性。这两个证明经常直接考查，你需要逐字掌握。

**例题:** 证明√2是无理数。

1. 步骤1：原命题：√2是无理数。
2. 步骤2：假设否定：√2是有理数，因此可以写成$\sqrt{2} = \frac{a}{b}$，其中$a$和$b$是正整数，且没有公因子（互质，分数为最简形式）。
3. $$2 = \frac{a^2}{b^2} \implies a^2 = 2b^2$$
4. $a^2$是偶数，因此$a$一定是偶数。令$a = 2k$，其中$k$是整数。
5. $$(2k)^2 = 2b^2 \implies 4k^2 = 2b^2 \implies b^2 = 2k^2$$
6. $b^2$是偶数，因此$b$也一定是偶数。
7. 步骤3：矛盾：我们假设$a$和$b$互质，但现在证明了两者都是偶数（因此存在公因子2），这不可能成立。
8. 步骤4：结论：我们最初的假设是错的，因此√2是无理数。

**例题:** 证明素数的数量是无限的。

1. 步骤1：原命题：素数的数量是无限的。
2. 步骤2：假设否定：所有素数可以组成有限列表：$p_1, p_2, p_3, ..., p_n$。
3. $$N = p_1 \times p_2 \times p_3 \times ... \times p_n + 1$$
4. 考虑按上述方式构造的数$N$。
5. 步骤3：矛盾：当$N$被列表中任意素数$p_i$除时，余数都是1。因此$N$要么本身是素数，要么存在一个不在原列表中的素因子，这和我们的列表包含所有素数的假设矛盾。
6. 步骤4：结论：我们最初的假设是错的，因此素数的数量是无限的。

> **考试提示:** 对于√2的证明，你必须明确说明$a$和$b$是互质的（即分数为最简形式）——这是矛盾步骤成立的必要条件，遗漏会直接丢分。

*计算器:* allowed

## 陌生反证法题目

大多数P4考试都会出现一道陌生的反证法题，通常和数论、代数或不等式相关。同样适用4步结构，你要寻找和奇偶性（偶/奇）、整除性、不可能整数值相关的矛盾点。

**例题:** 证明如果$n$是整数且$n^2$是奇数，那么$n$是奇数。

1. 步骤1：原命题：对所有整数$n$，如果$n^2$是奇数，那么$n$是奇数。
2. 步骤2：假设否定：存在整数$n$满足$n^2$是奇数，但$n$是偶数。
3. 如果$n$是偶数，我们可以将其写为$n = 2k$，其中$k$是整数。
4. $$n^2 = (2k)^2 = 4k^2 = 2(2k^2)$$
5. 这说明$n^2$是偶数，和我们假设的$n^2$是奇数矛盾。
6. 步骤3：矛盾已确认，因此我们最初的假设是错的，原命题成立。

> **考试提示:** 处理陌生证明题时，先准确写出原命题的否定。对于「如果A则B」类命题，否定是「A成立且B不成立」——这是考生最常出错的地方。

*计算器:* allowed

## 常见错误

- **错误做法:** 对原命题的否定判断错误，例如将「所有素数都是奇数」否定为「所有素数都是偶数」，而非「至少存在一个偶数素数」。
  - 原因: 错误的否定会导致证明完全无效，你没有针对正确的命题进行反证，会丢失所有步骤分。
  - 正确做法: 对于全称命题（「对所有x，P(x)成立」），否定是「至少存在一个x使得P(x)不成立」。对于条件命题（「如果A则B」），否定是「A成立且B不成立」。
- **错误做法:** 在证明√2是无理数时遗漏「互质」条件。
  - 原因: 如果没有说明a和b是最简分数，你在证明两者都是偶数时就无法推导出矛盾，证明是不完整的。
  - 正确做法: 在写√2证明的假设时，明确写出「其中a和b是没有公因子的正整数（互质）」。
- **错误做法:** 证明结束时没有明确指出矛盾，也没有重述最终结论。
  - 原因: Edexcel判分标准中专门为陈述矛盾和最终结论分配了1-2分，遗漏会白白丢分。
  - 正确做法: 每一个证明的结尾都写两句清晰的话：第一句明确说明矛盾点是什么，第二句说明假设不成立因此原命题为真。
- **错误做法:** 证明中使用循环论证，例如把你要证明的原命题本身作为推理的一部分。
  - 原因: 循环论证在逻辑上完全无效，该证明题会直接得0分。
  - 正确做法: 推理步骤中只能使用已知事实（例如偶数能被2整除、素数的因子只有1和自身）以及你最开始做出的假设。
- **错误做法:** 在素数无穷多的证明中声称N一定是素数，而非N存在一个不在原列表中的素因子。
  - 原因: N并不总是素数（例如2×3×5×7×11×13 + 1 = 30031 = 59×509，是合数），这个事实错误会让整个证明失效。
  - 正确做法: 说明N要么本身是素数，要么存在一个不在你最初的有限素数列表中的素因子，两种情况都和「列表包含所有素数」的假设矛盾。

## 速查表

| 证明类型 | 核心步骤 | 判分必查细节 |
| --- | --- | --- |
| 通用反证法 | 1. 陈述原命题 2. 假设否定为真 3. 推导出矛盾 4. 得出假设不成立的结论 | 明确写出矛盾陈述，最终结论和题目要求完全对应 |
| √2是无理数 | 1. 假设√2 = a/b（a、b为互质整数） 2. 证明a²为偶数 → a为偶数 3. 代入a=2k，证明b为偶数 4. 矛盾（a、b存在公因子2） | 明确说明a和b互质（分数为最简形式） |
| 素数无穷多 | 1. 假设素数的有限列表为p₁到pₙ 2. 构造N = 所有素数的乘积 + 1 3. 证明N存在不在列表中的素因子 4. 得出矛盾 | 注意N可以是素数*或者*拥有新的素因子，不要声称N一定是素数 |

## 下一步

现在你已经掌握了Edexcel IAL P4中的反证法，可以开始学习本单元的其他核心主题了。反证法经常和之前单元的数论、代数概念结合考查，如果你在任何例题上遇到困难，请先复习这些基础内容。限时练习完整的证明写作，确保你不会遗漏判分要求的得分点，完成所有P4历年真题中的证明题，熟悉可能出现的各类题型。如果你后续学习进阶数学，反证法的技能也会非常有用，进阶数学中会覆盖更多高级证明方法。

---

来自 [OwlsPrep](https://www.owlsprep.com) —— A-Level / IB / AP / IGCSE 免费学习指南，依据官方考纲编写。原页面：https://www.owlsprep.com/zh/study/edexcel-ial-math-p4-proof/