loga(ax+ay)≤loga(2a)
=loga2+
=loga2-(x-)2+≤loga2+②
∵①②两式中等号成立的条件是:
这与已知x2+y=0矛盾.
∴①②两式中等号不同时成立.
故loga(ax+ay)≤loga2+成立.
[师生共析]本题中,如果缺乏了前面的分析转化,我们定会感到不知从何下手,从这里我们也体会到,分析法与综合法联用,对处理综合性较强的问题是非常有效的.
[例2]已知a,b,c∈(0,1),求证:
(1-a)b,(1-b)c,(1-c)a不能都大于.
[师生同议]此题如果直接用综合法从正面去证明结论成立,即三个代数式的值不都大于,则需考虑7种情况.但其反面只有一种,因而就比较容易证明.因此,本题易于用反证法.
证明:
假设三式均大于,即
∵00
∴
即1-a+b>1
∴b-a>0①
同理可证:
c-b>0②
a-c>0③
由①+②+③得:
0>0,矛盾.
所以假设不成立,故原命题成立.
[师生共析]反证法是证明不等式的常用方法之一,反证法常用于证明:
(1)难于直接使用已知条件导出结论的命题.
(2)惟一性命题.
(3)“至多”或“至少”性命题.
(4)否定性或肯定性命题.
[例3]已知x2-2xy+y2+x+y+1=0,求证:
.
[师生同议]本题题设是关于x,y的二元二次方程,若令t=,并代入已知式,则可得到关于x的二次方程,故可考虑运用判别式法.
证明:
令t=,则y=tx,将其代入已知式得:
x2-2x·tx+t2x2+x+tx+1=0
即(t-1)2x2+(t+1)x+1=0
(1)当t=1时,<1<3∴不等式成立.
(2)当t≠1时,
∵x∈R,∴其判别式Δ≥0
即(t+1)2-4(t-1)2≥0
∴(t-3)(3t-1)≤0
解之得:
≤t≤3
∴不等式成立.
[师生共析]此题使用判别式法,首先应构造出一个一元二次方程,这时若二次项系数含有参数时,要注意讨论.
[例4]已知-1≤x≤1,n≥2且n∈N,求证:
(1-x)n+(1+x)n≤2n
[师生同议]因为-1≤x≤1,这与正弦、余弦的值域一致,考虑到目标不等式左边有1+x与1-x,故可运用二倍角余弦公式进行化简,从而采用三角换元法证明.
证明:
∵-1≤x≤1,故可设x=cos2α,(0≤α≤)
则1-x=1-cos2α=2sin2α,
1+x=1+cos2α=2cos2α
∵n≥2,且n∈N
∴sin2n-2α≤1,cos2n-2α≤1
∴sin2nα≤sin2α,cos2nα≤cos2α
∴(1-x)n+(1+x)n
=2nsin2nα+2ncos2nα
≤2nsin2α+2ncos2α=2n
故原不等式(1-x)n+(1+x)n≤2n成立.
[师生共析]有些不等式证明问题中,含有一些特殊的条件及特殊的运算关系,这些条件或运算关系,恰好满足三角关系,则可采用三角代换法证明.以下是几种常见的三角代换法.
(1)若题目中含有|a|≤1,则可设a=sinα,(-≤α≤或设a=cosα,0≤α≤π).
(2)若题目中含有a2+b2=1,则可设a=cosα,b=sinα,其中0≤π<2π.
(3)若题目中含有,则可设x=cosx,其中0≤α≤π.
(4)若题目中含有,则可设x=tanx,其中.
(5)若题目中含有x+y=r(其中x>0,y>0),则可设x=rcos2α,y=rsin2α,其中α∈(0,).
(6)若题目中含有a2+b2=m2(m>0),则可设a=mcosα,b=msinα,其中0≤α<2π.
[例5]用数学归纳法证明下列不等式:
若a>0,b>0且n∈N*,证明.
[师生同议]用数学归纳法证明不等式,要注意步骤格式,在假设n=k+1(k∈N*)时,如何确定增加的项.
证明:
(1)当n=1时,左边=,右边=
∴不等式成立.
(2)假设当n=k时,不等式成立,即.则当n=k+1时,
∵(ak+1+bk+1)-(akb+abk)=(a-b)(ak-bk)
又a>0,b>0
∴(a-b)(ak-bk)≥0
∴akb+abk≤ak+1+bk+1
∴
.
∴n=k+1时,不等式也成立.
由
(1)
(2)得,对于n∈N*有.
[师生共析]用数学归纳法证明一个与正整数有关的命题的步骤是:
(1)证明当n取第一个值n0(例如n0=1或2)时结论正确;
(2)假设当n=k(k∈N*且k≥n0)时结论正确,证明当n=k+1时结论也正确.
在完成了这两个步骤以后,就可以断定命题对于从n0开始的所有正整数n都正确.
[例6]用放缩法证明下列不等式:
(1)若n∈N,n>2,则logn(n-1)logn(n+1)<1;
(2)若tanθ=ntanφ(tanθ≠0,n>0),则tan2(θ-φ)≤;
(3)已知a>0,b>0,c>0,d>0,求证:
1<
<2
[师生同议]证明不等式常常需要根据不等式的性质对原不等式的一端进行“同向”变形,即进行放大或缩小.这种利用放缩原理证明不等式的方法叫做放缩法.在放缩代换中常用下列变形:
①A>B,B>C,则A>C;
②A=B,B>C,则A>C;
③A>B,B=C,则A>C.
证明:
(1)∵n∈N,且n>2
∴logn(n-1)>0,logn(n+1)>0,且logn(n-1)≠logn(n+1)
∴logn(n-1)logn(n+1)
<[]2
=[logn(n2-1)]2<[lognn2]2=1
故原不等式成立.
(2)∵tanθ=ntanφ,且tanφ≠0
∴tan2(θ-φ)=()2
=[]2
≤
.
故原不等式成立.
(3)∵a>0,b>0,c>0,d>0,则
将以上各式相加得:
即:
1<
<2成立.
[师生共析]用放缩法证明不等式时,经常用到如下放缩技巧:
(1)适当增加或舍弃一些正项或负项,或非正项或非负项.如A+a2≥A,B-|a|≤b.
(2)若分式的分子、分母均为正数,则可把分式的分子或分母适当放大或缩小,以达到对分式放缩的目的,如本例中第(3)题的证明.
(3)利用已知不等式进行放缩,如本例中第
(1)、
(2)题的证明,使用了均值不等式进行放缩.
(4)利用函数的单调性进行放缩,如本例中第
(1)题的证明,用到了对数函数的单调性.
(5)利用基本函数的值域进行放缩.如:
|sinx|≤1,|cosx|≤1等等.
Ⅲ.课堂练习
(打出幻灯片§6.3.5B,在教师指导下,学生有步骤地进行练习,以达到巩固用换元法、放缩法、反证法、判别式法证明不等式的目的,提高学生分析问题和解决问题的能力)
1.已知x2+y2=1,求证:
|x2+2xy-y2|≤.
分析:
常见的换元形式有:
①x2+y2=a2,可令x=acosθ,y=asinθ;②x2+y2<1,可令x=tcosθ,y=tsinθ(|t|<1);③|x|<1,可令x=cosθ;④x∈R,可令x=tanθ等.
本题中,由x2+y2=1可联想到三角公式sin2θ+cos2θ=1,故考虑三角换元法,即设x=cosθ,y=sinθ.
证明:
令x=cosθ,y=sinθ,则
|x2+2xy-y2|=|cos2θ+2cosθsinθ-sin2θ|
=|cos2θ+sin2θ|
=|sin(2θ+)|≤.
故命题得证.
2.已知△ABC的三边长分别是a,b,c,且m>0,求证:
.
分析:
考虑到△ABC的三边a,b,c均为正数,且m>0,由目标不等式形式可联