一元微分学微分中值定理实际应用.docVIP

一元微分学（2）——应用 例（）连续开拓，费马定理 设函数在上连续可微，，，则存在 ，使得 . 分析 结论即，即的分子.为此， 令辅助函数，连续开拓为 则在上连续，，,无法应用洛尔定理，但是因为 （型） =（罗比达法则） （代入） （因为在上连续可微，） . 由点单调的定义，存在，使得. 这说明，，都不是在上的最大点，从而最大点在内取得，根据费马定理，结论成立. 凑微分，拉格朗日中值定理，费马定理 例（）设函数在上二阶连续可微，且 （1）； （2），（其实本质是） 则存在，使得 . 分析 首先，条件等价于，结论 等价于同乘以，即. . 上述分析说明，考察函数 是否满足洛尔定理或费马定理即可. 证明 令 . 在上，由已知，. ，函数在，上满足拉格朗日中值定理条件. 存在，使，得. 存在，使，得. 观察可见，当时， ， . 所以在上的最大值不在端点取得，而在内部处取得，根据费马定理，最大点，满足，且. 即，又知，可以推出 说明 . 又即 . 约去，得 . 高阶导数，导函数介值性，零点定理 例（） 设在存在，且，，则必然存在，使得 , 即对于在内严格下凸或严格上凸的连续曲线来说，内任意一点的切线总可以在内找到一条与之平行的弦. 分析 对于在内严格下凸或严格上凸的连续曲线来说，内的弦有无穷多条.，总有跨越的、斜率的弦.即，存在，使得 ，这里， . 这些弦，不外.①正好，取，，结论成立.②， 对于.②，不外和两种情况. 对于第一种情况，，取，寻找从出发的旋转弦中，斜率等于的弦. 即将一般化为（一般化为），考察函数 是否存在零点. 鉴于存在，现将连续开拓到上.令 则，且 ，（，严增） ， 由零点定理，存在，使得 . 结论成立. 对于第二种情况， ，取，寻找从出发的旋转弦中，斜率等于的弦. 即将一般化为（一般化为），考察函数 是否存在零点. 令（寻找从出发的弦） ， 则在上满足零点定理条件，存在，使得结论成立. 例（） 设在存在，且，，则必然存在且介于，使得 . 分析 本题与上一题有不同，上一题要证明存在，使得 ，但没有要求介于之间. 根据已知，函数为严格下凸函数，往证存在跨越的弦与处的切线平行，当然就要与直线平行，如下图所示. 因此，只要在图示最大四边形左右两边相等，最大四边形就是平行四边形，上下两边平行得证.而左右两边的长度函数为， ，存在，使 .令，则连续，可导，且，. 因，，故严格单调增加，是的极小点.从而存在且介于，使得. 【事实上，为极小点，则在某个中，. 若，取即可； 若，不妨设，则发生 （极小值））. 根据连续函数的介值定理，存在，使，取即可】. 因，故，移项整理得 推广的洛尔定理，高阶导数，导函数介值性，凸凹性. 例（） 设在存在，，则存在，使得 . 分析 函数满足推广的洛尔定理，但是，函数不一定满足推广的洛尔定理.本题涉及高阶导数，常利用凸凹性或泰勒公式，结合反证法讨论问题. 证明 反证法.设， . 则由导函数介值性，必然在上保号. 不妨设，.则在上严格单调增加，在上严格下凸. 而由已知，满足推广的洛尔定理，故存在，使得. 由及在上严格单调增加，得， . 任意取定，则，且曲线在任一点的切线之上. 即， . 与矛盾. 例（） 设函数，在内可导，且，证明：存在，使得 . 分析 结论即，即，令，用洛尔定理. 洛尔定理，常值法 设函数在上二阶连续可微，，证明：存在，使得 . 分析 显然，时结论成立. 时，把含中值的项改为，证明存在，使即可. . 将该式一般化，将改写为变量，设立辅助函数 . . 因为满足，两次使用洛尔定理，得 存在，使得. 得 . 故结论成立. 例（） 设函数在上二阶可微，，证明：对每个，存在，使得 . 分析（原样采自苏州大学谢惠民本上册） 固定，令，往 证，使得=. 构造上的函数=-，=0，=0， 从的定义还知=0 在，上分别使用Rolle定理，然后在两个中值点组成的区间上再使用一次Rolle定理，介于和，使得 =0. =-，故，-=0，知结论成立. 用相同的方法，我们可以轻松地设立辅助函数，之后，反复运用Rolle定理，证明类似问题： 1.设函数在三阶可导，===0，则，，使得 =； 2.设函数在五阶可导，=====0，则，，使得 =； 3. 设函数在三阶可导，则，使得 . 3的结论与上述各例的结论相比，只是把一般性的结论应用于点而已，因此，在3的证明中，只要在设立辅助函数时，将结论中的改为即可. 当然，3也可以用柯西中值定理来证 令 ， 连续使用柯西中值定理两次，注意用上面的零元素做减数即可. 与3相近