数学 {费马引理}

数学 {费马引理}

费马引理

定义

#费马引理 Fermat's theorem (stationary points)#
条件: $x_0$为极值点, 且$f(x)$在$x_0$可导
结论: $x_0$为驻点

@DELI;

#证明#
考虑$x_0$的左导数, 其分子是$\le 0$的 分母是$>0$, 因此左导数是$\le 0$的; 类似可得右导数是$\ge 0$;
而因为可导 故左导等于右导, 必然导数为$0$;

相关定义

#推论#
函数$f(x)$在其定义域上的极值点 要么是不可导点 要么是驻点;
. 正式定义里还加了一个要么是边界点 (即定义域的边界点 比如(1,3]中的3是边界点), 我觉得没必要 因为边界点一定是不可导点;

性质

@DELI;

费马引理的用途: 找到可微函数 在某个开集定义域上的极值点;
. 具体算法是: 求解$f^{\prime }(x)=0$ 这个方程 设$X$为其解集(即驻点集合), 那么极值点一定$\subset X$; 因为费马引理表明 该函数的任意极值点 都是驻点;
但要注意, 费马引理只给出了必要条件 即: 虽然可微函数的极值点 一定是驻点, 但反之不然 驻点不一定就是极值点 (比如$x^3$的0处是驻点, 但不是极值点);

@DELI;