1.3.4 Limits at Infinity (x→±∞)

研究当自变量趋向正无穷或负无穷时函数的极限行为，包括水平渐近线的判定

定义

无穷极限（Limits at Infinity）是指当自变量 \(x\) 趋向于正无穷 \(+\infty\) 或负无穷 \(-\infty\) 时，函数 \(f(x)\) 的极限行为。

正式定义： - 当 \(x \to +\infty\) 时，若对任意 \(\varepsilon > 0\)，存在 \(M > 0\)，使得当 \(x > M\) 时都有 \(|f(x) - L| < \varepsilon\)，则称 \(\lim_{x \to +\infty} f(x) = L\) - 当 \(x \to -\infty\) 时，若对任意 \(\varepsilon > 0\)，存在 \(M < 0\)，使得当 \(x < M\) 时都有 \(|f(x) - L| < \varepsilon\)，则称 \(\lim_{x \to -\infty} f(x) = L\)

其中 \(L\) 是一个有限的实数。如果极限值为 \(L\)，则直线 \(y = L\) 称为函数 \(f(x)\) 的水平渐近线（Horizontal Asymptote）。

关键概念： - 无穷极限描述了函数在"远处"的行为 - 水平渐近线反映了函数的长期趋势 - 函数可以有 0 条、1 条或 2 条水平渐近线（当 \(x \to +\infty\) 和 \(x \to -\infty\) 的极限不同时）

核心公式

• \(\lim_{x \to +\infty} f(x) = L \Leftrightarrow \forall \varepsilon > 0, \exists M > 0, x > M \Rightarrow |f(x) - L| < \varepsilon\)
• \(\lim_{x \to -\infty} f(x) = L \Leftrightarrow \forall \varepsilon > 0, \exists M < 0, x < M \Rightarrow |f(x) - L| < \varepsilon\)
• \(\lim_{x \to \pm\infty} \frac{1}{x^n} = 0 \quad (n > 0)\)
• \(\lim_{x \to \pm\infty} \frac{a_n x^n + a_{n-1}x^{n-1} + \cdots + a_0}{b_m x^m + b_{m-1}x^{m-1} + \cdots + b_0} = \begin{cases} 0 & \text{if } n < m \\ \frac{a_n}{b_m} & \text{if } n = m \\ \pm\infty & \text{if } n > m \end{cases}\)
• \(\lim_{x \to \infty} \left(1 + \frac{1}{x}\right)^x = e\)

易错点

• ⚠️ 混淆无穷极限与函数值：学生常误认为 \(\lim_{x \to \infty} f(x) = L\) 意味着 \(f(x)\) 最终会等于 \(L\)，而实际上极限只表示函数无限接近 \(L\)，但永远不一定等于 \(L\)
• ⚠️ 忽视负无穷的情况：在判断水平渐近线时，只考虑 \(x \to +\infty\) 的情况，而忽略 \(x \to -\infty\) 的情况，导致漏掉渐近线或错误判断渐近线的个数
• ⚠️ 有理函数极限计算错误：对于有理函数，学生常在比较分子分母次数时出错，或在化简时遗漏高次项的系数，特别是当分子分母次数相同时容易忘记取最高次项系数的比值
• ⚠️ 对指数和对数函数的无穷极限认识不足：混淆 \(e^x\) 和 \(\ln x\) 在无穷处的行为，或不清楚指数函数增长速度快于多项式函数的事实