宝子们，提到导数里的“极值点偏移”，是不是心里就有点发毛？
说实话，这在高中数学里绝对属于“劝退区”。很多同学在滚瓜烂熟背了几十种题型之后，一看到题目问“证明 \(x_1 + x_2 > 2x_0\)”或者“证明 \(f(x_1) < f(x_2)\) 时 \(x_1+x_2\) 的范围”，脑子里就一片空白，感觉被老师套路了。
但今天咱们不整那些虚头巴脑的定义，我就当个陪跑的老学长，把这道让无数考生脱层皮的“高考压轴题杀手”，拆解成三个你能直接套用的破局大招。只要你逻辑顺下来，这题其实比你想象的要温柔得多。
先搞懂：到底什么是“偏移”？
别被名字吓住。想象一下，你抛出一个硬币，它应该落在中心点对吧？
在导数里，如果一个函数 \(f(x)\) 在某点 \(x_0\) 取得极值（比如极大值），那么正常情况下，如果你画一条水平线 \(y=m\) 穿过这个极值点附近，它与曲线会有两个交点 \(x_1\) 和 \(x_2\)。
对称的情况是：\(x_1\) 和 \(x_2\) 关于 \(x_0\) 对称，也就是 \(\frac{x_1+x_2}{2} = x_0\)。
偏移的情况是：曲线长得“歪”了，一边陡峭，一边平缓。这时候 \(x_1\) 和 \(x_2\) 的中点就不在 \(x_0\) 上了。这就是极值点偏移。
高考最爱考两种：
- 左偏：\(x_1+x_2 < 2x_0\)
- 右偏：\(x_1+x_2 > 2x_0\)
怎么破？咱们上硬货。
破局法一：构造对称差函数（最正统、最通用）
这是阅卷老师最认、逻辑最严密的方法。核心思想就一句话：把不对称的问题，强行转化成对称的问题来解决。
核心步骤
假设极值点是 \(x_0\)，我们要证明 \(x_1 + x_2 > 2x_0\)（右偏）。 我们可以构造一个新函数： $\( F(x) = f(x) - f(2x_0 - x) \)\( 注意，\)2x_0 - x\( 就是 \)x\( 关于 \)x_0$ 的对称点。
然后去研究 \(F(x)\) 的单调性。如果我们能证明在 \(x > x_0\) 时，\(F(x) > 0\)，那就意味着 \(f(x) > f(2x_0 - x)\)。 结合题目给的 \(f(x_1)=f(x_2)\)，就能推出 \(x_2 > 2x_0 - x_1\)，进而得到 \(x_1 + x_2 > 2x_0\)。
实战演练
【例题】 已知函数 \(f(x) = x \ln x - \frac{1}{2}x^2\)，若 \(f(x)\) 有两个零点 \(x_1, x_2\)，且 \(x_1 < x_2\)，证明：\(x_1 + x_2 > 2\)。
【分析与拆解】
第一步：找极值点 先求导：\(f'(x) = \ln x + 1 - x\)。 令 \(f'(x) = 0\)，观察可知 \(x=1\) 是一个解（因为 \(\ln 1 + 1 - 1 = 0\)）。 再求二阶导或者分析单调性：\(f''(x) = \frac{1}{x} - 1\)。 当 \(0 < x < 1\) 时，\(f''(x) > 0\)，\(f'(x)\) 递增； 当 \(x > 1\) 时，\(f''(x) < 0\)，\(f'(x)\) 递减。 所以 \(f'(x)\) 在 \(x=1\) 处取得最大值 \(f'(1)=0\)。 这意味着 \(f'(x) \le 0\) 恒成立？不对，等一下，这里 \(f'(1)=0\) 是最大值，说明 \(f(x)\) 在 \((0,1)\) 递增，在 \((1,+\infty)\) 递减。 极值点 \(x_0 = 1\)。
我们要证的是 \(x_1 + x_2 > 2 \times 1\)，即右偏。
第二步：构造差函数 构造 \(F(x) = f(x) - f(2-x)\)，定义域取 \(x \in (1, +\infty)\)（因为我们要研究右半边的情况，左边的 \(x_1\) 对应右边的对称位置）。
代入函数： $\( F(x) = \left( x \ln x - \frac{1}{2}x^2 \right) - \left( (2-x)\ln(2-x) - \frac{1}{2}(2-x)^2 \right) \)$
第三步：求导判单调 这个求导过程会有点繁琐，同学们别怕，一步步来： $\( F'(x) = f'(x) - f'(2-x) \cdot (-1) = f'(x) + f'(2-x) \)\( \)\( F'(x) = (\ln x + 1 - x) + (\ln(2-x) + 1 - (2-x)) \)\( \)\( F'(x) = \ln x + \ln(2-x) - x + x = \ln[x(2-x)] \)$
我们要判断 \(F'(x)\) 在 \(x > 1\) 时的符号。 当 \(x > 1\) 时，\(2-x < 1\)。 乘积 \(x(2-x) = -x^2 + 2x\)。这是一个开口向下的抛物线，对称轴是 \(x=1\)。 所以在 \(x > 1\) 时，\(x(2-x) < 1 \times 1 = 1\)。 因为真数小于1，所以 \(\ln[x(2-x)] < 0\)。
结论： 当 \(x > 1\) 时，\(F'(x) < 0\)，函数 \(F(x)\) 单调递减。 又因为 \(F(1) = f(1) - f(1) = 0\)。 所以当 \(x > 1\) 时，\(F(x) < F(1) = 0\)。 即 \(f(x) < f(2-x)\)。
第四步：回推原题 回到题目，我们有 \(f(x_1) = f(x_2) = 0\)（或者是某个常数 \(m\)，这里假设有两个交点）。 不妨设 \(1 < x_1 < x_2\)（注意：这里极值点是1，根据图像，\(x_1\) 应该在左边？不对，让我们重新看一下函数性质。 \(f(x) = x\ln x - 0.5x^2\)。 \(x \to 0^+\) 时，\(f(x) \to 0\)；\(f(1) = -0.5\)。 这个例子稍微有点怪，因为 \(f(x)\) 在 \((0,1)\) 递增，\((1,+\infty)\) 递减。如果 \(f(x)=0\)，只有 \(x=1\) 吗？ \(\lim_{x\to 0^+} x\ln x = 0\)，所以 \(f(x)\) 从0开始降到-0.5，再降下去。这题没法保证有两个零点。
让我们换一个更经典的例题，避免计算陷阱： 【修正例题】 已知 \(f(x) = e^x - ax\) (\(a>e\)) 有两个零点 \(x_1, x_2\)。证明：\(x_1 + x_2 > 2\)。 （注：此题极值点为 \(x_0 = \ln a > 1\)，稍微复杂，我们用更常见的对数型）
再来一个标准且高频的真题款： 【例题】 设函数 \(f(x) = \ln x - \frac{1}{2}ax^2 + (a-1)x\)，已知 \(a>0\)，且 \(f(x)\) 有两个极值点 \(x_1, x_2\)（注意这里是极值点，不是零点，逻辑一样）。证明：\(x_1 + x_2 > 2\)。
这题稍微偏题了，咱们还是回到零点偏移的经典模型： \(f(x) = x e^{-x}\) 或者 \(f(x) = \frac{\ln x}{x}\)。
以 \(f(x) = \frac{\ln x}{x}\) 为例，这是高考真题常客。 \(f'(x) = \frac{1-\ln x}{x^2}\)。极值点 \(x_0 = e\)。 若 \(f(x_1) = f(x_2) = m\)，且 \(x_1 < x_2\)，证明 \(x_1 + x_2 > 2e\)。
用方法一解题： 构造 \(F(x) = f(x) - f(2e-x)\)，研究 \(x \in (e, +\infty)\)。 $\( F(x) = \frac{\ln x}{x} - \frac{\ln(2e-x)}{2e-x} \)\( 求导： \)\( F'(x) = \frac{1-\ln x}{x^2} - \frac{\frac{-1}{2e-x} \cdot (2e-x) - \ln(2e-x) \cdot (-1)}{(2e-x)^2} \)\( \)\( F'(x) = \frac{1-\ln x}{x^2} - \frac{-1 + \ln(2e-x)}{(2e-x)^2} \)\( \)\( F'(x) = \frac{1-\ln x}{x^2} + \frac{1-\ln(2e-x)}{(2e-x)^2} \)$
这个导数判断正负比较麻烦。我们需要比较 \(\frac{1-\ln x}{x^2}\) 和 \(\frac{\ln(2e-x)-1}{(2e-x)^2}\) 的关系。 令 \(g(t) = \frac{1-\ln t}{t^2}\)。 我们要看 \(g(x)\) 和 \(g(2e-x)\) 的关系。 其实对于 \(f(x)=\frac{\ln x}{x}\)，它的图像在 \((0,e)\) 增，\((e,+\infty)\) 减。 当 \(x > e\) 时，\(2e-x < e\)。 我们需要证明 \(F(x) < 0\) 对于 \(x > e\) 成立（因为 \(x_2 > e > x_1\)，且 \(f(x_1)=f(x_2)\)，若 \(x_1+x_2 > 2e\)，则 \(x_1 > 2e-x_2\)。由于在 \((0,e)\) 上 \(f\) 递增，所以 \(f(x_1) > f(2e-x_2)\)。即 \(f(x_2) > f(2e-x_2)\)，也就是 \(F(x_2) > 0\)？ 逻辑有点绕，别急，看方法二更直观）。
破局法二：对数均值不等式（秒杀神器）
如果你是在做选择填空，或者大题最后一步想快速拿分，对数均值不等式是你们的救命稻草。
核心公式： 对于 \(x_1, x_2 > 0\) 且 \(x_1 \neq x_2\)，有： $\( \sqrt{x_1 x_2} < \frac{x_1 - x_2}{\ln x_1 - \ln x_2} < \frac{x_1 + x_2}{2} \)$ 左边是几何平均数，中间是对数均值，右边是算术平均数。
怎么用在偏移题上？ 通常题目会给你 \(f(x_1) = f(x_2)\)，比如 \(f(x) = \frac{\ln x}{x}\)。 代入得：\(\frac{\ln x_1}{x_1} = \frac{\ln x_2}{x_2}\)。 整理一下：\(\frac{\ln x_1 - \ln x_2}{x_1 - x_2} = \frac{1}{x_1 x_2}\) ? 不对，交叉相乘是 \(x_2 \ln x_1 = x_1 \ln x_2\)。 变形为：\(\frac{\ln x_1 - \ln x_2}{x_1 - x_2} = \frac{1}{x_1} \cdot \frac{x_1 \ln x_1 - x_2 \ln x_1}{...}\) 这样太乱。
正确的套用姿势： 由 \(\frac{\ln x_1}{x_1} = \frac{\ln x_2}{x_2}\)，设比值为 \(k\)。 则 \(\ln x_1 = k x_1\), \(\ln x_2 = k x_2\)。 两式相减：\(\ln x_1 - \ln x_2 = k(x_1 - x_2)\)。 所以 \(k = \frac{\ln x_1 - \ln x_2}{x_1 - x_2}\)。 而 \(k\) 又等于 \(\frac{\ln x_1}{x_1}\)。 所以：\(\frac{\ln x_1}{x_1} = \frac{\ln x_1 - \ln x_2}{x_1 - x_2}\)。
现在用对数均值不等式： $\( \frac{x_1 + x_2}{2} > \frac{x_1 - x_2}{\ln x_1 - \ln x_2} = \frac{x_1}{\ln x_1} \)\( 这就得出了 \)\frac{x_1+x_2}{2} > \frac{x_1}{\ln x_1}\(。 但这好像没直接证出 \)x_1+x_2 > 2e$。
让我们换一个更贴合对数均值的经典题： \(f(x) = x e^{-x}\)，有两个零点？不，是 \(f(x)=m\) 有两解。 \(f(x_1)=f(x_2) \implies x_1 e^{-x_1} = x_2 e^{-x_2}\)。 \(\implies \frac{e^{x_1}}{x_1} = \frac{e^{x_2}}{x_2}\)。 \(\implies \frac{x_2}{x_1} = e^{x_2 - x_1}\)。 \(\implies \ln x_2 - \ln x_1 = x_2 - x_1\)。 \(\implies \frac{x_2 - x_1}{\ln x_2 - \ln x_1} = 1\)。
根据对数均值不等式： $\( \sqrt{x_1 x_2} < \frac{x_2 - x_1}{\ln x_2 - \ln x_1} < \frac{x_1 + x_2}{2} \)\( 代入中间项等于1： \)\( \sqrt{x_1 x_2} < 1 < \frac{x_1 + x_2}{2} \)\( 看右边：\)1 < \frac{x_1 + x_2}{2} \implies x_1 + x_2 > 2\(。 **证毕！** 是不是爽？极值点 \)x_0=1\(，我们要证 \)x_1+x_2 > 2x_0$，直接秒出。
注意： 使用此法的前提是你能通过 \(f(x_1)=f(x_2)\) 凑出 \(\frac{x_1-x_2}{\ln x_1 - \ln x_2}\) 的形式。如果不能直接凑，可能需要先变形。
破局法三：齐次化构造法（高阶高手专用）
如果前两种方法你觉得记不住，或者题目特别变态，那就用齐次化。这是目前顶尖学霸的最爱，因为它把“两个变量”的问题，强行变成了“一个变量”的问题。
核心思想： 利用 \(f(x_1) = f(x_2)\) 的关系，将 \(x_1, x_2\) 的比值设为 \(t\)（令 \(t = \frac{x_2}{x_1} > 1\)），从而把二元不等式转化为一元函数 \(g(t)\) 的最值问题。
实战演练： 【例题】 已知 \(f(x) = x \ln x\)，若 \(f(x_1) = f(x_2)\) 且 \(x_1 \neq x_2\)，证明：\(x_1 + x_2 > \frac{2}{e}\)。（注：此题极值点并非整数，稍微复杂，我们换个更纯粹的齐次化例子）
【经典齐次化例题】 设 \(f(x) = \ln x - ax\)，有两个零点 \(x_1, x_2\)。证明 \(x_1 + x_2 > \frac{2}{a}\)。 （极值点 \(x_0 = 1/a\)，我们要证 \(x_1+x_2 > 2x_0\)）
解题步骤：
- 由 \(f(x_1)=f(x_2)=0\) 得方程组： $\( \ln x_1 = a x_1 \)\( \)\( \ln x_2 = a x_2 \)$
- 两式相减： $\( \ln x_1 - \ln x_2 = a(x_1 - x_2) \)\( \)$ \implies a = \frac{\ln x1 - \ln x