作差比较法公式详解：高中数学不等式证明的核心利器
什么是作差比较法公式？
在高中数学，特别是代数与不等式章节中，作差比较法是最基础也是最核心的比较两个数或代数式大小的方法。其核心思想源于不等式的基本性质：通过构造两个数的差，并判断这个差的符号，从而确定两个数的大小关系。这种方法不仅适用于具体的数值比较，更广泛应用于抽象的代数式证明中。
核心公式
设 a, b ∈ R，则：
这就是作差比较法公式的精髓。它将对“大小”的判断转化为对“符号”的判断，大大简化了复杂代数式的比较难度。
许多同学在初次接触时会感到困惑：为什么要把两个数相减？其实，这利用了实数的有序性。任何两个实数之间，必然存在且仅存在大于、等于或小于这三种关系之一。通过作差，我们将这种关系具象化为一个具体的数值（差值），而这个数值与0的关系是直观的。
作差比较法的标准四步走
掌握作差比较法不仅仅是记住公式，更重要的是掌握其变形技巧。以下是标准的操作流程：
① 作差 (Make Difference)
将待比较的两个代数式记为 A 和 B，构造差式 A - B。注意顺序：通常用“大”减“小”或者按题目给定的顺序，但关键在于后续判断符号。
② 变形 (Transform)
这是最关键的一步。目标是将差式化为“几个因式的积”或“几个完全平方式的和”。常用手段包括：
- 因式分解：适用于多项式差式。
- 配方：适用于二次型或可配成平方的式子。
- 通分：适用于分式差式。
- 有理化：适用于含有根式的差式。
③ 定号 (Determine Sign)
结合题目给出的条件（如 x > 0, a > b 等），判断变形后的差式的符号。如果是积的形式，需判断每个因式的正负；如果是和的形式，需判断各项是否均为正。
④ 结论 (Conclusion)
根据差的符号，利用不等式性质得出 A > B, A = B 或 A < B 的结论。
经典例题解析
理论必须结合实践。我们通过几个不同类型的例子，深入理解作差比较法的应用。
例1：多项式大小比较
题目：比较 x² + 1 与 2x 的大小（x ∈ R）。
解析：
- 作差： (x² + 1) - 2x
- 变形： 利用完全平方公式，得 x² - 2x + 1 = (x - 1)²
- 定号： 因为对于任意实数 x，(x - 1)² ≥ 0，所以差式 ≥ 0。
- 结论： x² + 1 ≥ 2x。当且仅当 x = 1 时取等号。
点评：这是最基础的配方应用，体现了作差比较法将比较转化为非负性判断的特点。
例2：分式大小比较
题目：已知 a > b > 0，比较 1/a 与 1/b 的大小。
解析：
- 作差： 1/a - 1/b
- 变形： 通分，得 (b - a) / (ab)
- 定号：
- 因为 a > b，所以 b - a < 0。
- 因为 a > 0, b > 0，所以 ab > 0。
- 因此，(b - a) / (ab) < 0。
- 结论： 1/a < 1/b。
点评：通分是分式比较的利器，将分式差转化为分子分母符号的判断。
例3：根式大小比较
题目：比较 √5 + √7 与 √2 + √10 的大小。
解析：
直接作差较难判断符号，可采用“平方作差”或“有理化”思想，但更通用的作差比较法结合平方技巧：
- 作差： (√5 + √7) - (√2 + √10)
- 分析： 直接判断符号困难。我们可以比较它们的平方，但这其实是“作商”或“平方”法的范畴。严格来说，纯作差比较法处理根式时，常通过有理化分子或分母。
- 替代思路（针对根式差）： 考虑 (√5 + √7)² = 12 + 2√35 (√2 + √10)² = 12 + 2√20 因为 √35 > √20，所以 (√5 + √7)² > (√2 + √10)²。 又因为两边均为正数，所以 √5 + √7 > √2 + √10。
- 注： 虽然这里用了平方，但核心逻辑仍是基于差值的符号（平方差公式本质也是作差）。若强制纯作差，可尝试有理化： (√5 + √7) - (√2 + √10) = [(√5 + √7) - (√2 + √10)] [(√5 + √7) + (√2 + √10)] / [(√5 + √7) + (√2 + √10)] 分子 = (12 + 2√35) - (12 + 2√20) = 2(√35 - √20) > 0 分母 > 0 所以原式 > 0。
技巧总结与常见误区
在运用作差比较法时，学生常犯以下错误，需特别注意：
⚠️ 误区一：忽略变形
作差后直接看符号，不进行因式分解或配方。例如比较 x² 和 2x，直接说“x大就大于，x小就小于”，这是错误的。必须变形为 x(x-2) 才能准确判断。
⚠️ 误区二：条件遗漏
在定号时，未充分利用题目给出的隐含条件（如 x > 0, a ≠ b 等）。例如，若未说明 a,b 同号，则 ab 的符号无法确定，不能直接得出差式的符号。
💡 技巧一：合理分组
对于多项式，常采用“分组分解法”。将同类项或能配成平方的项组合在一起，简化变形过程。
💡 技巧二：中间量法
当直接作差困难时，可引入中间量。例如比较 A 和 B，若难以直接判断 A-B，可找 C，使得 A-C > 0 且 C-B > 0，从而 A > B。这本质上是传递性的应用，但常与作差结合使用。
作差比较法 vs 作商比较法
| 比较维度 | 作差比较法 | 作商比较法 |
|---|---|---|
| 适用对象 | 任意实数 | 同号正数 |
| 核心公式 | a - b > 0 ⟺ a > b | a/b > 1 (b>0) ⟺ a > b |
| 变形重点 | 因式分解、配方 | 约分、指数运算 |
| 典型场景 | 多项式、含加减法 | 连乘积、幂指函数 |