定义 将含两个变量的不等式或方程，通过构造单变量函数，转化为研究该函数单调性或最值的问题。
从哪来 本策略建立在 4.2 导数与单调性 和 5.4 导数与不等式 的基础之上。利用导数判断函数单调性，是处理双变量中“分离变量”后核心步骤的理论支撑。
为什么 双变量问题（如 $f(x) \ge g(y)$）直接求解困难，因为 $x, y$ 相互制约。
核心逻辑：若 $x, y$ 独立变化，要使 $f(x) \ge g(y)$ 恒成立，等价于 $f(x)$ 的最小值 $\ge g(y)$ 的最大值。
转化原理：通过“分离变量”将双变量问题拆解为两个独立的单变量函数问题。此时，求最值或判断单调性成为关键，而导数正是研究单变量函数性质（单调性、极值）最有力的工具。因此，双变量转化策略本质上是利用导数将“关系判断”转化为“性质研究”。
适合类型：逻辑直观型学生（喜欢从具体到抽象）**
**讲法：生活类比法**
1. **场景
假设你要证明“全班男生身高都高于全班女生身高”。
2.
错误思路：逐个比较，太累且容易漏。
3.
正确思路：只要“最矮的男生”比“最高的女生”高，结论就成立。
4.
映射：
* 男生集合 $\rightarrow f(x)$ 的值域
* 女生集合 $\rightarrow g(y)$ 的值域
* 最矮男生 $\rightarrow f(x)_{min}$
* 最高女生 $\rightarrow g(y)_{max}$
* 结论 $\rightarrow f(x)_{min} \ge g(y)_{max}$
5.
工具：如何找“最矮”和“最高”？用导数求极值。
适合类型：代数推导型学生（喜欢严谨的逻辑链条）**
**讲法：逻辑等价推导法**
1. **命题
$\forall x \in D_1, \forall y \in D_2, f(x) \ge g(y)$。
2.
拆解：
* 固定 $y$，则需 $f(x) \ge g(y)$ 对所有 $x$ 成立 $\Rightarrow f(x)_{min} \ge g(y)$。
* 此时 $g(y)$ 是常数，但 $y$ 任意，故需 $f(x)_{min} \ge g(y)$ 对所有 $y$ 成立 $\Rightarrow f(x)_{min} \ge g(y)_{max}$。
3.
结论：双变量不等式恒成立 $\Leftrightarrow$ 单变量函数最值比较。
4.
强调：这是充要条件，不是充分条件。必须双向验证。
适合类型：图像思维型学生（喜欢可视化）**
**讲法：图像分离法**
1. **画图
在坐标系中画出 $y=f(x)$ 和 $y=g(x)$ 的图像（注意定义域可能不同）。
2.
观察：
* 若要求 $f(x) \ge g(y)$ 恒成立，意味着 $f(x)$ 的图像整体要“压”在 $g(y)$ 图像的“上方”。
* 最危险的时刻是：$f(x)$ 的最低点 和 $g(y)$ 的最高点。
3.
操作：
* 用导数找到 $f(x)$ 的谷底（极小值）。
* 用导数找到 $g(y)$ 的峰顶（极大值）。
* 比较这两个关键点的纵坐标。
4.
口诀：“低者不低于高者”。