夹逼定理

贡献者： 欄、停敘; JierPeter

　　 夹逼定理（Squeeze Theorem，或称夹挤定理）

　　 夹逼定理（squeeze theorem），又称夹逼定理、夹极限定理、三明治定理、逼近定理、迫敛定理、两边夹定理等。其含义很直观：直观的含义是，如果有两个数列或者函数趋近于同一个极限，那么一直被这两个数列或者函数夹在中间的数列也必然趋近于这一极限。

　　 举个例子：取数列 $\{a_n\}, \{b_n\}, \{c_n\}$，如果 $a_n=0$，$b_n=1/n^2$，$c_n=1/n$，那么在 $n\to\infty$ 的过程中，一直有 $a_n< b_n< c_n$，也就是 $b_n$ 一直被夹在中间；由于 $a_n$ 和 $c_n$ 的极限相同，夹逼定理断言 $b_n$ 的极限也跟它们一样。

　　 这个例子过于平凡，因为很容易计算出这三个数列的极限，不需要夹逼定理，也能靠计算结果知道，三者的极限都是 $0$。然而，实践中常遇到不知如何分析的极限，有时候就可以利用夹逼定理，将难以计算的数列或者函数夹在已经算出极限的数列和函数中间，绕过复杂的详细分析而得到答案。

　　 一个特别经典的例子如下。

例 1　正弦小角极限

　　 在函数的极限（极简微积分）的例 1 和小角极限（极简微积分）中提到

\begin{equation} \lim_{x\to 0}\frac{\sin x}{x}=1~, \end{equation}

但并未证明。现在我们用夹逼定理就可以证明。

　　 这个极限是一个关键节点，有了它才能顺利地计算出 $ \sin\left(x\right) $ 的导函数，进而得到大量实用的导函数，并开启微积分的大门。

图 1：正弦小角近似应用夹逼定理的示意图。图中点 $A$ 和 $C$ 都在单位圆上，点 $B$ 在 $OA$ 延长线上，$BC$ 垂直于横轴。

　　 在平面直角坐标系中作单位圆，并取一个任意角度 $x$，使得 $0< x<\frac{\pi}{2}$，如图 1 所示。图中三角形 $AOC$ 底边 $OC$ 长为 $1$，高为 $\sin x$，因此面积是 $\frac{1}{2}\sin x$；三角形 $BOC$ 底边 $OC$ 长为 $1$，高为 $\tan x$，因此面积是 $\frac{1}{2}\tan x$；扇形 $ACO$ 的面积为 $\frac{1}{2}x$。根据这三个几何图形的互相包含关系，可知它们的面积满足

\begin{equation} \frac{1}{2}\sin x < \frac{1}{2}x < \frac{1}{2}\tan x~. \end{equation}

将该不等式中所有部分同时乘以 $2$、取倒数、乘以 $\sin x$，即可化为

\begin{equation} 1<\frac{\sin x}{x}<\cos x~. \end{equation}

于是，当 $x\to 0^+$ 时，函数 $\frac{\sin x}{x}$ 总是被夹在 $1$ 和 $\cos x$ 中间，而 $1$ 和 $\cos x$ 的极限都是 $1$，从而得证 $\lim\limits_{x\to 0^+}\frac{\sin x}{x}=1$。类似地，也可以得到 $\lim\limits_{x\to 0^-}\frac{\sin x}{x}=1$，从而完整证明该小角极限。

　　 夹逼定理果然很好用！

　　 为了保证上述证明严谨，并且方便在更多场景准确应用夹逼定理，下面将准确表述夹逼定理并证明。

1. 定理表述与证明

　　 证明：

　　 由于 $\lim_{n\to\infty}a_n=m$，可知对于任意 $\varepsilon>0$，存在正整数 $N_a$ 使得对于任意 $n>N_a$，都有 $ \left\lvert a_n-m \right\rvert <\varepsilon$。同理，对于同一个 $\varepsilon>0$，存在正整数 $N_b$ 使得对于任意 $n>N_b$，都有 $ \left\lvert b_n-m \right\rvert <\varepsilon$。

　　 令 $N_\varepsilon=\max\{N_a, N_b\}$，于是对于任意 $n>N_\varepsilon$，都有 $ \left\lvert a_n-m \right\rvert <\varepsilon$ 且 $ \left\lvert b_n-m \right\rvert <\varepsilon$。由于 $a_n\leq x_n$，可知 $x_n>m-\varepsilon$；由于 $x_n\leq b_n$，可知 $x_n< m+\varepsilon$。综上，$ \left\lvert x_n-m \right\rvert <\varepsilon$。

　　 上述结论可简写为：对于任意 $\varepsilon>0$，存在正整数 $N_\varepsilon$ 使得对于任意 $n>N_\varepsilon$，都有 $ \left\lvert x_n-m \right\rvert <\varepsilon$；意即 $\lim\limits_{n\to\infty}x_n = m$。

　　 证毕。

　　 证明：

　　 函数的极限定义为：若对于任意趋于 $x_0$ 的数列 $\{a_n\}$，数列 $\{f(a_n)\}$ 趋于 $a$，则称 “在 $x$ 趋于 $x_0$ 的时候，函数 $f(x)$ 趋于 $a$”。

　　 现在任取趋于 $x_0$ 的数列 $\{a_n\}$，则可构造出三个数列 $\{f(a_n)\}$、$\{g(a_n)\}$ 和 $\{h(a_n)\}$，由题设，根据数列极限的夹逼定理（定理 1 ）可知，$\lim\limits_{n\to\infty}f(a_n)=a$。由数列 $\{a_n\}$ 的任意性，得证。

　　 证毕。

2. 夹逼定理的奇技淫巧

　　 在面对不太容易通过极限运算得到结果的极限时，尤其是涉及到复合、求和等场景或存在比较显然的不等关系时，记得使用夹逼定理，可以收获奇效。事实上，在使用夹逼定理时，其实是把复杂的对极限的运算转移到了构造不等式上来。而且，就像乱拳打死老师傅，由于不需要考虑中间的极限是否存在，也能够避免一些需要讨论存在性的场景，避免出错（说的就是你，洛必达法则）。

　　 当然，这里对于不等式的构造会有一定的要求，所以下面会提供一些常用的不等关系，一起服用，效果极佳。

• $\sin x < x < \tan x, \quad x \in \left(0, \frac{\pi}{2}\right)$
• $\sin x \leq x, \quad x \in (0, +\infty)$
• $\arctan x \leq x \leq \arcsin x, \quad x \in [0, 1] $
• $x + 1\leq e^x$
• $\ln x\leq x - 1 , \quad x \in (0, +\infty)$
• $\frac{1}{1 + x} \leq \ln\left(1 + \frac{1}{x}\right) \leq \frac{1}{x}, \quad x \in (0, +\infty)$
• $\sqrt{xy} \leq \frac{x + y}{2} \leq \sqrt{\frac{x^2 + y^2}{2}}, \quad (x, y > 0)$

　　 另外，在处理求和的极限时，将与 n 相关的分子或分母进行放大或缩小，使其能够消去或易于计算，也是一个好方法。

3. 数列极限的夹逼定理证明

　　 先回顾一下定理 1 内容，下面给出证明：

　　 已知 $\lim_{n \to \infty} a_n = \lim_{n \to \infty} b_n = m$，由极限定义可知，对于给定的 $\varepsilon > 0$，存在一个正整数 $N_1$，使得当 $n > N_1$ 时，$|a_n - m| < \varepsilon$。同理，存在一个正整数 $N_2$，使得当 $n > N_2$ 时，$|b_n - m| < \varepsilon$。取 $N_m = \max(N_1, N_2)$。当 $n > N_m$ 时，以上两不等式同时成立，即：

　　 又已知 $\exists N_0\in \mathbb{N}$，$\forall n>N_0$，$a_n\leq x_n\leq b_n$，因此，取 $N=\max(N_0, N_m)$，当 $n > N$ 时，三个不等式均成立，有：

　　 根据极限的定义，可知极限存在且为 $m$，即 $\lim_{n \to \infty} x_n = m$。

　　 证毕。

4. 函数极限的夹逼定理证明

　　 先回顾一下定理 2 的内容，下面会先证明一个引理，然后再给出证明。

　　 证明：

　　 由存在确定的 $\delta>0$，使得对任意符合 $0<|x-x_0|<\delta$ 的 $x$，都有 $g(x)\leq f(x)\leq h(x)$，变形可得 $0\leq f(x)-g(x)\leq h(x)-g(x)$。目标是使用引理 1 来求取 $\lim _{x\to x_0}(f(x)-g(x))$，因此，下面求 $\lim _{x\to x_0}(h(x)-g(x))$。 $$ \begin{align*} \lim _{x\to x_0}(h(x)-g(x))&\overset{\mathrm{1}}{=}\lim _{x\to x_0}h(x)-\lim _{x\to x_0}g(x)\\ &=a-a\\ &=0~. \end{align*} $$

　　 因此，由引理 1 可知 $\lim _{x\to x_0}(f(x)-g(x))=0$。现在已经求得了 $\lim _{x\to x_0}(f(x)-g(x))$，又已知 $\lim _{x\to x_0}g(x)$，剩下的就是： $$ \begin{align*} \lim _{x\to x_0}f(x) &= \lim _{x\to x_0}[(f(x)-g(x))+g(x)] \\ &\overset{\mathrm{1}}{=} \lim _{x\to x_0}(f(x)-g(x))+\lim _{x\to x_0}g(x)\\ &= 0+a\\ &=a~.\end{align*} $$ 上面的推导过程中，所有等号 1 的地方都使用了极限运算法则的定理 1 。

　　 证毕。