本课约120分钟，时间为2026年7月31日。课堂集中处理较难的参数恒成立、复合函数单调性、必要性探路、极值点偏移和双零点关系。
逐字稿中的个别常数被语音识别破坏；能够确认的结论予以保留，不确定处以方法框架呈现。

1. 本课内容总览

本节课是导数专题的综合提升，重点包括：

泰勒展开的判断作用与使用边界；
参数恒成立的边界情形；
分离参数后的因式分解；
三角函数复合换元；
必要性探路：先代特殊点限制参数；
用切线证明导函数符号；
极值点偏移与双零点；
对数平均值及其与算术、几何平均值的关系。

2. 泰勒展开：帮助观察，不替代高考证明

指数函数的展开为

$ e^x

1+x+\frac{x^2}{2!}+\frac{x^3}{3!}+\cdots.

它能快速判断某个多项式放缩是否“拿多了”或“拿少了”。例如比较 (e^x) 与包含二次、三次项的多项式时，可以先从系数判断局部趋势。

但课堂例题中，目标多项式的三次项系数比泰勒展开给出的更大，简单逐项放缩无法覆盖全区间。因此泰勒展开只能帮助猜测：

哪个参数可能是边界；
函数在 (x=0) 附近如何变化；
为什么端点相等后仍可能在中途失效。

正式证明仍需分离参数或构造函数。

3. 端点效应并非总可靠

许多恒成立问题中，端点满足并且导数方向正确，就能控制整个区间。但课堂提醒，有些函数会出现：

$ \text{先增}\rightarrow\text{再降}\rightarrow\text{最后再增}

的形态。

因此即使在 (x=0) 处函数值为零，也不能直接认为后面恒非负。

边界参数通常对应函数在内部某点与 (x) 轴相切，即同时满足

$ F_a(x_0)=0,

$ F_a'(x_0)=0.

联立这两式可以先猜出临界参数，但这只说明边界的必要候选，还要证明该参数及更有利一侧确实恒成立。

4. 分离参数后的标准路线

若原不等式可整理为

$ a\ge h(x),

则恒成立等价于

$ a\ge\max h(x).

课堂例题中，(h'(x)) 的分子很复杂，但可以观察到 (x=2) 是候选零点。通过配项和因式分解，导数可化为

$ h'(x)

\frac{(2-x)Q(x)}{x^3},

其中

$ Q(x)=e^x-1-x-\frac{x^2}{2}.

由指数函数的基本展开或多次求导可证

$ Q(x)>0

（在题目所需区间内）。因此 (h') 的符号只由 (2-x) 决定：

$ h'(x)>0\quad(x<2),

$ h'(x)<0\quad(x>2).

于是 (h) 在 (x=2) 处取得最大值，参数边界由 (h(2)) 给出。

5. 已知候选根后，主动制造因式

导函数分子是高次式或混合指数式时，若从图像、边界联立或试值发现 (x=c) 是零点，应主动尝试提取

$ x-c.

课堂例题的关键并非继续求导，而是把多个部分重新组合，使它们都含 (2-x)。

这种操作的本质是：

先猜导数零点；
按该零点配项；
提取共同因式；
证明剩余因子恒正。

6. 三角函数换元与复合单调性

课堂处理了含 (sin x,cos x) 的复杂导函数。若式子中反复出现

$ \cos^2x,quad \cos^4x,quad \sin^2x,

可令

$ t=\cos^2x.

利用

$ \sin^2x=1-t

把导函数化为关于 (t) 的有理式，并因式分解为类似

$ \frac{(2t-1)(4t+3)}{t^2}.

由于

$ 0<t<1,

后两个因子的符号固定，只有 (2t-1) 变号。

复合函数的单调性

还必须注意：在给定区间上，

$ t=\cos^2x

通常是递减的。因此“外层函数关于 (t) 递增”并不意味着原函数关于 (x) 也递增，需将内外层单调性合成。

课堂例题由

$ t=\frac12

得到临界点

$ x=\frac\pi4,

进而确定原函数先增后减。

7. 把恒成立问题转成区间端点比较

若换元后得到

$ \phi_a(t), \qquad 0<t<1,

并能证明 (phi_a) 单调，则恒成立问题只需比较端点或极限值。

例如要使

$ \phi_a(t)<0

恒成立，若 (phi_a) 在 ((0,1)) 单调递增，就只需控制右端：

$ \phi_a(1)\le0.

这把复杂的三角恒成立问题降成一个关于参数 (a) 的一次不等式。

8. 必要性探路：为什么常代 (x=1)

参数恒成立题先代特殊点，是为了获得必要条件。

当式子含 (ln x) 时，(x=1) 特别常用，因为

$ \ln1=0,

复杂项会大量消失。

若恒成立要求给出

$ F_a(1)\ge0,

即可先得到参数边界，例如

$ a\le a_0.

接下来只需证明边界参数 (a=a_0) 成立；若参数对原式具有单调影响，则更有利的一侧自动成立。

这就是：

$ \text{特殊点给必要性} \rightarrow \text{边界参数做充分性} \rightarrow \text{利用参数单调性扩展}.

9. 用公切线控制导函数

课堂证明中出现了多项式与对数的比较。通过构造共同切线，可得到类似

$ (x-1)(x+3)\ge4x-4,

以及

$ 4x-4\ge4\ln x.

于是

$ (x-1)(x+3)\ge4\ln x.

这可以直接判断某个导函数分子的符号，避免再次构造更复杂的函数。

使用切线链时，应明确每一步来自哪个函数的凸凹性，并检查等号都在 (x=1) 处成立。

10. 参数边界与导数在特殊点的符号

若辅助函数满足

$ H_a(1)=0,

且要求在 (x\ge1) 上

$ H_a(x)\ge0,

那么右侧起步不能向下，因此必须有

$ H_a'(1)\ge0.

这会迅速给出参数的必要范围。

再证明 (H_a') 在 ([1,+\infty)) 上单调递增，便有

$ H_a'(x)\ge H_a'(1)\ge0,

从而

$ H_a(x)\ge H_a(1)=0.

这是一种非常简洁的“端点函数值 + 端点导数 + 导数单调”模型。

11. 极值点偏移与双零点同构

若某方程有两个正根

$ 0<x_1<1<x_2,

课堂通过指数乘除、对数加减把两个根统一到函数

$ \psi(x)=x-\ln x.

上。

该函数满足

$ \psi'(x)=1-\frac1x,

所以在 ((0,1)) 上递减，在 ((1,+\infty)) 上递增，并在 (x=1) 处取得最小值。

两个根对应同一函数值：

$ x_1-\ln x_1

x_2-\ln x_2.

移项得到

$ x_2-x_1

\ln x_2-\ln x_1.

即

$ \frac{x_2-x_1}{\ln x_2-\ln x_1}=1.

左侧正是 (x_1,x_2) 的对数平均值。

12. 对数平均值

对正数 (u\ne v)，对数平均值定义为

$ L(u,v)

\frac{u-v}{\ln u-\ln v}.

它位于几何平均值与算术平均值之间：

$ \sqrt{uv} < L(u,v) < \frac{u+v}{2}.

若课堂题中

$ L(x_1,x_2)=1,

则立即得到

$ \sqrt{x_1x_2}<1<\frac{x_1+x_2}{2}.

从而可以快速推出关于根的积、根的和或极值点偏移的结论。

若不记得该平均值不等式，也可以令

$ t=\frac{x_2}{x_1}

把双变量问题化成单变量函数，再用导数证明。

13. 本课易错点

把泰勒展开当作所有区间上的直接证明；
端点等号成立就误判恒成立；
联立 (F=0,F'=0) 得到边界后不做充分性证明；
分离参数后没有转化为求函数最值；
已知候选零点却不会按它配项；
提取因式后不证明剩余因子恒正；
(t=\cos^2x) 后漏写 (0<t<1)；
忽略 (t=\cos^2x) 关于 (x) 递减；
必要性探路只代特殊点，没有说明为什么是必要条件；
参数边界成立后，没有说明更有利一侧为何成立；
(H(1)=0) 时忽略右导数必须非负；
两个根分别硬算，没有先找同构函数；
对数作差的顺序与分子顺序不一致；
使用对数平均值时忘记要求两个数为正；
平均值不等式方向记反。

14. 建议形成的四张模型卡

模型卡1：边界参数

$ F_a(x_0)=0, \qquad F_a'(x_0)=0.

先猜边界，再补充分性。

模型卡2：复合换元