# 证明方法（仅HL）

> IB 数学：分析与方法 HL · 数与代数
> 来源: https://www.owlsprep.com/zh/study/ib-math-aa-hl-u1-proof-techniques/

本子主题涵盖IB数学AA HL要求的核心证明方法，包括直接证明、逆否命题证明、反证法和数学归纳法。你将学习如何为代数和数论命题构建逻辑有效的证明。

**先修:** [基础逻辑与集合论](https://www.owlsprep.com/zh/study/ib-math-aa-hl-u1-basic-logic-sets/); [代数变形](https://www.owlsprep.com/zh/study/ib-math-aa-hl-u2-algebraic-expressions/)

## 学习目标

- 区分数学命题的核心证明方法
- 正确应用直接证明、逆否命题、反证法和数学归纳法
- 识别无效证明中的常见逻辑错误
- 构建符合考试要求的完整证明来解答评估问题

## 直接证明与逆否命题证明

**直接证明** — 从公认正确的公理或假设出发，通过一系列逻辑步骤推导出所需结论的证明方法。

*例:* 证明两个偶数的和是偶数

对于形如 $P \Rightarrow Q$ 的命题，直接证明假设 $P$ 为真，然后推导得出 $Q$ 一定成立。当假设本身适合直接推导时，这种方法最有效。当 $P$ 和 $Q$ 的否定更便于处理时，我们使用逆否命题证明。

**逆否命题证明** — 利用逻辑等价性 $P \Rightarrow Q \equiv \neg Q \Rightarrow \neg P$。我们不直接证明原命题，而是证明逆否命题为真。

*例:* 证明如果 $n^2$ 是偶数，$n$ 是偶数

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

1. 原命题是 $P \Rightarrow Q$，其中 $P: n^2$ 是偶数，$Q: n$ 是偶数。逆否命题是 $\neg Q \Rightarrow \neg P$：如果 $n$ 是奇数，那么 $n^2$ 是奇数。
2. 假设 $n$ 是奇数，因此我们可以将其写为：
3. $$n = 2k + 1 \text{ for some integer } k$$
4. 两边平方：
5. $$n^2 = (2k+1)^2 = 4k^2 + 4k + 1 = 2(2k^2 + 2k) + 1$$
6. 由于 $2k^2 + 2k$ 是整数，$n^2$ 是奇数。逆否命题为真，因此原命题为真。

> **tip**
>
> 在证明开头一定要明确说明你使用的是逆否命题——改卷老师会根据这个步骤给满分。

## 反证法

**反证法** — 要证明命题 $P$ 为真，你首先假设 $P$ 为假，然后证明这个假设会导致明显的逻辑矛盾。这说明原假设错误，因此 $P$ 一定为真。

*例:* 证明 $\sqrt{2}$ 是无理数

反证法特别适用于证明无理性、无穷性和不存在性相关命题，这些命题很难直接证明。该方法通过排除你主张之外的唯一替代情况来完成证明。

**例题:** 证明 $\sqrt{2}$ 是无理数。

1. 为了推出矛盾，我们假设 $\sqrt{2}$ 是有理数，因此可以将其写为最简形式：
2. $$\sqrt{2} = \frac{p}{q}, \quad p,q \text{ coprime integers}, q > 0$$
3. 两边平方后整理：
4. $$p^2 = 2q^2$$
5. 这说明 $p^2$ 是偶数，因此 $p$ 一定是偶数。令 $p=2k$，其中 $k$ 是整数，代回原式：
6. $$(2k)^2 = 2q^2 \implies 4k^2 = 2q^2 \implies q^2 = 2k^2$$
7. 根据相同逻辑，$q^2$ 是偶数，因此 $q$ 是偶数。这就产生了矛盾：我们假设 $p$ 和 $q$ 互质，但它们都是偶数，因此有公因子 2。
8. 因此，原假设“$\sqrt{2}$ 是有理数”错误，所以 $\sqrt{2}$ 是无理数。

> **tip**
>
> 一定要明确指出你找到的矛盾，然后给出最终结论。漏掉这个步骤会扣分。

## 数学归纳法原理

**数学归纳法** — 一种用于证明对所有整数 $n \geq n_0$ 都成立的命题的技巧，包含三个核心逻辑步骤：基例、归纳假设和归纳步骤。

归纳法是IB AA HL考试中最常考的证明方法之一，用于求和公式、整除性命题、不等式和递归数列结论的证明。

**例题:** 用数学归纳法证明，对所有正整数 $n$，$\sum_{r=1}^n r = \frac{n(n+1)}{2}$。

1. 步骤 1：基例，检验 $n=1$：
2. $$\text{LHS} = 1, \quad \text{RHS} = \frac{1(1+1)}{2} = 1$$
3. 命题对 $n=1$ 成立，因此基例得证。
4. 步骤 2：归纳假设：假设命题对 $n=k$ 成立，其中 $k$ 是某个正整数：
5. $$\sum_{r=1}^k r = \frac{k(k+1)}{2}$$
6. 步骤 3：归纳步骤：证明命题对 $n=k+1$ 成立：
7. $$\sum_{r=1}^{k+1} r = \sum_{r=1}^k r + (k+1)$$
8. 代入归纳假设并化简：
9. $$= \frac{k(k+1)}{2} + (k+1) = (k+1)\left(\frac{k}{2} + 1\right) = \frac{(k+1)(k+2)}{2}$$
10. 这符合 $n=k+1$ 的公式，因此如果命题对 $k$ 成立，就对 $k+1$ 成立。根据数学归纳法原理，该命题对所有正整数 $n$ 都成立。

> **warning**
>
> 绝对不要省略书写归纳假设或最终结论的步骤。IB考试中这些步骤有明确的分数。

## 识别无效证明

IB考试经常要求你找出不完整或无效证明中的错误。即使最终结论正确，最常见的无效论证也依赖于错误的逻辑。

**概念自测**

以下哪个选项是“两个偶数的和是偶数”的有效证明？

1. 

   - 我检验了 2+4=6（偶数），8+12=20（偶数），因此这个法则是对的
   - 如果 $a$ 和 $b$ 都是偶数，$a=2k$ 且 $b=2m$，其中 $k,m$ 是整数，所以 $a+b=2(k+m)$，根据定义这是偶数
   - 我检验过的所有偶数都成立，因此命题一定正确

   *答案:* 如果 $a$ 和 $b$ 都是偶数，$a=2k$ 且 $b=2m$，其中 $k,m$ 是整数，所以 $a+b=2(k+m)$，根据定义这是偶数

   *解析:* 正确！这是适用于所有偶数的一般直接证明。检验特定例子永远不能证明一个一般性命题。

## 常见错误

- **错误做法:** 通过检验具体例子证明一般性命题
  - 原因: 只有命题对所有情况都成立才算被证明，仅对你检验过的例子成立不算
  - 正确做法: 使用适用于满足问题假设的所有值的一般论证
- **错误做法:** 省略书写归纳法的归纳假设或最终结论
  - 原因: 即使代数运算正确，IB改卷老师也会给这些步骤明确的分数
  - 正确做法: 一定要写上“假设命题对 $n=k$ 成立”，并以“根据归纳法，命题对所有 $n \geq n_0$ 成立”结尾
- **错误做法:** 没有确认变量不等于零就除以变量
  - 原因: 除以零是未定义的，这会给你的证明带来致命缺陷
  - 正确做法: 除法前明确确认变量非零，或者单独处理零的情况
- **错误做法:** 混淆逆否命题和反证法
  - 原因: 它们逻辑相关但方法不同，误用会导致证明无效
  - 正确做法: 记住：逆否命题通过证明 $\neg Q \Rightarrow \neg P$ 来证明 $P \Rightarrow Q$；反证法假设 $\neg P$ 并推出矛盾
- **错误做法:** 假设你要证明的结论正确（循环论证）
  - 原因: 这意味着你的证明实际上没有证明结论
  - 正确做法: 总是从已知正确的命题出发，推导出你需要证明的结论

## 速查表

| 证明方法 | 适用场景 | 核心步骤 |
| --- | --- | --- |
| 直接证明 | 从假设向前推导很直接时 | 1. 假设 $P$ 真 2. 逻辑推导得出 $Q$ |
| 逆否命题 | 证明 $P \Rightarrow Q$，否定形式更易使用 | 1. 写出逆否命题 $\neg Q \Rightarrow \neg P$ 2. 直接证明 |
| 反证法 | 证明无理性、不存在性或否定命题 | 1. 假设原命题错误 2. 推出矛盾 3. 得出原命题正确 |
| 归纳法 | 证明对所有整数 $n \geq n_0$ 成立 | 1. 证明基例 2. 假设对 $n=k$ 成立 3. 证明对 $n=k+1$ 成立 4. 归纳得出结论 |

## 下一步

证明方法是所有高等数学的基础，它们贯穿IB AA HL课程的始终，从微积分到复数都有涉及。掌握这些方法能帮助你为分值占比很高的HL试卷扩展回答题构建逻辑论证。你在学习数列、级数和递归函数时会再次遇到归纳法，而反证法和逆否命题用于数论、微积分等主题。扎实掌握证明也能为你大学阶段的数学学习做好准备。

- [复数基础](https://www.owlsprep.com/zh/study/ib-math-aa-hl-u1-complex-numbers-fundamentals/)
- [复数的极坐标形式与指数形式](https://www.owlsprep.com/zh/study/ib-math-aa-hl-u1-polar-and-exponential-form-of/)
- [棣莫弗定理](https://www.owlsprep.com/zh/study/ib-math-aa-hl-u1-de-moivre-s-theorem/)

---

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