导数压轴题里最爱考的一类:函数 f(x) 有极值点 x₀,又有两个「等高点」x₁、x₂ 满足 f(x₁)=f(x₂),要你证明 x₁+x₂ > 2x₀(或 <)、x₁·x₂ > x₀² 之类的不等式。看着吓人,其实就三板斧:判偏移方向 → 构造对称函数 / 比值代换 → 证单调性。掌握套路,压轴最后一问不再空白。
设 f(x) 在 x₀ 处取极值(比如极大值)。作一条水平线 y=k 去截图象,得两个交点横坐标 x₁<x₀<x₂,它们的中点是 (x₁+x₂)/2。
| 图象形态 | 中点位置 | 结论 |
|---|---|---|
| 关于 x=x₀ 左右对称 | 中点恰在 x₀ | x₁+x₂ = 2x₀ |
| x₀ 右侧更平缓(右边"拉得远") | 中点偏到 x₀ 右侧 | x₁+x₂ > 2x₀ |
| x₀ 左侧更平缓 | 中点偏到 x₀ 左侧 | x₁+x₂ < 2x₀ |
⚠ 「偏移」不是玄学:哪边图象更缓(斜率绝对值小),等高点就被推得更远,中点就往那边偏。判断方向就是判断「哪边陡、哪边缓」。
红线是等高线 y=k,两个交点就是 x₁、x₂。紫色竖线是极值点 x₀,绿色竖线是中点。不对称度调大 → 图象右侧更缓 → 中点绿线偏到 x₀ 右边 → x₁+x₂>2x₀。
法一(图象法):画出 f(x) 大致图象,看极值点 x₀ 两侧哪边更缓,缓的一侧把等高点推远,中点就偏向那边。法二(代入验证):取具体的 x₁,算出 x₂,直接比 x₁+x₂ 与 2x₀。方向定了,才知道构造的 g(x) 该证「恒正」还是「恒负」。
这里 2x₀−x 是 x 关于 x₀ 的对称点。求导判 g(x) 在该区间单调,再看端点 g(x₀)=0,得 g(x) 在区间上恒正(或恒负)。于是对 x₁<x₀ 有 f(x₁) 与 f(2x₀−x₁) 的大小关系;结合 f(x₁)=f(x₂) 和 f 在 x₀ 另一侧的单调性,反推出 x₂ 与 2x₀−x₁ 的大小,即 x₁+x₂ 与 2x₀ 的关系。
典型如 f(x)=lnx−ax:由 lnx₁−ax₁=lnx₂−ax₂ 解出 a,再把待证 x₁x₂>1(或 x₁x₂>x₀²)整理成只含 t 的形式,构造 h(t) 求导证单调,用 h(1) 定符号。
对数均值 L(x₁,x₂)=(x₁−x₂)/(lnx₁−lnx₂) 夹在几何平均与算术平均之间。含 lnx 的极值点偏移,常把条件凑成对数均值形式,一步得到 x₁+x₂ 或 x₁x₂ 的不等式。解答题里 ALG 需先证明,选填可直接用。
⚠ 构造 g(x) 后必须写清:定义域(在哪个区间)、单调性(求导定号)、端点值 g(x₀)=0——三者缺一,结论不成立。
蓝曲线是 g(x)=f(x)−f(2x₀−x)。它在 x₀ 处恰好 g(x₀)=0(自己减对称点是0)。整段恒正或恒负就锁定了 x₁+x₂ 与 2x₀ 的大小。不对称度=0 时 g≡0,正好对应"不偏移"。
触发信号:已知 f(x₁)=f(x₂)(x₁≠x₂),f 有唯一极值点 x₀,求证 x₁+x₂>2x₀(或<)。最经典是 f(x)=xe⁻ˣ、f(x)=x−lnx 之类。
标准动作:① 画图判方向;② 不妨设 x₁<x₀<x₂;③ 构造 g(x)=f(x)−f(2x₀−x),x∈(定义域左段);④ 求 g′(x) 定号 → g 单调 → 结合 g(x₀)=0 得 g(x)>0 或 <0;⑤ 由此得 f(x₁) 与 f(2x₀−x₁) 关系,再用 f 在 x>x₀ 的单调性把不等式"翻译"到 x₂ 与 2x₀−x₁ 上,即 x₁+x₂>2x₀。
示例(带解):设 f(x)=xe⁻ˣ,极值点 x₀=1(f′=(1−x)e⁻ˣ,x=1 极大)。f(x₁)=f(x₂),0<x₁<1<x₂。构造 g(x)=f(x)−f(2−x),x∈(0,1)。g′(x)=f′(x)+f′(2−x)=(1−x)e⁻ˣ+(x−1)e^(x−2)=(1−x)[e⁻ˣ−e^(x−2)]。当 x∈(0,1):1−x>0,且 −x>x−2 ⟺ e⁻ˣ>e^(x−2),故 g′(x)>0,g 增。又 g(1)=0,所以 x∈(0,1) 时 g(x)<0,即 f(x)<f(2−x)。取 x=x₁:f(x₁)<f(2−x₁),而 f(x₁)=f(x₂),得 f(x₂)<f(2−x₁)。因 2−x₁>1、x₂>1 且 f 在 (1,+∞) 递减,由 f(x₂)<f(2−x₁) 得 x₂>2−x₁,即 x₁+x₂>2=2x₀。得证。
陷阱:构造 g 后忘了限定 x∈(0,x₀);把 f 的单调方向记反导致最后不等号翻错;端点 g(x₀)=0 没说清。
触发信号:函数含 lnx(如 f(x)=lnx−ax、f(x)=x/lnx),求证 x₁x₂>e²、x₁x₂>x₀² 或 x₁x₂>1 这类"积"型不等式。
标准动作:积型 → 先取对数化为和型:证 x₁x₂>x₀² ⟺ lnx₁+lnx₂>2lnx₀。令 u=lnx,若 f 关于 u 呈对称结构,就转成 A 型对称函数法;否则用比值代换 t=x₂/x₁ 或对数均值不等式收尾。
示例(带解):f(x)=lnx−½x²+ax 无关时,取经典 f(x)=(lnx)/x,极值点 x₀=e。f(x₁)=f(x₂)即 lnx₁/x₁=lnx₂/x₂,证 x₁x₂>e²。令 u=lnx,则 x=eᵘ,条件成 u₁e⁻ᵘ¹=u₂e⁻ᵘ²,这是 φ(u)=ue⁻ᵘ 的等高点(极值点 u₀=1),由 A 型可证 u₁+u₂>2,即 lnx₁+lnx₂>2 ⟹ ln(x₁x₂)>2 ⟹ x₁x₂>e²=x₀²。取对数把"积"变"和"是关键一步。
陷阱:直接对 x₁x₂ 硬构造对称函数很难,一定先取对数换元 u=lnx 化为和型;换元后极值点也要跟着换成 u₀=lnx₀。
触发信号:题目明显给了单个极值点 x₀,要证 x₁+x₂ 型不等式,函数不含参或参数可先消去。
标准动作:令 g(x)=f(x)−f(2x₀−x)(x 在 x₀ 左侧区间)。要点:g(x₀)=0;求 g′(x)=f′(x)+f′(2x₀−x),用不对称性定号;由单调+端点得 g 在整段恒正/恒负;最后借 f 在另一侧的单调性把结论转到 x₂ 上。
示例(带解):f(x)=x²−2x·lnx 之类不便时,回到通式:若已证 x∈(0,x₀) 有 f(x)<f(2x₀−x)。因 f(x₁)=f(x₂)且 x₂>x₀,f 在 (x₀,∞) 单调递减(设极大),则 f(x₂)=f(x₁)<f(2x₀−x₁),又 2x₀−x₁>x₀,单调递减下"函数值小 ⟹ 自变量大",得 x₂>2x₀−x₁,即 x₁+x₂>2x₀。核心是"单调递减时,值小的自变量大"这一步翻译。
陷阱:g′(x) 定号常需要一个辅助小不等式(如 eˣ−e⁻ˣ 与 2x 比较、lnx 与 x−1 比较),这一步要单独证清楚,不能默认。
触发信号:含参数 a 且 f(x₁)=f(x₂) 能解出 a;或不等式关于 x₁、x₂ 齐次,适合用比值 t 表示。
标准动作:令 t=x₂/x₁(t>1)。由 f(x₁)=f(x₂) 消去参数(常得到用 t 表示 lnt 的式子),再把待证不等式全部用 t 表示,构造 h(t) 求导证单调,用 h(1)=0(或极限)定符号。
示例(带解):f(x)=lnx−ax,f(x₁)=f(x₂)⟹ lnx₁−ax₁=lnx₂−ax₂ ⟹ a=(lnx₁−lnx₂)/(x₁−x₂)。证 x₁x₂>1/a²(此类结论),或证 x₁+x₂>2/a。令 t=x₂/x₁>1:2/a=2(x₂−x₁)/(lnx₂−lnx₁),要证 x₁+x₂>2/a 即 (x₁+x₂)lnt/(x₂−x₁)>2 ⟺ (t+1)lnt/(t−1)>2。设 h(t)=lnt−2(t−1)/(t+1),h′(t)=(t−1)²/[t(t+1)²]>0,h 增且 h(1)=0,故 t>1 时 h(t)>0,不等式成立,即 x₁+x₂>2/a。得证。
陷阱:代换后一定注明 t>1 的范围;h(t) 求导后要老实通分定号;别忘了 x₂−x₁>0 保证不等式方向不翻。
触发信号:f(x) 带参数 a,先求 a 的范围保证有两个等高点,再证含 a 的偏移不等式(如 x₁+x₂>2/a、x₁x₂<1)。
标准动作:① 由 f′(x)=0 或"两解存在"定 a 的范围;② 用 f(x₁)=f(x₂) 把 a 用 x₁、x₂ 表示(消参);③ 转成比值代换 t=x₂/x₁ 或对称函数法;④ 证单调收尾。含参题几乎总要先"消参再代换"。
示例(带解):f(x)=xe^(−ax)(a>0),极值点 x₀=1/a。f(x₁)=f(x₂)⟹ x₁e^(−ax₁)=x₂e^(−ax₂)。证 x₁+x₂>2/a=2x₀。令 φ(x)=x₁e^(−ax₁) 结构与 xe⁻ˣ 同(换元 s=ax),归结为 s₁+s₂>2,回到 A 型 xe⁻ˣ 的结论,再除以 a 得 x₁+x₂>2/a。含参就先换元 s=ax 把参数吸收掉,化到标准模型。
陷阱:忘了先定 a 的取值范围(否则可能没有两个等高点);消参时符号处理错;换元 s=ax 后极值点、结论都要同步缩放。
| 对称函数法 | 比值代换法 | 对数均值不等式 | |
|---|---|---|---|
| 适合 | 和型 x₁+x₂ vs 2x₀ | 含参、齐次、积型 | 含 lnx、快速定方向 |
| 关键动作 | g(x)=f(x)−f(2x₀−x) 证单调 | t=x₂/x₁ 化单变量 h(t) | √(x₁x₂)<L<(x₁+x₂)/2 |
| 难点 | g′ 定号的辅助不等式 | 消参、通分定号 | 解答题需先证 ALG |
| 积型怎么办 | 先取对数 u=lnx 转和型 | 直接用 t 表示 | 直接得几何/算术均值 |
选谁? 只给函数、证 x₁+x₂ → 对称函数法;带参数或要证积型 → 比值代换;一眼含 lnx 且想快点 → 对数均值(解答题记得先证)。三法本质相通,都是把"双变量约束"化成"单变量单调性"。
这就是题型D里那条 h(t)=lnt−2(t−1)/(t+1)。t 从 1 起,h(1)=0,h′(t)>0 使 h 递增,所以 t>1 时永远 h(t)>0 → 待证不等式成立。双变量的死题被一根曲线秒杀。
判方向是全题第一步,错了后面全错。口诀:缓的一侧,把等高点推得更远,中点偏向缓侧。
严格判据(比切线):比较 f 在 x₀ 两侧相同"落差"处离 x₀ 的距离,谁远谁缓。或用二阶信息:极值点附近曲率不对称。考试里画准图象、或代一个具体点验证,最稳。
⚠ 别凭直觉猜;"看起来对称"的函数往往不对称(xe⁻ˣ 左陡右缓)。定方向后,构造 g(x) 要证的正负号就唯一确定了。
红等高线截出 x₁、x₂。切换"哪边缓",看中点(绿线)相对极值点(紫线)往哪偏。右缓→中点偏右→x₁+x₂>2x₀;对称→重合→=2x₀;左缓→反过来。
中间那个 L=(x₁−x₂)/(lnx₁−lnx₂) 叫对数均值。几何上:它是曲线 y=lnx 上两点连线斜率的倒数,恰好夹在几何平均 √(x₁x₂) 与 算术平均 (x₁+x₂)/2 之间。这条链把"积"(几何均值)和"和"(算术均值)同时框住,是含 lnx 偏移题的收尾利器。
怎么用: 若条件能凑出 lnx₁−lnx₂ 与 x₁−x₂ 的比,直接套 ALG:要证 x₁+x₂>某值,用右半 L<(x₁+x₂)/2;要证 x₁x₂>某值,用左半 √(x₁x₂)<L。
⚠ 解答题里 ALG 必须先证明(令 t=x₁/x₂ 构造函数证),不能直接引用当已知;选择填空可直接用。
在 y=lnx 图上,红点是两个 (x,lnx)。三根竖线:黄=几何平均、蓝=对数均值、绿=算术平均,无论你怎么拖 x₁、x₂,永远是黄<蓝<绿。这就是偏移题收尾的靠山。
压轴的极值点偏移几乎都能归到这几个"母函数",背熟它们的极值点和偏移方向,考场省一半时间。
| 函数 | 极值点 x₀ | 偏移结论 |
|---|---|---|
| f(x)=xe⁻ˣ | x₀=1(极大) | x₁+x₂ > 2 |
| f(x)=(lnx)/x | x₀=e(极大) | x₁+x₂ > 2e，x₁x₂ > e² |
| f(x)=lnx − ax | x₀=1/a(极大) | x₁+x₂ > 2/a，x₁x₂ > 1/a²… (视题) |
| f(x)=x − lnx（极小） | x₀=1(极小) | x₁+x₂ > 2 |
| f(x)=xe^(−ax) | x₀=1/a | x₁+x₂ > 2/a（换元 s=ax 归 xe⁻ˣ） |
⚠ 记结论只为定方向和自查;解答题过程必须完整写构造与单调性,不能直接抄结论。
紫线=极值点 x₀,红点=一条等高线截出的 x₁、x₂,绿线=中点。三个母函数都能看到中点偏离 x₀ 的方向,对上速查表里的偏移结论。
① 方向判反: 没画图凭感觉,把 > 写成 <。务必画图或代具体点验证"哪边缓"。
② 构造 g(x) 后没说定义域:g(x)=f(x)−f(2x₀−x) 只在 x₀ 一侧的区间上讨论,2x₀−x 要落在定义域内。
③ 单调性没证清: g′(x) 定号常需一个辅助不等式(eˣ−e⁻ˣ>2x、lnx<x−1 等),要单独证,不能默认。
④ 最后一步"翻译"翻错: 由 f(x₂)<f(2x₀−x₁) 推 x₂ 与 2x₀−x₁ 的大小时,要用对 f 在该区间的单调方向,减函数"值小则自变量大"别记反。
⑤ 积型不先取对数: 证 x₁x₂>x₀² 直接硬来很难,应先化 lnx₁+lnx₂>2lnx₀(换元 u=lnx)转和型。
⑥ 比值代换忘范围: t=x₂/x₁ 要写明 t>1;h(t) 用 h(1)=0 定符号,别漏端点。
⑦ 含参题没定 a 范围: 先保证有两个等高点(a 的取值),否则命题无意义。
⑧ ALG 当已知用: 解答题里对数均值不等式必须先证明再用,直接引用会扣分。
① 偏移的本质是"函数的不对称性": 若把 f 在 x₀ 处做泰勒展开 f(x₀+h)≈f(x₀)+½f″h²+⅙f‴h³+…,二次项对称、三次项 f‴ 破坏对称。f‴ 的符号就决定了偏移方向。理解这一层,任何新函数你都能一眼判偏向。
② 三种方法是同一件事: 对称函数法、比值代换、对数均值,都在把"f(x₁)=f(x₂) 这条双变量约束曲线"参数化成单变量,再用单调性比大小。看透这点,遇到没见过的函数也知道该往"化单变量"这个方向使劲。
③ 积型=和型换元: 一切 x₁x₂ 的结论,取对数 u=lnx 后都是 u₁+u₂ 的和型。指数结构(xe^(−ax))则换 s=ax 归标准模型。换元是把陌生题拉回熟悉模型的万能钥匙。
④ 对数均值是"和"与"积"的桥: √(x₁x₂)<L<(x₁+x₂)/2 一条链同时框住几何均值(积)与算术均值(和)。会用它,含 lnx 的偏移常常两三行收尾——但解答题先花三行证 ALG,是稳分的投资。
⑤ 构造函数的"对称配对"思想通吃: g(x)=f(x)−f(2x₀−x) 的核心是"拿自变量的镜像点配对"。同类思想还能证"两根之积/之和"型不等式、切线放缩、以及部分数列不等式——是压轴题的通用底层套路。
thebest2dan · 数学压轴攻坚包 · 配套:导数与单调性、切线放缩、恒成立与能成立