第2卷 第4章 反证法

学习目标

• 能从根号 2 定义展开有理数假设，写清命题否定、变量类型和取值条件
• 能用最简分数路线逐步推出分子分母同偶，并明确指出矛盾的两端
• 能用全称命题的量词否定和质因数 2 指数奇偶路线检查反证法的逻辑合法性
• 能把一份证明改写成可执行的证据链，区分已证明定理、假设和由假设推出的结论

从“根号 2 不是有理数”开始

第 2 卷第 4 章从一道著名证明题开始：证明 \sqrt{2} 不是有理数。真正困难的第一步不是变形，而是把题目读清楚：\sqrt{2} 指什么，“有理数”允许哪些表示，“不是”否定了哪一个命题，字母 a,b 又允许取哪些值？如果这些条件没有被写出来，熟悉的式子也可能没有证明力。

先预测：假设 \sqrt{2} 是有理数后，为什么要选择最简分数；从 b^2 为偶数为什么能推出 b 为偶数；“分子、分母都是偶数”为何必须与互质条件合在一起才形成矛盾；不用最简分数，能否只观察质因数 2 的指数完成证明？本章用两条路线和一个交互实验逐项核对。

一、定义是证明的基石

根号2定义

\sqrt{2} 指满足：

$$x>0,\qquad x^2=2$$

的那个实数。正数条件区分 \sqrt{2} 与 -\sqrt{2}；平方等于 2 才是后续可以代入的代数性质。根号2定义不是“一个无限小数的名字”，而是一组可以参与推理的条件。

有理数定义

有理数的精确定义是：

$$x\in\mathbb Q \quad\Longleftrightarrow\quad \exists a,b\in\mathbb Z,\ a\ne0,\ x=\frac ba.$$

整数也属于有理数，例如 5=5/1；分母为 0 的表达式没有定义，不能偷偷混入。题目不是在问 \sqrt{2} 的小数展开，而是在问是否存在满足条件的整数分子与分母。

二、命题、否定与变量条件

命题可判断真假

1+1=2 是真命题，1+1=3 是假命题，但“某种糖最好吃”依赖个人感受，不属于这里的命题。令目标命题为：

$$Q:\quad \sqrt{2}\notin\mathbb Q.$$

反证法不是含糊地假设“相反情况”，而是写出准确的 \neg Q：

$$\neg Q:\quad \sqrt{2}\in\mathbb Q.$$

依据有理数定义，\neg Q 继续展开为存在整数 a,b，其中 a\ne0 且 \sqrt{2}=b/a。数学公式表达的任务不仅是把中文换成字母，还要保留每一项变量类型和取值条件。

数学公式表达

因此完整的相反假设应写为：

$$\exists a,b\in\mathbb Z: \quad a\ne0,\quad \sqrt{2}=\frac ba.$$

这里的变量类型和取值条件不是排版细节：只有 a,b 是整数，才可以谈偶数、整除和质因数指数；只有 a\ne0，分数才有意义。

三、全称命题与量词否定

对性质 P(n)，“所有 n 都满足”写成 \forall n\,P(n)；它的否定是存在反例，而不是“所有 n 都不满足”：

$$\neg(\forall n\,P(n)) \quad\Longleftrightarrow\quad \exists n\,\neg P(n).$$

同样：

$$\neg(\exists n\,P(n)) \quad\Longleftrightarrow\quad \forall n\,\neg P(n).$$

所以“全称命题的否定是存在反例”。例如“瓶中所有糖都是柠檬味”的否定只需要一颗不是柠檬味；不需要证明每一颗都不是。对本题，“不存在整数分数等于 \sqrt{2}”的否定正是“存在一组整数分数等于 \sqrt{2}”。

四、根号 2 的奇偶性证明

1. 先准备一个引理

平方偶数推出原数偶数

若整数 n 是奇数，可以写成 n=2k+1，于是：

$$n^2=(2k+1)^2=4k(k+1)+1,$$

结果仍是奇数。因此 n^2 为偶数时，n 不可能是奇数，只能是偶数。确认后可引入新整数 N，写成 n=2N。这就是调查整数奇偶性时的完整两步：先判断平方，再把结论落回原整数。

2. 选择最简分数

同一个有理数有无穷多种分数写法，例如 1/2=2/4=3/6。为了让“分子分母同偶”真正违反假设，先约分，选择：

最简分数 $$\sqrt{2}=\frac ba,\qquad a,b\in\mathbb Z,\quad a\ne0,\quad \gcd(a,b)=1.$$

3. 推出同偶并形成矛盾

两边平方并去分母：

$$2a^2=b^2.$$

左边含因子 2，所以 b^2 是偶数；引理推出 b 是偶数，设 b=2B。代回并约去 2：

$$2a^2=(2B)^2 \quad\Longrightarrow\quad a^2=2B^2.$$

于是 a^2 也是偶数，a 也为偶数。得到：

$$2\mid a,\qquad 2\mid b \quad\Longrightarrow\quad \gcd(a,b)\ge2.$$

但最简分数要求 gcd(a,b)=1。这不是“看起来奇怪”，而是同一个假设同时推出两个不能共存的结论。于是根号2无理性证明完成：有理数假设必须为假。

五、矛盾与反证法的逻辑骨架

矛盾是P与非P同时成立

在上面的证明中，令 P 为 gcd(a,b)=1。最简分数给出 P，奇偶推导给出 非 P。因此：

$$P\land\neg P.$$

反证法的标准骨架是：

$$\neg Q\Longrightarrow(P\land\neg P) \quad\Longrightarrow\quad Q.$$

这里 Q 是待证命题。反证法不是允许从错误出发胡乱推理；从假设到矛盾的每一步都必须合法，唯一被临时设为真的只是 \neg Q。

反证法

反复确认定义、写出命题否定、列出变量条件、调用已经证明的引理、指出矛盾两端，这五步比背诵十二行 \sqrt{2} 变形更可迁移。证明不是背诵：目标或数字改变时，证据链仍然可以重新搭建。

最简分数路线指数奇偶路线重置实验

共同入口

√2 = b/a

a、b 为整数，a ≠ 0

当前证据

2a²=b²

b 偶 → a 偶 → 破坏互质

审计结论

✓ 假设被排除

所以 √2 不属于有理数

六、质因数 2 指数的另一条路线

第一条路线依赖最简分数。第二条路线不要求先约分，而是记录质数 2 在质因数分解中出现的次数。设 v_2(n) 表示正整数 n 的质因数分解中 2 的指数，仍从：

$$2a^2=b^2$$

开始。左边的指数为：

$$v_2(2a^2)=1+2v_2(a),$$

是奇数；右边的指数为：

$$v_2(b^2)=2v_2(b),$$

是偶数。根据质因数分解唯一性，同一个非零整数等式的两侧必须拥有相同的质因数指数；但这里要求奇数等于偶数，不可能成立。这就是质因数2指数奇偶证明，矛盾不再通过“最简分数被破坏”表达，而通过指数奇偶表达。

如果一个反证假设推出了一个已经证明的定理的否定，也能结束。形式是：

$$\text{已知 }P,\qquad \neg Q\Longrightarrow\neg P \quad\Longrightarrow\quad Q.$$

这就是与已证明定理相矛盾。质因数分解唯一性在此提供了可靠的 P；等式两侧指数一奇一偶提供 非 P。证明结构的关键是“被引用的定理已证明、否定关系准确、推导步骤合法”。

官方概念锚点回收如下：反复确认定义、根号2定义、有理数定义、命题可判断真假、数学公式表达、变量类型和取值条件、全称命题的否定是存在反例、反证法、背理法、矛盾是P与非P同时成立、根号2无理性证明、最简分数、调查整数奇偶性、平方偶数推出原数偶数、分子分母同偶与互质矛盾、质因数2指数奇偶证明、质因数分解唯一性、与已证明定理相矛盾和证明不是背诵，都已经在定义、公式、引理、两条证明路线、图表或实验中落到可复查的证据上。

分步验收：把反证写成证据链

⚡分步1 / 4

1. 1
2. 2
3. 3
4. 4

重置

1. 定义：声明目标与相反假设

写出 Q: √2 不属于有理数，再根据有理数定义展开 非 Q；补全 a,b 的整数范围和分母非零条件。

上一步播放下一步

本章回顾：从定义走到矛盾

• 根号 2 定义、有理数定义和变量条件把自然语言题目变成可操作公式。
• 反证法从目标命题的准确否定开始；全称命题的否定是存在反例。
• 最简分数路线由 2a²=b² 推出分子、分母同偶，与互质条件形成矛盾。
• 质因数 2 指数路线把同一矛盾改写为奇数等于偶数，并依靠唯一分解排除等式。
• 证明不是背诵：定义、假设、引理、定理和结论的职责必须逐步可追溯。

练习与答案

练习

1. 问题 1：补全反证起点。 写出 Q: √2 不是有理数 的否定，并列出由有理数定义得到的 a,b 条件。

查看答案

非 Q 是 √2 属于有理数。因此存在 a,b∈ℤ，满足 a≠0 且 √2=b/a；若准备使用最简分数路线，还要约定 gcd(a,b)=1。

2. 问题 2：完成奇偶路线。 从 2a²=b² 开始，说明为什么 b、a 都是偶数，并指出真正的矛盾是什么。

查看答案

b² 是偶数，所以由“平方偶数推出原数偶数”得 b=2B。代回得到 a²=2B²，所以 a 也是偶数。于是 gcd(a,b)≥2，这与最简分数要求的 gcd(a,b)=1 矛盾；“两个数都是偶数”本身不是完整矛盾。

3. 问题 3：改 Demo 代码。 给反证实验增加一个“只显示结论、不显示前提”的错误模式，再加一个“重置”按钮；说明为什么隐藏变量条件会让证明不可审计。

查看答案

错误模式可以只显示“推出矛盾”，隐藏 a,b∈ℤ、a≠0 和 gcd(a,b)=1；正确模式恢复完整前提列表。重置按钮应把模式恢复到完整证据链。没有变量条件，就不能合法使用偶数、整除或质因数指数，结论无法复核。

4. 问题 4：比较第二条证明。 计算 v₂(2a²) 和 v₂(b²) 的奇偶性，解释质因数分解唯一性在何处被使用。

查看答案

v₂(2a²)=1+2v₂(a) 是奇数，而 v₂(b²)=2v₂(b) 是偶数。若两侧是同一个整数，质因数分解唯一性要求对应指数相等；奇数不可能等于偶数，所以等式不成立，反证假设被排除。

名词解释

本章出现的专业名词，用大白话再讲一遍。

根号2定义

√2 是满足正数条件且平方为 2 的实数。

有理数定义

能写成整数之比 b/a 且分母 a 非零的数。

命题可判断真假

命题的真假可以由规则确定，不依赖个人偏好。

数学公式表达

用带有集合、变量范围和条件的符号准确表达陈述。

最简分数

分子分母互质的分数表示，是奇偶路线的关键前提。

平方偶数推出原数偶数

整数平方为偶数时，原整数必为偶数；可由奇数平方仍为奇数证明。

矛盾是P与非P同时成立

对同一个命题同时得到命题本身和它的否定，记作 P∧非 P。

反证法

假设目标命题的否定并推出矛盾，从而证明目标命题。