函数单调性与导数正负的关系证明及极值判定

在分析一个函数时，我们最常问的两个问题是：它在哪些区间内一直在“上涨”或“下跌”？哪里是它的“顶峰”或“谷底”？这些问题的数学本质就是单调性与极值。本文将手把手教你如何利用导数这一强大工具，快速、准确地完成判断。

1. 理解基础：什么是函数的单调性？

单调性描述的是函数图像随自变量x增大而呈现的整体变化趋势。

观察函数图像。如果对于区间内任意两个点x1和x2，当x1 < x2时，总有f(x1) < f(x2)，那么函数在这个区间内是单调递增的，通俗说就是“一直在涨”。
观察函数图像。如果对于区间内任意两个点x1和x2，当x1 < x2时，总有f(x1) > f(x2)，那么函数在这个区间内是单调递减的，通俗说就是“一直在跌”。
判断严格性。如果函数在某个区间内“一直涨”或“一直跌”，中间没有任何平坦的地方，则称为严格单调递增或递减。

函数在某一点的导数 f‘(x)，其几何意义是函数曲线在该点切线的斜率。而斜率直接反映了函数在该点附近的瞬时变化率。

基于导数符号反映局部变化率的直观理解，我们可以严格推导出它与整个区间单调性的关系。

建立逻辑起点。假设函数f(x)在某个区间(a, b)内可导（即每一点都有导数）。
证明“正导数蕴含递增”。设区间内任意两点x1 < x2。根据微积分基本定理中的拉格朗日中值定理，在(x1, x2)内必然存在一点c，使得：
$$f(x_2) - f(x_1) = f‘(c)(x_2 - x_1)$$
分析等式右侧。因为x1 < x2，所以(x2 - x1) > 0。
推导结论。如果在整个区间(a, b)内都有f‘(x) > 0，那么f‘(c) > 0。因此，等式右侧f’(c)(x2 - x1)为正数，即f(x2) - f(x1) > 0，所以f(x2) > f(x1)。这正好符合单调递增的定义。
同理证明递减。如果在整个区间内都有f‘(x) < 0，那么f’(c) < 0，导致f(x2) - f(x1) < 0，即f(x2) < f(x1)，函数单调递减。

结论：对于在区间(a, b)内可导的函数f(x)：

这是一个可直接操作的完整流程。

求出函数的导数 f‘(x)。
找出导函数 f’(x) 的零点（即令 f‘(x) = 0 的解）以及 f’(x) 不存在的点。这些点统称为临界点，它们将定义域划分为若干个子区间。
在每个子区间内任取一个测试点（比如区间中点），将该测试点的横坐标代入导函数 f’(x)。
观察该点导函数的值：
- 如果 f’(测试点) > 0，则该子区间是函数 f(x) 的一个单调递增区间。
- 如果 f‘(测试点) < 0，则该子区间是函数 f(x) 的一个单调递减区间。
将结果按照 x 轴的顺序排列，即得到函数完整的单调性描述。

函数的极值点是函数在局部范围内的最大值点（极大值）或最小值点（极小值）。结合单调性，判定变得直观。

明确极值点的必要条件。如果函数在点 x0 处可导，且 x0 是极值点（极大或极小），那么必有 f’(x0) = 0。（导数为零是极值点的候选条件，但不是充分条件）。
理解单调性变化。一个点成为极大值点的直观表现是：函数在该点左侧单调递增（爬坡），在该点右侧单调递减（下坡）。函数值“由升转降”，形成一个“山峰”。
同理，一个点成为极小值点的直观表现是：函数在该点左侧单调递减（下坡），在该点右侧单调递增（爬坡）。函数值“由降转升”，形成一个“山谷”。
应用一阶导数判别法。在求出所有临界点后：
- 检查每个临界点两侧的导数符号。
- 如果在临界点 x0 左侧，f’(x) > 0（递增），在右侧，f‘(x) < 0（递减），则 x0 是极大值点。
- 如果在临界点 x0 左侧，f’(x) < 0（递减），在右侧，f’(x) > 0（递增），则 x0 是极小值点。
- 如果在临界点两侧，f’(x) 的符号没有发生变化（一直为正或一直为负），则该点不是极值点，只是单调性中的一个“平坦点”。

将上述分析转化为操作清单。

求出函数 f(x) 的导函数 f’(x)。
解方程 f‘(x) = 0，并找出 f’(x) 不存在的点，列出所有临界点 x1, x2, x3...。
列出由这些临界点划分的整个定义域区间。
对每个临界点：
a. 选取该点左侧区间内的一个测试点，计算其导数，记录符号（正或负）。
b. 选取该点右侧区间内的一个测试点，计算其导数，记录符号（正或负）。
c. 根据左右导数符号变化，判断该点是极大值点、极小值点还是非极值点。
将所有极大值点或极小值点代入原函数 f(x)，计算出对应的极值 f(x1), f(x2) 等。