微分中值定理的证明题[1](1)微分中值定理的证明题1. 若()f x 在[,]a b 上连续，在(,)a b 上可导，()()0f a f b ==，证明：R λ∀∈，(,)a b ξ∃∈使得：()()0f f ξλξ'+=。

证：构造函数()()x F x f x e λ=，则()F x 在[,]a b 上连续，在(,)a b 内可导， 且()()0F a F b ==，由罗尔中值定理知：,)a b ξ∃∈（，使()0F ξ'=即：[()()]0f f e λξξλξ'+=，而0e λξ≠，故()()0f f ξλξ'+=。

2. 设,0a b >，证明：(,)a b ξ∃∈，使得(1)()b a ae be e a b ξξ-=--。

证：将上等式变形得：1111111111(1)()b ae e e b a b aξξ-=--作辅助函数1()xf x xe =，则()f x 在11[,]b a 上连续，在11(,)b a内可导，由拉格朗日定理得：11()()1()11f f b a f b aξ-'=- 1ξ11(,)b a ∈ ， 即 11111(1)11b ae eba eb a ξξ-=-- 1ξ11(,)b a ∈ ， 即： )()1(b a e be ae a b --=-ξξ (,)a b ξ∈。

3. 设()f x 在(0,1)内有二阶导数，且(1)0f =，有2()()F x x f x =证明：在(0,1)内至少存在一点ξ，使得：()0F ξ''=。

证：显然()F x 在[0,1]上连续，在(0,1)内可导，又(0)(1)0F F ==，故由罗尔定理知：0(0,1)x ∃∈，使得0()0F x '=又2()2()()F x xf x x f x ''=+，故(0)0F '=， 于是()F x '在0[0]x ，上满足罗尔定理条件，故存在0(0,)x ξ∈， 使得：()0F ξ''=，而0(0,)x ξ∈⊂(0,1)，即证4. 设函数)(x f 在[0,1]上连续，在(0,1)上可导，0)0(=f ，1)1(=f .证明：(1)在(0,1)内存在ξ，使得ξξ-=1)(f ．(2) 在(0,1)内存在两个不同的点ζ，1)()(//=ηζηf f 使得【分析】 第一部分显然用闭区间上连续函数的介值定理；第二部分为双介值问题，可考虑用拉格朗日中值定理，但应注意利用第一部分已得结论.【证明】 （I ） 令x x f x F +-=1)()(，则F(x)在[0，1]上连续，且F(0)=-1<0, F(1)=1>0,于是由介值定理知，存在),1,0(∈ξ 使得0)(=ξF ，即ξξ-=1)(f .（II ）在],0[ξ和]1,[ξ上对f(x)分别应用拉格朗日中值定理，存在两个不同的点)1,(),,0(ξζξη∈∈，使得0)0()()(--='ξξηf f f ，ξξζ--='1)()1()(f f f于是，由问题（1）的结论有.1111)(1)()()(=-⋅-=--⋅=''ξξξξξξξξζηf f f f 5. 设)(x f 在[0，2a]上连续，)2()0(a f f =，证明在[0,a]上存在ξ使得 )()(ξξf a f =+.【分析】)(x f 在[0,2a]上连续，条件中没有涉及导数或微分，用介值定理或根的存在性定理证明。

辅助函数可如下得到0)()(0)()()()(=-+→=-+→=+x f x a f f a f f a f ξξξξ【证明】令)()()(x f x a f x G -+=，],0[a x ∈．)(x G 在[0,a]上连续，且 )()0()()2()(a f f a f a f a G -=-=)0()()0(f a f G -=当)0()(f a f =时，取0=ξ，即有)()(ξξf a f =+；当)0()(f a f ≠时，0)()0(<a G G ，由根的存在性定理知存在),0(a ∈ξ使得，0)(=ξG ，即)()(ξξf a f =+．F (η)=0 又 F (0)=-)0(f 0=0对F (x )在[0，1]上用Rolle 定理，∃一个∈ξ(0，η)⊂(0，1)使 )('ξF =0 即 )('ξf =16. 设)(x f 在]1,0[上连续，在)1,0(内可导，且)1()0(f f =试证存在ξ和η.满足10<<<ηξ，使0)()(='+'ηξf f 。

证 由拉格朗日中值定理知，)(021)0()21(ξf f f '=-- )21,0(∈ξ)1,21()(211)21()1(∈'=--ηηf f f021)21()1(21)0()21()()(=-+-='+'f f f f f f ηξ 7. 设()f x 在[,]a b 上连续,(,)a b 内可导(0),a b ≤<()(),f a f b ≠ 证明: ,(,)a b ξη∃∈使得()().2a bf f ξηη+''= (1) 证: (用()b a -乘于(1)式两端,知)(1)式等价于22()()()().12f f b a b a ξηη''-=- (2)为证此式,只要取()(),F x f x =取()G x x =和2x 在[,]a b 上分别应用Cauchy 中值定理,则知22()()()()()(),12f f f b f a b a b a ξηη''-=-=-其中,(,)a b ξη∈.8. 已知函数)(x f 在[0 ,1]上连续，在（0 ，1）内可导，ba <<0，证明存在),(,b a ∈ηξ，使)()()(3/22/2ηξηf b ab a f ++=解：利用柯西中值定理332/)()(3)(a b a f b f f --=ηη而))(()()(/a b fa fb f -=-ξ 则22/33/332/)())(()()(3)(b ab a f a b a b f a b a f b f f ++=--=--=ξξηη（后面略）9. 设)(x f 在a x ≥时连续，0)(<a f ，当a x >时，0)(/>>k x f ，则在))(,(ka f a a -内0)(=x f 有唯一的实根 解：因为0)(/>>k x f，则)(x f 在))(,(ka f a a -上单调增加 0])(1)[()()()())((//>-=-=-kf a f k a f f a f k a f a f ξξ（中值定理）而0)(<a f 故在))(,(ka f a a -内0)(=x f 有唯一的实根 10. 试问如下推论过程是否正确。

对函数21sin0()00t t f t tt ⎧≠⎪=⎨⎪=⎩在[0,]x 上应用拉格朗日中值定理得：21sin 0()(0)111sin ()2sin cos 00x f x f x x f x x x ξξξξ--'====--- (0)x ξ<<即：111cos2sinsinx xξξξ=- (0)x ξ<<因0x ξ<<，故当0x →时，0ξ→，由01lim 2sin0ξξξ+→=1lim sin 0x x x+→= 得：0lim x +→1cos 0ξ=，即01lim cos0ξξ+→=解：我们已经知道，01lim cos0ξξ+→=不存在，故以上推理过程错误。

首先应注意：上面应用拉格朗日中值的ξ是个中值点，是由f 和区间[0,]x 的端点而定的，具体地说，ξ与x 有关系，是依赖于x 的，当0x →时，ξ不一定连续地趋于零，它可以跳跃地取某些值趋于零，从而使1lim cos 0x ξ+→=成立，而01lim cos0ξξ+→=中要求ξ是连续地趋于零。

故由01lim cos 0x ξ+→=推不出1lim cos0ξξ+→=11. 证明：02x π∀<<成立2cos xx tgx x<<。

证明：作辅助函数()f x tgx =，则()f x 在[0,]x 上连续，在(0,)x 内可导， 由拉格朗日定理知：2()(0)1()0cos f x f tgx f x x ξξ-'===-(0,)x ξ∈ 即：2cos x tgx ξ=，因cos x 在(0,)2π内单调递减，故21cos x 在(0,)2π内单调递增，故222111cos 0cos cos x ξ<<即：22cos cos x xx xξ<< 即：21cos x tgx x<<。

注：利用拉格朗日中值定理证明不等式，首先由不等式出发，选择合适的函数)(x f 及相应的区间],[b a ，然后验证条件，利用定理得()()()()f b f a f b a ξ'-=-(,)a b ξ∈，再根据()f x '在(,)a b 内符号或单调 证明不等式。

12. 证明：当02x π<<时，sin 2x tgx x +>。

证明：作辅助函数()sin 2x x tgx x ϕ=+-(0,)2x π∈则2()cos sec 2x x x ϕ'=+-21cos 2cos x x=+- 221cos 2cos x x ≥-+21(cos )cos x x=-0>故()x ϕ在(0,)2π上单调递减，又因(0)0ϕ=，()x ϕ在(0,)2π上连续，故 ()(0)x ϕϕ>=0，即：sin 20x tgx x +->，即：sin 2x tgx x +>。

注：利用单调性证明不等式是常用方法之一，欲证当x I ∈时()()f x g x ≥，常用辅助函数()()()x f x g x ϕ=-，则将问题转化证()0x ϕ≥，然后在I 上讨论()x ϕ的单调性，进而完成证明。

13. 证明：若()f x 二阶可导，且()0f x ''>，(0)0f =，则()()f x F x x=在 (0,)+∞内单调递增。

证明：因2()()()xf x f x F x x'-'=，要证()F x 单调递增，只需证()0F x '>， 即证()()0xf x f x '->。