极值
局部的最大值与最小值
定义
设函数
极大值
为极大值点
严格极大值
为严格极大值点
极小值
为极小值点
严格极小值
为严格极小值点
函数
可有极值而没有最值 函数
可有最值而没有极值 若最值点出现在定义区间的内部,则必为极值点
费马定理
定理
设函数
- 证明
- 不妨设
是一个极大值 - 则
- 由保号性,
- 不妨设
推论
设函数
驻点
若函数
- 函数的可导点为驻点是该点为极值点的一个必要条件
- 函数的极值点也可出现在不可导点
- 寻找范围
- 找极值点
- 驻点
- 不可导点
- 找最值点
- 驻点
- 不可导点
- 端点
- 找极值点
微分中值定理
罗尔 (Rolle) 定理
设函数
- 在闭区间
上连续 - 在开区间
内可导 则 ,使得
- 证明
- 若函数
为常值函数,则结论成立 - 否则,由1知
有最大值 和最小值 ,且 - 再由2
- 若函数
- 在罗尔定理的应用中,可能需要用到凑全微分
- 常被用来计算函数零点的个数
- 其中唯一性一般利用下列推论(单射性质)
- 常被用来证明介值性问题,即某个函数关系式成立
- 构造辅助函数
推论
若
- 证明
- 反证法,假设非单射,则
,使得 - 又
- 由罗尔定理,
,使得 ,矛盾
- 反证法,假设非单射,则
广义罗尔定理推论1
设
- 证明
- 需要用到费马引理,最大值存在且不在端点处
广义罗尔定理推论2
设
广义罗尔定理推论3
设
拉格朗日 (Lagrange) 中值定理
- 当
时可用 - 某一点处切线斜率等于割线斜率
- 证明
- 令
, - 此时
- 使用罗尔定理
- 令
- 常用于证明
- 等式
- 导函数恒为 0
- 不等式
- 利用定理结论
- 等式
拉格朗日中值公式
若记
称为有限增量公式
随 而变化 - 参照
推论
若
证明
推论
若在区间
科西 (Cauchy) 中值定理
设函数
- 在闭区间
上连续 - 在开区间
内可导,且 则 ,使得
- 证明
- ……
- 构造辅助函数
- 拉格朗日中值定理的参数方程化表达,通过参数方程构造辅助函数
达布定理
引理
若函数
- 证明
- 由
知, ,有最小值 , - 由
,由保号性,在 的一个右邻域内, , - 此时
,同理 , 在 内某点 取得最小值,根据费马定理
- 由
定理
若函数
- 证明
- 构造辅助函数
, - 有
,且 - 由引理,
,使得 , - 即
- 构造辅助函数
- 描述了闭区间上导函数的性质
- 并非任何一个函数都可以是某个函数的导函数
- 导函数具有与介值定理相似的性质
- 但导函数不必连续
- 导函数不存在第一类间断点
导函数极限定理
设函数
- 证明
- ……
- 导函数的极限断续地趋近
- 导函数在某点的极限不存在,不一定意味着该点处导数不存在
推论
设函数
推论 导函数不存在第一类间断点
设函数
- 证明
- ……
- 求分段函数的导数或左右导数