极智数学 · 极值定义判断
掌握极值定义判断的核心逻辑，深入理解局部最优解的数学本质。本文通过严密的逻辑推导、丰富的示例分析以及常见误区梳理，为您提供一站式极值学习解决方案。
设函数f(x)在点x₀及其附近有定义。如果对于x₀附近的所有点x，都有f(x) < f(x₀)（或f(x) > f(x₀)），则称f(x₀)是函数的一个极大值（或极小值）。注意：极值是一个局部概念，而非全局最大/最小。
在几何图像上，极值点通常表现为曲线的“山峰”（极大值）或“山谷”（极小值）。在这些点处，切线通常是水平的（导数为0）或者是垂直的/不存在的（不可导点）。
极值点可以有多个，且极值大小无必然联系（极大值可能小于极小值）。而最值在闭区间上通常只有一个最大值和一个最小值，最值可能在极值点、端点或不可导点处取得。
在实际解题中，选择合适的判定方法至关重要。以下是三种最常用的极值定义判断工具。
适用场景：函数可导，且容易求出导数符号变化的区间。
步骤详解：
适用场景：函数在x₀处二阶可导，且f'(x₀)=0。
判定规则：
⚠️ 注意：此方法不能用于不可导点，也不能用于二阶导数为0的情况。
适用场景：抽象函数、离散数据或无法求导的情况。
逻辑核心：直接利用极值的定义，比较f(x₀)与其邻域内所有f(x)的大小关系。
虽然理论上最严谨，但在具体计算中，由于邻域包含无穷多点，通常很难直接比较。因此，定义法更多用于理论证明，如证明某点必为极值点，或构造反例。
在极值定义判断的过程中，许多经典反例揭示了数学的严密性。以下通过时间轴回顾几个关键的反例模型，帮助读者避坑。
这是最著名的反例。f'(0)=0，但函数在x=0两侧单调递增。导数符号未发生改变，因此x=0是拐点而非极值点。这提醒我们：导数为0仅是极值的必要条件，而非充分条件。
该函数在x=0处不可导（尖点），但f(0)=0显然小于其邻域内的所有函数值。因此，x=0是极小值点。这说明：极值点既可能在驻点处取得，也可能在不可导点处取得。
考虑f(x)=x在[0,1]上。函数在端点x=0处取得最小值，在x=1处取得最大值。但在标准微积分定义中，极值通常针对开区间内的点讨论。若定义包含端点，端点也可视为极值点，但需特别注意教材定义的范围。
| 步骤 | 操作 | 结果判定 |
|---|---|---|
| 1 | 求f'(x) | 确定定义域内的可导性 |
| 2 | 解f'(x)=0 及 找不可导点 | 得到候选点集合 S = {x₁, x₂, ...} |
| 3 | 划分区间，判断f'(x)符号 | 分析S中每个点左右两侧的导数符号 |
| 4 | 依据变号情况结论 | 左+右- → 极大值 左-右+ → 极小值 同号 → 非极值 |
基于搜索引擎大数据，我们整理了用户关于极值定义判断的高频疑问，并提供深度解答。
这是因为导数为0只说明该点切线水平（驻点），但函数在该点两侧可能保持单调性不变。如前文提到的y=x³，在x=0处导数为0，但函数一直递增。判断极值的关键在于导数符号是否发生改变，而不仅仅是导数是否为0。
不一定。极值点可能出现在两类位置：一是驻点（导数为0），二是不可导点（如尖点、折点）。例如绝对值函数y=|x-1|在x=1处不可导，但x=1显然是极小值点。因此，在寻找极值时，务必同时检查驻点和不可导点。
这是一个常见的误区。极大值和极小值是局部概念，不同“山峰”和“山谷”之间没有必然的大小关系。一个函数的极大值可能小于另一个极小值。例如，一个震荡函数可能有多个波峰和波谷，位置靠后的波谷（极小值）可能比位置靠前的波峰（极大值）还要低。
记忆口诀：“凹增极小，凸减极大”。若f''(x₀)>0，说明函数在该点附近是凹向上的（像碗一样），因此该点通常是极小值；若f''(x₀)<0，说明函数是凸向上的（像盖子一样），因此该点通常是极大值。前提是f'(x₀)=0。