证明方法（仅HL）

IB 数学：分析与方法 HL· Unit 1: Number & Algebra, Topic 6· 25 分钟阅读

1. 直接证明与逆否命题证明★★☆☆☆⏱ 6 min

📘 定义

直接证明

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

例:

证明两个偶数的和是偶数

对于形如 $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
由于 $2 k^{2} + 2 k$ 是整数， $n^{2}$ 是奇数。逆否命题为真，因此原命题为真。

2. 反证法★★★☆☆⏱ 7 min

📘 定义

反证法

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

例:

证明 $2$ 是无理数

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

📐 例题

证明 $2$ 是无理数。

1
为了推出矛盾，我们假设 $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 = 2 k$ ，其中 $k$ 是整数，代回原式：
6
$(2k)^2 = 2q^2 \implies 4k^2 = 2q^2 \implies q^2 = 2k^2$
7
根据相同逻辑， $q^{2}$ 是偶数，因此 $q$ 是偶数。这就产生了矛盾：我们假设 $p$ 和 $q$ 互质，但它们都是偶数，因此有公因子 2。
8
因此，原假设“ $2$ 是有理数”错误，所以 $2$ 是无理数。

3. 数学归纳法原理★★★★☆HL 专属⏱ 8 min

📘 定义

数学归纳法

一种用于证明对所有整数 $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$ 都成立。

4. 识别无效证明★★★☆☆⏱ 4 min

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

✓ 快速检测

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

- 我检验了 2+4=6（偶数），8+12=20（偶数），因此这个法则是对的
- 如果 $a$ 和 $b$ 都是偶数， $a = 2 k$ 且 $b = 2 m$ ，其中 $k, m$ 是整数，所以 $a + b = 2 (k + m)$ ，根据定义这是偶数
- 我检验过的所有偶数都成立，因此命题一定正确
显示答案
1 —
正确！这是适用于所有偶数的一般直接证明。检验特定例子永远不能证明一个一般性命题。

5. 常见陷阱

错误做法:

通过检验具体例子证明一般性命题

原因:

只有命题对所有情况都成立才算被证明，仅对你检验过的例子成立不算

正确做法:

使用适用于满足问题假设的所有值的一般论证

错误做法:

省略书写归纳法的归纳假设或最终结论

原因:

即使代数运算正确，IB改卷老师也会给这些步骤明确的分数

正确做法:

一定要写上“假设命题对 $n = k$ 成立”，并以“根据归纳法，命题对所有 $n \geq n_{0}$ 成立”结尾

错误做法:

没有确认变量不等于零就除以变量

原因:

除以零是未定义的，这会给你的证明带来致命缺陷

正确做法:

除法前明确确认变量非零，或者单独处理零的情况

错误做法:

混淆逆否命题和反证法

原因:

它们逻辑相关但方法不同，误用会导致证明无效

正确做法:

记住：逆否命题通过证明 $\neg Q \Rightarrow \neg P$ 来证明 $P \Rightarrow Q$ ；反证法假设 $\neg P$ 并推出矛盾

错误做法:

假设你要证明的结论正确（循环论证）

原因:

这意味着你的证明实际上没有证明结论

正确做法:

总是从已知正确的命题出发，推导出你需要证明的结论

6. 速查表

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

真题中的出现

AI 根据考纲规律估算的考点位置,请对照官方真题核实准确性。仅作复习重点参考。

2021 · 1
反证法证明无理性
2022 · 1
整除性的数学归纳法
2023 · 2
逆否命题证明

下一步

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