放缩法(Scaling/Bounding)是数学中最迷人、也最让初学者头疼的技巧之一。它被广泛应用于数列求和、函数证明、积分估计等领域。
放缩的本质是**“寻找桥梁”**:你要证明 $A < C$,但直接证明很难。于是你找一个中间量 $B$,证明 $A < B$ 且 $B \le C$。
放缩最难的地方在于**“把握火候(度)”**:
- 放缩太狠(太宽): 得到了 $A < B$,但发现 $B > C$,桥断了,证明失败。
- 放缩太弱(太紧): 得到了 $A < B$,但 $B$ 依然极其复杂,无法化简,算不下去。
为了让你系统地掌握放缩技巧,我将它分为三大工具箱和四大心法。
第一部分:放缩的三大“工具箱”
工具箱一:经典代数不等式(处理多项式、分式)
这是最基础的放缩,通常用于化简乘积和求和。
- 均值不等式 (AM-GM):
- $a^2 + b^2 \ge 2ab$
- $a+b \ge 2\sqrt{ab}$ (当 $a,b > 0$ 时)
- 用法: 用于“和变积”或“积变和”。遇到平方和、倒数和时经常使用。
- 糖水不等式:
- 若 $0 < a < b$,$m > 0$,则 $\frac{a}{b} < \frac{a+m}{b+m}$ (分子分母同加一个正数,分式变大)。
- 用法: 调整分式的上下限。
- 绝对值三角不等式:
- $||a| - |b|| \le |a \pm b| \le |a| + |b|$
- 用法: 剥离绝对值符号。
工具箱二:微积分与超越函数(四大天王)
这里直接衔接你刚才提问的泰勒展开与切线放缩。处理含有 $e^x, \ln x, \sin x$ 的式子,这四个基本不等式必须刻在脑子里:
- 指数放缩: $e^x \ge x + 1$ (当且仅当 $x=0$ 取等号)
- 变式: $e^x \ge 1 + x + \frac{x^2}{2}$ ($x \ge 0$ 时)
- 对数放缩: $\ln x \le x - 1$ (当且仅当 $x=1$ 取等号)
- 变式: $\ln(1+x) \le x$ ($x > -1$ 时)
- 变式(下界): $\ln(1+x) > \frac{x}{x+1}$ ($x > 0$ 时)
- 三角函数放缩: $\sin x < x < \tan x$ ($x \in (0, \frac{\pi}{2})$)
- 变式(泰勒): $\sin x > x - \frac{x^3}{6}$ ($x>0$)
- 代数幂放缩(伯努利不等式): $(1+x)^n \ge 1 + nx$ ($x > -1, n \ge 1$)
底层逻辑: 这些不等式的几何意义都是**“凸函数在切线的上方,凹函数在切线的下方”**。遇到超越函数,先想能不能用切线把它变成多项式。
工具箱三:数列裂项放缩(处理连加 $\Sigma$)
如果题目要求你证明一个数列的和 $S_n < \text{某个常数}$,你必须把通项放缩成可以**“裂项相消”**的形式。
- 分母平方放缩(最经典):
- 求和:$\frac{1}{1^2} + \frac{1}{2^2} + \frac{1}{3^2} + \dots + \frac{1}{n^2}$
- 放缩:因为 $\frac{1}{n^2} < \frac{1}{n(n-1)} = \frac{1}{n-1} - \frac{1}{n}$ ($n \ge 2$)
- 求和后中间项全部消掉,最终必定小于 2。
- 根号放缩:
- 遇到 $\frac{1}{\sqrt{n}}$ 怎么办?
- 利用 $\sqrt{n} + \sqrt{n} < \sqrt{n} + \sqrt{n+1}$,或者利用有理化:
- $\frac{1}{\sqrt{n}} = \frac{2}{2\sqrt{n}} < \frac{2}{\sqrt{n} + \sqrt{n-1}} = 2(\sqrt{n} - \sqrt{n-1})$
- 这样求和也能裂项。
- 阶乘放缩:
- $n! = 1 \cdot 2 \cdot 3 \dots n \ge 1 \cdot 2 \cdot 2 \dots 2 = 2^{n-1}$
- 所以 $\frac{1}{n!} \le \frac{1}{2^{n-1}}$,把阶乘放缩成了等比数列求和。
第二部分:放缩的四大“心法”(实战策略)
工具都有了,做题时该怎么思考呢?
心法一:“看菜下饭”(目标导向)
放缩不是盲目的,你要看不等式右边的目标是什么。
- 如果目标是 $e$ 或者指数,考虑用 $e^x \ge x+1$ 或等比数列放缩。
- 如果目标是一个常数(比如证明 $S_n < \frac{3}{2}$),说明一定可以裂项相消。
- 如果目标是多项式,立刻想到泰勒展开或切线放缩。
心法二:“丢车保帅”(保留前几项)—— 解决“放缩太狠”
很多时候,通项放缩后求和,发现结果比目标值大了一点点(比如目标要求 $< 2$,你算出来 $< 2.5$)。这说明你放缩太狠了。 绝招:前几项不放缩,直接算出来,从第3项或第4项开始放缩。
- 例子: 证 $\sum \frac{1}{n^2} < \frac{7}{4}$。 如果全放缩成 $\frac{1}{n(n-1)}$,结果是 $< 2$,太大了。 调整:第一项 $\frac{1}{1^2} = 1$,第二项 $\frac{1}{2^2} = \frac{1}{4}$ 不动。从 $n=3$ 开始放缩为 $\frac{1}{n(n-1)}$。 加起来就是 $1 + \frac{1}{4} + (\frac{1}{2} - \frac{1}{n}) < \frac{7}{4}$。完美解决!
心法三:“步步为营”(分段放缩/多次放缩)
遇到复杂的式子,不要企图一步到位。
- 比如 $\ln(1 + \frac{1}{n^2})$,先用 $\ln(1+x) < x$ 把它放缩成 $\frac{1}{n^2}$。
- 再把 $\frac{1}{n^2}$ 用裂项放缩成 $\frac{1}{n-1} - \frac{1}{n}$。 这就是连续两次使用不同工具箱。
心法四:“主元法”(求导找极值)—— 万能兜底法
如果你找不到任何巧妙的放缩公式,直接构造函数求导! 你要证明 $f(x) < g(x)$:
- 令 $h(x) = g(x) - f(x)$。
- 对 $h(x)$ 求导,分析单调性。
- 证明 $h(x)$ 的最小值大于等于 0。 (虽然笨重,但对于连续函数几乎是万能的,这其实也是你推导泰勒展开不等式的过程)。
总结一个实战演练
题目: 求证当 $x>0$ 时, $e^x > 1 + x + \frac{x^2}{2} + \frac{x^3}{6}$ (我们用放缩的思维推一次)
思路1:泰勒(上帝视角) 我们知道 $e^x$ 的泰勒展开是 $1 + x + x^2/2! + x^3/3! + x^4/4! + \dots$ 因为 $x>0$,后面的项都是正的,直接截断,立刻得证。
思路2:微积分构造法(考试得分写法) 令 $f(x) = e^x - (1 + x + \frac{x^2}{2} + \frac{x^3}{6})$ $f'(x) = e^x - (1 + x + \frac{x^2}{2})$ $f''(x) = e^x - (1 + x)$ $f'''(x) = e^x - 1$ 因为 $x>0$,$e^x > 1$,所以 $f'''(x) > 0 \implies f''(x)$ 递增 $\implies f''(x) > f''(0) = 0 \implies f'(x)$ 递增 $\dots$ 以此类推,最终 $f(x) > f(0) = 0$。
放缩法像是一门“估算”的艺术。建议你平时做题时,不要只看标准答案那个突兀的放缩公式,而是要去推敲:作者最初是怎么猜到这个放缩方向的?他是不是试错了好几次? 这样你的功力才会突飞猛进。