反证法（Edexcel IAL 数学 P4）

Q: P4反证法题目通常占多少分？

在Edexcel IAL P4考试中，反证法题目一般占3到5分，通常作为试卷靠前的简答题出现。

Q: 我需要背诵√2和素数无穷多的证明吗？

是的！这两个证明在P4大纲中被明确要求，且经常直接考查，你必须能在限时条件下完整无误地复现它们。

Edexcel 国际A-Level 数学· WMA14 (2018 Specification Issue 3)· 15 分钟阅读

1. 反证法的结构★★☆☆☆⏱ 4 min

✓ 计算器

📘 定义

反证法

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

例:

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

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

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

📐 例题

证明不存在最小的正有理数。

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

Exam tip:

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

2. 大纲指定的标准证明★★★☆☆⏱ 6 min

✓ 计算器

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

📐 例题

证明√2是无理数。

1
步骤1：原命题：√2是无理数。
2
步骤2：假设否定：√2是有理数，因此可以写成 $2 = \frac{a}{b}$ ，其中 $a$ 和 $b$ 是正整数，且没有公因子（互质，分数为最简形式）。
3
$2 = \frac{a^2}{b^2} \implies a^2 = 2b^2$
4
$a^{2}$ 是偶数，因此 $a$ 一定是偶数。令 $a = 2 k$ ，其中 $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：结论：我们最初的假设是错的，因此素数的数量是无限的。

Exam tip:

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

3. 陌生反证法题目★★★★☆⏱ 5 min

✓ 计算器

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

📐 例题

证明如果 $n$ 是整数且 $n^{2}$ 是奇数，那么 $n$ 是奇数。

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

Exam tip:

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

4. 常见陷阱

错误做法:

对原命题的否定判断错误，例如将「所有素数都是奇数」否定为「所有素数都是偶数」，而非「至少存在一个偶数素数」。

原因:

错误的否定会导致证明完全无效，你没有针对正确的命题进行反证，会丢失所有步骤分。

正确做法:

对于全称命题（「对所有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要么本身是素数，要么存在一个不在你最初的有限素数列表中的素因子，两种情况都和「列表包含所有素数」的假设矛盾。

5. 速查表

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

6. 常见问题

P4反证法题目通常占多少分？

在Edexcel IAL P4考试中，反证法题目一般占3到5分，通常作为试卷靠前的简答题出现。

我需要背诵√2和素数无穷多的证明吗？

是的！这两个证明在P4大纲中被明确要求，且经常直接考查，你必须能在限时条件下完整无误地复现它们。

深入阅读

下一步

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