企业官网建设流程全解析

说实话，对勾函数是高中函数板块里最"看起来简单、做起来翻车"的一块内容。它的表达式只有 f(x) = ax + b/x 这么一行，图像也就是一个弯弯的勾，可真到了考场上，区间端点卡不卡顶点、等号能不能取到、换元之后定义域变没变，随便一个环节出问题，答案就废了。我见过太多同学背下了"最小值是 2√(ab)，在 x = √(b/a) 处取到"这句话，题目稍微一变形就完全不会动笔。原因不在于公式没记住，而在于他们从来没有真正搞清楚这个式子是怎么被"逼"出来的、图形在坐标系里到底长什么样、以及什么时候这个结论根本不适用。

下面这些内容，我打算按"先看懂图形、再推性质、最后拆题型"的顺序来写。前面两块是给你打地基的，哪怕你现在只会机械套公式，跟着把作差法推一遍，后面的题会顺畅一大截；后面几块是实战，六道典型题从直接求最值一直拆到含参分类讨论和平移版本，每道题我都把易错的那一步单独拎出来说。适合正在学函数的同学对照着刷题用，也适合已经学过一遍但一遇到变形就卡壳的人回头补漏。

1. 从 y = x + 1/x 的描点说起：那个勾是怎么弯出来的

很多人一上来就记结论，结果脑子里没有图像。函数题最怕的就是"心里没图"，因为你没法判断答案合不合理。所以第一步，我们老老实实画一次图，把 y = x + 1/x 这一个最原始的对勾函数刻进脑子里，后面所有变形都是从它身上长出来的。

1.1 五个点定形，一次描图就记住

取几个好算的点，x 分别取 1/2、1、2、3，以及它们的相反数：

把这些点连起来你会发现两件事。第一，第一象限的曲线先往下掉，掉到 (1, 2) 这个点就止跌了，然后一路往上爬，越来越贴近直线 y = x，但永远追不上。第二，第三象限的曲线和第一象限的曲线关于原点完全对称，它是先往上冲到 (-1, -2)，然后一路往下掉，越来越贴近 y = x 但同样追不上。

这两段合在一起，第一象限那段就像一个被掰弯的对勾，第三象限是它在原点的中心对称镜像。我在给某同学讲的时候，一般会让他自己动手画一遍，画完再问他：这个函数有最小值吗？他如果说有，最小值是 2，那就说明图没白画。紧接着追问一句：那最大值呢？绝大多数人会卡一下，然后意识到没有最大值——因为 x 往 0+ 走的时候函数值能冲到无穷大。这个追问很重要，它逼着你去注意"顶点"和"无界"这两件事同时存在。

这里还有个容易被忽略的细节：x = 0 是不在定义域里的，图像在 y 轴处断成两支。很多人画图时手一滑把两支连起来了，那画出来就完全不是对勾函数了。所以记图像的时候要连带记一句话——定义域是 x ≠ 0，图像分两支，中间隔着一道 y 轴。

1.2 两条渐近线各管一件事

对勾函数有两条渐近线，这个知识点考试不常直接问，但它是你理解"为什么曲线长这样"的关键。

第一条是y 轴（x = 0）。因为当 x 趋近于 0 的时候，b/x 这一项会无限膨胀，函数值的绝对值被拉得越来越大，曲线就垂直地贴着 y 轴往上（或者往下）跑，怎么也碰不到它。

第二条是直线 y = ax。这个稍微抽象一点，你可以这样理解：把 f(x) = ax + b/x 拆成两部分看，ax 是个"主干"，b/x 是个"小尾巴"。当 x 变得很大很大时，b/x 就变得很小很小，小到可以忽略，函数值就基本等于 ax 了。所以曲线在远处会和直线 y = ax 无限接近。

以 y = x + 1/x 为例，两条渐近线就是 y 轴和直线 y = x。你可以观察一下图像：曲线在右上方确实一直在 y = x 的上方，而且越往右贴得越紧，但始终保持一点点距离——那一点点距离就是 1/x 这个"尾巴"贡献的。这个视角很有用，它告诉你：对勾函数 = 一条直线 + 一个反比例函数的余项。理解了这一层，你就明白为什么它的图像既像直线又像双曲线，为什么它本质上是双曲线了。

顺带说一个实用技巧：判断一个复杂函数是不是对勾函数型，你就看它能不能拆成"一次函数 + 反比例函数"的形式。能拆，就是；不能拆，就不是。

1.3 顶点坐标的两条推导路线

顶点坐标 (√(b/a), 2√(ab)) 这个结论，很多资料直接给，我不建议你背。它至少有两条推导路线，都值得走一遍。

路线一：基本不等式。当 a > 0、b > 0、x > 0 时，

f(x) = ax + b/x ≥ 2√(ax · b/x) = 2√(ab)

等号成立的条件是 ax = b/x，也就是 x² = b/a，即 x = √(b/a)。取等号的那个点，正好就是最小值点。这条路快，但它有个前提——必须 x > 0，而且必须 a、b 都为正，否则不等号方向会翻。

路线二：配方或者作差。想证明 x = √(b/a) 是最小值点，其实就是证明函数在这个点左边递减、右边递增。用作差法：设 0 < x₁ < x₂，

f(x₂) - f(x₁) = (x₂ - x₁)·(a - b/(x₁x₂))

当 x₁x₂ < b/a 时，b/(x₁x₂) > a，括号里是负数，整个差值为负，说明递减；当 x₁x₂ > b/a 时反之。分界点就是 x₁x₂ = b/a 那个位置，对应 x = √(b/a)。

两条路我都建议你走一遍。路线一给你答案和取等条件的直觉，路线二给你"为什么这里是唯一的最低点"的严格保证。做题时用路线一，理解时回到路线二，这个分工很实用。特别提醒：路线二顺便证明了顶点只有一个，因为 x₁x₂ 和 b/a 的大小关系只可能变一次号。有些同学做题时怀疑"会不会还有别的极值点"，看到这个证明就不用怀疑了。

2. 单调性、值域、奇偶性：一张性质表得能自己推出来

性质表这东西，抄一遍用处不大，自己推一遍才算真的掌握。下面这三块内容，我按"结论是什么、怎么来的、哪里容易错"的顺序来讲，每一条都会说清楚背后的道理，而不是甩给你一个结果。

2.1 分界点为什么只能是 √(b/a)——作差法的完整过程

以 a > 0、b > 0 为例，把作差法完整走一遍。任取 x₁、x₂ 都在 (0, +∞) 上，且 x₁ < x₂，则

f(x₂) - f(x₁) = a(x₂ - x₁) + b(1/x₂ - 1/x₁) = a(x₂ - x₁) - b(x₂ - x₁)/(x₁x₂) = (x₂ - x₁)·[a - b/(x₁x₂)]

因为 x₂ - x₁ > 0，所以整个式子的符号完全由方括号里那一项决定。这一项什么时候是负的？就是 b/(x₁x₂) > a，也就是 x₁x₂ < b/a。

于是结论出来了：只要两数的乘积小于 b/a，函数就是递减的；乘积大于 b/a，函数就是递增的。把这个条件换成"位置"，就是：在 (0, √(b/a)] 上递减，在 [√(b/a), +∞) 上递增。

用同样的方法处理 (-∞, 0) 那一支，得到的结论是：在 (-∞, -√(b/a)] 上递增，在 [-√(b/a), 0) 上递减。注意这一支的单调性和右边那一支正好反过来，这跟奇偶性有关，下面会讲。

这里有个必须强调的点：分界点只有一个。也就是说，函数在正半轴只有"一个谷底"，在负半轴只有"一个山顶"，不存在第二个转折。这个"唯一性"是靠作差法里 x₁x₂ 与 b/a 的比较只有一次变号来保证的。有些同学做题时会怀疑"会不会再往下掉一次"，不会。

还有一个说法上的坑：单调区间必须以 √(b/a) 为分界写清楚，不能含糊地写"在 (0, +∞) 上先减后增"。这种写法在判卷时是要扣分的，因为单调性是针对区间而言的，必须写成两个区间。我一般让学生这么记：分母上一个分界点，两根柱子，一边一根。

2.2 值域的左半边最容易被漏掉

先说右半支：x > 0 时，f(x) ≥ 2√(ab)，最小值 2√(ab)，往上没有上限。所以右半支的值域是 [2√(ab), +∞)。

再说左半支。这个很多人直接跳过，或者想当然地以为"没有最小值就是全体实数"。正确的做法是利用奇偶性：f(-x) = -ax - b/x = -(ax + b/x) = -f(x)，所以它是奇函数，图像关于原点对称。既然右半支的值域是 [2√(ab), +∞)，把它关于原点对称过去，左半支的值域就是 (-∞, -2√(ab)]。

合起来，整个函数的值域是：

(-∞, -2√(ab)] ∪ [2√(ab), +∞)

注意中间那段开区间 (-2√(ab), 2√(ab)) 是取不到的，函数值在中间有个"空洞"。这个结论在做"方程 f(x) = k 有几个解"这类题时特别有用：k 落在空洞里就是零个解，k 恰好等于 ±2√(ab) 是一个解，k 的绝对值更大就是两个解。

我见过不少同学在填空时把值域写成 [2√(ab), +∞)，左半边直接丢了。这属于典型的"只看第一象限"。提醒一句：只要题目没写 x > 0，就必须考虑左半支。这个习惯要从现在开始养。

2.3 a 与 b 的符号决定了它"勾"还是"刀"

ax + b/x 这个式子，a 和 b 的符号不同，图像完全不是一回事。这个对比必须搞清楚，因为考试里经常拿它来设陷阱。

第二、三行那两种，通常被称为"双刀函数"，图像像两把刀一样各自单调地往外甩，中间没有谷底也没有山顶。最典型的例子是 y = x - 1/x：在 (0, +∞) 上它一直往上走，在 (-∞, 0) 上也一直往上走，你找不到任何一个让它"掉头"的点。

这个区别非常重要，因为单调函数是没有极值的，你不能对它用基本不等式那套"最小值 2√(ab)"的结论。可偏偏 x - 1/x 和 x + 1/x 长得只差一个符号，很多人一紧张就认错。我的建议是：动笔之前先扫一眼 b 的符号，正号才是对勾，负号立刻换成单调函数的思路处理。

3. 用基本不等式求最值的三个前提和它们的失效场景

基本不等式是对勾函数最常用的工具，但它也是最容易被滥用的工具。我在批改作业时发现，超过一半的错误不是不会用，而是在不该用的时候用了。下面把三个前提逐条拆开，再说清楚前提不满足时该怎么办。

3.1 "一正二定三相等"逐条拆解

这七个字是口诀，但很多人只记住了字面，没有对应到具体操作。

"一正"指的是参与运算的两项都得是正的。在 ax + b/x 里，要求 a > 0、b > 0、x > 0。三项缺一不可。如果 x < 0，那么 ax 和 b/x 都是负的，你不能直接写 ≥ 2√(ab)，那是把不等号方向搞反了。正确做法是先提负号：x < 0 时，f(x) = -[a(-x) + b/(-x)] ≤ -2√(ab)。

"二定"指的是两项相乘之后，变量要能消掉，得到一个常数。这一点在对勾函数里天然满足：ax · b/x = ab，变量 x 刚好约掉。所以你不需要额外凑系数，这正是对勾函数"好算"的原因。但如果题目是 2x + 8/x²，那就麻烦了，因为相乘得到 16/x，变量没消干净，这时候就不能直接用基本不等式，得换方法。

"三相等"指的是等号必须能取到。ax = b/x，解出 x = √(b/a)，这个点必须落在题目给定的定义域或区间内，否则最小值就拿不到，只能取到端点处的下确界。

这三条里，"一正"和"二定"是入场券，"三相等"是判死刑的最后一关。我见过太多人过了前两关就放松警惕，结果栽在第三关。

3.2 等号取不到时，别急着放弃——看端点

举个具体的：求 f(x) = x + 4/x 在区间 [3, 5] 上的最值。

顶点位置是 x = √(4/1) = 2，最小值理论上是 4。但 2 根本不在 [3, 5] 里面，等号取不到，"最小值 4"这个结论就是无效的。这时候要回到单调性：区间 [3, 5] 完整地落在顶点的右侧，而右侧是递增的，所以函数在这个区间上单调递增，最小值在左端点取到，f(3) = 3 + 4/3 = 13/3；最大值在右端点取到，f(5) = 5 + 4/5 = 29/5。

这个处理流程可以固化成三步：先算顶点位置，再判断顶点在不在区间内，不在就转单调性看端点。听起来简单，但真正做题时，很多人算完顶点就默认它在区间里，直接写答案。

再补一个更阴险的例子：求 f(x) = x + 4/x 在 (0, 1) 上的最小值。顶点 2 不在区间内，区间在顶点左侧，递减，所以函数值随 x 增大而减小，x 越接近 1 越小，最小值的下确界是 f(1) = 5。但 1 是开区间端点，取不到，所以这个函数在 (0, 1) 上没有最小值，只有下确界 5。填空时如果只写 5，那是不严格的。这种题专门用来坑"算了半天总算出个数字"的人。

3.3 区间与 √(b/a) 的三种位置关系

把上面两种情形系统化，就是分类讨论的模板。设 f(x) = x + a/x（a > 0），考察区间 [m, n]（0 < m < n），顶点位置 x₀ = √a，一共三种情况：

这张表的用法是：看到"求 f(x) = x + a/x 在 [m, n] 上的最小值"这类题，第一反应不是套公式，而是先比 √a 和 m、n 的大小。比较的时候有个小技巧，不用开根号，两边平方比较就行，比如 √a 和 3 比大小，直接比 a 和 9。

另外说明一点，如果区间是开区间，或者区间跨越了 x = 0（比如 [-2, 3]），那就要先把区间拆成两支分别处理，再合并结果。这种题出现频率不高，但一旦出现，忘记拆区间就是致命错误。

4. 六道典型题的完整拆解，从直接求最值到含参讨论

前面三块是准备，这一块是实战。我挑了六道有代表性的题，从最简单的求最值一路推到含参分类讨论和平移版本。每道题我都会写完整过程，重点是标出"这一步为什么这么做"，以及"这里如果不这么做会怎样"。

4.1 直接求最值：几秒钟出答案的题也要写清楚步骤

题：求 f(x) = 2x + 8/x（x > 0）的最小值。

先看"一正"：a = 2 > 0，b = 8 > 0，x > 0，三条都满足。再看"二定"：2x · 8/x = 16，常数，可以消元。于是

f(x) ≥ 2√16 = 8

等号条件：2x = 8/x，即 x² = 4，x = 2（负根舍掉，因为要求 x > 0）。2 落在定义域内，"三相等"满足。

所以最小值是 8，在 x = 2 处取到。

这道题简单，但过程里有个细节值得说：等号条件一定要解出来并且验证在定义域内，不能只写"当 2x = 8/x 时取等号"就完事。有些人喜欢跳这一步，遇到简单题没事，遇到复杂题（比如换了元的、区间受限的）就非常容易在等号验证上翻车。

4.2 换元归型：先换元后换范围，这个顺序不能乱

题：求 y = (x² + 5)/√(x² + 1) 的最小值。

这个式子直接看不出来是对勾函数，需要换元。设 t = √(x² + 1)，因为 x² ≥ 0，所以 t ≥ 1。然后把分子也用 t 表示：x² + 5 = (t² - 1) + 5 = t² + 4。于是

y = (t² + 4)/t = t + 4/t，其中 t ≥ 1

到这里就归型成功了，是一个标准的对勾函数，顶点在 √4 = 2。现在关键的一步来了：**t = 2 在 t ≥ 1 这个范围内吗？**在。所以最小值是 2√4 = 4，在 t = 2 处取到，对应 x² = 3，即 x = ±√3。

如果题目改成 y = (x² + 5)/√(x² + 1)，但限定 x² ≥ 3，那么 t = √(x²+1) ≥ 2，顶点 2 恰好落在左端点，最小值还是 4，但取等条件变成 x² = 3 这个边界值。再改一次，若限定 x² ≥ 8，则 t ≥ 3，区间整个落在顶点右侧，递增，最小值在 t = 3 处，等于 3 + 4/3 = 13/3。

这里必须强调换元的顺序问题：一定要先把 t 的取值范围定下来，再去求最值。我见过很多人换完元直接套"最小值 2√4 = 4"，压根不管 t 的范围。这种习惯在基础题里侥幸不出错，一旦遇到改动范围的题就必然翻车。

换元还有另一类常见形式：y = x + 1/(x - 1)（x > 1）。设 t = x - 1 > 0，则 x = t + 1，y = t + 1 + 1/t = (t + 1/t) + 1 ≥ 2 + 1 = 3，等号在 t = 1 即 x = 2 处取到。这一步"加一减一凑出 t"的技巧要练熟，本质是把分母那个碍事的东西整体换掉。

4.3 分离参数：恒成立看最大值，能成立看最小值

题：若不等式 x + a/x ≥ 3 对任意 x ∈ [1, 2] 恒成立，求实数 a 的取值范围。

这类题的通用套路是把参数孤立到一边。两边乘 x（注意到 x > 0，不等号方向不变），得到 x² + a ≥ 3x，即

a ≥ 3x - x²，对任意 x ∈ [1, 2] 恒成立

现在问题转化成了：a 要大于等于函数 g(x) = 3x - x² 在 [1, 2] 上的最大值。这一步是"恒成立"的核心逻辑——要让 a 在所有情况下都压得住，就必须压得住最难压的那个，也就是最大值。

g(x) = 3x - x² 是个开口向下的抛物线，对称轴在 x = 3/2，落在区间 [1, 2] 内，所以最大值在顶点处取到：g(3/2) = 9/2 - 9/4 = 9/4。

所以 a ≥ 9/4。验证一下边界：取 a = 9/4，则 x + 9/(4x) 的顶点在 √(9/4) = 3/2，正好在区间内，最小值是 2√(9/4) = 3，恰好满足 ≥ 3 且能取等号。答案自洽。

现在把题目改一个字：若不等式 x + a/x ≥ 3存在x ∈ [1, 2] 成立，求 a 的范围。这时候逻辑就反过来了，a 只需要能压住最容易压的那一个，也就是 g(x) 的最小值。g(1) = 2，g(2) = 2，最小值是 2，所以 a ≥ 2。

"恒成立"和"存在"这两个词，一个看最大值一个看最小值，方向完全相反。这个对比我在黑板上写过无数遍，还是有人搞混。简单记法：恒成立要求"全都能"，所以挑最难的；存在只要求"有一个能"，所以挑最容易的。

4.4 实际应用：把文字条件翻译成 x + a/x 的固定套路

题：某工厂要用篱笆围一块矩形场地，一边利用现有的墙（墙足够长，不需要篱笆），另外三边用篱笆围成，要求场地面积为 100 平方米，问篱笆总长度最短是多少？

设垂直于墙的两条边各长 x 米（x > 0），平行于墙的那条边长 y 米。面积条件给 xy = 100，所以 y = 100/x。篱笆总长度 L = 2x + y = 2x + 100/x。

到这里模型就建好了，正是对勾函数。a = 2，b = 100，都为正，x > 0 满足。用基本不等式：

L ≥ 2√(2 · 100) = 2√200 = 20√2

等号条件：2x = 100/x，x² = 50，x = 5√2。此时 y = 100/(5√2) = 10√2。代回去验算：2·5√2 + 10√2 = 20√2，对上了。

所以最短篱笆长度是 20√2 米，约 28.3 米。

这类应用题的关键在建模那一步，也就是把约束条件翻译成一个变量、一个函数的表达式。翻译的时候有个技巧：设哪个量做自变量，看"约束条件"里哪个出现得最自然。这题面积是 xy = 100，设垂直边为 x 后 y 直接就能表示出来，所以 x 是好的选择。如果反过来设平行边为 x，那垂直边就是 50/x，总长 L = x + 100/x，也能做，顶点在 x = 10，L 最小值 = 20，x = 10 时垂直边 = 5。两种设法结果一样（因为是同一条篱笆），但计算上第一种更顺。

还有一个细节要注意：实际问题中的变量往往有隐含范围（长度必须为正、可能还有场地限制），建模之后要把这个范围写出来，别默认是全体正数。这题里没有额外限制，但很多题会有"墙只有 8 米长"之类的条件，那就得平移区间了。

4.5 含参分类讨论：把区间端点和顶点比大小

题：已知 a > 0，求 f(x) = x + a/x 在区间 [1, 2] 上的最小值。

这题参数在分子上，不能用分离参数法，得直接分类讨论。核心就是把顶点 √a 和区间端点 1、2 比大小，按 3.3 那张表分三种情况。

情况一：√a ≤ 1，即 0 < a ≤ 1。顶点在区间左侧，函数在 [1, 2] 上递增，最小值在 x = 1 处，f(1) = 1 + a。

情况二：1 < √a < 2，即 1 < a < 4。顶点落在区间内，最小值在 x = √a 处，等于 2√a。

情况三：√a ≥ 2，即 a ≥ 4。顶点在区间右侧，函数在 [1, 2] 上递减，最小值在 x = 2 处，f(2) = 2 + a/2。

写成分段形式：

• 0 < a ≤ 1 时，最小值 1 + a
• 1 < a < 4 时，最小值 2√a
• a ≥ 4 时，最小值 2 + a/2

边界验证：a = 1 时，1 + a = 2，2√a = 2，两种情况答案一致；a = 4 时，2√a = 4，2 + a/2 = 4，也一致。说明分段是连续的，没有遗漏。

这个验证动作值得养成习惯。分类讨论最容易出错的地方就是边界归属，也就是"√a = 1"到底归情况一还是情况二。因为答案在边界处连续，归哪边都对，但如果你的分段在边界处不连续，那就说明前面某一步算错了，等于给自己加了一道保险。

另外提醒一句：分类讨论的三种情况要写全，不能漏。有些人只讨论"顶点在区间内"和"顶点在左边"，把右边漏了，遇到 a 很大的题就丢分。

4.6 进阶视角：y = ax + b/x 其实是一条双曲线

这个知识点考试不考，但理解了会让你对整个函数的认识提升一个层次。

把 y = ax + b/x 两边乘 x，整理成

ax² - xy + b = 0

这是一个二次曲线方程，形如 Ax² + Bxy + Cy² + Dx + Ey + F = 0，其中 A = a，B = -1，C = 0。判别式 B² - 4AC = 1 - 0 = 1 > 0，按二次曲线的分类标准，判别式大于零就是双曲线。所以你画的每一张对勾函数图像，本质上都是一条被歪着放的双曲线。

更有意思的是渐近线。把方程里的二次齐次部分拿出来分解：ax² - xy = x(ax - y)，令它等于零，得到 x = 0 和 y = ax。这两个式子正好就是前面 1.2 节说的两条渐近线。也就是说，对勾函数的两条渐近线，是从二次项里"分解"出来的。

这个视角的实际价值在于：它解释了对勾函数为什么分两支、为什么远距离贴着直线走、为什么中心对称。理解了这些，你在做题时对图像的判断会更有底气，看到值域是两段、看到交点个数问题，也不会觉得突兀。

5. 平移后的对勾函数：最容易出错的地方

考试里出现频率最高的其实不是标准的 x + a/x，而是它平移之后的版本，比如 y = (x - 1) + 4/(x - 1)，或者 y = x + 3 + 1/(x - 1)。这类题看着复杂，但处理方法很固定——把它整体看成一个新的变量就行。可偏偏这一步是翻车重灾区，我把两个最容易出问题的点单独拎出来讲。

5.1 顶点、渐近线、定义域一起搬

看这个函数：f(x) = (x - 2) + 9/(x - 2)。设 t = x - 2，那么 f(x) = t + 9/t，这是一个标准对勾函数。

现在关键来了：t 的取值和 x 的取值是绑定的，x ≠ 2 对应 t ≠ 0。所以原函数的定义域是 x ≠ 2，少了一个点，图像在 x = 2 处断成两支。

顶点怎么找？t 的顶点在 t = √9 = 3，对应 x = t + 2 = 5。也就是说，顶点坐标从原来的 (3, 6) 变成了 (5, 6)——横坐标跟着平移了，纵坐标没变（因为外面没有加常数）。

渐近线也跟着搬：原来有 y 轴和 y = t，现在变成x = 2和y = x - 2。注意第二条渐近线也跟着变了，不是 y = x 了，因为纵坐标的"主干"变成了 x - 2。

单调区间同理平移：原来在 (0, 3] 递减、[3, +∞) 递增，现在变成在 (2, 5] 递减、[5, +∞) 递增。左边那一支则是 (-∞, -1] 递增、[-1, 2) 递减。

这个"整体搬"的思路可以总结成一句话：设 t = x - m，函数在 t 坐标系里的所有结论（顶点、单调区间、值域、渐近线）都成立，然后统一把 t 换回 x - m，再加上平移量。整套结论是平移关系，不是重新推一遍。

至于 y = (x - 2) + 9/(x - 2) + 5 这种外面又加了常数的，更简单——所有函数值都往上抬 5，最小值从 6 变成 11，纵坐标的渐近线变成 y = x - 2 + 5 = x + 3，其余不变。

5.2 区间是否含顶点决定了解题流程

平移版本做题时，最大的坑不是求顶点，而是求出的顶点是不是真的在题目给的区间里。

举个具体的：求 f(x) = x + 4/(x - 1) 在区间 [2, 5] 上的最小值。

先换元：设 t = x - 1，则 x = t + 1，f(x) = t + 1 + 4/t = (t + 4/t) + 1。因为 x ∈ [2, 5]，所以 t ∈ [1, 4]。

现在看 t + 4/t 的顶点：√4 = 2，在 [1, 4] 里面，所以能取到最小值 2√4 = 4。整个函数的最小值就是 4 + 1 = 5，在 t = 2 即 x = 3 处取到。

如果区间改成 [4, 6] 呢？t ∈ [3, 5]，顶点 2 在区间左侧，函数在 [3, 5] 上递增，最小值在 t = 3 处：3 + 4/3 + 1 = 16/3。这时候就不能用 2√4 + 1 = 5 了。

我见过最典型的错误是：换元之后算出了顶点，也验证了顶点落在t 的区间里，但忘了把 t 换回 x 去写答案。比如题目问"在 x = ? 处取得最小值"，答案应该写 x = 3，有人写 t = 2。这种错误在小题里可能扣分不多，但解答题里会显得很不严谨。

还有一个隐藏的坑：换元的方向如果搞反了，区间会跟着颠倒。比如设 t = 1/x，那么 x ∈ [1, 2] 对应 t ∈ [1/2, 1]，左端点变成了右端点。这种情况在换元时一定要盯住范围的方向，写完了回头核对一遍端点对应关系。

6. 错题本上出现频率最高的五个坑

最后一块，我把自己在批改过程中反复看到的五类错误集中列出来。这些不是"知识没学会"的问题，而是"会了但用错"的问题，往往更难自己察觉。

6.1 把 ax - b/x 也当成对勾函数

这个我在 2.3 节提过，单独再强调一次。y = x - 1/x 和 y = x + 1/x 只差一个符号，但前者单调、无最值，后者有顶点、有最小值。如果你看到 -b/x 还去套 2√(ab)，那结果一定是错的。

判断方法很简单：看 x 那一项和 1/x 那一项的符号是否相同。相同才能用基本不等式（因为要"一正"），不同就是单调函数。写作业时养成"动笔前先扫一眼符号"的习惯。

6.2 等号取不到还硬套不等式

这个错误的典型场景就是 3.2 节说的那种：顶点不在给定区间内。计算过程完全正确，最后一步没验证。

防范办法是把它变成强制流程：算完顶点位置，立刻用铅笔在区间上标一下，看这个点是不是落在里面。落进去了，用顶点；没落进去，看端点。这个动作花不了几秒钟，但能救回很多分数。

另外一个细节：开区间端点的情形。如果算出来最小值在开区间的端点处取到，那严格来说这叫"下确界"而不是"最小值"，答案要写"无最小值，取值范围是 ..."或者直接用 ≥ 号描述。很多时候题目本身就想考这个点。

6.3 只看第一象限那一支

求值域、判断方程解的个数、求参数范围，只要题目没有明确写 x > 0，就必须考虑左半支。左半支的值域是 (-∞, -2√(ab)]，符号和右边相反。

以"方程 x + 4/x = k 有几个解"为例。k > 4 有两个解（一正一负），k = 4 有一个解（x = 2），-4 < k < 4 无解，k = -4 有一个解（x = -2），k < -4 有两个解。如果你只考虑右半支，那 k < 0 的时候你就会答"无解"，直接错。

6.4 换元之后忘了换定义域

换元的时候，新变量的范围必须跟着一起变，这一步不能省。比如设 t = x² + 1，那 t ≥ 1，不是 t > 0；设 t = x - 1，那 t 的范围由 x 的范围减去 1 得到。

还有一个更隐蔽的：设 t = x + 1/x 的时候，t 本身是有范围的——因为 x + 1/x 的值域是 (-∞, -2] ∪ [2, +∞)，所以 t 不能取到 (-2, 2) 之间的值。这种"换元后的新变量自带范围"的情况最容易漏，因为从表达式上看不出来，得用对勾函数的值域去倒推。

6.5 区间端点的开闭随手写

这个错误看起来最小，实际杀伤力很大。f(x) = x + 4/x 在 [3, 5] 上的最小值是 f(3) = 13/3，因为 3 可以取到；在 (3, 5] 上就没有最小值了，只有下确界 13/3。

我建议大家在做题时用一个小标记：区间的开闭用圆圈和实心点在草稿上标出来，写完答案回头看一眼端点到底取不取。很多题目就是专门在这个细节上设坑的。

最后分享一个我个人觉得最实用的训练方法：把 x + a/x 这个式子的图像默画十遍，分别取 a = 1、4、9、1/4，每次都在图上标出顶点、渐近线、定义域断点。画到不用想就能下笔的时候，你会发现大部分对勾函数的题，看图就能判断答案合不合理，计算只是验证。这个方法我让不少人试过，比刷十套卷子管用。