在线极限计算器

极限是微积分的地基——导数定义为差商的极限，定积分定义为分割求和的极限。直观地说，lim(x→a) f(x) = L 表示：当 x 无限接近 a（但不等于 a）时，f(x) 无限接近 L。严格表述是 ε-δ 语言：任意给定误差 ε，总能找到一个距离 δ，只要 x 与 a 的距离小于 δ，f(x) 与 L 的偏差就小于 ε。

计算极限的第一选择是直接代入——连续函数（多项式、指数、sin、cos 等）的极限就等于函数值。当代入后得到 0/0 或 ∞/∞ 这类「不定式」时才需要变形：分式分子分母含公因式时因式分解约简，如 (x²−1)/(x−1) 在 x→1 时约去 (x−1)；无法约简的 0/0 或 ∞/∞ 型用洛必达法则——分子分母分别求导再取极限，仍为不定式可连用多次。

趋近无穷（x→∞）的极限有专门的捷径：有理分式只看分子分母最高次项——次数相同则极限为系数之比，分子次数低则极限为 0，分子次数高则发散到 ±∞。含 eˣ、ln(x) 等超越函数时按增长速度比较：eˣ 快于任何幂函数，幂函数快于 ln(x)。

极限不存在有三种典型情形：左右极限不相等（如 1/x 在 x→0 时左 −∞ 右 +∞）、无限震荡（如 sin(1/x) 在 x→0 时）、以及发散。数值逼近表是最后一道兜底——工具从左右两侧逐步逼近趋近点列出函数值，两列数值收敛到同一稳定值时即为极限，否则结合符号分析给出不存在或发散的判定。

极限的严格定义（ε-δ 语言）说：lim(x→a) f(x)=L 指对任意 ε>0，存在 δ>0，当 0<|x−a|<δ 时 |f(x)−L|<ε。这个定义的精妙之处在于「任意小的误差都能用足够接近来换取」——它把「无限接近」这个直觉变成了可操作的数学语句，是微积分严格化的基石（柯西、魏尔斯特拉斯 19 世纪完成）。

左右极限是判断极限存在的标准：lim(x→a) f(x) 存在 ⟺ 左右极限都存在且相等。分段函数分界点、含绝对值、含 1/x 型（x→0 时左右分别趋于 −∞ 和 +∞）、含 arctan(1/x) 型都必须分左右讨论。极限不存在有三种典型：左右不等（跳跃）、趋于无穷（垂直渐近）、震荡（如 sin(1/x) 在 x→0 时在 −1 和 1 之间无限震荡）。