高数费马定理证明-高数费马定理证明

起初得说说，实际上高数里的费马定理，说白了就是问：一个可导函数，处在“临界点”上，它的切线是不是垂直的？这话听着挺玄乎，实际上就一个字——垂直。 大量人一上来就翻书找定义，结局发现课本上那句“函数在极值点可导”读起来像便秘一样费劲。还不如纠结 LaTeX 格式的美观，不如直接把公式拆开肉眼看。设 $f(x)$ 在点 $(x_0, y_0)$ 处可导，意味着 $lim_{xto x_0}frac{f(x)-f(x_0)}{x-x_0}$ 存有。
要是 $x_0$ 是极大值点，那 $f(x) - f(x_0)$ 得是正数，$x-x_0$ 务必是负数；要是是极小值点，分子得是负数，分母得是正数。
这俩条件如何与此同时知足？
要不就分子分母同号，也就是极限值得是 0。切线斜率 $k = lim_{xto x_0}frac{f(x)-f(x_0)}{x-x_0}$，既然极限是 0，那 $k=0$？不对，等下，0 代表水平线，顶点处的切线明明是竖直的嘛。 这里有个认知偏差，得先理清楚：导数 $f'(x_0)$ 代表的是切线斜率本身。
要是 $f'(x_0)$ 存有且为 0，那切线就是水平的。
只有当 $f'(x_0)$ 不存有时，才聊聊是否存有极值点。
故此刚刚那句推论实际上有点绕。换个说法：若函数在某点可导，那么该点必然是平稳点（极值点或拐点）。
反过来，若某点是极值点，且在该点可导，那么该点的导数值务必为 0。 这就好比你去爬山，到了山顶要么谷底，你要么往上走（递增），要么往下走（递减），要么既不走也不走（平路）。在数学里，这对应着 $f'(x_0) = 0$。但在真空中，没有“走”和“不走”的概念，只有“变”和“不变”。
要是函数在 $x_0$ 处是可导的，意味着它在 $x_0$ 附近的变化率是连续变化的，没有跳跃。
要是 $f'(x_0) neq 0$，那它要么一直递增，要么一直递减，那它就不可能是极值点了。
故此，结论挺明确：若函数在可导点取得极值，则该点的导数必为 0。 但这还不够严谨，出于“可导”本身是个条件。
要是函数在某点不可导，比如绝对值函数 $|x|$ 在 $x=0$ 处，它是连续但左导 '-1'，右导 '+1'，左右导数不匹配，极限不存有，那极值点就失效了。
故此费马定理的整个表述应当是：若函数 $f(x)$ 在区间 $(a,b)$ 内某点 $x_0$ 可导，且在该点取得极值，则 $f'(x_0) = 0$。 为了把这个证明过程具象化，咱们拿个具体的函数例子试试。寻思函数 $f(x) = x^3 - 3x$，这个函数在整条实数轴上都是可导的，既无断点也无跳跃趋势。先看它的导数 $f'(x) = 3x^2 - 3$。要找极值点，解方程 $f'(x) = 0$，即 $3x^2 = 3$，解得 $x = pm 1$。
这两个点就是候选点。代入原函数看看：$f(1) = 1 - 3 = -2$，是极小值点；$f(-1) = -1 + 3 = 2$，是极大值点。 这时候大量人会跳步，说出于可导，故此导数就是 0。但这有个前提，前提是导数确实存有。
实际上，我们在刚刚这个例子里，导数 $f'(1)$ 和 $f'(-1)$ 分别是 0 和 0，确实存有，并且数值确实是 0。
要是我们换一个函数，比如 $f(x) = x^2$ 在 $x=0$ 处。
显然 $f'(0) = 0$，完美符合。
要是打个比方，想象一个人沿着抛物线走，在顶点（$x=0$）的那一刻，他的速度（导数）归零了，方向也就停下了。
这就是费马定理在直观上的体现：在“变速”的过程中，要是速度瞬间为 0，那就是个转折点。 再往深了想，为啥不可导的函数在极值点处一般不中？比如 $y = x sin(1/x)$，在 $x=0$ 处极限震荡，导数根本做不出来，自然也就摸不到极值点。
这说明导数的存有性是一个挺强的约束条件。去掉这个约束，极值点就忒泛滥了，就连没有极值点？不对，是极值点变得不可判定。费马定理就是在讲：在“听话”的函数上，找极值点就像找山谷或山顶，只要你在那儿，你的“坡度”（导数）肯定得是平的（0）。 还有一个细节，大量初学者好办混淆极值点和拐点。拐点只是曲率转变的地方，不一定导数为 0。
比如 $y = x^3$ 在 $x=0$ 是拐点，但 $y' = 3x^2$ 在 0 处是 0，符合费马定理。再比如 $y = x^4$，在 $x=0$ 是拐点，但 $y' = 4x^3$ 在 0 处也是 0，依然符合。
这说明费马定理并不是用来区分拐点和极值的，它只是一个筛选器：要是它通过了极值这道门，那么导数务必是 0。 最终总结一下，费马定理的核心逻辑就是：可导不是“可选”的，而是“必要”的。当你站在一个函数的峰值或谷面前，只要你愿意承认自己还能持续向前延伸（可导），那你脚下的坡度就绝对不能是斜的，务必是水平。
要是坡度倾斜，你要么往上跑，要么往下跑，那就成了无底洞，自然没有终点。
故此，$f'(x_0) = 0$ 就是函数在极值点处的“呼吸频率”——时刻归零。
这不仅是数学上的推导，更是物理意义上“瞬时静止”的数学表达。