1.5极限运算法则
阅读入口
法则的前提与不定型
极限的四则运算法则解决的是这样一类问题:已知 与 各自的极限,求 、、 等组合的极限。
设 ,。当 、 都是有限数时,组合的极限由 、 唯一确定,这就是四则运算法则成立的前提。若组合的极限不能由各部分的极限直接确定,这类情形称为不定型,包括
出现不定型时四则运算法则失效,必须先做变形,再重新求极限。
教材先立“参与运算的极限都存在且有限”这个前提,才写出四则运算法则;本节每用一个公式,都要先回头核对这条前提。
四则运算与比较法则
四则运算法则
若 ,,且 、 都是有限数,则
- 和差法则:。
- 常数乘法法则:,其中 为常数。
- 积法则:。
- 商法则:,前提是 。
- 幂法则:,其中 为常数。
夹逼定理
设 、、 在 的某去心邻域内(或 时)满足
且 ,则 。
证明
设 。任给 ,存在 的去心邻域,使其中同时有
在该邻域内,
即 。因此 。
保号性
若 且 (或 ),则在 的某一去心邻域内有 (或 )。
极限值与不等式
若在 的某一去心邻域内 ,且 、 都存在,则
常用求极限方法
求极限时先直接代入(连续点),不能代入就考察类型,再选择变形方法。
代入法
若 在 处连续,则 。初等函数在其定义区间内都连续,所以这类极限可以直接代入。连续性的定义与判断见 函数在一点的连续性。
消去不定型
针对不同的不定型,常用以下变形手段。
代数变形
- 因式分解与约分:针对 型的有理式。例如
- 根式有理化:针对含根式的 型或 型,乘以共轭表达式消去根式。
- 提取最高次幂:针对 时的 型,分子分母同除以 的最高次幂。
洛必达法则
若 (或都趋于 ),、 在 的去心邻域内可导且 ,并且 存在(或为 ),则
等价无穷小代换
当 时,若 ,则乘积或商中的因子 可以用 替换;和差中的项不能直接逐项替换。基本等价关系与替换条件见 等价无穷小。
泰勒展开
对于含多种初等函数的 型,若洛必达法则求导次数多、计算量大,可把分子分母分别展开到最低非零次幂再比较。
转化为指数形式
对于幂指函数产生的 、、 型,先利用对数恒等式把 写成 ,求出指数部分的极限 ,原极限为 。
两个重要极限
第一个重要极限处理 型的三角函数,第二个重要极限处理 型。两者的结构、变形方法和几何意义见 两个重要极限。
夹逼定理与保号性用于证明极限和比较不等式;“易错点”中的不等式规则来自这两条定理。
学习安排
教材在这一节把四则运算法则、夹逼定理与保号性放在一起:先给出“极限存在且有限”时的运算规则,再补两个判定工具,最后列出常用的求极限方法,作为后续几节的索引。
方法清单中只有代入法和代数变形属于本节;洛必达法则与泰勒展开要到第2、3章才有工具支持,两个重要极限和等价无穷小分别在1.6、1.7展开。阅读时先分清“直接代入”和“先识别不定型”两类情形,再按类型查找方法。
课程约定
- 本节所有四则运算法则都以“参与运算的极限都存在且为有限值”为前提,商法则额外要求分母极限不为 。
- ()、、 都是法则失效的情形,遇到时先变形。
- 代入法的依据是函数在该点连续,而连续性到1.8才正式定义,见函数在一点的连续性。本节只把它当作“初等函数在定义区间内可以直接代入”的使用规则。
易错点
- 即使 恒成立,极限仍可能相等,例如 与 在 时。
- 洛必达法则只处理 与 型;、 等必须先转化。
- 等价无穷小只能替换乘积或商中的因子,和差中的项不能逐项替换。
复习要点
求极限的顺序:先看是不是连续点、能否直接代入;不能代入就判断不定型,再决定用代数变形、等价替换还是重要极限。法则本身只负责在极限已存在时拆分运算,不负责证明极限存在。