夹逼定理求极限例题-夹逼定理例题求解|从零掌握极限核心工具
本文系统梳理夹逼定理(Squeeze Theorem)在函数与数列极限计算中的完整应用体系,结合20+真实例题,深入剖析其逻辑结构、使用时机与思维路径,帮助读者突破“夹逼思维”瓶颈,实现从被动套用到主动构建的跃迁。
什么是夹逼定理?——超越字面的深层理解
夹逼定理不是“凑数公式”,而是数学严谨性的终极体现
夹逼定理(Squeeze Theorem)指出:若存在区间 I 上的三个函数 f(x), g(x), h(x),满足:
f(x) ≤ g(x) ≤ h(x) (∀x ∈ I, x ≠ a)
且
limx→a f(x) = limx→a h(x) = L
则必有:
limx→a g(x) = L
简言之:当上下界函数“汇合”于同一点时,中间被夹函数必然同步收敛。
夹逼定理在中文语境中也被称为“夹挤定理”“两面夹定理”或戏称为“压逼定理”,虽略带调侃,却生动揭示其核心机制——强制压缩。
与洛必达法则依赖可导性不同,夹逼定理仅需函数在极限点附近有定义(无需连续、可导),使其成为处理“病态函数”的唯一利器。
正如数学家E.T. Bell所言:
"The Squeeze Theorem is not a method of computation—it is a method of certainty."
- 含三角函数的振荡型极限(如
limx→0 x·sin(1/x)) - 含绝对值、分段定义的函数极限
- 无法直接化简的不定式(如
limn→∞ (1+1/n)n的早期证明) - 证明极限存在性(非求值),尤其在数列分析中
- 处理隐式定义的函数(如积分上限函数)
想象两条“铁轨”(f(x) 和 h(x))在点 a 处交汇于高度 L,中间一辆小车(g(x))被卡在轨道之间。只要小车始终不脱离轨道,当轨道汇合时,小车必然停在 L 处——无论小车路径如何曲折。
数学上,这体现为:对任意 ε > 0,存在 δ > 0,当 0 < |x−a| < δ 时,有:
L − ε < f(x) ≤ g(x) ≤ h(x) < L + ε
从而 |g(x) − L| < ε,严格满足极限定义。
经典例题解析|从基础到高阶的完整谱系
类高频题型,每类配详解+思路拆解+易错点提醒
问题分析:当 x→0 时,1/x → ∞,sin(1/x) 振荡无界,无法直接使用极限运算法则。
解题步骤:
- 利用三角函数有界性:|sin(1/x)| ≤ 1(x ≠ 0)
- 两边同乘 |x|:|x·sin(1/x)| ≤ |x|
- 构造夹逼:−|x| ≤ x·sin(1/x) ≤ |x|
- 计算极限:limx→0 (−|x|) = limx→0 |x| = 0
- 由夹逼定理得:limx→0 x·sin(1/x) = 0
关键洞察:被夹函数的“振荡幅度”被外部因子|x|压缩至0,这是典型的“振荡被衰减”模型。
同理:|cos(2/x)| ≤ 1 ⇒ |x²·cos(2/x)| ≤ x² ⇒ −x² ≤ ... ≤ x² ⇒ 极限为0
陷阱提示:此极限不存在!
取两个序列:xₙ = 1/(nπ) → 0,则 sin(1/xₙ) = sin(nπ) = 0
另取 yₙ = 1/(2nπ + π/2) → 0,则 sin(1/yₙ) = sin(2nπ + π/2) = 1
两序列极限不同 ⇒ 原极限不存在
启示:夹逼定理要求上下界极限相等;若无法找到相等的上下界,可能极限不存在。
多一个因子|x|,从“无界振荡”变为“收敛于0”,凸显夹逼定理中“外部衰减项”的关键作用。
常规解法:有理化 → lim [x / (√(x²+x) + x)] = lim [1 / (√(1+1/x) + 1)] = 1/2
夹逼解法:构造不等式链
注意到:√(x²+x) = x·√(1+1/x) > x·(1 + 1/(2x) − 1/(8x²)) (泰勒展开下界)
更简单方式:
验证右边:(x + 1/2)² = x² + x + 1/4 > x² + x ⇒ 成立
左边:(x + 1/2 − 1/(8x))² = x² + x − 1/(64x²) < x² + x ⇒ 成立
于是:1/2 − 1/(8x) < √(x²+x) − x < 1/2
令 x→+∞,左右两端→1/2 ⇒ 原极限=1/2
观察:n! 增长远快于多项式,极限应为0
构造夹逼:
当 n ≥ 4 时,n! = 1×2×3×4×⋯×n ≥ 2×2×2×2×⋯×2 = 2n−1(因 3≥2,4≥2,...)
故:0 < n²/(n!+1) < n² / n! ≤ n² / 2n−1
而 limn→∞ n² / 2n−1 = 0(指数压倒多项式)
由夹逼定理得原极限=0
这是夹逼定理的历史性应用!
利用二项式展开:(1+1/n)n = Σk=0n C(n,k)(1/n)k
可证:(1+1/n)n < (1+1/(n+1))n+1(单调增)
且 (1+1/n)n
由单调有界定理知极限存在,记为 e
进一步可证:(1+1/n)n < e < (1+1/n)n+1
两式相减整理得:0 < e − (1+1/n)n < (1+1/n)n / n < 3/n
当 n→∞,3/n→0 ⇒ 由夹逼定理得 lim (1+1/n)n = e
高频误区解析|90%学习者踩过的坑
警惕“伪夹逼”——上下界不汇合或不满足不等式
错!必须满足:lim f(x) = lim h(x)。若 lim inf ≠ lim sup,则极限不存在。
反例:limx→0 sin(1/x) 无夹逼可能,因上下确界分别为−1和1,不相等。
例:limx→0 √x 仅在 x≥0 有定义,夹逼时必须限定在右邻域 (0,δ),不可用 −δ < x < δ。
若强行写:−√|x| ≤ √x ≤ √|x|,则左边在 x<0 无意义,逻辑断裂。
例:证明 limx→0 x² sin(1/x) = 0 时,若写成:−x ≤ x² sin(1/x) ≤ x
当 x<0 时,−x > 0,不等式可能不成立(如 x=−0.1,左边=0.1,但 x² sin(1/x)≈−0.01×sin(10)≈0.005<0.1)
正确写法:−x² ≤ x² sin(1/x) ≤ x²
limx→0 |x|·sin(1/x) → 能(−|x| ≤ ... ≤ |x|)
limx→1 (x−1)/|x−1| → 不能(左右极限不同,−1与1)
limx→∞ (sin x)/x → 能(−1/x ≤ ... ≤ 1/x)
limx→0 x·floor(1/x)(floor为向下取整)→ 能(构造:x·(1/x−1) ≤ x·floor(1/x) ≤ x·(1/x))
数列极限中的夹逼定理|从函数到离散的跃迁
数列夹逼更简洁,但需构造两个收敛到同极限的数列
证明思路:
- 取对数:令 aₙ = ln[(n!)1/n / n] = (1/n)Σk=1n ln(k/n)
- 识别为黎曼和:≈ ∫₀¹ ln x dx = −1
- 严格证明:用积分上下和夹逼
- 得 lim aₙ = −1 ⇒ 原极限 = e−1 = 1/e
- 找主导项:如 n!、2n、nk 中增长最快者
- 放大/缩小:保留主导项,忽略低阶项
- 验证极限:确保上下界极限相等
放大:分子 < 2·2n(n≥4时),分母 > 3n/2(n≥1时)
⇒ 0 < aₙ < (2·2n) / (3n/2) = 4·(2/3)n → 0
由夹逼得极限为0
考试实战技巧|考研/期末高频考点
夹逼定理是证明题与计算题的“隐藏得分点”
例:设 a₁=1, aₙ₊₁=√(2+aₙ),证明 {aₙ} 收敛
标准解法:
- 数学归纳法证单调增:aₙ < aₙ₊₁
- 归纳证有界:aₙ < 2
- 由单调有界定理 ⇒ 收敛
夹逼升级版:构造 bₙ = 2 − 4/2n, cₙ = 2
可证 bₙ ≤ aₙ ≤ cₙ 且 lim bₙ = lim cₙ = 2 ⇒ lim aₙ = 2
例:limn→∞ ∫₀¹ xⁿ sin x dx
夹逼:0 ≤ ∫₀¹ xⁿ sin x dx ≤ ∫₀¹ xⁿ dx = 1/(n+1) → 0
⇒ 极限为0
已知 f(x) 连续,f(0)=0,且 |f(x)| ≤ x²,求 limx→0 f(x)/x
解:由 |f(x)| ≤ x² ⇒ −x² ≤ f(x) ≤ x²
当 x>0:−x ≤ f(x)/x ≤ x ⇒ 极限0
当 x<0:−x ≥ f(x)/x ≥ x(不等式变向)⇒ 极限0
故 lim f(x)/x = 0
- 振荡用|x|压:如 x·sin(1/x) → 用 |x| 夹逼
- 阶高者主导:指数 > 阶乘 > 多项式 > 对数
- 积分看长度:∫₀¹ xⁿ dx = 1/(n+1) → 0
- 阶乘拆项用:n! ≥ (n/2)n/2(n≥2)
- 不存在先验:若无法构造汇合上下界,考虑左右极限或序列法
网友提问精选|高频疑问深度解答
精选知乎、百度知道、小红书等平台200+提问中最具代表性的8问
答:此说法片面。夹逼定理本质是“极限存在且等于L”的充分条件,因此:
- 当能构造出汇合的上下界时,既可求值,也可证存在性
- 当无法构造时(如振荡无界),才需改用单调有界定理
例如:aₙ = (1+1/n)n,先用夹逼证其收敛(通过 e 的上下界),再求极限值为e。
答:完全不矛盾!唯一性指极限若存在则唯一;夹逼是构造性方法,确保极限存在且等于L。
者关系:唯一性是“结论”,夹逼是“工具”——先用夹逼保证存在,再用唯一性确定值。
答:可以!且是最简洁解法:
−1 ≤ sin x ≤ 1 ⇒ −1/x ≤ (sin x)/x ≤ 1/x (x>0)
limx→∞ (−1/x) = limx→∞ 1/x = 0 ⇒ 原极限=0
注意:x→−∞ 时需分情况,但结果相同。
答:因 sin x 在 x=0 附近变号(x>0时正,x<0时负),无法直接构造恒定不等式。
正确做法:
limx→0 x²/sin x = limx→0 x · (x/sin x) = 0 · 1 = 0(用极限运算法则)
或分左右极限:x→0⁺时 0 < x²/sin x < x²/(x−x³/6) → 0;x→0⁻同理
答:不成立!复平面上无全序关系,无法定义“≤”。
复极限的夹逼需转化为模长:若 |f(z)| ≤ g(z) 且 lim g(z)=0,则 lim f(z)=0
这是实夹逼的特例,依赖复模的实值性质。
答:三步策略:
- 识别主导行为:振荡?阶乘?根号?
- 利用已知不等式:|sin|≤1, cosh x ≥1, ln x ≤ x−1
- 构造“松紧适中”的界:太松(如0和1000)无用,太紧(如用目标极限本身)循环论证
例:limx→0 (1−cos x)/x²
用恒等式:1−cos x = 2sin²(x/2) ⇒ 0 ≤ 2sin²(x/2) ≤ 2(x/2)² = x²/2
⇒ 0 ≤ (1−cos x)/x² ≤ 1/2
但上下界极限不等(0≠1/2),需进一步优化:用 sin y > y−y³/6
答:夹逼定理可由ε−δ定义严格证明:
给定 ε>0,存在 δ₁, δ₂ >0,当 0<|x−a|<δ₁ 时 |f(x)−L|<ε;当 0<|x−a|<δ₂ 时 |h(x)−L|<ε
取 δ = min(δ₁,δ₂),则当 0<|x−a|<δ 时:
L−ε < f(x) ≤ g(x) ≤ h(x) < L+ε ⇒ |g(x)−L|<ε
故 lim g(x)=L
答:这是方法选择问题!
- 洛比达:要求 f,g 可导且 g'≠0,适用于 0/0 或 ∞/∞ 型
- 夹逼:仅需不等式关系,适用于振荡、分段、不可导情形
例:limx→0 x² sin(1/x) / sin x
洛比达:需多次求导,易错
夹逼:|x² sin(1/x) / sin x| ≤ x² / |sin x| · |sin(1/x)| ≤ x² / |sin x| → 0(因 x/sin x→1)
结论:当函数“太野”时,夹逼更可靠;当函数“太规则”时,洛比达更快捷。
结语:夹逼定理的数学哲学
夹逼定理不仅是计算极限的工具,更是一种思维范式:在混沌中寻找秩序,在不确定中建立确定。它告诉我们——当无法直接抓住本质时,就为它筑起围墙。围墙内外虽无直接联系,但当两堵墙在一点汇合,中间之物便无处遁形。
正如数学家H. Lebesgue所言:"The Squeeze Theorem is the most beautiful theorem in calculus." 它的美在于简洁,其力在于强制,其魂在于严谨。