知识点

极限的四则运算与比较法则

定义

极限的四则运算法则解决的是这样一类问题:已知 ff 与 gg 各自的极限,求 f±gf\pm g、fgfg、f/gf/g 等组合的极限。

设 lim⁡x→x0f(x)=A\lim_{x \to x_0}f(x)=A,lim⁡x→x0g(x)=B\lim_{x \to x_0}g(x)=B。当 AA、BB 都是有限数时,组合的极限由 AA、BB 唯一确定,这就是四则运算法则成立的前提。若组合的极限不能由各部分的极限直接确定,这类情形称为不定型,包括

00,∞∞,1∞,00,∞0,∞−∞,0⋅∞.\frac{0}{0},\quad \frac{\infty}{\infty},\quad 1^\infty,\quad 0^0,\quad \infty^0,\quad \infty-\infty,\quad 0\cdot\infty.

出现不定型时四则运算法则失效,必须先做变形,再重新求极限。

四则运算与比较法则

四则运算法则

若 lim⁡f(x)=A\lim f(x)=A,lim⁡g(x)=B\lim g(x)=B,且 AA、BB 都是有限数,则

  1. 和差法则:lim⁡[f(x)±g(x)]=lim⁡f(x)±lim⁡g(x)=A±B\lim[f(x)\pm g(x)]=\lim f(x)\pm\lim g(x)=A\pm B。
  2. 常数乘法法则:lim⁡[Cf(x)]=Clim⁡f(x)=CA\lim[Cf(x)]=C\lim f(x)=CA,其中 CC 为常数。
  3. 积法则:lim⁡[f(x)⋅g(x)]=lim⁡f(x)⋅lim⁡g(x)=AB\lim[f(x)\cdot g(x)]=\lim f(x)\cdot\lim g(x)=AB。
  4. 商法则:lim⁡f(x)g(x)=lim⁡f(x)lim⁡g(x)=AB\lim\dfrac{f(x)}{g(x)}=\dfrac{\lim f(x)}{\lim g(x)}=\dfrac{A}{B},前提是 B≠0B\ne 0。
  5. 幂法则:lim⁡[f(x)]n=[lim⁡f(x)]n=An\lim[f(x)]^n=[\lim f(x)]^n=A^n,其中 nn 为常数。

夹逼定理

设 f(x)f(x)、g(x)g(x)、h(x)h(x) 在 x0x_0 的某去心邻域内(或 x→∞x\to\infty 时)满足

f(x)≤g(x)≤h(x),f(x)\le g(x)\le h(x),

且 lim⁡f(x)=lim⁡h(x)=L\lim f(x)=\lim h(x)=L,则 lim⁡g(x)=L\lim g(x)=L。

证明

设 lim⁡f(x)=lim⁡h(x)=L\lim f(x)=\lim h(x)=L。任给 ε>0\varepsilon>0,存在 x0x_0 的去心邻域,使其中同时有

L−ε<f(x),h(x)<L+ε.L-\varepsilon<f(x),\qquad h(x)<L+\varepsilon.

在该邻域内,

L−ε<f(x)≤g(x)≤h(x)<L+ε,L-\varepsilon<f(x)\le g(x)\le h(x)<L+\varepsilon,

即 ∣g(x)−L∣<ε|g(x)-L|<\varepsilon。因此 lim⁡g(x)=L\lim g(x)=L。

保号性

若 lim⁡x→x0f(x)=A\lim_{x \to x_0}f(x)=A 且 A>0A>0(或 A<0A<0),则在 x0x_0 的某一去心邻域内有 f(x)>0f(x)>0(或 f(x)<0f(x)<0)。

极限值与不等式

若在 x0x_0 的某一去心邻域内 f(x)≤g(x)f(x)\le g(x),且 lim⁡f(x)\lim f(x)、lim⁡g(x)\lim g(x) 都存在,则

lim⁡f(x)≤lim⁡g(x).\lim f(x)\le \lim g(x).

常用求极限方法

求极限时先直接代入(连续点),不能代入就考察类型,再选择变形方法。

代入法

若 ff 在 x0x_0 处连续,则 lim⁡x→x0f(x)=f(x0)\lim_{x \to x_0}f(x)=f(x_0)。初等函数在其定义区间内都连续,所以这类极限可以直接代入。连续性的定义与判断见 函数在一点的连续性。

消去不定型

针对不同的不定型,常用以下变形手段。

代数变形

  • 因式分解与约分:针对 00\dfrac{0}{0} 型的有理式。例如 lim⁡x→1x2−1x−1=lim⁡x→1(x−1)(x+1)x−1=lim⁡x→1(x+1)=2.\lim_{x \to 1}\frac{x^2-1}{x-1} =\lim_{x \to 1}\frac{(x-1)(x+1)}{x-1} =\lim_{x \to 1}(x+1)=2.
  • 根式有理化:针对含根式的 00\dfrac{0}{0} 型或 ∞−∞\infty-\infty 型,乘以共轭表达式消去根式。
  • 提取最高次幂:针对 x→∞x\to\infty 时的 ∞∞\dfrac{\infty}{\infty} 型,分子分母同除以 xx 的最高次幂。

洛必达法则

若 lim⁡x→x0f(x)=lim⁡x→x0g(x)=0\lim_{x \to x_0}f(x)=\lim_{x \to x_0}g(x)=0(或都趋于 ∞\infty),ff、gg 在 x0x_0 的去心邻域内可导且 g′(x)≠0g'(x)\ne 0,并且 lim⁡x→x0f′(x)g′(x)\lim_{x \to x_0}\dfrac{f'(x)}{g'(x)} 存在(或为 ∞\infty),则

lim⁡x→x0f(x)g(x)=lim⁡x→x0f′(x)g′(x).\lim_{x \to x_0}\frac{f(x)}{g(x)}=\lim_{x \to x_0}\frac{f'(x)}{g'(x)}.

等价无穷小代换

当 x→0x\to 0 时,若 α(x)∼β(x)\alpha(x)\sim\beta(x),则乘积或商中的因子 α(x)\alpha(x) 可以用 β(x)\beta(x) 替换;和差中的项不能直接逐项替换。基本等价关系与替换条件见 等价无穷小。

泰勒展开

对于含多种初等函数的 00\dfrac{0}{0} 型,若洛必达法则求导次数多、计算量大,可把分子分母分别展开到最低非零次幂再比较。

转化为指数形式

对于幂指函数产生的 1∞1^\infty、∞0\infty^0、000^0 型,先利用对数恒等式把 f(x)g(x)f(x)^{g(x)} 写成 eg(x)ln⁡f(x)e^{g(x)\ln f(x)},求出指数部分的极限 LL,原极限为 eLe^L。

两个重要极限

第一个重要极限处理 00\dfrac{0}{0} 型的三角函数,第二个重要极限处理 1∞1^\infty 型。两者的结构、变形方法和几何意义见 两个重要极限。

例子

有理化处理根式

lim⁡x→01+x−1x=lim⁡x→0(1+x−1)(1+x+1)x(1+x+1)=lim⁡x→011+x+1=12.\lim_{x \to 0}\frac{\sqrt{1+x}-1}{x} =\lim_{x \to 0}\frac{(\sqrt{1+x}-1)(\sqrt{1+x}+1)}{x(\sqrt{1+x}+1)} =\lim_{x \to 0}\frac{1}{\sqrt{1+x}+1} =\frac{1}{2}.

提取最高次幂

lim⁡x→∞3x2+x2x2−1=lim⁡x→∞3+1x2−1x2=32.\lim_{x \to \infty}\frac{3x^2+x}{2x^2-1} =\lim_{x \to \infty}\frac{3+\dfrac{1}{x}}{2-\dfrac{1}{x^2}} =\frac{3}{2}.

用夹逼定理处理有界振荡因子

当 x≠0x\ne 0 时,0≤∣xsin⁡1x∣≤∣x∣0\le\left|x\sin\dfrac{1}{x}\right|\le|x|。由 lim⁡x→0∣x∣=0\lim_{x \to 0}|x|=0 及夹逼定理,

lim⁡x→0xsin⁡1x=0.\lim_{x \to 0}x\sin\frac{1}{x}=0.

探索

约分后为什么可以求极限?

比较原式与约分式在目标点附近的值。

正在准备演示…

题集

练习

  1. lim⁡x→1x2−1x−1=\lim_{x \to 1}\dfrac{x^2-1}{x-1}= 。

    参考解答

    分子分母都趋于 00,约去零因子 x−1x-1 后得 lim⁡x→1(x+1)=2\lim_{x \to 1}(x+1)=2。

  2. lim⁡x→∞3x2+x2x2−1=\lim_{x \to \infty}\dfrac{3x^2+x}{2x^2-1}=

    选择答案
    参考解答

    分子分母同除以 x2x^2,得 lim⁡x→∞3+1/x2−1/x2=32\lim_{x \to \infty}\dfrac{3+1/x}{2-1/x^2}=\dfrac{3}{2}。

  3. lim⁡x→0xsin⁡1x=\lim_{x \to 0}x\sin\dfrac{1}{x}= 。

    参考解答

    由 0≤∣xsin⁡1x∣≤∣x∣0\le\left|x\sin\dfrac{1}{x}\right|\le|x| 和夹逼定理得到。

  4. 关于极限与不等式,下列说法正确的是

    选择答案
    参考解答

    取极限会把严格不等式放宽为非严格不等式,f(x)=0f(x)=0 与 g(x)=x2g(x)=x^2 在 x→0x\to 0 时就是反例;四则运算法则要求极限存在且为有限值。

  5. 下列各式中,不是不定型的是

    选择答案
    参考解答

    10\dfrac{1}{0} 的分子不趋于 00,函数值的绝对值趋于无穷,不属于不定型;但商法则要求分母极限不为 00,所以也不能直接套用。