数 学 通 识 讲 义
反例：一个例子推翻全称
学段 初中 · 关联知识点「逻辑推理」
❖
读 · 引子·钩子"所有形如 $2^{2^n}+1$ 的数，都是质数吗？"费马当年验了 $n=0,1,2,3,4$——得 $3,5,17,257,65537$，全是质数，于是他猜"全都是"。可 $n=5$：$2^{32}+1=4294967297=641\times6700417$，不是质数。欧拉找到的这一个反例，就掀翻了费马的猜想。验了 $5$ 个都对，一个反例全盘否定——这就是反例的力量。
讨论 · 猜想·预测先押一注：一个"所有…都…"的命题，验证 $100$ 个例子都成立，和找到 $1$ 个反例——哪个"分量"更重？读完再看。
读 · 概念全称命题"所有 $x$ 都满足 $P$"的否定，是"存在一个 $x$ 不满足 $P$"（见【读题即翻译】的量词否定）。所以：要推翻一个全称命题，只需造出一个反例——一个就够，一锤定音。这是构造法的专门用途：不造"满足要求的"，造"违反命题的"。而要肯定全称命题，反例帮不上忙，得靠证明（比如数学归纳）。
读 · 直觉·图像证明"所有天鹅都是白的"，要看遍每一只天鹅（无穷，难）；推翻它，只需一只黑天鹅（一个，易）。全称命题：证明难、证伪易；存在命题：反过来。这种不对称，是逻辑深处的一条纹理。
做 · 例题精析判断命题"若 $n$ 是质数，则 $2^n-1$ 也是质数"的真假。
读全称命题（对所有质数 $n$）——真则须证明，假则找一个反例。
思试小质数：$n=2\to3$、$n=3\to7$、$n=5\to31$、$n=7\to127$，都是质数……再试 $n=11$。
写$n=11$：$2^{11}-1=2047=23\times89$，不是质数。
命题假，反例 $n=11$。∎ 前四个质数都"配合"，第五个就翻了车——这正是"验几个"从来不算数的原因。
读 · 公式推导·分步先怀疑，去试小情形
怀疑一个"所有…"命题为假时，别急着证，先系统地试小情形：$n=1,2,3,\dots$ 一个个代。
盯着薄弱处
反例常藏在"边界"与"退化"处：$0$、$1$、负数、相等、特殊结构，最容易翻车。
找到一个，立即收工
一旦某个例子违反命题，立刻停——一个反例已经证毕，不必再找第二个。
讨论 · 误区·辨析反例三个提醒：① 反例只能否定全称命题；要否定"存在一个…"，你举不出反例，得证"一个都没有"（那是反证的活）；② 一个反例就够，别画蛇添足找一堆；③ 反例必须真的违反命题——核清楚它确实不满足，别自己看错了。
做 · 巩固练习- 判断真假并说明："两个无理数之和一定是无理数。"
假。反例：$\sqrt2$ 与 $-\sqrt2$ 都是无理数，但 $\sqrt2+(-\sqrt2)=0$ 是有理数。一个反例即推翻。∎
做 · 挑战·BOSS★ 判断真假："对任意非负整数 $n$，$n^2+n+41$ 都是质数。"（欧拉的著名多项式）
假。它很唬人——$n=0$ 得 $41$、$n=1$ 得 $43$……一直到 $n=39$ 全是质数。但 $n=40$：$40^2+40+41=1681=41^2$，是合数；更直接地 $n=41$：$41^2+41+41=41(41+1+1)=41\times43$，显含因子 $41$。反例存在，命题假。∎ （$40$ 个例子都对，第 $41$ 个翻车——"举例"永远不是证明。）