定理已证明
夹逼定理
命题陈述
若对 a 附近所有 x(a 处可除外)都有 g(x)≤f(x)≤h(x),且 limx→ag(x)=limx→ah(x)=L,则 limx→af(x)=L。
为什么成立?
被夹在两个都收敛于同一值的量之间的量,没有余地跑到别处去——就像被两堵同时向同一点靠拢的墙夹在中间的人一样。
证明思路
固定 ε>0。由 g(x)→L 及 h(x)→L,存在 δ>0,使当 0<∣x−a∣<δ 时,∣g(x)−L∣<ε 且 ∣h(x)−L∣<ε,即 L−ε<g(x) 且 h(x)<L+ε。结合 g(x)≤f(x)≤h(x),对所有这样的 x 都有 L−ε<f(x)<L+ε,即 ∣f(x)−L∣<ε。由于 ε 任意,故 f(x)→L。