N 证明方法

📋 模块概览

对应考纲 Section 2: Prf1, Prf2, Prf3, Prf4, Prf5, Err1, Err2 对应 Paper: P2 核心（8/320 题），P1 涉及（逻辑推理型题目） 建议课时: 2 课时 | 目标题量: 12-15 题

N1 直接证明与分情况证明 [Prf1]

N1.1 直接证明的基本结构

直接证明（Direct Proof）是最基础的证明方法，其结构为：

假设 A 成立，通过一系列逻辑推导，得出 B 成立，从而证明「若 A 则 B」。

标准格式： $\text{假设条件 A} \quad \Rightarrow \quad \text{中间步骤} \quad \Rightarrow \quad \text{结论 B}$

关键要素：

1. 起点明确：清楚地陈述假设条件
2. 链条完整：每一步推导都有逻辑依据
3. 终点清晰：最终到达要证明的结论

⚠️ 常见错误：

• 跳跃式推理：中间步骤缺失，直接从假设跳到结论
• 循环论证：在证明过程中使用了要证明的结论

N1.2 分情况证明（Proof by Cases）

当命题涉及多种可能性时，可以分类讨论，证明每种情况都成立。

适用场景：

• 整数的奇偶性
• 正负数的符号
• 函数的分段定义
• 几何图形的不同形态

经典例子：证明任意整数 $n$ 满足 $n^2 \geq n$。

分情况证明：

• Case 1: $n \geq 1$ 时，$n^2 - n = n(n-1) \geq 0$ ✓
• Case 2: $n \leq 0$ 时，$n^2 \geq 0$ 且 $n < 0$，故 $n^2 - n > 0$ ✓
• Case 3: $n = 0$ 或 $n = 1$ 时，$n^2 = n$ ✓

三种情况覆盖所有整数，命题成立。

⚡ 分情况证明的技巧：

• 分类要穷尽（覆盖所有可能）
• 各类情况要互斥（不重叠）
• 每种情况的证明尽可能统一格式

N2 反证法与反例证伪 [Prf1, Err1]

N2.1 反证法的逻辑结构

反证法（Proof by Contradiction）：假设命题不成立，推导出矛盾，从而证明命题成立。

逻辑基础： $\text{假设「非 B」} \quad \Rightarrow \quad \text{推导出矛盾} \quad \Rightarrow \quad \text{「非 B」不成立} \quad \Rightarrow \quad \text{B 成立}$

适用场景：

• 证明「不存在」类型的命题（如费马大定理）
• 证明「不可能」类型的命题
• 直接证明难以入手的问题

经典例子：证明 $\sqrt{2}$ 是无理数。

反证法证明：

• 假设 $\sqrt{2}$ 是有理数，设 $\sqrt{2} = \frac{p}{q}$（$p, q$ 互素）
• 两边平方：$2 = \frac{p^2}{q^2}$，即 $p^2 = 2q^2$
• $p^2$ 是偶数，故 $p$ 是偶数，设 $p = 2k$
• 代入：$4k^2 = 2q^2$，得 $q^2 = 2k^2$
• $q^2$ 是偶数，故 $q$ 是偶数
• $p, q$ 都是偶数，与「互素」矛盾 ✓

N2.2 反例证伪（Disproof by Counterexample）

反例：满足命题条件但不满足命题结论的具体实例。

适用场景：

• 推翻「所有…都…」类型的全称命题
• 检验猜想是否正确
• 找出命题的边界条件

经典例子：命题「形如 $6k \pm 1$ 的整数都是素数」。

反例：

• $25 = 6 \times 4 + 1 = 5^2$（合数）
• $35 = 6 \times 6 - 1 = 5 \times 7$（合数）
• $49 = 6 \times 8 + 1 = 7^2$（合数）

⚠️ 反例的构造技巧：

• 从小数值开始检验
• 关注边界情况（如 $n = 1, 2, 3$）
• 注意特殊数值（如平方数、立方数）

N2.3 必要条件与充分条件 [Arg2]

必要条件（Necessary）：若 B 成立必须有 A 成立，记作「B $\Rightarrow$ A」。 充分条件（Sufficient）：若 A 成立则 B 必成立，记作「A $\Rightarrow$ B」。

经典例子：判断「$k$ 是 $\pi$ 的整数倍」对「$\int_0^k \sin 2x\,dx = 0$」的逻辑关系。

分析： $\int_0^k \sin 2x\,dx = -\frac{1}{2}(\cos 2k - 1) = \frac{1 - \cos 2k}{2}$

令积分值为零：$\cos 2k = 1$，得 $2k = 2n\pi$，即 $k = n\pi$。

结论：两者充要。

N3 证明审查与错误识别 [Err1, Err2]

N3.1 证明审查的核心方法

TMUA P2 中常见题型：审查给出的证明，找出第一个错误所在的行。

审查步骤：

1. 逐行检查：从第一行开始，逐一验证每一步推导
2. 逻辑链条：确认每一步都有充分依据
3. 边界情况：特别关注特殊值是否被遗漏
4. 隐含假设：检查是否有未声明的假设

N3.2 常见证明错误类型 [Err2]

N3.3 典型错误分析案例

案例 1：费马大定理 $n=3$ 的错误证明

错误行：Line III

由 $a^3 = (c-b)(c^2+cb+b^2)$ 推出 $a = c-b$ 且 $a^2 = c^2+cb+b^2$

错误原因：乘积等式不能直接拆分因子相等。反例：$a = 6$，则 $a^3 = 216 = 3 \times 72$，此时 $a \neq c-b$。

案例 2：连续立方数之差是否为素数

错误行：Line IV

代数式不可因式分解 $\Rightarrow$ 代入整数后是素数

错误原因：代数不可分解不等价于值为素数。反例：$x^2 + 1$ 代数不可分解，但 $x = 3$ 时 $x^2 + 1 = 10 = 2 \times 5$。

案例 3：连续奇素数最大个数

错误行：Line VI

其中一个整数是 3 的倍数，因此不是素数

错误原因：忽略了 3 本身既是 3 的倍数又是素数。当 $n = 3$ 时，三数为 $1, 3, 5$，其中 3 是 3 的倍数但也是素数。

⚡ 审查技巧汇总：

• 运算行：逐项检查符号和展开
• 推理行：确认「$\Rightarrow$」是否有充分依据
• 结论行：检验是否考虑所有特殊情况
• 涉及素数/整除：必须检查小素数倍数（2, 3, 5）

⚡ 速解技巧汇总

⚠️ 易错警示

• ❌ $\sin A = \sin B \Rightarrow A = B$（忽略了 $A + B = 180°$）
• ❌ $ab = ac \Rightarrow b = c$（忽略了 $a = 0$ 的特殊情况）
• ❌ 「3 的倍数不是素数」（忽略了 3 本身）
• ❌ 代数式不可分解 $\Rightarrow$ 值为素数（忽略了代数式可取合数值）
• ❌ 反证法中矛盾不明确（必须指出具体矛盾点）
• ❌ 分情况遗漏（如只考虑正负忘记零）

📝 精选例题

例题 1（2017 P2 Q9 · 证明审查）

题目：审查费马大定理 $n=3$ 情形的错误证明，找出第一个错误所在的行。

题目分析 题目给出一段证明 $a^3 + b^3 = c^3$ 无正整数解的推理，要求识别第一个逻辑错误。核心方法是逐行检查代数运算和逻辑推导。

解题步骤 Line I：$a^3 = c^3 - b^3$，仅是移项，正确。

Line II：$a^3 = (c-b)(c^2+cb+b^2)$，立方差公式展开，正确。

Line III：声称由乘积等式直接拆分因子： $a^3 = (c-b)(c^2+cb+b^2) \Rightarrow a = c-b \text{ 且 } a^2 = c^2+cb+b^2$

这是致命错误！从 $A = BC$ 不能因为 $A \leq B^2$ 且 $C \geq B$ 就断言 $A = B$ 且 $A^2 = B^2$。

反例：设 $a = 6$，则 $a^3 = 216 = 3 \times 72$。完全可以令 $c - b = 3$、$c^2+cb+b^2 = 72$，此时 $a \neq c-b$。

快捷思路 前两步是代数恒等变形不会出错。第三步从乘积式直接拆分因子相等，违反基本逻辑。定位 Line III。

正确答案D（Line III）

知识点Proof | 考纲: Err1, Err2

例题 2（2022 P2 Q7 · 代数不可分解谬误）

题目：审查「连续立方数之差总是素数」的证明，找出第一个错误。

题目分析 证明声称 $3x^2 + 3x + 1$ 代数不可分解，故其值为素数。需要识别这个推理的漏洞。

解题步骤 Line I-III：代数展开和判别式计算均正确。

Line IV：从「代数式不可因式分解」推出「代入整数后不能分解」。

这是逻辑跳跃！代数不可分解 ≠ 值为素数。

反例：$x = 6$ 时，$3 \times 36 + 18 + 1 = 127$（素数）；但 $x = 7$ 时，$3 \times 49 + 21 + 1 = 169 = 13^2$（合数）。

或检验经典反例：$x^2 + 1$ 代数不可分解，但 $x = 3$ 时值为 $10 = 2 \times 5$。

快捷思路 记住经典反例 $x^2 + 1$：代数不可分解，代入 $x = 3$ 得合数。类似结构 $3x^2 + 3x + 1$ 同样可能取合数值。

正确答案F（Line IV）

知识点Proof, Counterexamples | 考纲: Err1, Err2

例题 3（2016 P2 Q9 · 全等判定）

题目：已知 $\triangle ABC$ 与 $\triangle XYZ$ 面积相等，判断三个额外条件中哪些能独立推出全等。

题目分析 结合面积公式与全等判定定理（SAS、ASA），判断条件的充分性。核心是面积相等本身不保证全等。

解题步骤 条件（1）：$AB = XY$ 且 $BC = YZ$。

由面积公式 $\frac{1}{2} AB \cdot BC \sin B = \frac{1}{2} XY \cdot YZ \sin Y$，两边相等得 $\sin B = \sin Y$。

但 $\sin B = \sin Y$ 不能推出 $B = Y$，因为可能有 $Y = 180° - B$（互补角）。

反例：两边相等但夹角互补，三角形不全等。

条件（2）：$AB = XY$ 且 $\angle B = \angle Y$。

已知一角相等，面积公式直接定出第二边 $BC = YZ$。凑成 SAS，推出全等 ✓

条件（3）：$\angle B = \angle Y$ 且 $\angle C = \angle Z$。

两角相等则第三角也相等，两三角形相似。相似比 $k$ 由面积关系确定：$k^2 = 1$，故 $k = 1$，即全等 ✓

快捷思路 条件（1）中正弦相等可能对应互补角；条件（2）已知一角相等，面积定边凑 SAS；条件（3）相似 + 面积等锁定相似比为 1。

正确答案D（条件 2 和 3 都推出全等）

知识点Proof, Coordinate Geometry | 考纲: Prf1, M5.4

🏋️ 课后练习（限时 15 分钟）

完整解析见题库数据库，每题均含解题步骤与快捷思路。

📚 补充说明

Paper 2 证明题特点

1. 题型多样：证明审查、反例构造、几何推理、逻辑判断
2. 阅读量大：需要仔细阅读给出的证明过程
3. 陷阱隐蔽：错误往往在看似合理的推理中
4. 时间紧张：建议每题控制在 3-4 分钟

备考建议

1. 熟悉常见错误类型：运算错误、逻辑跳跃、边界遗漏、假等价
2. 掌握反例构造技巧：从小数值、边界值入手
3. 练习逐行审查：养成逐行检查的习惯
4. 积累经典反例：$x^2 + 1$、$\sin A = \sin B$、3 的倍数等

模块 L 讲义完成 | 最后更新: 2026-04-29