无穷远处的极限与渐近线

先把符号放一边。想象你把图像画在一张能无限缩小的纸上，然后一步一步往后退。退得越远，原点附近那些细节——拐弯、极值、和坐标轴的交点——就越挤成一个点。最后你能看清的只剩一件事：这条曲线最终跑到哪个高度上去。

在这个尺度上，多项式里各项的差距大得惊人。取 x = 1000：x² 是一百万，5x 只有五千，常数 7 连零头都算不上。5x 只占 x² 的千分之五。x 再放大十倍，这个比例还要再小十倍。所以“只留最重的那一项”不是偷懒，而是承认：其余的项在这个尺度上确实什么都决定不了。

这就是估算的用法。我们不问 f(1000) 精确等于多少，只问它大约落在哪一档。量级对了，答案往往就自己浮出来了。

操作上只有一个动作：找出分母里最重的那一项，用它去除整个分式。除完之后，所有“噪声”都变成 1/x、1/x² 这样的东西，而它们的去向你已经知道了——它们趋于 0。

于是分式在远处只有三种结局。分子跑得快，比值冲向无穷；分母跑得快，比值被压到 0；两边一样快，比值就稳定在两个最高次系数的商上。第三种最容易被漏掉，漏掉之后就会觉得“多项式除以多项式不是 0 就是 ∞”。而 (x+1)/x 正是两边一样快的情形：分子分母都奔向无穷，但它们的比值一直待在 1 附近，最后停在 1。

最后要改掉两个关于渐近线的直觉。第一，它是趋势线，不是一堵墙。函数完全可以穿过它，穿很多次也行，只要每穿一次之后离它更近；比如 (sin x)/x 就绕着 y = 0 来回穿。第二，“有水平渐近线”只管很远处的事，跟函数整体有没有界没有关系。1/x 的水平渐近线是 y = 0，可它在 0 附近要多高有多高。

记号 lim(x→+∞) f(x) = L 读作：当 x 趋于正无穷时，f(x) 的极限是 L。它的准确含义是一场博弈。

你先给出一个误差容忍度 ε > 0，要多小有多小。我必须找出一个门槛 M，使得只要 x > M，就有 |f(x) − L| < ε。ε 是“你允许我离 L 多远”，M 是“我要走多远才做得到”。你每换一个更小的 ε，我就换一个更大的 M；只要我总能找到，极限就是 L。

注意这里没有“f 在无穷远处取值 L”这回事。∞ 不是一个能代入的数，它只是“越走越远”的简写。

定义：若 lim(x→+∞) f(x) = L 或 lim(x→−∞) f(x) = L，则直线 y = L 是 f 的一条水平渐近线。两个方向要分开查。一个函数最多有两条水平渐近线，两边的高度可以不同。

有理函数的判据。设 f(x) = P(x)/Q(x)，P 的次数为 n、最高次系数为 a，Q 的次数为 m、最高次系数为 b。n < m 时极限为 0；n = m 时极限为 a/b；n > m 时极限不存在，比值趋于 ±∞。

这三条不必背。把分子分母同时除以 x^m，所有低次项都变成形如 c/x^k 的量并趋于 0，剩下的就是上面的结果。