构造思想：为解题量身造一个对象

常见表现形式

• 构造辅助函数证不等式（移项造函数）
• 构造几何图形证代数不等式
• 构造反例否定错误命题
• 构造方程或数列求解存在性问题

四类构造

类型	目标	典型场景
构造函数	证不等式、研究单调性	$f(x)=g(x)-h(x)$ 证 $g\ge h$
构造图形	把代数翻译为几何	构造三角形证距离不等式
构造反例	否定错误命题	造一个反例推翻「素数有无穷多」的反向断言
构造方程/数列	解存在性问题	构造满足某方程的解证明存在性

四类构造共用同一条心法：先明确「要造什么」，再造一个满足全部条件的对象。构造即证明——对象造出来，结论就成立。

典例精析

例 1（构造辅助函数证不等式） 证明 $e^x\ge 1+x$（$x\in \mathbb{R}$）。

构造 $f(x)=e^x-1-x$，则 $f^{\prime }(x)=e^x-1$。$f^{\prime }(x)=0$ 时 $x=0$；$f^{\prime }(x)<0$ 时 $x<0$，$f$ 递减；$f^{\prime }(x)>0$ 时 $x>0$，$f$ 递增。故 $f$ 在 $x=0$ 处取最小值 $f(0)=0$，从而 $f(x)\ge 0$，即 $e^x\ge 1+x$。构造辅助函数把「证不等式」翻译为「研究函数最值」。

例 2（构造反例） 命题「若 $a>b$，则 $\frac{1}{a}<\frac{1}{b}$」是否成立？

不成立。构造反例：$a=1$，$b=-1$，则 $a>b$ 但 $\frac{1}{a}=1>-1=\frac{1}{b}$。一个反例就否定命题，是构造法否定命题的最高效用法。进一步分析：原命题在 $a,b$ 同号且不为零时成立，反例出现在异号情形。

例 3（构造存在性证明） 证明存在无理数 $a,b$ 使 $a^b$ 为有理数。

构造法：令 $a=\sqrt{2}$（无理）、$b={\log }_{2}9$（若 $b$ 有理则 $2^b=9$ 不可能，故 $b$ 无理），则 $a^b=(\sqrt{2}{)}^{{\log }_{2}9}=2^{\frac{1}{2}\cdot {\log }_{2}9}=2^{{\log }_{2}3}=3$ 为有理。对象造出来，结论立即成立。

辨析与提醒

• 构造对象不满足全部条件：造辅助函数 $f(x)=e^x-1-x$ 证不等式时，忘了验证 $f$ 在题设定义域内可导、连续。若题目限制 $x>0$，则最小值在边界 $x=0$ 处取（若包含）或 $x\to 0^{+}$ 处取，必须单独说明。
• 构造得太复杂：为证 $e^x\ge 1+x$ 造 $f(x)=e^x-1-x-\frac{x^2}{2}+\dots$ 七项函数，反而增加研究难度。构造追求「恰好够用」，越简单越好。
• 混淆存在性与具体性：存在性命题只需证明对象存在（不必具体给出），如「方程在某区间有根」用介值定理即可；具体计算题必须给出具体对象，如「求出这个根」。混用两者会得到「我知道它存在但没算出来」的不完整答案。

跨学段衔接

小学「画图辅助解题」是构造法的萌芽——构造一个图形把抽象关系具体化；初中「构造辅助线」是构造法第一次作为独立工具登场；高中「构造辅助函数证不等式」「构造数列求通项」把构造思想提升为解题核心；大学「构造性数学」「直觉主义逻辑」甚至把「存在即构造」作为哲学立场。构造思想贯穿整条数学线，因为它把「被动证明」变为「主动创造」——这是数学思维最难也最有趣的一步。

构造法与反证法对比

维度	构造法	反证法
思路	直接造对象证明结论	否定结论推出矛盾
用途	存在性、最值、不等式	唯一性、否定式命题
难度	难在「想到」	难在「找到矛盾」
风格	积极、创造	消极、排除

两种方法互补：构造法适合「存在」「至少」这类肯定式命题，反证法适合「唯一」「不存在」这类否定式命题。看到「存在」想构造，看到「唯一」想反证——这是解题时的标准联想。