普林斯顿微积分读本 · 第三章
理解无限接近的精确含义
极限是微积分的基石。导数和积分都建立在极限的概念之上。理解极限，就是理解"无限接近"的精确含义。
当我们写出
它的含义是：当 x 越来越接近 a（但不等于 a）时，f(x) 的值越来越接近 L。注意，这里的关键是"接近"——我们不关心 x 恰好等于 a 时 f(x) 的值是什么，甚至不关心 f(a) 是否有定义。
极限描述的是函数在某点"附近"的行为，而非在该点的值。函数在 a 点甚至可以没有定义，极限仍然可能存在。
考虑函数 f(x) = (x² - 4) / (x - 2)。当 x = 2 时，分子和分母都为零，函数在该点无定义。但是当 x 趋近 2 时，函数值趋近于 4——这就是极限。
即使 f(a) 没有定义，或者 f(a) 的值不等于 L，lim(x → a) f(x) = L 仍然可以成立。极限只关心"逼近过程"，不关心"终点本身"。这就像问"你离目的地越来越近时，你的方向是什么"——这个问题的答案与你是否真的到达目的地无关。
想象你在高速公路上行驶，前方有一个收费站。极限关心的是：当你越来越接近收费站时，你的速度趋近于多少？至于你在收费站那一刻是停车还是加速，那是另一个问题。
| 概念 | 含义 |
|---|---|
| lim(x → a) f(x) = L | x 从两侧逼近 a 时，f(x) 都逼近 L |
| f(a) 有定义 | 函数在 a 点有确定的值 |
| f(a) = L | 函数在 a 点的值恰好等于极限值（连续的情况） |
| f(a) 无定义 | 函数在 a 点没有值（但极限仍可存在） |
有时候，函数从左侧和右侧逼近某点时的行为不同。因此我们需要分别考察左极限和右极限。
双侧极限 lim(x → a) f(x) 存在的充要条件是：
lim(x → a) f(x) = L 当且仅当 lim(x → a⁻) f(x) = lim(x → a⁺) f(x) = L
即：左右极限都存在，且彼此相等。
上图中，分段函数 f(x) = x + 1（当 x < 0）和 f(x) = x² + 2（当 x ≥ 0）在 x = 0 处的左极限为 1，右极限为 2。由于 1 ≠ 2，双侧极限不存在。
在实际问题中，许多函数是分段定义的（如阶梯函数、绝对值函数）。在这些情况下，函数从不同方向逼近同一点时可能表现出完全不同的行为。只有分别检查左右极限，我们才能准确判断双侧极限是否存在。
并非所有函数在每一点都有极限。以下三种情况是极限不存在的典型模式：
当左极限和右极限都存在但不相等时，函数在该点发生"跳跃"。这是最常见的间断类型。
左右极限都存在且有限，但不相等。函数图像在该点有一个"台阶"。符号函数 sgn(x) 和取整函数 ⌊x⌋ 都有跳跃间断。
当 x 逼近某点时，f(x) 的绝对值无限增大，我们说函数趋向无穷。
注意：严格来说，lim(x → 0) 1/x 不存在（因为左右极限不相等），但我们可以分别描述左极限和右极限趋向无穷的行为。
当 x 越来越接近 0 时，1/x 越来越大，sin(1/x) 在 -1 和 1 之间越来越快地振荡，不趋近于任何确定的值。
想象你用越来越高的频率振动一根绳子。当你试图确定绳子在某一点的"位置"时，它振动得太快了，以至于你无法指出一个确定的值。sin(1/x) 在 x → 0 时的行为正是如此——振荡频率趋向无穷，无法收敛到任何值。
| 类型 | 左极限 | 右极限 | 双侧极限 | 典型例子 |
|---|---|---|---|---|
| 跳跃间断 | 存在（有限） | 存在（有限） | 不存在 | |x|/x 在 x=0 |
| 无穷间断 | ±∞ | ±∞ | 不存在 | 1/x² 在 x=0 |
| 振荡间断 | 不存在 | 不存在 | 不存在 | sin(1/x) 在 x=0 |
除了在有限点处讨论极限，我们还可以讨论 x 趋向正无穷或负无穷时函数的行为。
如果 lim(x → ∞) f(x) = L 或 lim(x → -∞) f(x) = L，那么直线 y = L 就是函数 f 的水平渐近线。
水平渐近线是函数在无穷远处的"归宿"。函数可以无限接近这条线，但永远不会真正到达它（除非函数恒等于该常数）。一个函数最多有两条水平渐近线（分别在正无穷和负无穷方向）。
如果 lim(x → a) f(x) = ±∞，那么直线 x = a 就是函数 f 的垂直渐近线。
水平渐近线告诉你函数的"长期趋势"——当 x 越来越大时，函数值最终会稳定在哪个值附近。垂直渐近线告诉你函数的"禁区"——函数在该直线附近会急剧增长或下降。在绘制函数图像时，渐近线是极其重要的参考线。
三明治定理（Squeeze Theorem）是求极限的重要工具之一。它的思想非常直观：
如果对于 x 靠近 a 的所有值（x ≠ a），都有
g(x) ≤ f(x) ≤ h(x)
且
lim(x → a) g(x) = lim(x → a) h(x) = L
那么
lim(x → a) f(x) = L
想象 f(x) 被夹在两个函数 g(x) 和 h(x) 之间，就像三明治中的火腿被两片面包夹住。如果两片面包都趋近同一个位置 L，那么中间的火腿也必然被"挤"到 L。
这是微积分中最重要的极限之一。利用三明治定理，我们可以严格证明：
证明思路：
第一步：建立不等式
通过单位圆上的几何比较（扇形面积与三角形面积的关系），可以证明：
第二步：取极限
因为 lim(x → 0) cos(x) = 1 且 lim(x → 0) 1 = 1，由三明治定理得：
lim(x → 0) sin(x)/x = 1 是推导所有三角函数导数的基础。没有它，我们就无法证明 (sin x)' = cos x，整个三角微积分的大厦将失去根基。这个极限之所以成立，正是因为我们使用弧度制来度量角度。
瞬时速度：汽车速度表显示的瞬时速度 v(t) = lim(Δt→0) Δs/Δt，即位移对时间的极限。GPS 导航系统通过极限概念计算车辆的实时速度和加速度。
放射性衰变的半衰期：放射性物质的衰变规律 N(t) = N₀e^(-λt)。半衰期 T₁/₂ = ln(2)/λ 是通过极限过程从微分方程推导而来，是核医学和碳定年的核心参数。
电容器充放电的瞬态分析：RC 电路中电容电压 Vc(t) = V₀(1 - e^(-t/RC))。当 t → ∞ 时，Vc 趋近于 V₀，这个极限值就是稳态电压，是电路设计的关键指标。
人口增长模型：逻辑斯蒂模型 P(t) = K/(1 + Ae^(-rt)) 中，当 t → ∞ 时人口趋近于环境容纳量 K。这个极限预测了人口的长期稳定规模。
计算多项式和有理函数的极限有一套系统的方法。掌握以下三种常见模式，可以解决绝大多数问题。
对于多项式函数 P(x)，以及分母不为零的有理函数 P(x)/Q(x)，直接代入 x = a 即可：
因为多项式函数在任何点都是连续的——函数值等于极限值。有理函数在其定义域内也是连续的。
当直接代入得到 0/0 时，说明分子和分母有公因子 (x - a)。通过因式分解约去公因子后，再代入求值。
当 x 趋向无穷时，多项式的最高次项"主导"了整个函数的行为。对于有理函数 P(x)/Q(x)：
| 分子次数 vs 分母次数 | 极限结果 | 例子 |
|---|---|---|
| 分子次数 < 分母次数 | 0 | lim(x→∞) x/(x²+1) = 0 |
| 分子次数 = 分母次数 | 最高次系数之比 | lim(x→∞) 3x²/(2x²) = 3/2 |
| 分子次数 > 分母次数 | ±∞ | lim(x→∞) x³/x = ∞ |
当 x 非常大时，x³ 比 x² 大得多，x² 比 x 大得多。所以最高次项"统治"了整个表达式的值。低次项在 x → ∞ 时变得相对微不足道。这就像比较亿万富翁的财富——他们之间几万元的差距可以忽略不计。
| 极限类型 | 策略 | 关键公式 |
|---|---|---|
| lim(x→a) P(x)/Q(x)，Q(a)≠0 | 直接代入 | = P(a)/Q(a) |
| lim(x→a) P(x)/Q(x) = 0/0 | 因式分解约分 | 约去 (x-a) 后代入 |
| lim(x→∞) P(x)/Q(x) | 比较最高次项 | 看分子分母次数关系 |
| lim(x→0) sin(kx)/(mx) | 利用 sin(x)/x→1 | = k/m |
| √A - √B 型 | 有理化分子 | 乘以 (√A + √B)/(√A + √B) |
求 lim(x → 2) (x² - 4) / (x - 2)
第一步：直接代入检验
代入 x = 2：分子 = 2² - 4 = 0，分母 = 2 - 2 = 0 ⇒ 0/0 型
第二步：因式分解
x² - 4 = (x + 2)(x - 2)
所以 (x² - 4) / (x - 2) = (x + 2)(x - 2) / (x - 2) = x + 2 （x ≠ 2）
第三步：代入约分后的表达式
lim(x → 2) (x + 2) = 2 + 2 = 4
求 lim(x → ∞) (3x² - x + 1) / (2x² + 5x - 3)
第一步：识别分子分母的最高次项
分子最高次项：3x²（次数 = 2）
分母最高次项：2x²（次数 = 2）
次数相同 ⇒ 极限 = 最高次系数之比
第二步：用除以最高次项的方法验证
分子分母同除以 x²：
当 x → ∞ 时，1/x → 0，1/x² → 0：
求 lim(x → 0) sin(5x) / (3x)
第一步：凑出 sin(u)/u 的形式
令 u = 5x，则 x = u/5，当 x → 0 时 u → 0
第二步：利用已知极限
lim(u → 0) sin(u)/u = 1，所以：
求 lim(x → ∞) (√(x² + 1) - x)
第一步：识别 ∞ - ∞ 型不定式
当 x → ∞ 时，√(x²+1) → ∞，x → ∞，属于 ∞ - ∞ 型。
第二步：有理化分子
乘以共轭表达式 √(x²+1) + x：
第三步：求极限
当 x → ∞ 时，分母 √(x²+1) + x → ∞：
以下 MATLAB 代码帮助你可视化极限的核心概念。运行这些代码，观察函数在趋近某点时的行为。