首页 理论教育 使用函数单调性与极值证明的方法解决不等式

使用函数单调性与极值证明的方法解决不等式

时间:2023-10-19 理论教育 版权反馈
【摘要】:例8.18 设,证明:证明 令,则于是令则由此知g′(x)在上单调递增,故g′(x)>g′(0)=0.于是知g(x)在上单调递增,故g(x)>g(0)=0,从而f′(x)>0,这样就有即推论 当时,证明:例8.19 设0f(1)=0,从而原不等式成立.例8.20 设x,y>0,β>α>0,证明:证明 不妨设y≥x

使用函数单调性与极值证明的方法解决不等式

8.18978-7-111-46233-0-Chapter08-142.jpg,证明:

证明 令978-7-111-46233-0-Chapter08-144.jpg,则

于是

由此知g′x)在978-7-111-46233-0-Chapter08-149.jpg上单调递增,故g′x>g′(0)=0.于是知gx)在978-7-111-46233-0-Chapter08-150.jpg上单调递增,故gx>g(0)=0,从而f′x>0,这样就有

推论 当978-7-111-46233-0-Chapter08-153.jpg时,证明:978-7-111-46233-0-Chapter08-154.jpg

8.19 设0<x<1,证明:978-7-111-46233-0-Chapter08-155.jpg

证明 原不等式978-7-111-46233-0-Chapter08-156.jpg

978-7-111-46233-0-Chapter08-158.jpg,则978-7-111-46233-0-Chapter08-159.jpg,故fx)在(0,1)上单调递减.于是fx>f(1)=0,从而原不等式成立.

8.20xy>0,β>α>0,证明:

证明 不妨设yx,将原不等式变形为:

978-7-111-46233-0-Chapter08-162.jpga≥1,t>0,则

由此知,

由此知,gt)在(0,+∞)上单调递减,所以gt<g(0)=-2ln2<0,故f′t<0.于是ft)在(0,+∞)上单调递减,从而原不等式成立.

类题 设978-7-111-46233-0-Chapter08-165.jpg,证明下列不等式:

8.21b>a>0,证明

(河南大学).

证明 将原不等式改写为:

先证左边的不等式.

978-7-111-46233-0-Chapter08-169.jpg,则978-7-111-46233-0-Chapter08-170.jpg,所以fx)在x>1上单调递增,于是有fx>f(1)=0,即

再证右边的不等式.

为此令978-7-111-46233-0-Chapter08-172.jpg,则978-7-111-46233-0-Chapter08-173.jpgx>1,所以gx)在x>1上单调递增,于是有gx>g(1)=0,即

类题 设m>n>0,证明:

8.22 证明不等式

(中科院—中科大).

证明 原不等式978-7-111-46233-0-Chapter08-177.jpgx∈(0,1).978-7-111-46233-0-Chapter08-178.jpg,则f(1)=0,978-7-111-46233-0-Chapter08-179.jpgf′x<0⇔1+x2-2x<0,

⇔ln(1+x2-xln2<0, x∈(0,1).

gx=xln2-ln(1+x2),则g(0)=g(1)=0,

由此知,gx)在(0,1)上是凹函数,故gx>0,x∈(0,1).从而f′x<0,即fx)在(0,1)上严格单减.于是fx>f(1)=0,这样就证明了原不等式.

8.23 证明当a>b>1时,成立不等式

证明 原不等式等价于

若记978-7-111-46233-0-Chapter08-183.jpgy=lnb>0,则上式可进一步化为:lnx>yxey-exy. (1)

引入辅助函数fy=xey-exy,则f′y=x(ey-exy<0,所以

fy<f(0)=x-1.

fy)≤0,由lnx>0,y>0可知,lnx>0>yfy),即式(1)成立;

fy>0,即xey-exy=eyx-ex-1)y>0,由此可知,

elnx-ex-1)y>0,

亦即 lnx>x-1)y.

注意到fy<x-1,∀y>0,由上式可得

lnx>x-1)y>yfy),

即式(1)也成立.从而只要a>b>1,原不等式总成立.

类题1 设ab>0,ab,问在什么条件下成立ab>ba?并由此比较eπ与πe及978-7-111-46233-0-Chapter08-184.jpg978-7-111-46233-0-Chapter08-185.jpg的大小?

提示 将原不等式取对数化成:

978-7-111-46233-0-Chapter08-187.jpg,考察fx)在(0,+∞)的单调性.

类题2 设0<x<y,证明不等式:

(中科院—中科大).

提示 令978-7-111-46233-0-Chapter08-189.jpg,则(www.xing528.com)

注意到978-7-111-46233-0-Chapter08-191.jpg可知,F′y>0.

8.24 设978-7-111-46233-0-Chapter08-192.jpg,证明:

证明 由拉格朗日中值定理知,∃ξ∈(ab),使得

因为上式右端大于0,所以fb-fa>0.

978-7-111-46233-0-Chapter08-196.jpg,则978-7-111-46233-0-Chapter08-197.jpg,显然x=2是gx)在(1,+∞)上的唯一驻点.因为当x>2时,g′x<0;当1<x<2时,g′x>0,所以x=2是gx)的最大值点.于是978-7-111-46233-0-Chapter08-198.jpg,从而原不等式成立.

类题 设x>0,证明:2arctanx<3ln(1+x.

提示 原不等式等价于978-7-111-46233-0-Chapter08-199.jpg

x>0,在[0,x]上应用柯西中值定理,∃ξ∈(0,x),使得

剩下的仿照例题证明978-7-111-46233-0-Chapter08-201.jpgξ>0即可.

另外,本题若令fx=3ln(1+x-2arctanx,利用单调性证明更为简单!

8.25 求出使不等式ax>xax>0)成立的一切正数a.

解 原不等式等价于978-7-111-46233-0-Chapter08-202.jpg, x>0.

978-7-111-46233-0-Chapter08-203.jpg,则978-7-111-46233-0-Chapter08-204.jpg

由此可知x=e是fx)在(0,+∞)上的唯一极大值点,所以它是最大值点,最大值为978-7-111-46233-0-Chapter08-205.jpg.欲使原不等式成立,只要978-7-111-46233-0-Chapter08-206.jpg即可.从而使原不等式成立的一切正数a适合条件:978-7-111-46233-0-Chapter08-207.jpg

类题1 求实数α的范围,使得对任何正数xy都成立下面的不等式:

提示 固定x,令978-7-111-46233-0-Chapter08-209.jpg,则978-7-111-46233-0-Chapter08-210.jpgα>1时,y=x为最小值点,此时等式成立;当α=1时,不等式显然成立;当α<1时,y=x为最大值点,此时978-7-111-46233-0-Chapter08-211.jpg,即原不等式不成立.

类题2(1)设α>0,β>0,证明:

(2)设0<x<1,证明:978-7-111-46233-0-Chapter08-213.jpg.

提示 (1)求被积函数fx)=xα(1-xβ在[0,1]上的最大值,即得结论.

(2)令fix)=xi(1-x2i,求fix)在(0,1)内的最大值即可.

8.26 设ab>0,证明不等式:

华中科技大学).

分析 ab在不等式中的地位是同等的,因此如果令x=1-t,则可将原不等式化为与之等价的形式:

进而,又可等价地化为:

证明 记f978-7-111-46233-0-Chapter08-217.jpg,0<x<1,由于978-7-111-46233-0-Chapter08-218.jpg,所以fx)在(0,1)上的最小值必在内部取到.

f′x=0可得驻点978-7-111-46233-0-Chapter08-220.jpg,注意到978-7-111-46233-0-Chapter08-221.jpg,所以fx)在(0,1)内的最小值为978-7-111-46233-0-Chapter08-222.jpg

再记978-7-111-46233-0-Chapter08-223.jpgab>0,则有

由此可知,ga)在[b+∞)上单调递减,即ga)在[b+∞)上的最大值在a=b处取到,且ga=8.

综上,我们完成了不等式的证明.

说明:本题将ab视为常数,直接用单调性方法证明并不困难.在这里,我们主要是为了介绍方法.

8.27 求最小的β和最大的α,使对所有的自然数n,有

(北师大;中科院)

证明 由于978-7-111-46233-0-Chapter08-226.jpg,∀nN+

因此

将离散变量换成连续变量.

下证:fx)在(0,1]上严格单调递减,因而

事实上,

gx=(1+x)[ln(1+x)]2-x2,则

由此可见,g′x)严格↓.g′(0)=0可推出g′x<g′(0)=0,∀x∈(0,1].这表明gx)严格↓,又由g(0)=0推出gx<0,∀x∈(0,1],从而f′x<0,即fx)在(0,1]上严格↓.于是有

类题 证明:集合978-7-111-46233-0-Chapter08-235.jpg有最小值,并求其最小值(北师大).

提示 不等式978-7-111-46233-0-Chapter08-236.jpg

978-7-111-46233-0-Chapter08-238.jpg,则αAfx)在x>0的上界.于是

由于f′x>0,所以978-7-111-46233-0-Chapter08-240.jpg.利用泰勒展开不难算出978-7-111-46233-0-Chapter08-241.jpg978-7-111-46233-0-Chapter08-242.jpg,故978-7-111-46233-0-Chapter08-243.jpg.

8.28 求最小实数C,使得满足978-7-111-46233-0-Chapter08-244.jpg的连续函数fx)都有978-7-111-46233-0-Chapter08-245.jpg(第四届全国大学生数学竞赛(非数学类)预赛试题)

证明 一方面,978-7-111-46233-0-Chapter08-246.jpg另一方面,如果取fnx=n+1)xn,则有978-7-111-46233-0-Chapter08-247.jpg

由此可知,最小实数C=2.

免责声明:以上内容源自网络,版权归原作者所有,如有侵犯您的原创版权请告知,我们将尽快删除相关内容。

我要反馈