# 证明（Edexcel IAL 数学 P2）

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

本指南涵盖Edexcel IAL 纯数学2要求的核心证明技能：逻辑证明结构、适用于有限案例集的穷举法证明，以及使用反例进行证伪，同时提供贴合考试要求的实例演示。

**先修:** [基础整数性质（奇数、偶数、质数、整除性）](https://www.owlsprep.com/zh/study/edexcel-ial-math-p1-number-basics/); [代数代入运算技能](https://www.owlsprep.com/zh/study/edexcel-ial-math-p1-algebraic-expressions/)

## 学习目标

- 理解有效数学证明的标准结构
- 针对有限案例集的问题构造有效的穷举法证明
- 使用反例证伪错误的数学命题

## 有效数学证明的结构

所有数学证明都遵循统一的结构：从给定的假设（前提）出发，经过一系列逻辑严谨、依据充分的步骤，最终得出直接指向待证命题的清晰结论。每一步都必须由前一步推导得出，不能存在逻辑断层。

**有效证明** — 从公认或给定的假设出发，仅使用逻辑严密的推导，毫无跳跃地明确得出所需结论的数学论证。

*例:* 证明两个偶数的和为偶数：假设整数a = 2k, b = 2m，其中k,m均为整数。和 = 2k + 2m = 2(k+m)，是2乘以整数，因此为偶数。

**例题:** 证明对任意整数n，乘积n(n+1)为偶数。

1. 步骤1：从给定条件出发：n为任意整数。n存在两种互斥的情况：n是偶数，或n是奇数。
2. 情况1：n是偶数。令n = 2k，其中k为整数。
3. $$n(n+1) = 2k(2k + 1)$$
4. 这是2乘以整数k(2k+1)，因此为偶数。
5. 情况2：n是奇数。令n = 2k + 1，其中k为整数。
6. $$n(n+1) = (2k+1)(2k + 2) = 2(2k+1)(k+1)$$
7. 这是2乘以整数(2k+1)(k+1)，因此为偶数。
8. 结论：两种情况都验证了对所有整数n，n(n+1)为偶数，因此该命题得证。

**概念自测**

检验你对证明结构的理解

1. 以下哪一项是有效证明的必要组成部分？

   - A: 至少测试3个案例
   - B: 呼应原命题的清晰结论
   - C: 仅使用代数步骤
   - D: 包含一个反例

   *解析:* 所有有效证明都必须以直接指向待证命题的结论收尾。仅穷举法证明需要测试案例，反例仅用于证伪。

> **考试提示:** 在证明的末尾务必明确陈述你的结论，呼应原命题，这样才能拿到证明题的最后一分。

*计算器:* allowed

## 穷举法证明

穷举法证明（也称为案例证明）适用于命题中变量的可能取值集合为有限集的场景。你需要逐一测试每一个可能的案例，确认命题对所有案例都成立。

**穷举法证明** — 一种证明方法，将问题拆分为数量有限的穷举（覆盖所有可能性）且互斥的案例，随后证明命题对每一个案例都成立。

*例:* 证明对所有小于6的奇数x，x² mod 4 = 1：测试x = 1, 3, 5：1²=1 mod4=1, 3²=9 mod4=1, 5²=25 mod4=1，因此命题成立。

**例题:** 证明对所有小于7的正奇数x和y，二者之和可被2整除。

1. 步骤1：列出x和y的所有有效值：小于7的奇数为1、3、5。
2. 步骤2：计算这些数值两两组合的所有可能和：
3. $$1+1=2, 1+3=4, 1+5=6, 3+1=4, 3+3=6, 3+5=8, 5+1=6,5+3=8,5+5=10$$
4. 步骤3：检查是否可被2整除：所有和均为偶数，因此都可被2整除。
5. 结论：所有组合都满足条件，因此该命题得证。

> **tip**
>
> 如果案例可以按共有属性分组（例如所有一位偶数），你可以针对整组进行证明而非逐一测试单个数值以节省时间，前提是你确认所有案例都已被覆盖。

> **考试提示:** 穷举法证明切勿跳过案例列举：阅卷人会检查你是否明确覆盖了所有可能的有效值，因此请在作答中清晰列出所有案例。

*计算器:* allowed

## 反例证伪

许多数学命题声称某一性质对变量的*所有*取值都成立。要证伪这类命题，你只需要找到一个使命题不成立的取值（即反例）即可。

**反例** — 满足数学命题的条件但不满足其结论的特定实例，由此可证明该命题为假。

*例:* 命题：所有质数都是奇数。反例：2是质数且为偶数，因此该命题为假。

**例题:** 证伪以下命题：对所有正整数n，n² - n + 1都是质数。

1. 步骤1：测试小的正整数值n，找到一个使n² - n +1不是质数的取值。
2. 测试n=1：1 - 1 +1 =1，1不是质数，但1通常在质数测试中被排除，因此尝试更大的取值。
3. 测试n=2：4 - 2 +1 =3，是质数。n=3：9 -3 +1 =7，是质数。n=4：16 -4 +1=13，是质数。n=5：25-5+1=21
4. $$21 = 3 × 7, so it is not a prime number.$$
5. 结论：n=5是满足条件（正整数）但使命题不成立的反例，因此该命题被证伪。

> **考试提示:** 证伪题只需提供一个有效反例即可获得全部分值：你无需测试多个数值，只需清晰展示你的反例满足命题条件且违背结论即可。

*计算器:* allowed

## 常见错误

- **错误做法:** 穷举法证明中跳过部分案例，例如对小于7的奇数x仅测试x=1和3，遗漏x=5
  - 原因: 阅卷人需要确认你检查了每一个可能的有效案例，因此部分测试会导致证明无效。
  - 正确做法: 测试前明确列出所有可能的取值或案例组，每验证一个就标记一个，确保全部覆盖。
- **错误做法:** 使用不满足命题条件的无效反例，例如用n=0证伪关于正整数的命题。
  - 原因: 反例必须满足命题的所有初始条件才有效。
  - 正确做法: 反复检查你的反例是否符合待证伪命题中列出的所有限制条件（例如正整数、奇数、小于10）。
- **错误做法:** 在证明中加入未声明的假设，例如命题说明n是任意整数，你却自行假设n为正数。
  - 原因: 无依据的假设会造成逻辑断层，使你的证明无效。
  - 正确做法: 仅使用题目中明确给出的假设，或公认的数学事实（例如偶数是2的倍数）。
- **错误做法:** 证明末尾忘记陈述呼应原命题的最终结论。
  - 原因: 最终结论是所有证明题的必占得分点，即使你的推导全部正确，遗漏结论也会丢失1分。
  - 正确做法: 每一个证明或证伪的结尾都用一句话明确说明你已经证明/证伪了原命题。
- **错误做法:** 在P2证明题中尝试使用反证法或数学归纳法。
  - 原因: 这些方法超出P2的考纲范围，即使数学上正确，也不会被P2证明题接受为有效解法。
  - 正确做法: 仅使用P2覆盖的证明方法：标准演绎证明、穷举法证明、反例证伪。

## 速查表

| 方法 | 适用场景 | 核心步骤 |
| --- | --- | --- |
| 演绎证明 | 针对所有取值的通用命题 | 1. 陈述给定假设 2. 运用逻辑代数步骤推导 3. 陈述结论 |
| 穷举法证明 | 针对有限取值集合的命题 | 1. 列出所有有效案例 2. 逐一测试案例 3. 确认全部成立后得出结论 |
| 反例证伪 | 证伪'对所有'类命题 | 1. 找到一个使命题不成立的有效值 2. 证明该值满足命题条件 3. 得出命题为假的结论 |

## 下一步

掌握P2核心证明技能后，你可以将这些推理技巧应用到P2的所有其他模块，包括代数方法、三角恒等式、数列与级数。证明题经常嵌入其他主题的题目中，因此练习将证明技能与P2其他单元的内容结合起来，将帮助你在考试中拿到最高分。接下来你可以学习代数运算技巧，在该部分你会频繁使用证明来验证恒等式命题。

---

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