定义 不等式证明策略是指利用代数变形、函数性质或经典不等式，将待证不等式转化为已知真命题或简单不等式的逻辑推导方法体系。
从哪来 本节为高一数学不等式专题的起点，不依赖其他前置知识点，直接基于初中已掌握的实数运算律及基本不等关系（如 $a>b \iff a-b>0$）展开。
为什么 不等式证明的核心难点在于“方向性”和“复杂性”。直接比较两边大小往往困难，因此需要策略：
1. 化繁为简：通过移项、因式分解，将复杂的比较转化为判断一个式子的符号（作差法），这是最本质的代数逻辑。
2. 利用结构：某些不等式具有对称性或齐次性，利用均值不等式等工具可以绕过繁琐的代数运算，直接利用结构特征得出结论。
3. 动态视角：将不等式看作函数问题，利用单调性将“比较两个数”转化为“研究一个函数的增减”，这是从代数到分析的思维跨越。
这些策略共同构成了从“计算”到“推理”的思维闭环。
作差比较法（代数视角）**
**适合学生
逻辑严密、擅长代数变形、对抽象符号敏感的学生。
核心逻辑：
1. 移项：将不等式 $A \ge B$ 转化为 $A - B \ge 0$。
2. 变形：对 $A - B$ 进行因式分解、配方或通分。
3. 定号：根据已知条件判断变形后式子的符号。
口诀：移项、变形、定号、结论。
示例：证 $a^2+b^2 \ge 2ab$。
解：$a^2+b^2-2ab = (a-b)^2 \ge 0$，故原不等式成立。
基本不等式法（结构视角）**
**适合学生
直觉敏锐、善于发现数字间关系、喜欢“捷径”的学生。
核心逻辑：
1. 识别结构：观察是否出现“和与积”的关系，或分式结构。
2. 凑条件：确保“一正、二定、三相等”。
3. 套用公式：$a+b \ge 2\sqrt{ab}$ ($a,b>0$)。
注意：此法要求极高的观察力，需强调“何时能用”比“怎么用”更重要。
示例：证 $x + \frac{1}{x} \ge 2$ ($x>0$)。
解：由基本不等式，$x + \frac{1}{x} \ge 2\sqrt{x \cdot \frac{1}{x}} = 2$，当且仅当 $x=1$ 时取等号。
函数单调性法（动态视角）**
**适合学生
空间想象力强、对图像敏感、准备学习微积分思维的学生。
核心逻辑：
1. 构造函数：设 $f(x) = A(x) - B(x)$。
2. 求导或分析单调性：判断 $f(x)$ 在定义域上的增减性。
3. 求最值：若 $f(x)_{min} \ge 0$，则 $A(x) \ge B(x)$ 恒成立。
优势：对于多项式或复杂函数，比纯代数变形更通用，且能处理含参问题。
示例：证 $e^x \ge x+1$。
解：设 $f(x) = e^x - x - 1$，$f'(x) = e^x - 1$。
当 $x<0$，$f'(x)<0$，$f(x)$ 递减；当 $x>0$，$f'(x)>0$，$f(x)$ 递增。
故 $f(x)_{min} = f(0) = 1-0-1=0$，即 $e^x - x - 1 \ge 0$。