企业官网建设流程全解析

1. 对勾函数到底是什么：从式子到图像的第一次正面接触

1.1 一个看似简单的式子，藏着两种完全不同的脾气

对勾函数的标准形式是f(x) = x + a/x（a > 0），定义域是 x ≠ 0。这个名字不是教材里的正式术语，翻遍课本也找不到"对勾函数"这四个字作为定义出现，但它在函数值域、基本不等式、含参恒成立、数列最值这些内容里出现的频率，比很多正式章节都要高。名字的来历很直白——图像长得像一个被拉长的"√"。

讲对勾函数，第一件事不是画图，而是把a 的符号说清楚。a > 0 时它才有最低点，才叫对勾函数；a < 0 时，f(x) = x + a/x 在 (0, +∞) 和 (-∞, 0) 上都是单调递增的，没有极值，图像完全不长"对勾"的样子，通常被称为"双刀函数"。这两个东西的式子只差一个符号，性质却是天壤之别。我在批改作业时见过太多学生画图时不管 a 的正负，一律画成对勾，后面求最值自然全错。

所以后面所有讨论，默认前提都是a > 0。这一点必须在做题的第一行就写明，它不是废话，而是整个分析的地基。

1.2 两条渐近线加两个关键点，图像就锁定了

画对勾函数不需要描点法一个一个算，抓住四条"骨架"就够了。第一条是y 轴：当 x 从右侧无限靠近 0，a/x 会冲向正无穷，图像贴着 y 轴往上走，永远不碰它；当 x 从左侧靠近 0，图像贴着 y 轴往下扎。第二条是直线 y = x：当 x 趋于正无穷，a/x 趋于 0，整个函数值几乎就等于 x，图像无限贴近这条斜线。

有了这两条渐近线，图像的"活动范围"就被框死了：右支整个夹在 y 轴和 y = x 之间，左支对称地夹在 y 轴和 y = x 之间。

再加两个关键点。利用基本不等式，x > 0 时 x + a/x ≥ 2√a，等号在 x = √a 时取到，所以右支的最低点是(√a, 2√a)。由奇函数对称性，左支的最高点是(-√a, -2√a)。另外再补两个"路过点"帮助定位：x = 1 时 y = 1 + a，x = -1 时 y = -1 - a。

按这个顺序画：先画 y 轴和虚线 y = x，标出最低点和最高点，再标 (1, 1+a) 和 (-1, -1-a)，右支从 y 轴高处下来经过最低点再贴着 y = x 往上走，左支镜像操作。整套动作三十秒能画完，比列表描点快得多，也不容易画歪。

1.3 用"叠加"的眼光看这个式子，很多结论不用背

f(x) = x + a/x 可以看成两个函数叠加：一个正比例函数 y = x，一个反比例函数 y = a/x，同一个 x 对应的两个 y 值相加。这个视角的价值在于，它把图像上那些看起来奇怪的行为都解释通了。

x 很大的时候，a/x 已经小到可以忽略，函数接近 y = x，所以图像右端越来越"直"，斜率趋于 1。x 很小的时候情况反过来，a/x 数值巨大，x 那部分可以忽略，图像接近 y = a/x，所以靠近 y 轴时曲线非常陡，几乎垂直。中间那段是两股力量势均力敌的地方，一个在增一个在减，谁也压不住谁，最后在 x = √a 处达成平衡，函数值最小。

这套"叠加"思路还有个实用价值：它解释了为什么对勾函数只有一支拐点。y = x 是单调增的，y = a/x 在正半轴是单调减的，两者相加，减的那部分在靠近 0 时占绝对优势，增的那部分在远离 0 时占绝对优势，中间必然有一个"交接点"，而且只有一个。想明白这一点，就不会再去问"为什么没有第二个最低点"。

2. 核心结论是怎么推出来的：不做记忆的奴隶

2.1 最小值 2√a：三行不等式，但有两个前提

这个结论的推导非常短：x > 0 且 a > 0 时，

x + a/x ≥ 2√(x · a/x) = 2√a

等号成立当且仅当 x = a/x，即 x² = a，x = √a。三行写完，干净利落。

但这里藏着一个几乎人人都会踩的坑：这个不等式只在 x > 0 时成立。如果 x < 0，x + a/x 是负数，根本不可能有最小值 2√a。这时候需要先提负号：设 t = -x > 0，f(x) = -t - a/t = -(t + a/t) ≤ -2√a，所以 x < 0 时的最大值是 -2√a，在 x = -√a 处取到。

还有第二个坑，比第一个隐蔽得多：基本不等式给出的 2√a 只是在"整段定义域"上的最小值，如果题目限定了区间，而 √a 恰好不在这个区间里，最小值根本不是 2√a。这是后面例题里反复要强调的核心。很多人学完不等式后形成了条件反射，见到 x + a/x 就写 2√a，结果区间是 [3, 5]、a = 4，√a = 2 压根不在区间内，答案是 f(3) 而不是 f(2)。

2.2 单调性：为什么证明过程必须分两段讨论

用定义法证明单调性，过程如下。设 0 < x₁ < x₂，则

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

因为 x₁ < x₂，所以 (x₁ - x₂) < 0，分母 x₁x₂ > 0，符号完全由(x₁x₂ - a)决定。

当 0 < x₁ < x₂ ≤ √a 时，x₁x₂ < a，整个式子的符号是"负乘负"，结果为正，即 f(x₁) > f(x₂)，递减。当 √a ≤ x₁ < x₂ 时，x₁x₂ > a，结果是"负乘正"，结果为负，即 f(x₁) < f(x₂)，递增。

这个推导里最关键的一步是把 a 和 x₁x₂ 放在一起比较，也就解释了为什么必须分两段：不是证明技巧的问题，而是 (x₁x₂ - a) 的符号天然就有两个区域。任何绕开分段的"简化证明"都是错的。

结论记牢：f(x) = x + a/x 在 (0, √a] 上单调递减，在 [√a, +∞) 上单调递增；由奇函数对称，在 [-√a, 0) 上单调递减，在 (-∞, -√a] 上单调递增。四段，两个方向，画在图上就是右支先降后升、左支先降后升。

2.3 参数 a 到底控制了什么

不少学生对 a 的理解停留在"a 越大最小值越大"，其实 a 影响的是三件事，而且三者联动。下面这张表把它们列清楚：

从这张表能读出一个容易被忽略的事实：a 越大，函数在"小 x 区域"增长得越凶猛。举个例子，a = 100 时，x = 0.1 处的函数值是 0.1 + 1000 = 1000.1，已经非常大了。这一点在实际建模里很关键——如果某个成本模型里"固定成本/数量"这一项的系数很大，那么数量稍微小一点，总成本就会爆炸式上升，这就是对勾函数右支靠近 y 轴那一段的真实含义。

2.4 奇偶性与对称性：一半的结论可以直接抄

f(-x) = -x + a/(-x) = -(x + a/x) = -f(x)，所以对勾函数是奇函数，图像关于原点中心对称。这个性质在做题时能省掉一半计算量：只要把 x > 0 那半边的所有结论推清楚，x < 0 那半边直接加负号、倒区间就行。

具体怎么"倒"？单调性方面，右半边的递减区间 (0, √a] 对称过去就是左半边的递减区间 [-√a, 0)，注意方向不变——因为对称是中心对称，不是轴对称，原来往下走的曲线翻折后还是往下走。最值方面，右半边的最小值 2√a 对称过去变成左半边的最大值 -2√a。值域方面，右半边的值域 [2√a, +∞) 对称过去变成 (-∞, -2√a]。

我让学生养成一个习惯：拿到 x < 0 的区间，先别急着算，写一句"由奇函数性质，转化为 x > 0 上对应区间的问题"，然后按右半边的流程走一遍，最后统一加负号。这个操作能避开大量符号错误，比在负半轴硬算靠谱得多。

3. 例题解析：六类题型，从会做到做对

3.1 题型一：给区间求值域，最容易翻车的地方

例 1：求 f(x) = x + 4/x 在下列区间上的值域：(1) [1, 4]；(2) [3, 5]；(3) [-2, -1]；(4) [1, 3]。

这里 a = 4，√a = 2，最低点 (2, 4)。

(1) [1, 4]：区间包含 2，所以最小值是 f(2) = 4。最大值在端点处取：f(1) = 5，f(4) = 1 + 1 = 5，两端相等，最大值 5。值域[4, 5]。这里顺带指出一个现象：f(1) = f(4)，而 1 × 4 = 4 = a，这不是巧合。由 f(x) = f(a/x) 可以直接验证，图像上关于最低点所在竖线"打横对称"，做题时可以用来快速验算。

(2) [3, 5]：区间整体在 √a = 2 的右侧，函数单调递增。最小值 f(3) = 3 + 4/3 = 13/3，最大值 f(5) = 5 + 4/5 = 29/5。值域[13/3, 29/5]。注意 13/3 ≈ 4.33，比 4 大，说明在这个区间上取不到 4 这个"理论最小值"。

(3) [-2, -1]：整个区间在负半轴。由奇函数性质，它对应右半轴的 [1, 2]，而 [1, 2] 在递减区间上。所以 [-2, -1] 上函数也单调递减。最大值 f(-2) = -2 - 2 = -4，最小值 f(-1) = -1 - 4 = -5。值域[-5, -4]。

(4) [1, 3]：区间包含 2，最小值 f(2) = 4。端点比较：f(1) = 5，f(3) = 13/3 ≈ 4.33，最大值 5。值域[4, 5]。

四道小题总结成一张判断表，做题时按表走就不会错：

最后一行要特别提醒：如果区间跨过 0，函数在 0 附近一段趋于负无穷、一段趋于正无穷，值域是两段分开的，形式上写成 (-∞, ...] ∪ [... , +∞)，千万别写成闭区间。

3.2 题型二：含参恒成立，两种解法各有利弊

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

解法一（分离参数）：由 x > 0，两边同乘 x 不变号，得 x² + a ≥ 4x，即 a ≥ 4x - x² = -(x - 2)² + 4。问题转化为 a 大于等于右边在 [1, 3] 上的最大值。这个二次函数开口向下，顶点在 x = 2，落在区间内，最大值就是 4。所以a ≥ 4。

解法二（对勾函数最值法）：设 f(x) = x + a/x，要求 f 在 [1, 3] 上的最小值 ≥ 4。这就要讨论 √a 相对于区间的位置，分三种情况：

• 当 √a ≤ 1，即 0 < a ≤ 1：f 在 [1, 3] 上递增，最小值 f(1) = 1 + a ≥ 4，得 a ≥ 3，与 0 < a ≤ 1 矛盾，舍去。
• 当 1 < √a < 3，即 1 < a < 9：最小值是 2√a ≥ 4，得 a ≥ 4，合并得 4 ≤ a < 9。
• 当 √a ≥ 3，即 a ≥ 9：f 在 [1, 3] 上递减，最小值 f(3) = 3 + a/3 ≥ 4，得 a ≥ 3，在 a ≥ 9 范围内恒成立，取 a ≥ 9。

三部分取并集，a ≥ 4。两种方法答案一致。

对比一下：解法一只用了三行，但要满足一个前提——参数能干净地分离出来，且分离时除的数符号确定。解法二不需要分离，但要做三分类讨论，写起来长，好处是逻辑链条完全跟着函数图像走，不容易出"分离时忘记讨论 x 的正负"这种错。我的建议是：能分离且除式恒正（或恒负）就优先分离，其余情况老实分类。

注意：这个"恒成立"求的是参数的下界，如果题目改成"存在 x ∈ [1, 3] 使得 x + a/x ≥ 4"，那就变成 a ≥ 右边的最小值，答案会变。恒成立对应最值，存在性对应对面的最值，这个对应关系一定要背准。

3.3 题型三：换元与分离常数，把陌生式子变成对勾

例 3：求 y = (x² + 3x + 5)/(x + 1) 在 x > -1 时的最小值。

直接看是个分式，看不出对勾结构。令 t = x + 1，由 x > -1 得 t > 0。把 x = t - 1 代进分子：

分子 = (t - 1)² + 3(t - 1) + 5 = t² - 2t + 1 + 3t - 3 + 5 = t² + t + 3

所以 y = (t² + t + 3)/t = t + 3/t + 1。这就是标准对勾函数加常数，t > 0 时 t + 3/t ≥ 2√3，等号在 t = √3 处取到。检验 t = √3 > 0，对应 x = √3 - 1 > -1，落在定义域内，可以取到。最小值2√3 + 1。

例 4：求 y = x + 1/(x - 1) 在 x > 1 时的最小值。

这个更简单，凑项即可：y = (x - 1) + 1/(x - 1) + 1。令 t = x - 1 > 0，得 y = t + 1/t + 1 ≥ 2 + 1 = 3，等号在 t = 1 即 x = 2 处取到。最小值3。

这两道题的核心手法叫"凑结构"：分子次数比分母高一次的多项式分式，通过换元或长除法，总能化成一个"一次项 + 反比例项 + 常数"的形式。判断标准很明确——分母是 x + b 的一次式，分子是二次式，就一定能化成对勾型。如果分子次数更高，比如三次除以一次，化出来是二次函数，那就不是对勾函数了，别乱套。

提示：换元之后一定要检查等号成立时的新变量取值是否落在新定义域内。很多人算出 2√3 就交卷，但如果 t = √3 对应回原变量后不满足 x > -1，这个最小值是取不到的，得改取端点值。

3.4 题型四：实际建模，对勾函数最接地气的用法

例 5：用篱笆围一个面积为 S 的矩形菜地，一边靠墙（墙足够长），其余三边用篱笆，问怎么设计最省材料。

设垂直于墙的两条边各长 x，则平行于墙的那条边长 S/x。篱笆总长 L = 2x + S/x。这里的系数不统一，先做一步变形：令 u = 2x > 0，则 L = u + 2S/u，这是标准对勾函数，最低点在 u = √(2S) 处，最小值 L = 2√(2S)。回到原变量，x = √(2S)/2 = √(S/2)，此时平行边长为 S / √(S/2) = √(2S)。

结论：垂直于墙的边长为 √(S/2)，平行于墙的边长为 √(2S)，两者之比为 1:2。也就是说，最省材料时，靠墙那条边是另外两条边的两倍长。

例 6：某产品的单件成本模型为 C(n) = n/10 + 2000/n + 50（n 为月产量，单位件），求使单件成本最低的产量。

这是标准对勾函数：n/10 + 2000/n ≥ 2√(n/10 × 2000/n) = 2√200 ≈ 28.28，加上 50 得 78.28。取等条件 n/10 = 2000/n，n² = 20000，n = √20000 ≈ 141.4。由于产量必须是整数，实际取 n = 141 或 n = 142 比较：

• n = 141：141/10 + 2000/141 + 50 = 14.1 + 14.184 + 50 = 78.284
• n = 142：14.2 + 14.085 + 50 = 78.285

两者几乎相同，取哪个都行。这类"取等点不是整数"的情况在实际问题里非常常见，处理方法后面单独讲。

建模题的通用套路就三步：设变量 → 列式子 → 判断是否对勾结构。判断的关键是看式子能不能整理成"一个正比例项 + 一个反比例项"的形状，系数不同没关系，做个变量替换就能统一。

3.5 题型五：整数约束下的"伪极值点"处理

例 7：数列 aₙ = n + 90/n（n 为正整数），求最小项。

如果按对勾函数算，最低点在 n = √90 ≈ 9.49，但 n 只能取整数，9.49 取不到。这时候不能直接套 2√90 ≈ 18.97，而要比较拐点两侧最近的整数：n = 9 时 a₉ = 9 + 10 = 19；n = 10 时 a₁₀ = 10 + 9 = 19。两项相等，最小值为19。

例 8：数列 aₙ = n + 100/n，求最小项。

√100 = 10 恰好是整数，最低点能取到，a₁₀ = 20，最小值就是20。

对比这两道题能看出一个规律：当 √a 不是整数时，最小值出现在 ⌊√a⌋ 和 ⌈√a⌉ 两个位置之一，而且这两项常常相等或相差极小，因为由 f(x) = f(a/x) 可知，n 和 a/n 位置上的函数值相同，而 ⌊√a⌋ 与 ⌈√a⌉ 恰好关于 √a 对称时就会出现相等。做题时把两个候选都算出来比一比，两行的事，比纠结"到底取哪一个"高效得多。

3.6 题型六：方程根的个数，用图像交点看得最清楚

例 9：讨论方程 x + a/x = k（a > 0）实数根的个数。

转化为 x² - kx + a = 0，但这样讨论容易漏掉"x ≠ 0"这个前提。用图像法更直观：把左边看成对勾函数，右边看成水平直线 y = k，交点个数就是根的个数。

• k > 2√a：直线在最低点上方，与右支有两个交点（两个正根），与左支无交点，共2 个正根。
• k = 2√a：直线与右支相切于最低点，1 个正根x = √a。
• 0 < k < 2√a：直线穿过两支之间的"空档"，与右支无交点，与左支有一个交点，1 个负根。
• k = 0：即 x + a/x = 0，得 x² = -a，无实根。
• k < 0：由对称性，与左支有两个交点，2 个负根；当 k = -2√a 时为 1 个负根 x = -√a。

把结论整理成表，考试时直接查：

这张表其实还有更快的记忆方式：看直线 y = k 和"两支曲线之间的空档"的相对位置。空档区间是 (-2√a, 2√a)，k 落在这个区间里就只有一个根（在另一支上），落在外面就有两个根，落在边界上就是一个重根。

4. 常见错误与排查清单：那些年踩过的坑

4.1 五个高频错误，每一个都有真实"案发现场"

错误一：不看区间位置，见 x + a/x 就写 2√a。这是出现频率最高的一类。比如求 f(x) = x + 9/x 在 [1, 2] 上的最小值，√a = 3 不在区间内，最小值是 f(2) = 2 + 4.5 = 6.5，不是 6。根治办法只有一个：每次动笔前先在草稿纸上标出 √a 的位置，和区间端点比一比。

错误二：a < 0 时照样找最低点。f(x) = x - 4/x 在 (0, +∞) 上是单调递增的，根本没有极值点。判别方式是看两项符号：a > 0 时两项在正半轴同号（都是正），才有可能出现"和为定值"的平衡；a < 0 时两项一正一负，一个增一个也增（-4/x 在正半轴递增），合起来只会单调增。

错误三：基本不等式取等条件没验证。用 x + a/x ≥ 2√a 时，取等要求 x = √a，这个点必须在给定区间内。有人算出 2√a 之后不检查，直接当成答案，实际上 x = √a 在区间外面，这个下界根本达不到。

错误四：x < 0 时直接套用正半轴结论，忘记加负号。比如求 f(x) = x + 4/x 在 x < 0 时的最大值，正确答案是 -4，很多人写成 4 或写"无最大值"。口诀：右半轴求最小，左半轴求最大，数值全加负号。

错误五：把 y = x + a/x 和 y = x - a/x 的图像搞混。后者在正半轴单调递增，图像光滑没有拐点；前者有拐点。这个错误往往发生在抄题的时候漏了一个符号，检查时又没回头核对原式。

4.2 一张速查表，把判断流程固化下来

4.3 两个提升正确率的小技巧

技巧一：用 f(x) = f(a/x) 验算。这个恒等式展开就能验证：f(a/x) = a/x + a/(a/x) = a/x + x = f(x)。它的用处是，每当你算出一个函数值 f(x₀)，就可以顺手算出 f(a/x₀)，两者必须相等。如果不等，说明中间某一步算错了。这个自查手段在考试时特别管用，几秒钟就能发现计算失误。

技巧二：画图不画完整，只画关键三要素。做题时间紧张时，不用精细作图，只要在坐标系里点出 (√a, 2√a)、标出区间端点、画出 y 轴和 y = x 的走向，就能判断单调性和最值位置。我这些年看下来，凡是坚持先画这张"三要素草图"的学生，在这类题上的失误率明显低一截。

5. 再往前一步：几个长得像但不一样的变体

5.1 一般形式 y = ax + b/x，结论可以整体迁移

实际题目里更常见的是 y = ax + b/x（a > 0, b > 0）。它的分析和标准形式完全一样，只要把式子提出一个 a：y = a(x + (b/a)/x)，括号里就是标准对勾函数，参数是 b/a。所以最低点在 x = √(b/a) 处，最小值为 a · 2√(b/a) = 2√(ab)。

这个公式值得单独记住，因为它在应用题里出现得太频繁。举个例子，总成本 C = 3x + 1200/x，这里 a = 3，b = 1200，最小值 2√(3 × 1200) = 2√3600 = 120，取等条件 x = √(1200/3) = √400 = 20。整个过程不用做任何变形，直接套公式就行。

要注意的是 a、b 必须同号才有极值。如果 ab < 0，两项一增一减方向相同，函数单调，没有拐点。判断方法：把式子整理成"两项相乘为正"的形式再看。

5.2 y = x - a/x 和 y = ax + b/x² 完全是另一回事

y = x - a/x（a > 0）在正半轴上是两个增函数相加，单调递增，值域是全体实数。它的图像叫"双刀函数"，没有极值点，也没有拐点，靠近 y 轴时往负无穷跑，远离时贴着 y = x 往上走。这类函数常出现在判断单调性的选择题里，作为干扰项。

还有一类 y = ax + b/x²，这个稍微复杂一点，求导之后是 a - 2b/x³，令其为零得 x = ∛(2b/a)，最低点位置带三次根号。高中阶段一般不用导数处理，但竞赛或者强基题目里偶尔出现，处理方法还是基本不等式，只是要拆成三项：ax/2 + ax/2 + b/x² ≥ 3∛(a²b/4)，取等条件是 ax/2 = b/x²。这个技巧叫"拆项配凑"，本质是让各项乘积为常数。

5.3 和对勾函数"共享灵魂"的几类式子

最后一类值得单独拎出来：形式上是分式，但换个角度看就是对勾函数。典型的是 y = (x² + c)/(x + d) 型，通过多项式除法（或者叫分离常数）化成"一次式 + 常数 + 反比例项"。比如 y = (x² + 1)/(x + 1)，做除法得 x - 1 + 2/(x + 1)，再令 t = x + 1，就变成 t - 2 + 2/t，标准对勾结构。

判断一个分式能不能化成对勾型，有个快速方法：看分母的最高次数是不是 1，分子的最高次数是不是 2。如果是，做一次除法必定能拆出一个一次项和一个反比例项。如果分子次数是 3、分母是 1，拆出来是二次函数，不是对勾函数；如果分子分母都是 1 次，那是反比例函数平移，也不是对勾函数。这个判断标准能帮你在动笔前就选对方向，省下大量无效计算。

这些年带学生做题，我最深的一个体会是：对勾函数的难点从来不在公式本身，公式就那一行，背下来只要十秒钟；真正的难点在于判断"现在这个情境下能不能用那个公式"。区间在哪儿、拐点在不在里面、a 是正是负、变量是不是整数、等号能不能取到，这五个问题问清楚了，题目基本就解完了。我常和学生说，遇到 x + a/x 这种结构，先别急着算，先在草稿纸上画两笔、标三个点，把"能不能取到 2√a"这件事确认了再动笔，这一步花的时间，远比事后检查省下来的多。