欢迎来到恒等式与不等式！
你好，未来的数学家！这一章非常重要，因为它不再局限于解具体的题目，而是要求你证明某些结论是否总是成立（恒等式），或者确定一个命题成立的取值范围（不等式）。
如果某些证明技巧一开始看起来很陌生，别担心。我们将把复杂的概念拆解为可操作的步骤，重点讲解那些高效且可靠的方法。让我们开始吧！
第 1 节：理解与证明恒等式
什么是恒等式？
在数学中，我们使用等号 \(=\) 来表示方程（例如 \(x+2=5\)，它只在 \(x=3\) 时成立）。
恒等式是指对于变量的每一个取值都成立的数学命题。我们使用符号 \(\equiv\)（三条横线）来表示恒等。
比喻：方程就像一个谜题，只有一个确定的答案；而恒等式就像一个绰号——无论那个人在做什么，绰号都指代他本人。
你已经熟悉的恒等式示例
- 平方差公式：\((a-b)(a+b) \equiv a^2 - b^2\)
- 完全平方展开：\((x+y)^2 \equiv x^2 + 2xy + y^2\)
- 标准因式分解：\(x^2 - 5x + 6 \equiv (x-2)(x-3)\)
如何证明恒等式
要证明左式 (LHS) 等同于右式 (RHS)，你需要从其中一边开始，通过代数变形，使其最终与另一边完全一致。
证明步骤详解
- 从较复杂的一边开始（通常是左式，因为它通常涉及更多的展开或合并）。
- 展开括号、简化分数或对项进行因式分解。
- 运用已知的代数规则（例如通分）。
- 持续化简，直到表达式与另一边完全匹配。
- 最后写出：LHS \(\equiv\) RHS。
示例：证明 \((x+1)(x-2) - (x-3)^2 \equiv 4x - 11\)。
从左式开始：
LHS \(= (x^2 - 2x + x - 2) - (x^2 - 6x + 9)\)
LHS \(= (x^2 - x - 2) - x^2 + 6x - 9\)
LHS \(= x^2 - x^2 - x + 6x - 2 - 9\)
LHS \(= 5x - 11\)
等等！题目要求是 \(4x - 11\)。多出来的 \(x\) 是从哪里来的呢？
易错提醒！ 务必仔细检查你的初始展开。
让我们重新审视一下这个例子：
我们被要求证明 \((x+1)(x-2) - (x-3)^2 \equiv 4x - 11\)。
如果我们使用正确的目标，我们继续计算：
LHS \(= (x^2 - x - 2) - (x^2 - 6x + 9)\)
LHS \(= x^2 - x - 2 - x^2 + 6x - 9\)
LHS \(= (x^2 - x^2) + (-x + 6x) + (-2 - 9)\)
LHS \(= 0 + 5x - 11\)
啊，看来原题可能有误，或者教材本意要求的右式不同！在考试中，如果你的代数步骤正确但两边不匹配，请仔细重新读题。假设正确的右式是 \(5x - 11\)：
LHS \(= 5x - 11 \equiv\) RHS. （恒等式得证。）
快速回顾：恒等式
使用 \(\equiv\) 来展示一个命题对所有取值都成立。从一边开始，进行代数变换直到它等于另一边。一定要检查符号，特别是在减去展开后的括号时！
第 2 节：解二次不等式
超越方程
当我们解像 \(x^2 - x - 6 = 0\) 这样的方程时，我们是在寻找图像与 x 轴相交的具体点（即 \(x=-2\) 和 \(x=3\)）。
当我们解像 \(x^2 - x - 6 > 0\) 这样的不等式时，我们是在寻找图像位于 x 轴上方的 \(x\) 的取值范围。
临界值与草图法（最佳方法！）
解二次不等式最可靠的方法是求出根（即临界值）并画出曲线草图。
步骤详解：求解 \(ax^2 + bx + c > 0\)
- 归零： 确保不等式的一侧为零（例如 \(x^2 + 2x - 3 < 0\)）。
- 找到临界值 (CVs)： 将不等号暂时变为等号，解二次方程。通过因式分解或使用求根公式找到根，这些根就是你的临界值。
- 绘制抛物线：
- 如果 \(a > 0\) (\(x^2\) 项为正)，曲线呈 U 型（“开心”的抛物线）。
- 如果 \(a < 0\) (\(x^2\) 项为负)，曲线呈 \(\cap\) 型（“伤心”的抛物线）。
- 在 x 轴上标出临界值。
- 得出解集：
- 如果题目要求 > 0 或 \(\ge\) 0，找到图像位于 x 轴上方的部分。
- 如果题目要求 < 0 或 \(\le\) 0，找到图像位于 x 轴下方的部分。
示例：解 \(x^2 - x - 6 \ge 0\)。
1. 临界值：解 \(x^2 - x - 6 = 0\)。因式分解得 \((x-3)(x+2) = 0\)。
临界值为 \(x = 3\) 和 \(x = -2\)。
2. 草图：由于 \(a=1\)（正数），这是一个经过 \(-2\) 和 \(3\) 的 U 型抛物线。
3. 判定：我们需要 \(x^2 - x - 6 \ge 0\)，即图像在 x 轴上方或与 x 轴相交的部分。
4. 解集：这种情况发生在 \(x\) 小于 \(-2\) 或大于 \(3\) 时。
解集为 \(x \le -2\) 或 \(x \ge 3\)。
记忆小窍门：
对于 U 型抛物线：
\(> 0\) 意味着“在根的外部”。（两段分离的区间）
\(< 0\) 意味着“在根的内部”。（一段连续的区间：\(-2 < x < 3\)）
第 3 节：解分式不等式（进阶纯数专题）
这一节通常是普通 IGCSE 数学与进阶纯数数学的分水岭。分式不等式是指包含分式且分母中含有未知数 \(x\) 的不等式。
交叉相乘的陷阱
如果你遇到 \(\frac{2}{x} < 1\)，你可能很想在两边同时乘以 \(x\)。 千万不要这样做！ 如果 \(x\) 是负数，乘以 \(x\) 需要改变不等号的方向，而我们无法确定 \(x\) 是正还是负，所以这种方法很快就会失效。
安全可靠的方法
我们必须通过代数操作将分式不等式转换为标准的多项式不等式，将分子和分母视为一个整体处理。
步骤详解：求解 \(\frac{P(x)}{Q(x)} > k\)
示例：解 \(\frac{3x+1}{x-1} \le 2\)。
- 将所有项移到一边： 使右式为零。 \[ \frac{3x+1}{x-1} - 2 \le 0 \]
- 合并为单个分式： 使用公分母 \(x-1\)。 \[ \frac{3x+1}{x-1} - \frac{2(x-1)}{x-1} \le 0 \] \[ \frac{(3x+1) - 2(x-1)}{x-1} \le 0 \] \[ \frac{3x+1 - 2x + 2}{x-1} \le 0 \] \[ \frac{x+3}{x-1} \le 0 \]
- 确定临界值 (CVs)： 临界值出现在分子为零和分母为零时（它们定义了区间的边界）。
- 分子临界值：\(x+3 = 0 \implies x = -3\)（若不等式包含 \(\le\) 或 \(\ge\)，此值包含在解集中）。
- 分母临界值：\(x-1 = 0 \implies x = 1\)（此值永远不能包含在内，因为除以零无意义）。
- 使用符号法（或测试区域）：
不等式 \(\frac{A}{B} \le 0\) 意味着分子 (\(A\)) 和分母 (\(B\)) 的符号必须相反（一正一负）。 我们需要 \((x+3)\) 和 \((x-1)\) 符号相反。这只发生在 \(x\) 处于两个临界值之间时。
让我们测试一下临界值（\(-3\) 和 \(1\)）周围的区域：
- 若 \(x > 1\) (如 \(x=2\))： \(\frac{2+3}{2-1} = \frac{+}{+} = +\) （正，不满足 \(\le 0\)，排除）。
- 若 \(-3 < x < 1\) (如 \(x=0\))： \(\frac{0+3}{0-1} = \frac{+}{-} = -\) （负，满足！）。
- 若 \(x < -3\) (如 \(x=-4\))： \(\frac{-4+3}{-4-1} = \frac{-}{-} = +\) （正，不满足 \(\le 0\)，排除）。 - 最终解集： 可行区域在 \(-3\) 和 \(1\) 之间。
由于 \(x=-3\) 是允许的（源自分子），而 \(x=1\) 不允许（源自分母），因此解为： \[ -3 \le x < 1 \]
关于分式不等式的小贴士
如果第 4 步的符号法让你感到困惑，可以试试这个替代方案：
在两边同时乘以分母的平方。
从 \(\frac{x+3}{x-1} \le 0\) 开始，乘以 \((x-1)^2\)。由于平方数恒为正，不等号无需翻转。
\[ \frac{x+3}{x-1} \cdot (x-1)^2 \le 0 \cdot (x-1)^2 \]
\[ (x+3)(x-1) \le 0 \]
这便将分式不等式简化成了标准二次不等式，你可以用第 2 节的草图法求解！（解为根的“内部”，即 \(-3 \le x \le 1\)。记住最后要手动剔除 \(x=1\)，因为它是由分母产生的临界值。）
第 4 节：代数不等式的证明
在进阶纯数中，你经常需要证明某个代数表达式总是正数，或者总是大于另一个表达式。
核心工具：平方的非负性
证明不等式最重要的原则是：
对于任何实数 \(x\)，\(x^2 \ge 0\)。
（实数的平方必须为零或正数。）
这类证明的目标是将表达式化为 \((\text{某项的平方}) + (\text{正数})\) 的形式。
证明方法：配方法
如果我们能证明 \(P(x) = (x-a)^2 + k\)，且 \(k\) 是正数，那么由于 \((x-a)^2 \ge 0\)，必然有 \(P(x) \ge 0 + k\)，即 \(P(x) > 0\)。
示例 1：证明对于所有实数 \(x\)，\(x^2 - 4x + 7 > 0\)。
我们对表达式进行配方：
\(x^2 - 4x + 7\)
\(= (x-2)^2 - 2^2 + 7\) （别忘了减去多加的平方）
\(= (x-2)^2 - 4 + 7\)
\(= (x-2)^2 + 3\)
现在进行证明：
因为对于所有实数 \(x\)，\((x-2)^2 \ge 0\)，
所以，\((x-2)^2 + 3 \ge 0 + 3\)
即 \(x^2 - 4x + 7 \ge 3\)
由于 \(3 > 0\)，我们成功证明了 \(x^2 - 4x + 7 > 0\)。
证明示例 2：比较两个表达式
有时你需要证明 \(A > B\)。最简单的方法是证明它们的差 \(A - B\) 是正数。
示例：证明 \(x^2 + y^2 \ge 2xy\)。
1. 移项，展示差值非负：
我们需要证明 \(x^2 + y^2 - 2xy \ge 0\)。
2. 识别代数恒等式：
\(x^2 - 2xy + y^2\) 是 \((x-y)^2\) 的完全平方展开式。
3. 最终证明：
因为 \(x^2 + y^2 - 2xy = (x-y)^2\)，
且任何实数的平方为非负，所以 \((x-y)^2 \ge 0\)。
因此，\(x^2 + y^2 - 2xy \ge 0\)，即 \(x^2 + y^2 \ge 2xy\)。
（等号仅在 \(x-y = 0\)，即 \(x=y\) 时成立。）
证明的关键要点
永远寻找利用 \((...)^2 \ge 0\) 这一事实的机会。在处理不等式证明中的二次表达式时，配方法是你最好的助手。
核心概念总结
你现在已经掌握了恒等式与不等式的本质区别，并学会了进阶纯数所需的各种高级技巧！
恒等式： 通过变形一边 (\(\equiv\)) 使其与另一边相等来证明。
二次不等式： 通过求临界值和绘制图像来确定取值范围。
分式不等式： 必须先移项合并成单个分式，再求分子分母的临界值。严禁交叉相乘！
不等式证明： 利用基本属性 \(x^2 \ge 0\)，通常通过配方或构造完全平方形式来实现。
坚持练习这些技巧——它们是通往高阶数学的关键工具！