数 学 通 识 讲 义
构造法：造一个给你看
学段 初中 · 关联知识点「逻辑推理」
❖
读 · 引子·钩子能不能找到 $100$ 个连续的正整数，里面一个质数都没有？直觉说不可能——质数那么多。可只要你会造：看这一串 $101!+2,\ 101!+3,\ \dots,\ 101!+101$，正好 $100$ 个连续整数；第 $k$ 个是 $101!+k$（$2\le k\le101$），而 $k$ 整除 $101!$、也整除自己，于是 $k\mid(101!+k)$——每个都有真因子，全是合数。你没有争论"可不可能"，你造了一个给它看。这就是构造法：证"存在／能做到"，最硬的办法是动手造一个。
讨论 · 猜想·预测先押一注：证明"存在"，和证明"不存在"，通常哪个更容易？为什么？读完再看。
读 · 历史- 古代 构造从来是数学的日常：《周髀算经》里的"勾三股四弦五"、洛书那个 $3\times3$ 幻方，都是"造一个出来"的存在性证明——不空谈，直接给你看。
读 · 概念构造法：面对"是否存在…／能否做到…"，直接造出一个具体的例子或方案，满足全部要求——例子一旦到手，存在性当场证毕。它是反证法的正面兄弟：反证从"假设没有"逼出矛盾；构造从"我这就有一个"正面拿下。难点全在怎么造——常要"倒着设计"：从想要的结论，反推该造个什么。
做 · 例题精析能否把 $1\sim9$ 填进 $3\times3$ 方格，使每行、每列、两条对角线的和都相等？
读"能否"——造一个出来就行，不必空谈。
思九数之和 $45$，分三行，每行须 $=15$；中心格落在四条线上，应放中位数 $5$，据此去凑。
写$\begin{array}{ccc}2&7&6\\9&5&1\\4&3&8\end{array}$ 每行、每列、两对角线之和都是 $15$。
能，如上（这正是古老的"洛书"幻方）。∎ 你没有证明"一定能"，你造出了一个——存在性就此成立。
读 · 公式推导·分步想要什么
想造出"要多少有多少"的勾股数 $a^2+b^2=c^2$。
倒着设计
取任意整数 $m>n>0$，令 $a=m^2-n^2,\ b=2mn,\ c=m^2+n^2$。
验证（构造必须验）
$a^2+b^2=(m^2-n^2)^2+(2mn)^2=m^4+2m^2n^2+n^4=(m^2+n^2)^2=c^2$ ✓。$m,n$ 一变，勾股数就源源不断。∎
讨论 · 误区·辨析构造三个坑：① 造完必须验——逐条核对满足所有要求，别"看着像"就交卷；② 构造只证"存在／能"，不证"唯一／最优"——造出一个，不代表没有别的、更不代表这是最好的；③ 别和反证抢活——问"是否存在"，先想能不能造；问"是否一定"（全称）或"是否不可能"，才轮到反证／抽屉上。
做 · 巩固练习- 是否存在连续的 $6$ 个正整数，全都是合数？造一个出来。
取 $7!+2,7!+3,\dots,7!+7$（即 $5042,5043,\dots,5047$）。第 $k$ 个为 $7!+k$（$2\le k\le7$），因 $k\mid7!$ 且 $k\mid k$，故 $k\mid(7!+k)$，每个都有真因子、都是合数。∎
做 · 挑战·BOSS★ 是否存在两个无理数 $a,b$，使 $a^b$ 是有理数？
存在。看 $\sqrt2^{\,\sqrt2}$：若它是有理数，取 $a=b=\sqrt2$（都无理）即可；若它是无理数，取 $a=\sqrt2^{\,\sqrt2}$（无理）、$b=\sqrt2$（无理），则 $a^b=\left(\sqrt2^{\,\sqrt2}\right)^{\sqrt2}=\sqrt2^{\,\sqrt2\cdot\sqrt2}=\sqrt2^{\,2}=2$，有理。两种情形必有一种给出所需的 $a,b$。∎ （妙处：我们证明了"存在"，却没说清到底是哪一对——构造的一次极限。）