对勾函数这四个字，头一回听见的人多半会愣一下——函数还有名字叫“对勾”的？还真有，而且这个外号起得相当传神。它的标准长相是 $f(x)=ax+\dfrac{b}{x}$，其中 $a>0,b>0$，图像在第一象限拐出一个漂亮的直角弯，像极了打勾的那个√号。这块内容在函数性质、值域最值、含参讨论、实际建模里反复露脸，属于“看着简单、一考就错”的典型代表。我带过不少人复习这一段，最常见的反馈是：顶点坐标背得滚瓜烂熟，一到区间被截断、参数带符号、式子需要先配凑的场合就全线崩盘。这篇文章就是冲着这个痛点来的。我打算把对勾函数从“名字怎么来的”一路讲到“参数怎么讨论、区间怎么分、坑怎么绕”，配六道覆盖主流考法的例题，全部给完整过程，最后附一张高频错误速查表和一段可以直接跑的画图代码。不论你是刚学函数性质的新手，还是想把这块彻底钉死的老手，照着往下读都能捞到东西。
1. 先把“对勾函数”这四个字拆开看
1.1 它是两个基本函数“叠加”出来的产物
理解对勾函数最省力的方式，不是背公式，而是把它拆成两半：$y=ax$ 和 $y=\dfrac{b}{x}$。前者是一条过原点的直线，后者是大家熟到不能再熟的反比例函数。现在做加法，把同一横坐标上的两个纵坐标加起来，得到 $f(x)=ax+\dfrac{b}{x}$。这个“图像叠加”的视角非常关键，因为两条曲线各自的行为你都清楚，合起来的行为就能推。
先看 $x$ 往正无穷跑的时候。直线 $y=ax$ 越来越大，反比例那部分 $\dfrac{b}{x}$ 越来越趋近于 0，所以合成后的图像会无限贴近直线 $y=ax$。这就是所谓斜渐近线，它决定了图像在远处的走向。再看 $x$ 从右边无限靠近 0 的时候，$ax$ 趋近于 0 而 $\dfrac{b}{x}$ 冲向正无穷，图像被硬生生顶上去，贴着 $y$ 轴往上冲，所以 $y$ 轴（$x=0$）是一条竖直渐近线。
一横一竖两条渐近线摆在那里，图像夹在中间，必然在某处拐个弯。这个弯，就是对勾的“尖”。理解了这个叠加关系，顶点坐标就不用死记了，因为顶点位置本质上就是“直线的增长”和“反比例的衰减”两种力量打平的地方，也就是下面要算的那个等号成立条件。
1.2 参数 a 和 b 分别管什么
很多同学把 $a$、$b$ 当成两个无关的符号，其实分工很明确。$a$ 管的是“骨架”，它决定斜渐近线的斜率，也就是图像在远处张开的姿态；$a$ 越大，两条手臂甩得越陡。$b$ 管的是“胖瘦”，它决定图像离原点多远拐弯；$b$ 越大，拐点离原点越远，图形整体被推得更开。至于拐点到底在哪儿，是 $a$ 和 $b$ 共同决定的，单看任何一个都说不出来。
更需要注意的是符号组合。教材里给对勾函数下定义时，一般限定 $a>0,b>0$（或者等价地 $a,b$ 同号），这不是偷懒，而是因为符号一变，图像完全不是那个样子了。$a$、$b$ 异号时，$ax$ 递增、$\dfrac{b}{x}$ 在每一段上也递增，两个增函数相加还是增函数，图像在每一段上都单调，压根没有那个“拐弯”，自然不会出现对勾的尖角。这种形态在题目里也常见，但性质处理方式完全不同，硬套顶点公式就是自找麻烦。
| $a$ 的符号 | $b$ 的符号 | 图像所在象限 | 形态特征 | 是否存在极值点 |
|---|---|---|---|---|
| $a>0$ | $b>0$ | 第一、第三象限 | 标准“对勾”，有下尖点 | 有，两段各一个 |
| $a<0$ | $b<0$ | 第二、第四象限 | “倒对勾”，有上尖点 | 有，两段各一个 |
| $a>0$ | $b<0$ | 第一、第三象限 | 单向单调，无拐点 | 无 |
| $a<0$ | $b>0$ | 第二、第四象限 | 单向单调，无拐点 | 无 |
注意：判断“能不能用对勾函数那一套结论”，第一步永远是看 $a$、$b$ 是否同号，这一步漏掉，后面所有计算都是无效劳动。
1.3 定义域和奇偶性这两件小事
$f(x)=ax+\dfrac{b}{x}$ 的定义域是 $x\neq 0$，这个显然。但奇偶性经常被忽略：$f(-x)=-ax-\dfrac{b}{x}=-f(x)$，所以它是奇函数，图像关于原点中心对称。这条性质的价值在于，只要把第一象限那半边研究透了，第三象限那半边可以直接“翻”过去，求最小值会顺带得到最大值，求单调增区间会顺带得到对称的那一段。很多人做题时把两边分开算两遍，其实是在重复劳动。
对称性还有一个隐藏用途：判断题目里给出的区间是不是“对半分”。比如题目问 $f(x)$ 在 $[1,3]$ 上的值域，你算出第一象限的情况后，如果题目改成 $[-3,-1]$，答案直接取相反数就行，不必重算。这种节省时间的操作在考场上很值钱。
2. 图像到底长什么样：顶点坐标是怎么算出来的
2.1 顶点位置的两个推导路径
第一象限那个尖点的横坐标，是让“直线的增长”和“反比例的衰减”打平的位置。用均值不等式写出来就是：当 $x>0$ 时，
$$ax+\frac{b}{x}\geq 2\sqrt{ax\cdot\frac{b}{x}}=2\sqrt{ab}$$
等号成立的条件是 $ax=\dfrac{b}{x}$，即 $x^2=\dfrac{b}{a}$，取正值 $x=\sqrt{\dfrac{b}{a}}$。此时函数值恰好是 $2\sqrt{ab}$。所以第一象限的顶点是 $\left(\sqrt{\dfrac{b}{a}},\ 2\sqrt{ab}\right)$，由奇函数的对称性，第三象限的顶点就是 $\left(-\sqrt{\dfrac{b}{a}},\ -2\sqrt{ab}\right)$。
换一条路，用导数也能得到同样的结果：$f'(x)=a-\dfrac{b}{x^2}=\dfrac{ax^2-b}{x^2}$，令它等于 0，得到 $x=\pm\sqrt{\dfrac{b}{a}}$，且该点两侧导数由负变正，确认是极小值点。两条路径殊途同归，但使用场景不同：均值不等式快，但要求 $x>0$ 且 $a,b$ 同号；导数法慢一点，但任何形式、任何定义域都能硬算。下面还会专门对比这两条路。
有一点值得多嘴：顶点不是顶点式的顶点。二次函数的顶点是抛物线的极值点，对勾函数的顶点只是“每一段分支上的极值点”，函数整体并没有最值，只有局部最值。这个区别在写答案时经常出岔子，比如问“函数的最小值是多少”，如果不限定 $x>0$，答案应该是“无最小值”，因为第三象限那半边可以跑到负无穷。
2.2 手绘五步法和代码验证
手画图像时，我习惯用“五步法”，画出来基本能骗过阅卷的眼睛：
- 画两条渐近线：$x=0$ 和 $y=ax$，用虚线，别画太实；
- 标出两个顶点 $\left(\pm\sqrt{b/a},\ \pm2\sqrt{ab}\right)$；
- 在顶点左侧再取一点 $x=\dfrac{1}{2}\sqrt{\dfrac{b}{a}}$，算出纵坐标，你会发现它比顶点高不少，这能体现“贴轴上升”的姿态；
- 在顶点右侧取一点 $x=2\sqrt{\dfrac{b}{a}}$，纵坐标与上一步对称，正好用来定弯曲程度；
- 用平滑曲线连接，注意在顶点附近要圆润，不能画成尖角折线，也不要越过渐近线。
以 $f(x)=x+\dfrac{4}{x}$ 为例，顶点是 $(2,4)$ 和 $(-2,-4)$，辅助点取 $x=1$ 得 $y=5$，取 $x=4$ 得 $y=5$，四条信息足够定形。如果你想验证自己画得对不对，几行代码就能把图像拉出来对照：
import numpy as np import matplotlib.pyplot as plt def f(x, a=1.0, b=4.0): return a * x + b / x x_pos = np.linspace(0.25, 8, 600) x_neg = np.linspace(-8, -0.25, 600) fig, ax = plt.subplots(figsize=(7, 7)) ax.plot(x_pos, f(x_pos), color="#1f77b4", linewidth=2, label="y = x + 4/x") ax.plot(x_neg, f(x_neg), color="#1f77b4", linewidth=2) # mark the two vertices x0 = np.sqrt(4.0 / 1.0) ax.plot([x0, -x0], [2 * np.sqrt(4.0), -2 * np.sqrt(4.0)], "o", color="#d62728", label="vertex") # asymptotes ax.axvline(0, linestyle="--", color="gray", linewidth=1) ax.plot(x_pos, x_pos, linestyle="--", color="green", linewidth=1, label="y = x") ax.set_xlim(-8, 8) ax.set_ylim(-10, 10) ax.grid(alpha=0.3) ax.legend() plt.show()跑完之后你会看到一条标准的对勾：第一象限从无穷高处掉下来，在 $(2,4)$ 触底，然后沿着 $y=x$ 往上走。亲眼看过一次，再做题时的空间感会强很多。代码里的坐标轴标签我特意用了英文，因为 matplotlib 默认字体不带中文字形，直接写中文会变成一堆方块，这个坑我踩过不止一次。
2.3 平移和变形：别把对称中心搞丢了
考试里极少直接给你 $ax+\dfrac{b}{x}$，更多是 $y=x+\dfrac{4}{x-1}$ 或者 $y=x+1+\dfrac{3}{x+1}$ 这类“挪过位置”的版本。这时候核心动作是换元：令 $t=x-m$，原式就变回 $t+\dfrac{b}{t}$ 的模样，只是对称中心从原点挪到了 $(m,n)$。
以 $y=x+\dfrac{4}{x-1}$ 为例，令 $t=x-1$，则 $y=t+1+\dfrac{4}{t}$，对称中心是 $(1,1)$，第一象限的顶点在 $t=2$ 即 $x=3$ 处，对应函数值 $2+1+2=5$。注意这里的 5 不是 $2\sqrt{4}=4$，因为多了那个常数 1。很多人套公式时把常数项丢了，答案差一个平移量，这种失分特别可惜。
处理这类问题的稳妥做法是：先动笔把式子写成 $y=a(x-m)+\dfrac{b}{x-m}+n$ 的标准形态，把 $m$、$n$ 显式写出来，再谈顶点。写不出来就说明变形没到位，别急着往下算。
3. 单调性与最值：两条路，各有各的门槛
3.1 均值不等式法：快，但有三个前提
均值不等式是处理对勾函数最顺手的工具，但它的适用条件比很多人以为的严。 $ax+\dfrac{b}{x}\geq2\sqrt{ab}$ 这个式子成立，至少需要三个前提：$a>0$、$b>0$、$x>0$。三个条件缺一个，结论就可能出错。
最典型的翻车场景是 $x<0$。此时 $ax$ 和 $\dfrac{b}{x}$ 都是负数，两项都是负的，加起来只会更负，等号反向：$ax+\dfrac{b}{x}\leq-2\sqrt{ab}$，取等仍在 $x=-\sqrt{\dfrac{b}{a}}$。如果你不加判断直接写“大于等于 $2\sqrt{ab}$”，在第三象限就会得出“函数值大于等于一个正数”的荒谬结论。
第二个翻车场景是 $b<0$。此时 $\dfrac{b}{x}$ 这一项符号和 $x$ 相反，两项不再是“同号相加”，均值不等式直接失效，函数也压根没有极值点。
第三个场景最隐蔽：等号取不到。如果题目限定 $x\in[3,+\infty)$，而顶点在 $x=2$，那 $2\sqrt{ab}$ 这个值在定义域内根本达不到，最小值得在端点 $x=3$ 处取。这时候死写“最小值 $2\sqrt{ab}$”，等于把题目条件当空气。
我用均值不等式时有个固定习惯：先写三行检查——$a$、$b$ 同号吗？$x$ 的符号确定吗？顶点落在给定区间里吗？三行写完再动笔，能挡掉八成的错误。
3.2 导数法：慢一点，但什么情况都能算
导数法没有那些前提束缚。$f'(x)=a-\dfrac{b}{x^2}$，通分得 $\dfrac{ax^2-b}{x^2}$，分母恒正（$x\neq0$），所以导数符号完全由分子 $ax^2-b$ 决定。解 $ax^2-b=0$ 得临界点 $x=\pm\sqrt{\dfrac{b}{a}}$（需 $ab>0$），再按 $a$ 的正负判断二次函数的开口，单调区间就出来了。
以 $a>0,b>0$ 为例，分子是开口向上的抛物线，所以在 $(-\infty,-\sqrt{b/a})$ 上导数为正，函数递增；在 $(-\sqrt{b/a},0)$ 上导数为负，函数递减；在 $(0,\sqrt{b/a})$ 上导数仍为负，继续递减；在 $(\sqrt{b/a},+\infty)$ 上导数为正，递增。四段拼起来，正好是“增—减—减—增”的节奏。这就是对勾函数单调性的完整结论，比背口诀可靠得多，因为推导一遍之后你永远不会记混哪边增哪边减。
| 区间 | $(-\infty,-\sqrt{b/a})$ | $(-\sqrt{b/a},0)$ | $(0,\sqrt{b/a})$ | $(\sqrt{b/a},+\infty)$ |
|---|---|---|---|---|
| 单调性 | 单调递增 | 单调递减 | 单调递减 | 单调递增 |
| 极值 | 极大值 $-2\sqrt{ab}$ | — | — | 极小值 $2\sqrt{ab}$ |
导数法的另一个好处是能处理 $a$、$b$ 异号的情况。此时 $ax^2-b$ 恒不为零（因为 $a$ 与 $b$ 异号，$ax^2$ 与 $-b$ 同号，两者相加不会为零），导数值恒正或恒负，函数在每一段上都严格单调。这一结论用均值不等式是推不出来的，用导数一眼就能看出来。
3.3 定义域被截断后的三种局面
给定区间求最值，是所有题型里失分率最高的。按顶点与区间的位置关系，总共只有三种局面，把这三类想清楚，就不会乱。
第一种，顶点落在区间内。此时最小值就是 $2\sqrt{ab}$（前提是这一段在 $x>0$ 侧），最大值在区间两个端点中比较大的那个取到。注意“在端点取最大值”不是随便说说的，必须比较两端点函数值。
第二种，区间整体落在顶点右侧（即左端点大于 $\sqrt{b/a}$）。此时函数在该区间上单调递增，最小值在左端点取，最大值在右端点取。不用算顶点，直接代端点。
第三种，区间整体落在顶点左侧。此时函数单调递减，最大值在左端点，最小值在右端点。这一种最容易被忽略，因为很多人的思维定式是“最小值一定在顶点”。
还有一个细节：如果区间跨过了 $x=0$（比如 $[-1,2]$），那就必须先拆成两段分别处理，因为 $x=0$ 不在定义域内。这种题出现的频率不高，但一旦出现，就是压轴的位置。
4. 例题精讲：六道题覆盖八成考法
4.1 基础最值题：先把手感练出来
例 1求 $f(x)=x+\dfrac{4}{x}$ 在 $x>0$ 上的最小值。
这是最标准的模板题。检查前提：$a=1>0$，$b=4>0$，$x>0$，三条全满足。直接套均值不等式：
$$x+\frac{4}{x}\geq 2\sqrt{x\cdot\frac{4}{x}}=4$$
等号成立当且仅当 $x=\dfrac{4}{x}$，即 $x=2$。所以最小值为 4，此时 $x=2$。
这道题的价值不在答案，而在让你把“三查”变成肌肉记忆。如果题目改成 $x<0$，答案就变成最大值 $-4$（在 $x=-2$ 处取到），最小值不存在；如果改成 $f(x)=2x+\dfrac{8}{x}$，那就先算 $2\sqrt{2\times8}=8$，等号在 $2x=\dfrac{8}{x}$ 即 $x=2$ 处成立。等号条件里的系数别丢，$2x=\dfrac{8}{x}$ 和 $x=\dfrac{8}{x}$ 是两个完全不同的方程。
4.2 区间求值域：三类局面的实战
例 2求 $f(x)=x+\dfrac{4}{x}$ 在 $[1,3]$ 上的值域。
顶点横坐标 $\sqrt{4}=2$，落在区间 $[1,3]$ 内部，属于第一种局面。最小值取顶点，$f(2)=4$。最大值要比较两个端点：$f(1)=1+4=5$，$f(3)=3+\dfrac{4}{3}=\dfrac{13}{3}\approx4.33$。因为 $5>\dfrac{13}{3}$，所以最大值是 5。值域为 $[4,5]$。
这里有个容易被忽视的点：端点必须都算。很多人看到区间右端点 3 比左端点 1 大，就想当然认为最大值在右端点，结果正好反了。对勾函数在顶点右侧虽然递增，但递增得比较慢，追不上左侧陡降的那一段，所以最大值反而在左端点。
例 3求 $f(x)=x+\dfrac{4}{x}$ 在 $[3,+\infty)$ 上的值域。
顶点 2 在区间左侧，属于第二种局面，函数在 $[3,+\infty)$ 上单调递增。最小值 $f(3)=\dfrac{13}{3}$，当 $x\to+\infty$ 时函数值趋于无穷，所以值域是 $\left[\dfrac{13}{3},+\infty\right)$。
例 4求 $f(x)=x+\dfrac{4}{x}$ 在 $(0,1]$ 上的值域。
顶点 2 在区间右侧，属于第三种局面，函数在 $(0,1]$ 上单调递减。所以最小值在右端点取，$f(1)=5$；当 $x\to0^+$ 时函数值趋于正无穷。值域是 $[5,+\infty)$。这道题如果套“最小值是 4”，直接错，因为 4 根本取不到。
三道题放在一起看，规律就很清楚了：顶点在不在区间内，决定了最小值是“算出来的”还是“比出来的”。判断这一步花不了十秒钟，却能救回整道题的分。
4.3 配凑与换元：把不像的式子掰成对勾形
例 5求 $y=\dfrac{x^2+2x+4}{x}$（$x>0$）的最小值。
这个式子乍看是二次除以一次，不像对勾。做法是逐项除：$y=x+2+\dfrac{4}{x}$，常数 2 单独拎出来，剩下的 $x+\dfrac{4}{x}$ 就是标准形态。于是
$$y\geq 2\sqrt{4}+2=6$$
等号在 $x=2$ 时成立。最小值 6。
这里的关键动作是分离常数，本质上是多项式除法。判断一个分式能不能化成对勾形，看分子最高次与分母最高次的差：差为 1，就能除出一次项加一个真分式；差为 0 或 2，就不是对勾模型的范畴了。这个判断标准比“看感觉”靠谱得多。
例 6求 $y=\dfrac{x^2+3}{\sqrt{x^2+1}}$ 的最小值。
这题直接除不行，根号在那里摆着。换元：令 $t=\sqrt{x^2+1}$，由 $x^2\geq0$ 得 $t\geq1$。此时 $x^2=t^2-1$，分子变成 $t^2+2$，于是
$$y=\frac{t^2+2}{t}=t+\frac{2}{t},\quad t\geq1$$
现在是对勾形了，顶点在 $t=\sqrt{2}\approx1.414$，落在 $[1,+\infty)$ 内，所以最小值是 $2\sqrt{2}$。此时 $t^2=2$，即 $x^2=1$，$x=\pm1$——注意是两个点，因为原函数的定义域是全体实数。
这道题有两个坑。第一个坑是换元后忘记更新定义域，直接写 $t>0$，那就会得到顶点在 $t=\sqrt2$ 但没验证是否可达的模糊结论；第二个坑是求出 $x^2=1$ 后只写 $x=1$，把负数解漏掉。换元必换域，开方必带正负，这两条是硬规矩。
例 7求 $y=x+\dfrac{4}{x-1}$（$x>1$）的最小值。
分母不是 $x$，得先平移。令 $t=x-1>0$，则 $x=t+1$，代入得
$$y=t+1+\frac{4}{t}=t+\frac{4}{t}+1\geq4+1=5$$
等号在 $t=2$ 即 $x=3$ 时成立。最小值 5。
如果这题的分母换成 $x-1$ 而定义域没有限制 $x>1$，那就得分 $x>1$ 和 $x<1$ 两种情况讨论，因为 $t$ 的符号不确定，均值不等式的方向会反过来。换元之后一定要盯着新变量的取值范围写，这一步比计算本身更重要。
4.4 含参讨论：最容易漏情况的地方
例 8已知 $f(x)=x+\dfrac{a}{x}$ 在区间 $[1,2]$ 上的最小值为 4，求实数 $a$ 的值。
这题必须分类，因为 $a$ 的符号直接决定函数形态。按 $a$ 的取值分四段来谈：
当 $a\leq0$ 时，$f(x)=x+\dfrac{a}{x}$，第一项递增，第二项在 $x>0$ 上也递增（$a<0$ 时 $\dfrac{a}{x}$ 随 $x$ 增大而增大，趋向 0），所以 $f$ 在 $(0,+\infty)$ 上单调递增。最小值在 $x=1$ 处，$f(1)=1+a=4$，得 $a=3$，与 $a\leq0$ 矛盾，舍去。
当 $0<a\leq1$ 时，顶点横坐标 $\sqrt{a}\leq1$，函数在 $[1,2]$ 上单调递增，最小值 $f(1)=1+a=4$，仍得 $a=3$，与 $0<a\leq1$ 矛盾，舍去。
当 $1<a<4$ 时，顶点 $\sqrt{a}$ 落在 $(1,2)$ 内部，最小值取顶点，$2\sqrt{a}=4$，得 $a=4$，但 $a=4$ 不满足 $1<a<4$，舍去。
当 $a\geq4$ 时，$\sqrt{a}\geq2$，函数在 $[1,2]$ 上单调递减，最小值在右端点，$f(2)=2+\dfrac{a}{2}=4$，得 $a=4$，满足 $a\geq4$。
综上，$a=4$。
这类题的失分点集中在两处：一是直接默认 $a>0$ 开始算，把 $a\leq0$ 那一支整个漏掉；二是在 $a=4$ 这个边界值上纠结，不知道它该归到哪一段。我的处理办法是把临界值（这里是 $a=1$ 和 $a=4$，对应顶点恰好落在区间端点）单独在草稿上标出来，确认每一段都是“左闭右开”的划分，做到不重不漏。边界值只归一段，这是分类讨论的基本原则。
4.5 恒成立与存在性：一字之差，答案两样
例 9若不等式 $x+\dfrac{a}{x}\geq4$ 对一切 $x>0$ 恒成立，求 $a$ 的取值范围。
“对一切成立”意味着左边的最小值要大于等于 4。分情况：
若 $a>0$，左边的最小值是 $2\sqrt{a}$，要求 $2\sqrt{a}\geq4$，即 $a\geq4$。
若 $a\leq0$，当 $x\to0^+$ 时，$x\to0$，$\dfrac{a}{x}$ 趋于 $-\infty$（$a<0$）或 0（$a=0$），左边趋于 $-\infty$ 或 0，都小于 4，不满足恒成立。
所以 $a\geq4$。
例 10若存在 $x\in[1,2]$ 使 $x+\dfrac{a}{x}\geq4$ 成立，求 $a$ 的取值范围。
“存在”意味着只要有一个点满足就行，等价于 $a\geq4x-x^2$ 在 $[1,2]$ 上有解，也就是 $a$ 不小于 $4x-x^2$ 在 $[1,2]$ 上的最小值。函数 $g(x)=4x-x^2$ 在 $[1,2]$ 上单调递增（对称轴 $x=2$），最小值 $g(1)=3$。所以 $a\geq3$。
对比这两道题，题干只差“对一切”和“存在”四个字，答案却从 $a\geq4$ 变成了 $a\geq3$。恒成立看最坏情况，存在性看最好情况，这句话我在讲这一段时反复强调，因为它把两种逻辑彻底区分开了。检验一下 $a=3$ 的情形：取 $x=1$，$1+3=4$，等号成立，确实存在；而 $a=2.9$ 时，$4x-x^2$ 的最小值是 3，所以对每个 $x\in[1,2]$ 都有 $2.9<4x-x^2$，即 $x+\dfrac{2.9}{x}<4$ 恒成立，不满足存在性。逻辑闭合。
4.6 实际建模：把文字翻成对勾函数
例 11要用篱笆围一个面积为 100 平方米的矩形场地，其中一面利用现成的墙（墙足够长，不需要篱笆），问矩形边长如何设计，才能使所用篱笆最短？最短是多少？
设垂直于墙的两条边各长 $x$ 米（$x>0$），则平行于墙的那条边长 $\dfrac{100}{x}$ 米。篱笆只围三面，总长
$$L=2x+\frac{100}{x}$$
这是标准的对勾函数。由均值不等式，
$$L\geq2\sqrt{2x\cdot\frac{100}{x}}=2\sqrt{200}=20\sqrt{2}\approx28.28$$
等号成立当 $2x=\dfrac{100}{x}$，即 $x^2=50$，$x=5\sqrt2\approx7.07$。此时平行墙的边长为 $\dfrac{100}{5\sqrt2}=10\sqrt2\approx14.14$ 米。
所以垂直于墙的边取 $5\sqrt2$ 米、平行墙的边取 $10\sqrt2$ 米时，篱笆最短，约 28.28 米。
建模题的核心不在算，而在把变量设对。这题如果设平行墙的边为 $x$，得到 $L=x+\dfrac{200}{x}$，算出来最值一样，但过程中的系数会绕一点。我的习惯是先问自己“哪个量出现两次”，出现两次的那个设为 $x$，式子会更干净。另外，实际应用题一定要回头检查答案的合理性：$x=5\sqrt2$ 是正数，面积确实是 100，墙的长度也够用，三条都过了再写答。
5. 常见问题与排查技巧实录
5.1 高频错误速查表
把这块内容练下来，错的题翻来覆去就那么几类。我整理了一张表，做题卡住的时候对着扫一眼，通常能定位到问题所在。
| 典型错误 | 具体表现 | 正确做法 |
|---|---|---|
| 忽略符号前提 | 对 $x<0$ 直接用 $ax+\frac{b}{x}\geq2\sqrt{ab}$ | 先判 $x$ 的符号，负数时不等号反向 |
| 混淆两种形态 | 对 $a$、$b$ 异号的式子套顶点公式 | 先看 $ab$ 是否为正，异号时函数单调无拐点 |
| 顶点取不到还硬套 | 区间 $[3,+\infty)$ 上写最小值 $2\sqrt{ab}$ | 比较顶点位置与区间，端点取最值 |
| 端点只算一边 | 求区间最大值时只看右端点 | 两个端点都代入比较 |
| 换元不换域 | 令 $t=\sqrt{x^2+1}$ 后仍写 $t>0$ | 重新推导新变量的取值范围 |
| 平移丢常数 | $y=x+\frac{4}{x-1}$ 的顶点写成 $(2,4)$ | 先化为标准形，常数项不能丢 |
| 开方漏负解 | 由 $x^2=1$ 只写 $x=1$ | 写全 $x=\pm1$，再核对定义域 |
| 恒成立与存在混淆 | 两种问法用同一套逻辑 | 恒成立取最坏，存在性取最好 |
| 参数讨论漏负值 | 只讨论 $a>0$ | $a\leq0$ 单独成段，边界值只归一段 |
5.2 我自己踩过的几个坑
第一个坑，是早年特别迷信顶点公式，看到分式就往上套。有一次题目是 $y=\dfrac{x^2+3}{x}$ 在 $[0.5,1]$ 上求值域，$x>0$ 时顶点在 $\sqrt3\approx1.732$，根本不在区间内，函数在 $[0.5,1]$ 上单调递减，值域是 $[3+3, 0.5+6]=[6,6.5]$。我当时直接写最小值 $2\sqrt3$，错得离谱。从那以后我养成了一个动作：算完顶点，先拿笔在数轴上把顶点和区间画出来，位置关系一目了然，比在脑子里想可靠得多。
第二个坑，是分类讨论的边界。含参题里 $a=4$ 这种让顶点恰好落在端点的值，到底归左边那段还是右边那段，我纠结过很久。后来想明白了：归哪段都行，只要不重复不遗漏，但一定要在草稿上把四段的分界点列清楚，写成“$a\leq1$、$1<a<4$、$a\geq4$”这种形式，中间的段用开区间，两头的段用闭区间，就不会出问题。这个习惯是从无数次“答案多了或少了”里换来的。
第三个坑，是不等式的方向。$x<0$ 时 $ax+\dfrac{b}{x}$ 的两项都是负的，用均值不等式得到的是“小于等于 $-2\sqrt{ab}$”，取等的点也在负半轴。这个结论本身不难，难在解题时容易忘。我的应对办法是先在草稿上写一行“$x$ 的符号”，把符号写在最显眼的位置，后面所有推导都对着这一行看，慢慢就形成条件反射了。
第四个坑跟画图有关。用代码画图时，如果采样区间跨过 $x=0$，函数值会突然变得极大或极小，画出来的线会拉一条几乎垂直的竖线穿过整个画面，看着像多了一条渐近线，实际是采样点太靠近 0 造成的假象。解决办法很简单：分正负两段采样，中间留出空隙，就像前面那段代码里用np.linspace(0.25, 8, 600)和np.linspace(-8, -0.25, 600)分开取点一样。这种数值上的小陷阱，光看公式是发现不了的，只有真跑一遍才会遇到。
最后再补一个判断技巧：拿到一个分式函数，先用“分子分母次数差是否为 1”做初筛，是的话尝试分离常数化成对勾形，不是的话就要考虑判别式法或者换元法。这个初筛动作只需要两秒，却能省下大量试错时间。我在批改练习时发现，很多人卡住不是因为不会算，而是因为一开始就走错了方向，把时间耗在了不适合的方法上。
