构造对偶

方法定义

对偶式是指与原代数式结构对称（或相似、相近）的具有某种对称关系的代数式。构造对偶解题法就是根据题中某个代数式 $A$ 的结构特征，人为地构造出 $A$ 的对偶式 $B$，并对 $A$ 与 $B$ 进行适当的和、差、积等运算，再进行适当变换，从而使问题得以巧妙解决的方法。

核心思想

构造对偶的核心在于**“配对构造，对称消元”**。利用数学中的对称美，将原本孤立、单向或难以直接处理的式子，通过寻找“结构伴侣”，转化为整体的四则运算。常见的对偶式组合有 $A+B$ 与 $A-B$、$AB$ 与 $\frac{A}{B}$、$\sin x$ 与 $\cos x$ 的线性组合等。通过对原式与对偶式整体进行运算（如两式相乘产生平方差、两式平方相加消除交叉项），能巧妙地消去根号、消去未知角或实现放缩，从而化繁为简。

适用题型

该方法广泛应用于三角、数列、不等式、函数、方程等多个模块。特别适用于：

1. 已知关于正余弦的线性组合求三角函数值问题。
2. 含有连乘或连加形式，且具有奇偶交替特征的数列不等式证明问题。
3. 含有两个结构相似的无理根式相减（或相加）的复杂超越方程求解问题。

识别信号

1. 三角一次式结构：条件中出现形如 $a\sin\alpha+b\cos\alpha$ 的式子，强烈暗示构造其对偶式 $a\cos\alpha-b\sin\alpha$，以凑配得出 $(a\sin\alpha+b\cos\alpha)^2+(a\cos\alpha-b\sin\alpha)^2=a^2+b^2$ 这一内隐定值。
2. 共轭无理式相减/加：方程或代数式中出现 $\sqrt{f(x)} - \sqrt{g(x)}$，暗示需构造其加法对偶式 $\sqrt{f(x)} + \sqrt{g(x)}$，利用两者相乘产生平方差 $f(x)-g(x)$ 从而消除根号。
3. 间隔对称的连乘数列：待证不等式是全为奇数项（或偶数项）的规律连乘积，暗示需构造对应的偶数项（或奇数项）连乘积，通过两者相乘并比较大小实现放缩。

标准解题步骤

1. 审视特征：仔细观察目标代数式 $A$ 的结构特征，识别出它所具备的对称或相似潜质（如三角关系、平方差结构、奇偶缺失等）。
2. 构造对偶式：根据特征，设出与其结构高度相似的对偶式 $B$。
3. 实施整体运算：根据对偶式的类型，对 $A$ 和 $B$ 进行针对性的整体运算（如求 $A^2+B^2$、$AB$ 或 $A+B$）。
4. 化简与回代：利用恒等关系求出 $B$ 的值，或得出 $A$ 与 $B$ 的具体代数关系。若涉及不等式，则需判断 $A$ 与 $B$ 的大小关系；若涉及方程，则解出目标变量，并检验隐含范围。

一个简短示例

题目：已知 $\alpha \in R$，$\sin\alpha+2\cos\alpha=\sqrt{5}$，求 $\tan\alpha$ 的值。

解答： 设 $A=\sin\alpha+2\cos\alpha$，构造其对偶式 $B=\cos\alpha-2\sin\alpha$。

对两式分别平方并求和，得：

$A^2+B^2 = (\sin\alpha+2\cos\alpha)^2 + (\cos\alpha-2\sin\alpha)^2 = 5(\sin^2\alpha+\cos^2\alpha) = 5$

因为已知 $A=\sqrt{5}$，代入上式得：

$5+B^2=5$

解得 $B=0$。

从而 $\cos\alpha-2\sin\alpha=0$，即 $\cos\alpha=2\sin\alpha$。

等式两边同除以 $\cos\alpha$（显然 $\cos\alpha \neq 0$），解得 $\tan\alpha=\frac{1}{2}$。

常见误区

1. 盲目构造偏离目标：在不需要对称运算的普通代数式中生硬地引入对偶式，或者构造了不匹配的对偶关系，导致两式进行四则运算后不仅没有抵消复杂项，反而使得式子更加庞大。
2. 忽略新变量的正负与定义域：在构造对偶式 $B$ 后，往往需要借助开方或利用非负性求值。如果不去结合已知条件判断 $B$ 的正负号范围（例如根号之和必定大于零），极易产生增根或错解。
3. 数列放缩中缺失大小比对：在利用对偶式证明连乘不等式时，直接将 $A$ 与对偶式 $B$ 相乘，却忘记事先证明原式 $A$ 与对偶式 $B$ 之间的大小关系（如遗漏 $A>B$ 的论证），导致逻辑链条断裂，无法实现 $AB < A^2$ 的不等价过渡。