一元微分学2微分中定理应用.doc

一元微分学（2）——应用 例（）连续开拓，费马定理 设函数 SKIPIF 1 0 在 SKIPIF 1 0 上连续可微， SKIPIF 1 0 ， SKIPIF 1 0 ，则存在 SKIPIF 1 0 ，使得 SKIPIF 1 0 . 分析 结论即 SKIPIF 1 0 ，即 SKIPIF 1 0 的分子.为此， 令辅助函数 SKIPIF 1 0 ，连续开拓为 SKIPIF 1 0 则 SKIPIF 1 0 在 SKIPIF 1 0 上连续， SKIPIF 1 0 ， SKIPIF 1 0 ,无法应用洛尔定理，但是因为 SKIPIF 1 0 SKIPIF 1 0 （ SKIPIF 1 0 型） = SKIPIF 1 0 （罗比达法则） SKIPIF 1 0 （代入 SKIPIF 1 0 ） SKIPIF 1 0 （因为 SKIPIF 1 0 在 SKIPIF 1 0 上连续可微， SKIPIF 1 0 ） SKIPIF 1 0 SKIPIF 1 0 . 由点单调的定义，存在 SKIPIF 1 0 ，使得 SKIPIF 1 0 . 这说明， SKIPIF 1 0 ， SKIPIF 1 0 都不是 SKIPIF 1 0 在 SKIPIF 1 0 上的最大点，从而最大点在 SKIPIF 1 0 内取得，根据费马定理，结论成立. 凑微分，拉格朗日中值定理，费马定理 例（）设函数 SKIPIF 1 0 在 SKIPIF 1 0 上二阶连续可微，且 （1） SKIPIF 1 0 ； （2） SKIPIF 1 0 ，（其实本质是 SKIPIF 1 0 ） 则存在 SKIPIF 1 0 SKIPIF 1 0 ，使得 SKIPIF 1 0 . 分析 首先，条件 SKIPIF 1 0 等价于 SKIPIF 1 0 ，结论 SKIPIF 1 0 等价于同乘以 SKIPIF 1 0 ，即 SKIPIF 1 0 . SKIPIF 1 0 . 上述分析说明，考察函数 SKIPIF 1 0 是否满足洛尔定理或费马定理即可. 证明 令 SKIPIF 1 0 SKIPIF 1 0 . 在 SKIPIF 1 0 上，由已知， SKIPIF 1 0 . SKIPIF 1 0 ，函数 SKIPIF 1 0 在 SKIPIF 1 0 ， SKIPIF 1 0 上满足拉格朗日中值定理条件. 存在 SKIPIF 1 0 SKIPIF 1 0 ，使 SKIPIF 1 0 ，得 SKIPIF 1 0 . 存在 SKIPIF 1 0 SKIPIF 1 0 ，使 SKIPIF 1 0 ，得 SKIPIF 1 0 . 观察可见，当 SKIPIF 1 0 时， SKIPIF 1 0 ， SKIPIF 1 0 . 所以 SKIPIF 1 0 在 SKIPIF 1 0 上的最大值不在端点取得，而在内部处取得，根据费马定理，最大点 SKIPIF 1 0 ，满足 SKIPIF 1 0 ，且 SKIPIF 1 0 . SKIP