夹逼定理 和 洛必达法则 是 广大师生 耳熟能详 喜闻乐见 的 求极限 定理 。
这篇文章 也是 由 《这一题该怎么证明？》 https://tieba.baidu.com/p/7541594883 这个 帖 引出来 的 ， 为什么 说 “也” 呢 ？ 《这一题该怎么证明？》 里 列了 几道题， 我先做了 第 21 题， 见 《一道数学题 ： 数列 { bn } 收敛， 证明 { an } 也收敛》 https://www.cnblogs.com/KSongKing/p/15306962.html 。 然后 又 看了 第 19 题， 想到了 夹逼定理， 进而 又 想到了 洛必达法则 。
证明 夹逼定理 ，
设 数列 { an } 、{ bn } 、{ cn } ， an < cn < bn ， 当 n -> 无穷 时， an -> A， bn -> A， A 为常量 ， 试证明 cn -> A 。
因为 an < cn < bn ，
cn - an = d1 ， d1 > 0
bn - cn = d2 ， d2 > 0
bn - an = d1 + d2
当 n -> 无穷 时， an -> A， bn -> A，
于是， 当 n -> 无穷 时， bn - an -> A - A = 0 ，
bn - an = d1 + d2 -> A - A = 0
d1 + d2 -> 0
因为 d1 + d2 -> 0 ， d1 > 0 ， d2 > 0 ， 所以 d1 -> 0 ， d2 -> 0 ，
因为 cn - an = d1 ， cn = an + d1 ， 当 n -> 无穷 时， an -> A， d1 -> 0 ，
所以， 当 n -> 无穷 时 ， cn = an + d1 -> A + 0 = A
当 n -> 无穷 时， cn -> A
证明 洛必达法则 ，
洛必达法则 其实 就是 看 两个 函数 都 趋于 0 时， 谁 趋近 的 快 ？ 快多少 ？
根据 导数 的 定义，
f ′ ( x ) = [ f ( x + ⊿ x ) - f ( x ) ] / ⊿ x , ⊿ x -> 0
g ′ ( x ) = [ g ( x + ⊿ x ) - g ( x ) ] / ⊿ x , ⊿ x -> 0
当 f ( x ) = 0 ， g ( x ) = 0 时，
f ′ ( x ) / g ′ ( x )
= [ f ( x + ⊿ x ) - f ( x ) ] / [ g ( x + ⊿ x ) - g ( x ) ]
= [ f ( x + ⊿ x ) - 0 ] / [ g ( x + ⊿ x ) - 0 ]
= f ( x + ⊿ x ) / g ( x + ⊿ x ) ， ⊿ x -> 0
因为 ⊿ x -> 0 ， 所以 f ( x + ⊿ x ) -> f ( x ) ， g ( x + ⊿ x ) -> g ( x ) ， f ( x + ⊿ x ) / g ( x + ⊿ x ) -> f ( x ) / g ( x )
于是， f ′ ( x ) / g ′ ( x ) = f ( x + ⊿ x ) / g ( x + ⊿ x ) -> f ( x ) / g ( x )
f ′ ( x ) / g ′ ( x ) -> f ( x ) / g ( x )
即 当 f ( x ) = 0 ， g ( x ) = 0 时， f ′ ( x ) / g ′ ( x ) -> f ( x ) / g ( x )
还可以 这样 证 ，
当 x -> x₀ 时， f ( x ) = f ( x₀ ) + f ′ ( x₀ ) ⊿ x ， g ( x ) = g ( x₀ ) + g ′ ( x₀ ) ⊿ x
若 f ( x₀ ) = 0 ， g ( x₀ ) = 0
f ( x ) / g ( x )
= [ f ( x₀ ) + f ′ ( x₀ ) ⊿ x ] / [ g ( x₀ ) + g ′ ( x₀ ) ⊿ x ]
= [ 0 + f ′ ( x₀ ) ⊿ x ] / [ 0 + g ′ ( x₀ ) ⊿ x ]
= [ f ′ ( x₀ ) ⊿ x ] / [ g ′ ( x₀ ) ⊿ x ]
= f ′ ( x₀ ) / g ′ ( x₀ )
即 当 x -> x₀ 时， 若 f ( x₀ ) = 0 ， g ( x₀ ) = 0 ， 则 f ( x ) / g ( x ) = f ′ ( x₀ ) / g ′ ( x₀ )
还可以 这样 证 ，
若 f ( x₀ ) = 0 ， g ( x₀ ) = 0 ， 有
f ( x ) = f ( x ) - 0 = f ( x ) - f ( x₀ )
g ( x ) = g ( x ) - 0 = g ( x ) - g ( x₀ )
f ( x ) / g ( x )
= [ f ( x ) - f ( x₀ ) ] / [ g ( x ) - g ( x₀ ) ]
当 x -> x₀ 时
= [ f ′ ( x₀ ) ⊿ x ] / [ g ′ ( x₀ ) ⊿ x ]
= f ′ ( x₀ ) / g ′ ( x₀ )
即 若 f ( x₀ ) = 0 ， g ( x₀ ) = 0 ， 当 x -> x₀ 时， f ( x ) / g ( x ) = f ′ ( x₀ ) / g ′ ( x₀ )
还可以 这样 证 ，
设 ʃ f ′ ( x ) dx = f1( x ) + C ， ʃ g ′ ( x ) dx = g1 ( x ) + C
有 f ( x ) = f1 ( x ) + C (1) 式
若 f ( x₀ ) = 0 ， g ( x₀ ) = 0
将 f ( x₀ ) = 0 代入 (1) 式，
f ( x₀ ) = f1 ( x₀ ) + C
0 = f1 ( x₀ ) + C
C = - f1 ( x₀ )
把 C 代回 (1) 式，
f ( x ) = f1 ( x ) - f1 ( x₀ )
同理， g ( x ) = g1 ( x ) - g1 ( x₀ )
f ( x ) / g ( x )
= [ f1 ( x ) - f1 ( x₀ ) ] / [ g1 ( x ) - g1 ( x₀ ) ]
当 x -> x₀ 时
= [ f ′ ( x₀ ) ⊿ x ] / [ g ′ ( x₀ ) ⊿ x ]
= f ′ ( x₀ ) / g ′ ( x₀ )
即 若 f ( x₀ ) = 0 ， g ( x₀ ) = 0 ， 当 x -> x₀ 时， f ( x ) / g ( x ) = f ′ ( x₀ ) / g ′ ( x₀ )
以上 是 夹逼定理 和 洛必达法则 。
在 网上 经常看到说 求 sin x / x , x -> 0 的 极限 是 用 夹逼定理， 那 要 怎么 “夹” ？ 用 什么 夹 ？ 我们来试试 。
一天后， 想了一天， 也 没想出来 用 夹逼定理 怎么 求 sin x / x , x -> 0 。 比如 x / x = 1， x / x > sin x / x ， 当 x -> 0 时， x / x -> 1 。 这算是 用来 “夹” sin x / x 的 一边， 还要 找 另一边 g ( x ) ， g ( x ) < sin x / x ， 当 x -> 0 时， g ( x ) -> 1 。
问题 是 这个 g ( x ) 怎么找 ？ 即使 找到了 ， 很可能 g ( x ) 的 表达式 比 sin x / x 还复杂， 求 g ( x ) , x -> 0 可能比 求 sin x / x , x -> 0 更复杂 。
g ( x ) , x -> 0 表示 x -> 0 时， g ( x ) -> ? ， 也就是 x -> 0 时， g ( x ) 的 极限， 也就是 lim g ( x ) , x -> 0 。
求 g ( x ) , x -> 0 也要 处理 圆弧 和 弦 的 关系， 或者说 三角函数 关系 。
sin x / x , x -> 0 已经是 最简单 的 一个 极限 ， 其实 用 洛必达法则 最简单 。
因为 当 x = 0 时， sin x = 0， x = 0
于是， 当 x -> 0 时，
sin x / x
= ( sin x ) ′ / x ′
= cos x / 1
= cos x
= cos 0
= 1