Processing math: 100%

微分学证明存在性问题

  • 证明题
  • 微分中值定理
高航·浙江大学
2016-08-05
阅读数10339

很多微分学中的定理,都会出现“存在”的字样。譬如零点定理,介值定理,微分中值定理等,它们都交待了具有某个特殊性质的点的存在性。那么,很多存在性的命题就可以通过这些微分学的定理来证明了。首先我们来复习一下这些定理。

一、定理复习

1.闭区间上有界性和最值定理:在闭区间[a,b]上的连续函数f(x)在该区间上有界,且一定可以取到它的最大值和最小值。

看似这句话没有出现“存在”字样,其实“有界”和“最大值”“最小值”中蕴含了“存在性”了。

2.零点定理

若函数f(x)在闭区间[a,b]上连续,且f(a)f(b)<0,则至少存在一个ξ(a,b),使得f(ξ)=0.用文字概括,就是闭区间上的连续函数如果在区间端点处异号,那么就一定存在零点。

3.介值定理

若函数f(x)在闭区间[a,b]上连续,且f(a)=A,f(b)=B,AB,则对于AB之间任意一个数C,至少存在一个ξ(a,b),使得f(ξ)=C.用文字概括,就是闭区间上的连续函数,可以取到两个端点的函数值之间的所有值。

4.罗尔定理

如果函数f(x)满足:

(1)在闭区间[a.b]上连续;

(2)在开区间(a,b)上可导;

(3)在区间端点函数值相等,即f(a)=f(b).

那么至少存在一个ξ(a,b),使得f(ξ)=0.

5.拉格朗日中值定理

如果函数f(x)满足:

(1)在闭区间[a.b]上连续;

(2)在开区间(a,b)上可导;

那么至少存在一个ξ(a,b),使得f(ξ)=f(b)f(a)ba.

6.柯西中值定理

如果函数f(x),g(x)满足:

(1)在闭区间[a.b]上连续;

(2)在开区间(a,b)上可导;

(3)对任意x(a,b),g(x)0.

那么至少存在一个ξ(a,b)f(ξ)g(ξ)=f(b)f(a)g(b)g(a).

以上6个定理是微分学上很重要的定理,并且都出现了“存在”的字样。因而,很多存在性的问题都可以通过它们来证明。其中使用最多的是零点定理、罗尔定理、拉格朗日中值定理。另外,存在性问题也可以利用函数的单调性来证明。

  • 二、利用零点定理证明

一般来说,这类问题待证的结论没有出现导数,具有的形式为“在(a,b)上存在一个x,使得一个关于x的等式成立”。这个关于x的等式可以变形成g(x)=0的形式,因而需要构造辅助函数g(x),证明它在区间内有零点。

例1:设f(x)在区间[0,1]上可导,对于x[0,1]0<f(x)<1,且f(x)1.证明:存在唯一x0(0,1),使得f(x0)=x0.

分析:使得f(x)=x成立的值称为f(x)的不动点。本题要求证明函数有唯一的不动点,可以通过零点定理证明存在性,再用反证法证明唯一性。

证明:令g(x)=f(x)xf(x)在区间[0,1]上可导,f(x)在区间[0,1]上连续,

g(x)在区间[0,1]上连续.

g(0)=f(0)>0,g(1)=f(1)1<0

由零点定理,存在x0(0,1)g(x0)=f(x0)x0=0,f(x0)=x0

再证明唯一性。假设存在x1x0,f(x1)=x1,则g(x0)=g(x1)=0..不妨设x1>x0,由罗尔定理,存在ξ(x0,x1)g(ξ)=f(ξ)1=0.f(ξ)=1,与题设条件矛盾!

因此唯一性成立。

  • 三、利用罗尔定理证明

罗尔定理是比较常用的证明存在性问题的方法,待证式可以归结为一个函数的导数在某点取0的时候,正好这时这个函数在两个端点函数值相等。我们要做的工作就是设法通过分析构造这个函数。

例2:(《高等数学》同济第六版习题3-1第7小题):若方程a0xn+a1xn1++an1x=0有一个正根x0,求证方程na0xn1+(n1)a1xn2++an1=0必有一个小于x0的正根。

分析:这两个方程形式很特殊,左边的多项式正好是导数的关系。

证明:令f(x)=a0xn+a1xn1++an1x,则f(0)=f(x0)=0

注意到f(x)=na0xn1+(n1)a1xn2++an1.

由罗尔定理,存在x1(0,x0)f(x1)=0,则x1是方程na0xn1+(n1)a1xn2++an1=0的小于x0的正根.

例3:设f(x)[a,b]上连续,在(a,b)内可导,f(a)f(b)>0f(a)f(a+b2)<0,试证:对任意实数k,存在ξ(a,b),使得f(ξ)=kf(ξ).

分析:由题设条件,我们可以得到f(x)(a,a+b2)(a+b2,b)上各有一个零点,不妨记为c,d.这样就有了f(c)=f(d)=0,c<d,看似可以直接用罗尔定理但是没有什么帮助。不过我们可以考虑构造一个函数F(x)=f(x)g(x),使它满足F(c)=F(d)=0,并且F(x)=h(x)(f(x)kf(x)).如果可以构造出这样的函数,证明就完成了。经过分析,g(x)=ekx就是合适的构造了.

解:令F(x)=ekxf(x),则F(x)=ekx(f(x)kf(x))

f(a)f(a+b2)<0,c(a,a+b2),f(c)=0,

f(a)f(b)>0,f(a+b2)f(b)<0,d(a+b2,b),f(d)=0.

F(c)=F(d),c<d.

由罗尔定理,存在ξ(c,d),F(ξ)=0,f(ξ)kf(ξ)=0

本题构造函数的方法十分巧妙,要注意学习。

  • 四、利用拉格朗日中值定理来证明

一般来说,如果待证式中出现拉格朗日中值定理中等式左边的形式,可以考虑用拉格朗日中值定理。

例4:不恒为常数值的函数f(x)在闭区间[a,b]上连续,在开区间(a,b)内可导,且f(a)=f(b).证明:在(a,b)内至少存在一点ξ,使得f(ξ)>0.

分析:f(a)=f(b)符合罗尔定理的要求,但是要证的却是一个不等式,罗尔定理用不成。那么既然函数不为常值函数,那么就一定存在某点的函数值异于f(a),这样就可以用拉格朗日中值定理证明了。当然本题目也可以使用反证法,在下文中介绍。

证明:f(x)不恒为常数值,c(a,b),f(c)f(a)

f(a)<f(c),那么存在ξ(a,c),f(ξ)=f(c)f(a)ca>0;.

f(c)<f(a)=f(b),那么存在ξ(c,b),f(ξ)=f(b)f(c)bc>0..

(a,b)内至少存在一点ξ,使得f(ξ)>0.

例5:f(x)在闭区间[0,c]上连续,其导数f(x)在开区间(0,c)内存在且单调减少,f(0)=0.若a,b满足0aba+bc,证明不等式f(a+b)f(a)+f(b).

分析:看上去没有直接出现拉格朗日中值定理的形式,但是这个不等式可以变形成f(a+b)f(b)af(a)a,这时就可以使用拉格朗日中值定理了。

解:由拉格朗日中值定理,s(0,a),f(s)=f(a)f(0)a0=f(a)a,

t(b,a+b),f(t)=f(a+b)f(b)a.

f(x)单调减少,s<ab<t

f(s)f(t),即f(a)af(a+b)f(b)a.

f(a+b)f(a)+f(b)

  • 五、利用函数单调性证明

虽然上面没有叙述和函数单调性有关的结论,但是利用函数单调性来证明存在性问题也是很常见的一种方法。

例6:同例4.

分析:待证式为至少存在一点ξ,使得f(ξ)>0,它的反面是f(x)0恒成立,可以得到函数是单调递减的,说明矛盾。

证明:假设x(a,b),f(x)0

那么函数f(x)(a,b)上单调递减,x(a,b),f(a)f(x)f(b)

f(a)=f(b)x(a,b),f(x)=f(a)=f(b),这与f(x)不恒为常数值矛盾!

至少存在一点ξ,使得f(ξ)>0.

例7:设[0,+)上函数f(x)有连续导数,f(x)k>0f(0)<0证明函数f(x)(0,+)上有且仅有一个零点。

分析:由于函数f(x)严格单调递增,证明存在性后唯一性显然可得,只需要证明存在性。这里区间不是闭区间[a,b],不方便利用零点定理或者中值定理;但是可以利用函数的单调性证明,找到点x0使得f(x0)0

证明:令g(x)=f(x)kxf(0)(x0),则g(0)=0.

g(x)=f(x)kkk=0g(x)是单调递增函数,

g(x)g(0)=0.f(x)kx+f(0),x0.

x0=f(0)k,x0>0,则f(x0)kx0+f(0)=0.

f(x)(0,x0]上有零点.

f(x)>0,f(x)[0,+)上严格单调递增,函数f(x)(0,x0]上有且仅有一个零点。

利用微分学的定理,尤其是中值定理可以证明很多存在性问题。当然证明的方法并没有穷尽,本文只是抛砖引玉之作,希望可以拓宽读者在遇到此类问题时的解题思路。

本文由 高航 授权 赛氪网 发表,并经赛氪网编辑。转载此文章须经作者同意,并请附上出处(赛氪网)及本页链接。原文链接https://www.saikr.com/a/2782
收藏
分享
别默默的看了,快来和大家聊聊吧,登录后发表评论~ 登录 立即注册
打赏
高航
打赏金额(金额:¥0)
给Ta留言
赏金已入袋,多谢!(*^__^*)
赛乐云AI 证书查询 赛氪APP全新升级

下载赛氪APP

参加有趣活动,获得赛程提醒

分享大学生活,获得前辈指点

意见反馈

产品建议、功能吐槽、使用问题…

欢迎提出关于赛氪网的问题和建议 :)

微信公众号
关注赛氪订阅号
微信服务号
关注赛氪服务号
温馨提示

非常抱歉!本站不支持旧版本IE浏览器~~建议使用IE10/IE11/Chrome/Firefox/Safari等高级浏览器浏览。

温馨提示
温馨提示
帮助与反馈

热门问题