首页 理论教育定积分不等式证明-基础篇全面复习与常考知识点解析

定积分不等式证明-基础篇全面复习与常考知识点解析

【摘要】:【主要内容】含定积分的不等式的常见证明方法是导数方法,即将欲证不等式中所包含的定积分上限字母换成x(如果包含的定积分多于一个,则选择其中一个,将其上限字母换成x),同时将该不等式中与此相同的字母都换成x,得到一个函数不等式,然后用导数方法证明这个函数不等式成立,由此即证得欲证的不等式.【典型例题】例2.9.1 设函数f(x)在[0,+∞)上连续且单调增加.证明:满足0

【主要内容】

含定积分的不等式的常见证明方法是导数方法,即将欲证不等式中所包含的定积分上限字母换成x(如果包含的定积分多于一个,则选择其中一个,将其上限字母换成x),同时将该不等式中与此相同的字母都换成x,得到一个函数不等式,然后用导数方法证明这个函数不等式成立,由此即证得欲证的不等式.

【典型例题】

例2.9.1 设函数fx)在[0,+∞)上连续且单调增加.证明:满足0<a<b的任意实数ab

精解 在欲证不等式中包含三个定积分,选择978-7-111-46245-3-Part01-1090.jpg,将它的上限字母b改为x,并且

将该不等式中出现的字母b都改为x,由此得到函数不等式:978-7-111-46245-3-Part01-1091.jpg

978-7-111-46245-3-Part01-1092.jpg

因此作辅助函数978-7-111-46245-3-Part01-1093.jpg

显然,它在[0,+∞)上可导且

(利用fx)在[0,x]上单调增加).由此可知,Fx)在[0,+∞)上单调增加,于是有Fb>Fa),即978-7-111-46245-3-Part01-1095.jpg

从而证得,对0<a<b

注 本题的积分字母有ab两个,也可选择把ax,但证明将会遇到困难.

例2.9.2 设函数fx)在[ab]上二阶可导且f″x)>0.证明:

精解 将欲证不等式改为978-7-111-46245-3-Part01-1098.jpg,并将其中的积分上限字母b改为

x,得函数不等式:978-7-111-46245-3-Part01-1099.jpg,即978-7-111-46245-3-Part01-1100.jpg

因此作辅助函数

由于Fx)在[ab]上二阶可导且

978-7-111-46245-3-Part01-1103.jpgfx)在978-7-111-46245-3-Part01-1104.jpg(上应用拉格朗日中值定理得到的中值点)

978-7-111-46245-3-Part01-1106.jpgf′x)在978-7-111-46245-3-Part01-1107.jpg(上应用拉格朗日中值定理得到的中值点),(www.chuimin.cn)

Fx)在[ab]上单调增加,所以Fb>Fa=0,即978-7-111-46245-3-Part01-1108.jpg

例2.9.3 设函数fx),gx)在[0,1]上连续可导,且f(0)=0,f′x)≥0,g′x)≥0.证明:对任意实数a∈[0,1]有

精解 将欲证不等式中的a改为x得函数不等式:978-7-111-46245-3-Part01-1110.jpg,即978-7-111-46245-3-Part01-1111.jpg

故作辅助函数978-7-111-46245-3-Part01-1112.jpg

则它在[0,1]上可导且

(由于g′x)≥0,所以有gx-g(1)≤0,x∈[0,1])

Fx)在[0,1]上单调不增.所以,对a∈[0,1]有

=f(1)g(1)-f(0)g(0)-f(1)g(1)=-f(0)g(0)=0,即978-7-111-46245-3-Part01-1115.jpg

例2.9.4 设函数fx)在[0,1]上连续可导,且当a∈(0,1)时,0<f′x<1以及f(0)=0.证明:对于a∈[0,1]有

精解 将欲证不等式中的a改为x,得函数不等式:978-7-111-46245-3-Part01-1117.jpg,即978-7-111-46245-3-Part01-1118.jpg

因此,作辅助函数978-7-111-46245-3-Part01-1119.jpg

则它在[0,1]上连续,在(0,1)内可导且

为了判定978-7-111-46245-3-Part01-1121.jpg在(0,1)内的符号,记978-7-111-46245-3-Part01-1122.jpg

则它在[0,1]上连续,在(0,1)内可导且

F′1x=2fx-2fxf′x=2[1-f′x)]fx>0(由题设f′x<1知1-f′x>0及fx>f(0)=0,所以[1-f′x)]fx>0).

所以,对x∈(0,1),F1x>F1(0)=0,即978-7-111-46245-3-Part01-1123.jpg将它代入式(1)得

F′x>0(x∈(0,1)),从而对x∈(0,1)有Fx>F(0)=0,即978-7-111-46245-3-Part01-1124.jpg

故欲证不等式成立.