在高等数学的微积分体系中，费马定理（Fermat's Theorem on Stationary Points），也被称为费马引理（Fermat's Lemma），是连接函数局部性质（极值）与微分学工具（导数）的桥梁。它是后续研究罗尔定理、拉格朗日中值定理以及泰勒公式的基础基石。
许多同学在初学导数应用时，往往只记住了结论“极值点处导数为零”，却忽略了其严格的证明逻辑。理解这一证明过程，不仅能帮助我们在考试中应对复杂的极值判定问题，更能培养严密的数学逻辑思维。本文将通过几何直观与代数推导相结合的方式，为您呈现一份详实、深度的费马定理证明过程全解。
要透彻理解费马定理，我们需要分两步走：首先明确定理的数学表述，然后通过导数定义和极限性质进行逻辑推演。
设函数 f(x) 在点 x₀ 的某邻域 U(x₀) 内有定义，且在 x₀ 处可导。如果 x₀ 是 f(x) 的一个极值点（无论是极大值还是极小值），那么必有：
f'(x₀) = 0
这个结论看似简单，但其背后的逻辑链条非常严密。下面我们将通过分类讨论的方式，还原证明过程。
假设 x₀ 是函数 f(x) 的极大值点（极小值点的证明逻辑完全对称，此处以极大值为例）。根据极大值的定义，存在一个邻域 U(x₀)，使得对于任意 x ∈ U(x₀)，都有：
f(x) ≤ f(x₀)
这意味着，对于邻域内的任意增量 Δx（其中 Δx ≠ 0），函数值的变化量满足：
f(x₀ + Δx) - f(x₀) ≤ 0
若 x₀ 是极小值点，则邻域内 f(x) ≥ f(x₀)，即分子 f(x₀ + Δx) - f(x₀) ≥ 0。
此时：
很多同学在做题时容易混淆费马定理的适用范围，或者错误地认为“导数为零”就能推出“极值”。为了帮助大家避坑，我们整理了以下关键信息。
费马定理只是给出了极值点的必要条件，而非充分条件。也就是说：
极值点 ⇒ 导数为零 （真命题）
导数为零 ⇒ 极值点 （假命题！）
反例：y = x³。求导得 y' = 3x²，令 y' = 0 解得 x = 0。但在 x = 0 处，函数单调递增，并非极值点。这就是著名的拐点情况。
费马定理成立的前提是函数在该点可导。如果函数在 x₀ 处不可导（例如尖点），即使它是极值点，导数也不存在，更谈不上等于零。例如 y = |x| 在 x = 0 处取得极小值，但该点导数不存在。
| 点类型 | 导数状态 | 是否为极值点 | 典型例子 |
|---|---|---|---|
| 驻点 | f'(x) = 0 | 可能是，也可能不是 | y=x² (是), y=x³ (否) |
| 不可导点 | f'(x) 不存在 | 可能是，也可能不是 | y=|x| (是), y=x^(1/3) (否) |
| 极值点 (可导) | f'(x) = 0 | 必然是 | 任何光滑曲线的峰顶 |
总结：费马定理告诉我们，可导函数的极值点一定落在驻点上。因此，寻找极值的第一步永远是求导并令导数为零，找出所有驻点。
在实际解题中，我们不能只盯着导数为零的点。完整的极值候选集应该包含两类点：
只有对这些点两侧的导数符号变化情况进行检查（第一充分条件），才能最终确定哪些是真正的极值点。
理论联系实际，我们通过几道经典的高数题目，来演示费马定理在解题思路中的具体运用。
已知函数 f(x) = ax³ + bx² + cx + d 在 x = 1 处取得极值，且 f(1) = 4，f'(1) = 0。求 a, b 的关系。
解析：根据费马定理，既然 x = 1 是可导函数 f(x) 的极值点，那么必然有 f'(1) = 0。这是一个直接的必要条件应用。通过计算导数 f'(x) = 3ax² + 2bx + c，代入 x=1 即可建立方程求解。
求函数 f(x) = sin(x) + cos(x) 在区间 (0, 2π) 内的极值点。
解析：
讨论函数 f(x) = |x - 1| 的极值情况。
解析：此函数在 x = 1 处不可导（尖点）。
针对费马定理证明过程及相关考点，我们整理了网民最关心的几个问题。
A: “可导”是费马定理适用的前提条件。如果函数在某点不可导（例如出现尖角），那么该点的导数不存在，自然无法谈论“导数为零”。在这种情况下，该点仍然可能是极值点（如 y=|x| 在 x=0），但这不属于费马定理的讨论范畴，需要单独使用极值定义来判断。这也是为什么我们在找极值时，既要找驻点，也要找不可导点的原因。
A: 不一定。费马定理说的是“极值点 ⇒ 导数为零”，这是一个单向推导。反过来，“导数为零 ⇒ 极值点”是不成立的。最经典的反例是三次函数 f(x) = x³。它的导数是 f'(x) = 3x²，在 x=0 处导数为零，但该点两侧导数均为正，函数单调递增，所以 x=0 只是一个拐点，而不是极值点。
A: 因为导数定义是一个双侧极限。为了利用极限的保号性，我们需要分别考察 Δx 从负方向趋近（左极限）和从正方向趋近（右极限）时的符号情况。
在极大值点附近：
1. 左侧 (Δx < 0)：分子 ≤ 0，分母 < 0 ⇒ 差商 ≥ 0 ⇒ 左导数 ≥ 0。
2. 右侧 (Δx > 0)：分子 ≤ 0，分母 > 0 ⇒ 差商 ≤ 0 ⇒ 右导数 ≤ 0。
只有当左导数 ≥ 0 且右导数 ≤ 0，且两者相等时，唯一的解才是 0。这就是为什么要分左右讨论的根本原因。