课程笔记

1.5极限运算法则

阅读入口

法则的前提与不定型

极限的四则运算法则解决的是这样一类问题:已知 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 型。两者的结构、变形方法和几何意义见 两个重要极限。

夹逼定理与保号性用于证明极限和比较不等式;“易错点”中的不等式规则来自这两条定理。

学习安排

教材在这一节把四则运算法则、夹逼定理与保号性放在一起:先给出“极限存在且有限”时的运算规则,再补两个判定工具,最后列出常用的求极限方法,作为后续几节的索引。

方法清单中只有代入法和代数变形属于本节;洛必达法则与泰勒展开要到第2、3章才有工具支持,两个重要极限和等价无穷小分别在1.6、1.7展开。阅读时先分清“直接代入”和“先识别不定型”两类情形,再按类型查找方法。

课程约定

  • 本节所有四则运算法则都以“参与运算的极限都存在且为有限值”为前提,商法则额外要求分母极限不为 00。
  • A/0A/0(A≠0A\ne0)、00\dfrac{0}{0}、∞∞\dfrac{\infty}{\infty} 都是法则失效的情形,遇到时先变形。
  • 代入法的依据是函数在该点连续,而连续性到1.8才正式定义,见函数在一点的连续性。本节只把它当作“初等函数在定义区间内可以直接代入”的使用规则。

易错点

  • 即使 f(x)<g(x)f(x)<g(x) 恒成立,极限仍可能相等,例如 f(x)=0f(x)=0 与 g(x)=x2g(x)=x^2 在 x→0x\to0 时。
  • 洛必达法则只处理 00\dfrac{0}{0} 与 ∞∞\dfrac{\infty}{\infty} 型;1∞1^\infty、0⋅∞0\cdot\infty 等必须先转化。
  • 等价无穷小只能替换乘积或商中的因子,和差中的项不能逐项替换。

复习要点

求极限的顺序:先看是不是连续点、能否直接代入;不能代入就判断不定型,再决定用代数变形、等价替换还是重要极限。法则本身只负责在极限已存在时拆分运算,不负责证明极限存在。