1.3.6 Horizontal Asymptotes¶

利用无穷远处的极限定义和识别函数的水平渐近线 y = L

定义¶

水平渐近线是指当自变量趋向于正无穷或负无穷时，函数图像无限接近的水平直线。

正式定义：如果 \(\lim_{x \to +\infty} f(x) = L\) 或 \(\lim_{x \to -\infty} f(x) = L\)，其中 \(L\) 是有限实数，则直线 \(y = L\) 是函数 \(f(x)\) 的一条水平渐近线。

几何意义：当 \(x\) 的绝对值足够大时，函数值 \(f(x)\) 与常数 \(L\) 的差可以任意小。换句话说，函数图像在无穷远处会无限接近（但通常不会到达）直线 \(y = L\)。

注意：一个函数可以有 0 条、1 条或 2 条水平渐近线（分别对应 \(x \to +\infty\) 和 \(x \to -\infty\) 的情况）。

\(\lim_{x \to +\infty} f(x) = L \Rightarrow y = L \text{ 是水平渐近线}\)
\(\lim_{x \to -\infty} f(x) = L \Rightarrow y = L \text{ 是水平渐近线}\)
\(\lim_{x \to \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} \frac{a_n}{b_m} & \text{if } n = m \\ 0 & \text{if } n < m \\ \text{不存在} & \text{if } n > m \end{cases}\)
\(\lim_{x \to \infty} \frac{1}{x^n} = 0 \quad (n > 0)\)
\(\lim_{x \to \infty} c = c \quad (c \text{ 为常数})\)

⚠️ 混淆水平渐近线和斜渐近线：学生有时会错误地认为所有渐近线都是水平的，或者在分子分母次数相同时错误地计算极限。应该记住：当分子分母次数相同时，水平渐近线是最高次项系数的比值。
⚠️ 忽视负无穷方向的极限：学生常常只检查 \(\lim_{x \to +\infty}\) 而忽略 \(\lim_{x \to -\infty}\)。某些函数在两个方向可能有不同的水平渐近线（如某些指数函数），需要分别检查。
⚠️ 认为函数不能穿过水平渐近线：虽然在无穷远处函数接近渐近线，但函数图像在有限区间内可以多次穿过水平渐近线。例如 \(f(x) = x \sin(1/x)\) 在 \(x \to 0\) 时有水平渐近线 \(y = 0\)，但在有限区间内会多次穿过。
⚠️ 计算有理函数极限时出错：学生在处理 \(\lim_{x \to \infty} \frac{P(x)}{Q(x)}\) 时，常常忘记先提取最高次项或直接代入无穷大。正确方法是分子分母同时除以最高次项。