有理函数：分式、渐近线与图像

有理函数把多项式放进“分子/分母”的结构里。前面学习多项式时，我们主要看零点、次数、端行为和因式分解；到了有理函数，这些工具仍然有用，但多了一个新问题：分母不能为零。

这章的核心不是背几条渐近线规则，而是建立一条稳定的分析路线：先保留原式的限制，再用因式分解看哪些限制变成洞，哪些限制变成垂直渐近线，最后用端行为、截距和符号表把图像拼出来。

有理函数分析地图，中心是 f(x)=P(x)/Q(x)，周围连接定义域、渐近线、洞、零点和符号表 — 有理函数的分析对象通常同时来自代数式和图像特征。

分式函数的基本语言

如果一个函数可以写成两个多项式的商，就叫有理函数：

f(x)=\frac{P(x)}{Q(x)}

其中 $P(x)$ 和 $Q(x)$ 都是多项式，并且 $Q(x)$ 不是零多项式。对每一个具体输入，只有当 $Q(x)\neq 0$ 时， $f(x)$ 才有定义。

最简单的有理函数是反比例函数：

f(x)=\frac{1}{x}

它的图像有两条渐近线： $x=0$ 和 $y=0$ 。这两条线不是装饰，而是在告诉我们：当输入接近 $0$ 时，输出会剧烈增大或减小；当输入的绝对值越来越大时，输出会越来越接近 $0$ 。

更一般地看，有理函数的图像可能出现这些特征：

分母为零导致某些输入不在定义域内。
约去公共因子后，某些缺失点表现为可去间断点，也就是图像上的洞。
未被约去的分母零点通常对应垂直渐近线。
分子、分母次数的比较决定远处图像靠近水平线、斜线，或更高次数的曲线。
分子零点、分母零点和洞会把数轴切成若干区间，适合用符号表判断正负。

有理函数的“有理”不是说函数值一定是有理数，而是说表达式是多项式的比值。即使输入是无理数，只要分母不为零，函数值也可以正常计算。

定义域先于化简

研究有理函数时，第一步永远是看原始分母。原式中的分母为零时，函数没有定义；这个限制不会因为后面化简看起来变简单而消失。

分母 Q(x)=0 导致定义域限制，数轴上标出不能取的输入值 — 定义域来自原始分母，不能只看化简后的式子。

例如：

f(x)=\frac{x-2}{x^2-4}

分母因式分解为：

x^2-4=(x-2)(x+2)

因此原函数在 $x=2$ 和 $x=-2$ 处都没有定义。虽然对 $x\neq 2$ 的输入可以约去公共因子：

\frac{x-2}{(x-2)(x+2)}=\frac{1}{x+2}

但 $x=2$ 仍然不能放回定义域。

先令原始分母等于零： $x^2-4=0$ 。这一步只关心哪些输入会造成除以零。

解得 $x=2$ 或 $x=-2$ 。所以定义域是所有实数，但要排除这两个值。

再化简表达式。公共因子 $x-2$ 可以在 $x\neq 2$ 的前提下约去，所以化简式是 $\frac{1}{x+2}$ 。

最后把限制带回图像解释： $x=-2$ 是化简后分母仍为零的位置，会形成垂直渐近线； $x=2$ 是原式缺失但化简式有有限值的位置，会形成洞。

用区间表示，这个函数的定义域是：

(-\infty,-2)\cup(-2,2)\cup(2,\infty)

化简可以帮助看图像形状，但不能重写原函数的定义域。一个被约掉的因子，通常不是“问题消失”，而是“问题从垂直渐近线变成一个缺失点”。

洞和垂直渐近线

洞和垂直渐近线都来自“某个输入不能代入原函数”，但它们附近的图像行为完全不同。

左右对比图：可去间断点是开圆点，垂直渐近线附近曲线趋向无穷 — 洞表示一个缺失的点；垂直渐近线表示函数值在附近失控。

看因式分解后的形式：

f(x)=\frac{(x-a)A(x)}{(x-a)B(x)}

只要 $B(a)\neq 0$ ，公共因子 $x-a$ 约去后，图像在 $x=a$ 附近会靠近一个有限点。这个点本该在化简后图像上，但原函数不允许 $x=a$ ，所以那里留下一个洞。

洞的纵坐标用化简后的函数计算。若

f(x)=\frac{x^2-4}{x^2-x-6}

先因式分解：

f(x)=\frac{(x-2)(x+2)}{(x-3)(x+2)}

公共因子 $x+2$ 对应 $x=-2$ ，所以 $x=-2$ 是洞的位置。化简式是：

g(x)=\frac{x-2}{x-3}

洞的纵坐标为：

g(-2)=\frac{-2-2}{-2-3}=\frac{4}{5}

因此洞是：

\left(-2,\frac{4}{5}\right)

未被约去的分母因子 $x-3$ 对应 $x=3$ 。当 $x$ 接近 $3$ 时，分母接近 $0$ ，而分子不接近 $0$ ，函数值会趋向很大的正数或负数，所以 $x=3$ 是垂直渐近线。

不能只说“分母等于零就是垂直渐近线”。更准确的说法是：先因式分解并处理公共因子；约去的分母零点给出洞，未约去的分母零点才给出垂直渐近线。

端行为与渐近线

垂直渐近线描述图像在某个有限输入附近的行为；水平渐近线和斜渐近线描述图像在 $x\to \infty$ 或 $x\to -\infty$ 时的远处趋势。

三栏图展示分子分母次数比较对应水平渐近线 y=0、水平渐近线 y=a/b 和斜渐近线 — 远处图像主要由分子、分母的最高次项决定。

设分子次数是 $n$ ，分母次数是 $m$ 。

当 $n<m$ 时，分母增长更快，函数值趋近 $0$ ，水平渐近线是：

y=0

当 $n=m$ 时，最高次项的比值决定远处的高度。若最高次项分别是 $a_nx^n$ 与 $b_mx^m$ ，水平渐近线是：

y=\frac{a_n}{b_m}

当 $n=m+1$ 时，图像通常有斜渐近线。斜渐近线来自多项式除法中的商。比如：

f(x)=\frac{x^2+1}{x-1}

做除法：

\frac{x^2+1}{x-1}=x+1+\frac{2}{x-1}

当 $x$ 的绝对值越来越大时， $\frac{2}{x-1}$ 越来越接近 $0$ ，所以图像越来越接近直线：

y=x+1

图像可以穿过水平渐近线或斜渐近线。水平渐近线和斜渐近线描述的是远处趋势，不是图像在所有位置都不能碰到的墙。垂直渐近线则对应输入方向上的断裂，函数图像不会在那条竖线上有普通点。

图像草图的完整流程

画有理函数草图时，不要急着代很多点。更稳的做法是先列出“骨架信息”，再用少量测试点决定每一段的走向。

有理函数图像草图流程：因式分解、定义域、洞、垂直渐近线、端行为、截距、符号表、补点 — 草图不是凭感觉连线，而是把关键特征按顺序拼起来。

以函数为例：

f(x)=\frac{x^2-4}{x^2-x-6}

第一步，因式分解：

f(x)=\frac{(x-2)(x+2)}{(x-3)(x+2)}

原函数的定义域排除 $x=-2$ 和 $x=3$ 。

第二步，判断洞和垂直渐近线。公共因子 $x+2$ 被约去，所以 $x=-2$ 是洞。化简式为：

g(x)=\frac{x-2}{x-3}

洞的坐标是：

\left(-2,\frac{4}{5}\right)

未约去的分母因子 $x-3$ 给出垂直渐近线：

x=3

第三步，判断端行为。原函数分子分母次数相同，最高次项系数都是 $1$ ，所以水平渐近线是：

y=1

第四步，找截距。 $x$ 轴截距来自化简后分子为零且不被定义域排除的位置：

x-2=0

所以 $x$ 轴截距是 $(2,0)$ 。 $y$ 轴截距用 $x=0$ 计算：

f(0)=\frac{-4}{-6}=\frac{2}{3}

所以 $y$ 轴截距是：

\left(0,\frac{2}{3}\right)

第五步，看每个区间的正负和靠近渐近线时的方向。因为化简式可以写成：

g(x)=1+\frac{1}{x-3}

当 $x\to 3^-$ 时， $\frac{1}{x-3}\to -\infty$ ，所以函数值趋向 $-\infty$ ；当 $x\to 3^+$ 时，函数值趋向 $+\infty$ 。

在坐标系中先画虚线 $x=3$ 和 $y=1$ ，再标出洞 $\left(-2,\frac{4}{5}\right)$ 、截距 $(2,0)$ 与 $\left(0,\frac{2}{3}\right)$ 。

左侧分支在 $x<3$ ，靠近 $x=3$ 时向下冲向 $-\infty$ ，远离时靠近 $y=1$ 。它经过 $y$ 轴截距，并在 $x=2$ 穿过 $x$ 轴。

右侧分支在 $x>3$ ，靠近 $x=3$ 时向上冲向 $+\infty$ ，向右远去时从上方靠近 $y=1$ 。

最后检查图像是否在 $x=-2$ 处留洞，并确认没有把洞误连成实心点。

符号表与分式不等式

分式不等式的关键是：先把不等式变成“一个分式与 $0$ 比较”的形式，再用零点和无定义点切分数轴。

分式不等式的符号表，数轴临界点为 -2、1、3，并显示每个区间的正负 — 符号表把复杂分式的正负判断变成区间判断。

例如求：

\frac{(x+2)(x-3)}{x-1}\ge 0

临界点来自分子零点和分母零点：

x=-2,\quad x=1,\quad x=3

这些点把数轴切成四段：

(-\infty,-2),\quad (-2,1),\quad (1,3),\quad (3,\infty)

在每段取一个测试点，判断三个因子 $x+2$ 、 $x-3$ 、 $x-1$ 的符号。得到：

区间	$x+2$	$x-3$	$x-1$	分式符号
$(-\infty,-2)$	$-$	$-$	$-$	$-$
$(-2,1)$	$+$	$-$	$-$	$+$
$(1,3)$	$+$	$-$	$+$	$-$
$(3,\infty)$	$+$	$+$	$+$	$+$

因为题目要求分式大于或等于 $0$ ，所以保留正区间，并把分子为零的点加入解集。分母为零的点 $x=1$ 必须排除。

答案是：

[-2,1)\cup[3,\infty)

解分式不等式时，不要直接两边同乘含 $x$ 的分母。分母的正负可能随区间变化，一旦不知道它是正是负，就不能确定不等号方向是否要改变。

实际反比例模型

许多实际问题中的“平均量”“单价”“速度与时间”“固定总量分配”都会出现有理函数。最常见的基础模型是：

y=\frac{k}{x}

当 $k>0$ 且 $x>0$ 时， $x$ 增大， $y$ 减小；但 $y$ 不会变成负数，也不会真正等于 $0$ 。这和很多实际场景吻合：同一项工作交给更多同等效率的人，完成时间会缩短，但不会因为人数很多就变成零时间。

反比例模型图，展示总工作量固定时人数增加、每人承担量或完成时间下降 — 反比例模型常用来描述固定总量被更多单位分担。

例如一批同样的任务，总工作量相当于 $240$ 人时。若有 $n$ 名效率相同的人同时完成，所需时间可以建模为：

T(n)=\frac{240}{n}

这里的实际定义域不是所有 $n\neq 0$ ，而是正整数：

n=1,2,3,\ldots

从纯函数角度看， $x=0$ 是垂直渐近线， $y=0$ 是水平渐近线；从实际情境看， $n=0$ 表示没人做事，模型没有意义，而 $T(n)$ 趋近于 $0$ 只表示时间越来越短，不表示可以瞬间完成。

另一个常见模型是平均成本：

A(q)=\frac{600+12q}{q}

其中 $q$ 是生产数量， $600$ 是固定成本， $12q$ 是可变成本。化简得到：

A(q)=12+\frac{600}{q}

平均成本有理函数模型，显示 A(q)=12+600/q 随数量增加靠近水平渐近线 y=12 — 平均成本的水平渐近线可以解释为长期接近的单位可变成本。

这个模型的水平渐近线是：

y=12

它的含义不是“平均成本等于 12”，而是当产量很大时，固定成本被分摊得很薄，平均成本会越来越接近每件 $12$ 的可变成本。

实际模型中的定义域往往比代数定义域更窄。函数式可能允许所有正实数，但人数、件数、次数这类变量通常只能取正整数。先问“变量在情境中能取什么值”，再讨论图像。

常见误区

有理函数的错误通常不是计算太难，而是顺序乱了。下面几类尤其常见。

把“分母为零”直接等同于“垂直渐近线”。正确做法是先因式分解并约去公共因子。约去的限制是洞，没约去的限制才形成垂直渐近线。

把化简后的式子当成完整原函数。化简式只在原函数允许的输入上等价，不能把原先排除的输入补回来。

认为图像不能穿过水平渐近线。水平渐近线描述远处趋势，图像在有限位置可能穿过它。

用交叉相乘处理分式不等式。只要乘上的表达式可能为负，不等号方向就不稳定。更可靠的方法是移到一边、通分、因式分解、做符号表。

只找截距，不看渐近线附近的方向。截距只是图像上的点；渐近线附近的正负无穷行为决定分支如何进入和离开每个区间。

每次分析有理函数，都可以问四个问题：原始分母排除了谁？排除点中哪些是洞、哪些是垂直渐近线？远处靠近哪条线或哪条曲线？每个区间里函数值是正还是负？

练习

练习一

求函数的定义域，并指出洞和垂直渐近线：

f(x)=\frac{x^2-9}{x^2-x-12}

分子分解为 $(x-3)(x+3)$ ，分母分解为 $(x-4)(x+3)$ 。定义域排除 $x=-3$ 和 $x=4$ 。公共因子 $x+3$ 对应洞，化简式是 $\frac{x-3}{x-4}$ ，所以洞的纵坐标是 $\frac{-6}{-7}=\frac{6}{7}$ ，洞为 $\left(-3,\frac{6}{7}\right)$ 。未约去的分母因子 $x-4$ 给出垂直渐近线 $x=4$ 。

练习二

找出下列函数的水平渐近线或斜渐近线：

g(x)=\frac{2x^2-5x+1}{x-3}

分子次数比分母次数大 $1$ ，所以没有水平渐近线，而是斜渐近线。做多项式除法：

\frac{2x^2-5x+1}{x-3}=2x+1+\frac{4}{x-3}

因此斜渐近线是 $y=2x+1$ 。

练习三

解分式不等式：

\frac{x-4}{(x+1)(x-2)}<0

临界点是 $x=-1$ 、 $x=2$ 和 $x=4$ 。用符号表判断各区间，分式在 $(-\infty,-1)$ 和 $(2,4)$ 上为负。因为是不等式小于 $0$ ，分子为零的 $x=4$ 不包含；分母为零的 $x=-1$ 和 $x=2$ 也不包含。答案是：

(-\infty,-1)\cup(2,4)

练习四

某社团租用一台设备需要固定费用 $300$ 元，每小时另付 $40$ 元。如果使用 $h$ 小时，平均每小时费用为：

A(h)=\frac{300+40h}{h}

写出它的实际定义域，并解释水平渐近线。

实际定义域是 $h>0$ ，如果按整小时计费，也可以取正整数小时。化简后：

A(h)=40+\frac{300}{h}

水平渐近线是 $y=40$ 。它表示使用时间越长，固定费用被分摊得越薄，平均每小时费用越来越接近每小时 $40$ 元，但不会在有限的 $h$ 下真正等于 $40$ 。