数 学 通 识 讲 义
反证法：当正门走不通
学段 初中 · 关联知识点「正难则反」
❖
读 · 引子·钩子有些真理，你正面推不动。比如"质数有无穷多个"——你一个一个往下找，永远找不到头，怎么证"无穷"？欧几里得只用一句话就锁死了它：先假设质数只有有限个，然后……推出矛盾。这就是反证法——正门走不通，就从反面进：不去直接证明命题为真，而是证明"它为假"这件事根本站不住脚。
讨论 · 猜想·预测先押一注：这套"假设反面 → 推出矛盾"的打法，是逻辑课上的小花招，还是数学证明里最锋利的一把刀？读完再回来看你押对没有。
读 · 历史- 公元前 · 欧几里得 《几何原本》第九卷证明质数有无穷多个——数学史上最优雅的反证之一。
- 公元前 · 毕达哥拉斯学派 用反证发现 $\sqrt2$ 不是分数，据说触犯了"万物皆整数比"的信条，成了学派的一桩"丑闻"。
读 · 史料·原文"归谬法是欧几里得最钟爱的武器，也是数学家最精良的武器之一。它比任何棋局的弃子都更高明：棋手至多牺牲一兵一子，数学家献上的，却是整盘棋。"—— 哈代《一个数学家的辩白》（1940）
读 · 概念要证命题 $P$。反证法说：假设它的反面 $\lnot P$ 成立，由此一路正确推理，推出一个矛盾（与已知、与公理、或自相矛盾）。既然"假设 $\lnot P$"导致不可能，那 $\lnot P$ 必假，于是 $P$ 必真。它背后站着逻辑两条铁律：矛盾律（一个命题不能既真又假）与排中律（$P$ 与 $\lnot P$ 必有一真）。
做 · 例题精析证明 $\sqrt2$ 不是有理数。
读"不是有理数"很难正面下手——你要一口气排除所有分数。
思那就假设它是：设 $\sqrt2=\dfrac pq$（已约到最简，$p,q$ 互质），看它会不会炸。
写平方得 $2q^2=p^2$，故 $p^2$ 为偶 $\Rightarrow p$ 为偶，设 $p=2k$；代入得 $2q^2=4k^2$，即 $q^2=2k^2$，故 $q$ 也为偶。
$p,q$ 都是偶数，与"$p,q$ 互质"矛盾。故假设不成立，$\sqrt2$ 不是有理数。∎ 正面要排除无穷多分数，反面只需逼出一个矛盾。
读 · 公式推导·分步设反 · 假设质数只有有限个
假设全部质数就是 $p_1,p_2,\dots,p_n$（有限个，一个不漏）。
造种子 · 全乘再加 1
令 $N=p_1p_2\cdots p_n+1$。$N$ 除以每个 $p_i$ 都余 $1$——所以名单里没有一个质数能整除 $N$。
撞矛盾 · 它必有名单外的质因子
但 $N>1$，必有质因子，而这个质因子不在名单里。与"名单已是全部质数"矛盾。故质数有无穷多个。∎
讨论 · 误区·辨析反证法最容易栽的两个坑：① 把结论的反面写错——"至少有一个"的反面是"一个都没有"，不是"只有一个"；"$a,b$ 都成立"的反面是"$a,b$ 不都成立（至少一个不成立）"。反设错了，后面全白费。② 推出的必须是"真矛盾"——要和已知条件、已证结论或公理正面打架，不能是"我觉得怪怪的"。反证法不是"感觉不对"，是逻辑上不可能。
做 · 引用题库已知三角形三个内角的度数都是质数，则这三个内角中必定有一个内角等于
（1997·山东）设$a$、$b$、$c$为互不相等的非零实数。求证：三个方程
\[
\begin{cases}
ax^2+2bx+c=0,\\
bx^2+2cx+a=0,\\
cx^2+2ax+b=0
\end{cases}
\]
不可能都有两个相等的实数根。
已知$x$、$y$、$z$满足$x+y+z>0$，$xy+yz+zx>0$，$xyz>0$。
求证：$x>0$，$y>0$，$z>0$。
做 · 巩固练习- 用反证法证明：$\sqrt3$ 不是有理数。
假设 $\sqrt3=\dfrac pq$（$p,q$ 互质）。则 $3q^2=p^2$，故 $3\mid p^2\Rightarrow 3\mid p$，设 $p=3k$，得 $3q^2=9k^2$，即 $q^2=3k^2$，故 $3\mid q$。$p,q$ 都被 $3$ 整除，与互质矛盾。∎
做 · 挑战·BOSS★ 证明 $\log_2 3$ 是无理数。
假设 $\log_2 3=\dfrac pq$（$p,q$ 为正整数）。则 $2^{p/q}=3$，即 $2^p=3^q$。但左边是偶数（含因子 $2$），右边是奇数——矛盾。故 $\log_2 3$ 无理。∎