L 证明方法

模块 L：证明方法

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

📋 模块概览

小节	内容	对应考纲	历年真题频率	课时
L1	直接证明与分情况证明	Prf1	8 年 3 次	0.5
L2	反证法与反例证伪	Prf1, Err1	8 年 5 次	1
L3	证明审查与错误识别	Err1, Err2	8 年 6 次	0.5

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

1.1 直接证明的基本结构

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

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

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

关键要素：

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

⚠️ 常见错误：

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

1.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$ ✓

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

⚡ 分情况证明的技巧：

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

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

2.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$ 都是偶数，与「互素」矛盾 ✓

2.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$ ）
注意特殊数值（如平方数、立方数）

2.3 必要条件与充分条件 [Arg2]

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

关系	逻辑表述	等价表述
A 是 B 的必要条件	B $\Rightarrow$ A	没有 A 就没有 B
A 是 B 的充分条件	A $\Rightarrow$ B	有 A 就有 B
A 是 B 的充要条件	A $\Leftrightarrow$ B	A 与 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$ 。

结论：两者充要。

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

3.1 证明审查的核心方法

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

审查步骤：

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

3.2 常见证明错误类型 [Err2]

错误类型	典型表现	示例
代数运算错误	符号错误、展开遗漏	$\sin(A) = \sin(B) \Rightarrow A = B$ ✗
逻辑跳跃	从乘积直接拆分因子	$ab = ac \Rightarrow b = c$ （忽略 $a = 0$ ）✗
忽略边界	未检验特殊情况	「3 的倍数都不是素数」（忽略 3 本身）✗
假等价	误以为等价实际单向	代数式不可分解 $\Rightarrow$ 值为素数 ✗
定义域遗漏	未检验条件前提	对数方程未检验 $x > 0$

3.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）

⚡ 速解技巧汇总

场景	技巧
直接证明	写清楚起点、每步推导、终点，避免跳跃
分情况证明	分类穷尽且互斥，格式统一
反证法	假设否定，找矛盾点，注意矛盾要明确
反例构造	从小数值、边界值、特殊值入手
证明审查	逐行检查，重点关注运算行和推理行
涉及素数	单独检验 2、3、5 等小素数
乘积拆分	不能从 $ab = cd$ 直接得 $a = c, b = d$
代数不可分解	不等于值为素数，需验证反例

⚠️ 易错警示

❌ $\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 分钟）

#	题号	考点	对应考纲	难度
1	2016 P2 Q5	反例构造	Prf1, Err1	⭐⭐⭐
2	2020 P2 Q3	代数运算错误	Err1, Err2	⭐⭐⭐
3	2020 P2 Q4	反例判断	Prf1, Err1	⭐⭐⭐
4	2023 P2 Q4	边界遗漏	Err1, Err2	⭐⭐⭐⭐
5	2023 P2 Q8	几何证明	Prf1, Prf5	⭐⭐⭐⭐
6	2023 P2 Q5	充要条件	Arg2, Prf2	⭐⭐⭐
7	2017 P2 Q11	多项式性质	Prf1, Prf5	⭐⭐⭐⭐
8	2022 P2 Q9	逻辑条件	Arg2, Prf2	⭐⭐⭐

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

📚 补充说明

Paper 2 证明题特点

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

备考建议

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

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