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

不等式导数的证明-基础篇全面复习与常考知识点解析

【摘要】:【主要内容】函数不等式f(x)0(x∈(a,b))及时,有F(

【主要内容】

函数不等式fx)<gx)(x∈(ab))的证明,总是先作辅助函数.通常作辅助函数Fx)=gx)-fx.如果这样的Fx)不易求导,或求导后的表达式比较复杂,其符号不易确定,则可先对不等式作适当的等价变形,例如将三角函数集中到不等号的一边;将反三角函数和对数函数分散到不等号两边等,再作辅助函数.

如果Fx)在(ab)内可导,则当F′x)>0(x∈(ab))及978-7-111-46245-3-Part01-532.jpg时,有

Fx)>A≥0,即fx)<gx)(x∈(ab));当F′x)<0(x∈(ab))及978-7-111-46245-3-Part01-533.jpg

时,有Fx)>B≥0,即fx)<gx)(x∈(ab));当存在x0∈(ab),使得978-7-111-46245-3-Part01-534.jpgFx0)=c>0时有

Fx)≥c>0,即fx)>gx)(x∈(ab)).

【典型例题】

例1.20.1 证明:当x∈(0,1)时,978-7-111-46245-3-Part01-535.jpg

精解 需将ln(1+x)与arcsinx分散到不等号的两边,故将欲证的不等式改写为978-7-111-46245-3-Part01-536.jpg

arcsinx<ln(1+x),或978-7-111-46245-3-Part01-537.jpg.于是作辅助函数978-7-111-46245-3-Part01-538.jpg

显然,它在(0,1)内可导且978-7-111-46245-3-Part01-539.jpg

所以978-7-111-46245-3-Part01-540.jpg.从而当x∈(0,1)时有

例1.20.2 证明:当x∈(0,1)时,(1+x)ln2(1+x)<x2.

精解 如作辅助函数F1x)=x2-(1+x)ln2(1+x),则F1x)的表达式比较复杂,不易判别其符号,因此先将待证不等式改写为

于是作辅助函数978-7-111-46245-3-Part01-543.jpg,则Fx)在(0,1)内可导且

由此可知,978-7-111-46245-3-Part01-545.jpg,从而当x∈(0,1)时有978-7-111-46245-3-Part01-546.jpg,即(1+x)ln2(1+x)<x2.

例1.20.3 设x∈(0,2),证明:4xlnxx2+2x-3.(www.chuimin.cn)

精解 将欲证不等式改写成978-7-111-46245-3-Part01-547.jpgF978-7-111-46245-3-Part01-548.jpg,则Fx)在

(0,2)内可导,且

所以,对x∈(0,2)有Fx)≥F(1),即4xlnxx2+2x-3.

例1.20.4 设978-7-111-46245-3-Part01-550.jpg,证明:978-7-111-46245-3-Part01-551.jpg

精解 将三角函数集中到不等号的左边,欲证的不等式改写成

因此作辅助函数978-7-111-46245-3-Part01-553.jpg,则它在978-7-111-46245-3-Part01-554.jpg内二阶可导且

所以,Fx)在978-7-111-46245-3-Part01-556.jpg内单调增加,由此得到,对978-7-111-46245-3-Part01-557.jpg978-7-111-46245-3-Part01-558.jpg,即978-7-111-46245-3-Part01-559.jpg

于是对x∈(0,1)有978-7-111-46245-3-Part01-560.jpg

例1.20.5 设e<a<b<e2,证明:978-7-111-46245-3-Part01-561.jpg

精解 将欲证不等式中的b改为x(将a改为x也可以),转化为函数不等式

为了证明这个函数不等式,作辅助函数

则它在(a,e2)内二阶可导且978-7-111-46245-3-Part01-564.jpg978-7-111-46245-3-Part01-565.jpg

所以,F′x)在(a,e2)内单调减少,从而对x∈(a,e2)有

Fx)在(a,e2)内单调增加,所以对于b∈(a,e2)有

Fb)>Fa)=0.从而证得,对e<a<b<e2