数学 {费马引理}
费马引理
定义
#费马引理 Fermat's theorem (stationary points)
#
条件:
x
0
x_0
x0为极值点, 且
f
(
x
)
f(x)
f(x)在
x
0
x_0
x0可导
结论:
x
0
x_0
x0为驻点
@DELI;
#证明#
考虑
x
0
x_0
x0的左导数, 其分子是
≤
0
\leq 0
≤0的 分母是
>
0
> 0
>0, 因此左导数是
≤
0
\leq 0
≤0的; 类似可得右导数是
≥
0
\geq 0
≥0;
而因为可导 故左导等于右导, 必然导数为
0
0
0;
相关定义
#推论#
函数
f
(
x
)
f(x)
f(x)在其定义域上的极值点 要么是不可导点 要么是驻点;
.
正式定义里还加了一个要么是边界点 (即定义域的边界点 比如(1,3]
中的3是边界点), 我觉得没必要 因为边界点一定是不可导点;
性质
@DELI;
费马引理的用途: 找到可微函数 在某个开集定义域上的极值点;
.
具体算法是: 求解
f
′
(
x
)
=
0
f'(x) = 0
f′(x)=0 这个方程 设
X
X
X为其解集(即驻点集合), 那么极值点一定
⊂
X
\subset X
⊂X; 因为费马引理表明 该函数的任意极值点 都是驻点;
但要注意, 费马引理只给出了必要条件 即: 虽然可微函数的极值点 一定是驻点, 但反之不然 驻点不一定就是极值点 (比如
x
3
x^3
x3的0处是驻点, 但不是极值点);
@DELI;