利用均值不等式证明不等式
三元均值不等式的证明与应用

三元均值不等式的证明与应用1.三元均值不等式的证明:设a、b、c为非负实数,且不全为0。
根据三元均值不等式的表述,我们要证明以下不等式成立:(a+b+c)/3 ≥ √(abc)证明:我们可以先将不等式两边平方得到以下等价不等式:(a+b+c)²/9 ≥ abc展开得到:(a²+b²+c²+2ab+2ac+2bc)/9 ≥ abc化简得到:a²+b²+c²+2ab+2ac+2bc ≥ 9abc将不等式两边减去2ab、2ac和2bc,得到:a²-2ab+b² +c²-2ac+a² +c²-2bc+b² ≥ 5abc化简得到:(a-b)² + (b-c)² + (c-a)² ≥ 5abc不等式左边是三个数的平方和,而右边是它们的积,由于三个非负实数的平方和≥它们的积,因此不等式成立。
2.三元均值不等式的应用:(1)证明两个数的平均值大于等于它们的几何平均值:设a和b为非负实数,且不全为0。
根据三元均值不等式,有:(a+b)/2 ≥ √(ab)化简得到:a+b ≥ 2√(ab)这就证明了两个数的平均值大于等于它们的几何平均值。
(2)证明两个数的平方和大于等于它们的两倍乘积:设a和b为非负实数,且不全为0。
根据三元均值不等式,有:(a²+b²)/2 ≥ ab化简得到:a²+b² ≥ 2ab这就证明了两个数的平方和大于等于它们的两倍乘积。
(3)求证函数的不等式:设f(x)为一个定义在[a,b]上的连续函数,并且f(x)在[a,b]上不恒为0。
那么根据三元均值不等式可得:∫[a,b]f(x)dx / (b-a) ≥ √(∫[a,b]f²(x)dx / (b-a))这个不等式可以用于证明函数的平均值大于等于它的均方根。
例谈用均值定理证明不等式的若干技巧

《 中学数学 杂志》 高中 ) 2 0 ( 0 2年第 4期
例6 设 ., , 是 非 负 买 皴 , . - g 且 r+Y十 z 1 ,
4 7
大值 .
求证 : + +
一2 3 1r z≤ .
例 7 设 a b, R+ 求证 : , c∈ ,
证 明 由对称性 , 不妨设 ≥ Y≥ .
+ + ≥ 半
, : Y
0
令 设 + = +, 一 则 证 明 在 +Y=≥ 2xy 中 , = 吉 f =1 f 由 +≥ z , 2得 ≤ ≤ 于 z 吉 r , , 是 华, 含 不 式 易 参等 : 得
m + y + 一 2r z . y
维普资讯
《 中学数学 杂志》 高 中) 2 0 ( 0 2年第 4期
例谈 用均值定理证 明不等式 的若 干技巧
西安 市 盲哑 学校
二元和 三元 均值 不等 式定 理 是解 题 的 主要 工 具. 套用 、 用 、 正 变用 以及跨学 科综 合应 用 , 反映 了 活用均值定理 的不同层面 .本文意在 谈谈如 何创设
一
V
+
( 2 苎± :
V
=
2+ x y.
因为 0<
≤ (
) = 1
,
所 2 ( {( ÷ ≤9 以 < 一 ) 一 ) .
例 4 已知 口≥ 0 b≥ 0 且 口+b= 1求证 , , ,
证 明 因 为 口, , b C∈ R+ 且两两不 相等 , ,
部一点 , 双曲线 内部 ( 不包 含双 曲线两焦点 的平面 区
2 2
23 0 张永 舸 7 50、
P ( ,Y ) 过 P。 的直线 与双 曲线相 切切点 为 。 o 。 , 点
(完整版)均值不等式常考题型

均值不等式及其应用一.均值不等式1.(1)若R b a ∈,,则ab b a 222≥+ (2)若R b a ∈,,则222b a ab +≤(当且仅当b a =时取“=”)2. (1)若*,R b a ∈,则ab b a ≥+2(2)若*,R b a ∈,则ab b a 2≥+(当且仅当b a =时取“=”) (3)若*,R b a ∈,则22⎪⎭⎫ ⎝⎛+≤b a ab (当且仅当b a =时取“=”) 3.若0x >,则12x x +≥ (当且仅当1x =时取“=”);若0x <,则12x x+≤- (当且仅当1x =-时取“=”) 若0x ≠,则11122-2x x x x x x +≥+≥+≤即或 (当且仅当b a =时取“=”) 3.若0>ab ,则2≥+a b b a (当且仅当b a =时取“=”) 若0ab ≠,则22-2a b a b a bb a b a b a+≥+≥+≤即或 (当且仅当b a =时取“=”) 4.若R b a ∈,,则2)2(222b a b a +≤+(当且仅当b a =时取“=”) 注:(1)当两个正数的积为定植时,可以求它们的和的最小值,当两个正数的和为定植时,可以求它们的积的最小值,正所谓“积定和最小,和定积最大”. (2)求最值的条件“一正,二定,三相等” (3)均值定理在求最值、比较大小、求变量的取值范围、证明不等式、解决实际问题方面有广泛的应用. 应用一:求最值例1:求下列函数的值域 (1)y =3x 2+12x 2 (2)y =x +1x解:(1)y =3x 2+12x2 ≥23x 2·12x2 = 6 ∴值域为[ 6 ,+∞)(2)当x >0时,y =x +1x≥2x ·1x=2; 当x <0时, y =x +1x = -(- x -1x )≤-2x ·1x=-2 ∴值域为(-∞,-2]∪[2,+∞)解题技巧: 技巧一:凑项 例1:已知54x <,求函数14245y x x =-+-的最大值。
均值不等式教案2(共5篇)

均值不等式教案2(共5篇)第一篇:均值不等式教案2课题:第02课时三个正数的算术-几何平均不等式(第二课时)教学目标:1.能利用三个正数的算术-几何平均不等式证明一些简单的不等式,解决最值问题; 2.了解基本不等式的推广形式。
教学重点:三个正数的算术-几何平均不等式教学难点:利用三个正数的算术-几何平均不等式证明一些简单的不等式,解决最值问题教学过程:一、知识学习:定理3:如果a,b,c∈R+,那么推广:a+b+c3≥abc。
当且仅当a=b=c时,等号成立。
3a1+a2+Λ+ann≥a1a2Λan。
当且仅当a1=a2=Λ=an时,等号成立。
n语言表述:n个正数的算术平均数不小于它们的几何平均数。
思考:类比基本不等式,是否存在:如果a,b,c∈R+,那么a+b+c≥3abc(当且仅当a=b=c时,等号成立)呢?试证明。
二、例题分析:例1:求函数y=2x+223333(x>0)的最小值。
x解一:y=2x+31112=2x2++≥332x2⋅⋅=334∴ymin=334 xxxxx33312223解二:y=2x+≥22x⋅=26x当2x=即x=时x2xx23 ∴ymin=26⋅12=23312=26324 21的最小值。
(a-b)b上述两种做法哪种是错的?错误的原因是什么?变式训练1 若a,b∈R+且a>b,求a+由此题,你觉得在利用不等式解决这类题目时关键是要_____________________ 例2 :如下图,把一块边长是a的正方形铁片的各角切去大小相同的小正方形,再把它的边沿名着虚线折转成一个无盖方底的盒子,问切去的正方形边长是多少时,才能使盒子的容积最大?变式训练2 已知:长方体的全面积为定值S,试问这个长方体的长、宽、高各是多少时,它的体积最大,求出这个最大值.由例题,我们应该更牢记一 ____ 二 _____ 三 ________,三者缺一不可。
另外,由不等号的方向也可以知道:积定____________,和定______________.三、巩固练习 1.函数y=3x+12(x>0)的最小值是()2xA.6B.66C.9D.12 2.函数y=x4(2-x2)(0<x<2)的最大值是()D.2727A.0B.1C.四、课堂小结:通过本节学习,要求大家掌握三个正数的算术平均数不小于它们的几何平均数的定理,并会应用它证明一些不等式及求函数的最值,但是在应用时,应注意定理的适用条件。
高中数学人教版必修5——第十三讲均值不等式(解析版)

高中数学人教版必修5——第十三讲均值不等式(解析版)第十三讲均值不等式(解析版)在高中数学的学习中,均值不等式是一条非常重要的数学定理。
它能够帮助我们找到一组数的平均值与其他特定的数值之间的关系。
本文将详细解析高中数学人教版必修5中的第十三讲——均值不等式。
一、均值不等式的定义和性质均值不等式实际上是按平均值来衡量一组数与其他数值之间的大小关系。
它包含了算术平均值、几何平均值和平方平均值等不同的形式。
算术平均值是最为熟悉的一种形式,它表示一组数相加后除以元素个数得到的结果。
几何平均值是将一组数相乘后开根号得到的结果。
平方平均值是将一组数的平方相加后除以元素个数再开根号得到的结果。
在不等式的关系中,对于正实数来说,有以下几个性质:1. 当所有元素相等时,算术平均值、几何平均值和平方平均值相等。
2. 当所有元素不相等时,算术平均值大于几何平均值,而几何平均值大于平方平均值。
3. 对于正实数来说,算术平均值大于几何平均值,并且它们都大于平方平均值。
二、均值不等式的应用均值不等式在数学问题的解决中具有广泛的应用。
它可以帮助我们证明和推导其他重要的数学关系。
1. 证明与推导在证明和推导方面,均值不等式可以帮助我们解决一些复杂的不等式问题。
通过运用不同形式的均值不等式,我们可以逐步地推导出更为严格的不等式关系。
例如,在求证某个不等式问题时,我们可以使用算术平均值与几何平均值之间的关系来逐步推导出正确的结论。
2. 理解与比较均值不等式还能够帮助我们理解和比较数列的大小关系。
通过对数列的算术平均值、几何平均值和平方平均值的比较,我们可以得出一些关于数列性质的结论。
例如,当一组数的算术平均值大于几何平均值时,就能够说明这组数存在着某种程度的波动和不均匀性。
三、均值不等式的例题解析下面,我们将通过一些例题来具体解析均值不等式的应用。
例题1:已知a、b、c为正实数,证明(a+b)(a+c)(b+c)≥8abc。
解析:我们可以通过均值不等式来证明这个不等式关系。
用均值不等式证明不等式

用均值不等式证明不等式【摘 要】:不等式的证明在竞赛数学中占有重要地位.本文介绍了用均值不等式证明几个不等式,我们在证明不等式时,常用到均值不等式。
要求我们要认真分析题目,本文通过几个国内外竞赛数学的试题,介绍用均值不等式证明初等不等式的基本方法及技巧。
【关键词】:均值不等式;不等式;方法;技巧均值不等式设 n a a a 、、、 21 是 n 个 正数 ,则不等式)()()()(a Q a A a G a H ≤≤≤称为均值不等式[1].其中na a a na H 111)(21+++=,nn a a a a a a G 121)(=,na a a n A n+++=21)(,na a a n Q n22221)(+++=分别称为 n a a a 、、、 21 的调和不等式,几何平均值,算术平均值,均方根平均值.例1 设1a 、2a 、…、n a 均为正,记)()(2121nn na a a na a a n n -+++=ψ试证:)1()(-≥n n ψψ,并求等号成立的条件.证明 由所设条件,得)1()(--n n ψψ=)1)(1()(11211212121-----++---+++n n n nn na a a n a a a n a a a na a a n=11211212121)1()(-=--++++--+++n n n n n n a a a n a a a a a a n a a a=n n n n n a a a n a a a n a 12111121)())(1( --+--,将)()(a A a G ≤应用于n 个正数:n a ,个)(11112111121)(-----++n n n n n a a a a a a ,有 11112112(1)()()n n n n n a n a a a a a a n--+-≥ ,即11112112(1)()()n n n n n a n a a a n a a a --+-≥ .所以)1()(-≥n n ψψ,当且仅当11121)(--=n n n a a a a ,即1121n n n a a a a --= 时等号成立.此题不只是公式的直接应用.代表了均值不等式中需要挖掘信息找n a a a 、、、 21 的一类题. 例2 设0=++z y x ,求证:32222333)()(6z y x z y x ++≤++. 证明 当0===z y x 时不等式显然成立.除此情况外,z y x 、、中至少有一正一负.不妨设0<xy ,因为)(y x z +-=,所以22222333233354)](3[6])([6)(6zy x y x xy y x y x z y x I =+-=+-+=++=.若由此直接用)3()()(=≤n a A a G ,只能得到较粗糙的不等式32223222222)(2)3(5454z y x zy x z y x I ++=++≤=,如果改用下面的方法,用)()(a A a G ≤,便得32322222)22(3222162221654xy z z xy xy zxy xy zy x I +=⎪⎪⎪⎪⎭⎫ ⎝⎛++≤⋅⋅==, 再注意到xy z xy y x y x 22)(2222+=-+=+,因而222222z y x xy z ++=+,于是即得欲证的不等式.此题解题的关键在于构造n a a a 、、、 21通常需要拓宽思路多次尝试,此类也属均值不等式的常考类题. 例3 设0>x ,证明:64122222xxx⋅≥+.(第16届全苏数学竞赛试题[2])证明 此不等式的外形有点像均值不等式. 由)()(a A a G ≤,得24124124122222222xx xxxx+⋅=⋅⋅≥+,又612141121412)(2x x x xx =≥+,即得要证的不等式.结语有些不等式则可以利用某个已经证明成立的不等式来证明(因此多熟悉几个比较常见的不等式是有好处的);有些不等式还要用数学归纳法来证明等等.而且在一个题目的证明过程中,也往往不止应用一种方法,而需要灵活运用各种方法.因此,要培养和提高自己的证题能力。
均值不等式常见题型整理

均值不等式一、 基本知识梳理1.算术平均值:如果a ﹑b ∈R +,那么 叫做这两个正数的算术平均值.2.几何平均值:如果a ﹑b ∈R +,那么 叫做这两个正数的几何平均值3.重要不等式:如果a ﹑b ∈R ,那么a 2+b 2≥ (当且仅当a=b 时,取“=”) 均值定理:如果a ﹑b ∈R +,那么2a b+≥ (当且仅当a=b 时,取“=”) 均值定理可叙述为: 4.变式变形:()()()()()()22221;22;230;425a b ab a b b a ab a ba b +≤+⎛⎫≤ ⎪⎝⎭+≥>+⎛⎫≤ ⎪⎝⎭≤;5.利用均值不等式求最值,“和定,积最大;积定,和最小”,即两个正数的和为定值,则可求其积的最大值;积为定值,则可求其和的最小值。
注意三个条件:“一正,二定,三相等”即:(1)各项或各因式非负;(2)和或积为定值; (3)各项或各因式都能取得相等的值。
6.若多次用均值不等式求最值,必须保持每次取“=”号的一致性。
有时为了达到利用均值不等式的条件,需要经过配凑﹑裂项﹑转化﹑分离常数等变形手段,创设一个应用均值不等式的情景。
二、 常见题型:1、分式函数求最值,如果)(x f y =可表示为B x g Ax mg y ++=)()(的形式,且)(x g 在定义域内恒正或恒负,,0,0>>m A 则可运用均值不等式来求最值。
例:求函数)01(112>->+++=a x x x ax y 且的最小值。
解:1)1(11112++-+=++-+=+++=x aa ax x x ax ax x x ax y1212211)1(=-+≥-++++=a a a x ax a 当1)1(+=+x ax a 即x=0时等号成立,1min =∴y2、题在给出和为定值,求和的最值时,一般情况都要对所求式子进行变形,用已知条件进行代换,变形之后再利用均值不等式进行求最值。
利用均值不等式证明不等式

利用均值不等式证明不等式不等式是数学中常见的一种重要关系,均值不等式是常用的一种证明不等式的方法。
本文将通过利用均值不等式证明一些常见的不等式。
1. Cauchy-Schwarz不等式Cauchy-Schwarz不等式是说对于任意的实数或复数序列a1,a2,...,an和b1,b2,...,bn,有如下不等式成立:(a1b1+a2b2+...+anb2)^2 ≤(a1^2+a2^2+...+an^2)(b1^2+b2^2+...+bn^2)证明:首先,令A=a1^2+a2^2+...+an^2,B=b1^2+b2^2+...+bn^2,C=a1b1+a2b2+...+anb2根据均值不等式,有(A/n)(B/n) ≥ (C/n)^2,即AB ≥ C^2、因此,(a1b1+a2b2+...+anb2)^2 ≤(a1^2+a2^2+...+an^2)(b1^2+b2^2+...+bn^2)。
2.三角不等式三角不等式是说对于任意实数a和b,有,a+b,≤,a,+,b。
证明:首先,令A=,a,B=,b,C=,a+b。
根据均值不等式,有(A+B)/2≥C/2,即A+B≥C。
因此,a+b,≤,a,+,b。
3.平均不等式平均不等式是说对于任意正数a1,a2,...,an,有如下不等式成立:(1/n)*(a1+a2+...+an) ≥ (a1a2...an)^(1/n)证明:首先,令A=a1+a2+...+an,B=(a1a2...an)^n,C=n^(n-1)。
根据均值不等式,有(A/n)(B/n) ≥ C/n,即AB ≥ C。
因此,(1/n)*(a1+a2+...+an) ≥ (a1a2...an)^(1/n)。
通过利用均值不等式,我们可以证明上述三个常见的不等式。
均值不等式是数学中一个重要的工具,在证明不等式时十分有用。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
1,利用均值不等式证明不等式(1)均值不等式:设12,,...,n a a a 是n 个正实数,记12111n nn H a a a =++⋅⋅⋅+n G =12nn a a a A n ++⋅⋅⋅=n Q =它们分别称为n 个正数的调和平均数,几何平均数,算术平均数,平方平均数。
有如下关系:n n n n H G A Q ≤≤≤.等号成立的充要条件是12n a a a ==⋅⋅⋅=。
先证n A n =当n=k+1n a ≤≤1111=i k i k a A +==+ +∑∑111111(1)(11).1ki i i i k i i i i k k k a a a a k k a A a k k k k ====++⎛⎪⎪ ⎪⎪ ⎪ ⎪=+-+-==+ ⎪⎪ ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭∑ 11111.1k k k k k k kk kA G a n k A G +++++∴≥==+所以对时亦成立。
原不等式成立。
.n n A G ≥证法二:用反向数学归纳法证明:20,n n n n n A G A G =-=≥≥当时,成立。
++k N ∈kk 1假设:n=2()时成立,当n=2时:++++1+11++==.iii i ii aaa A G ===≥≥=∑∑∑k 1k k 1k k 1k 12222kk2k 1222222+,k N ∀∈k 即,对当n=2时,结论成立。
假设1t ttA G t ++证法三:0.k b =>令:111)k k k k k k b b b ----++≥11kkk k b b --即:k kb 且:11112211[(1)]nn nk nnk k k nk k k k k A b b b kb k b a G b --===-==≥--== 12n ===.n n G A a a a ∴≤等号成立当且仅当:上述不等式在数学竞赛中应用极为广泛,好的、难的不等式问题往往只需用它们即可解决,而无需过分追求所谓更“高级”的不等式,这是应该引起我们注意的。
例1:求证下列不等式:(1)()13a a b b+≥-,(0)a b >>(2)()()log 1log 11,2n n n n n -+<>(3)444222222x y y x y y z z x ++≥++()xyz x y z ≥++,其中,,0x y z >证明(1)()1a a b b +-()()1a b b a b b =-++-3≥=当且仅当()10a b b a b b -==>-,即2,1a b ==取等号。
<=z例2:若,,a b c R +∈且1a b c ++=证明:左边16343≤==例3:已知12,,n a a a ⋅⋅⋅是正数,满足121n a a a ⋅⋅⋅⋅= 求证:()()()122223nn a a a ++⋅⋅⋅+≥(89年联赛试题)证明:11211a a +=++≥22a +≥2n a +≥,将以上式子相乘即得证。
例4:n N ∈,求证:11111231n n n ++⋅⋅⋅+>+++ 证明:由2121n n A H ++≥有1111231n n n ++⋅⋅⋅++++ ()()()()()()22221211123121n n n n n n ++≥==++++⋅⋅⋅++显然上式不可能取等号,故原不等式成立。
例5111n m -⋅⋅⋅⋅⋅个1≤∵例61212n ∴()()()()()()121111112111n a a a n -++⋅⋅⋅+≥++⋅⋅⋅-+12n a a a =⋅⋅⋅于是11223n n a a a a a a -++⋅⋅⋅++11112n++⋅⋅⋅+ =11223n n a a a a a a -++⋅⋅⋅+12111na a a +++⋅⋅⋅+112123111n na a a a a a a -++=+++⋅⋅⋅+n ≥≥而1112n n ⎛⎫=++⋅⋅⋅+ ⎪⎝⎭12123n n -⎛⎫+++⋅⋅⋅+ ⎪⎝⎭所以12123n n-++⋅⋅⋅+≤11223n n a a a a a a -++⋅⋅⋅+=≥=证明 左边=(1)(1)(1)3()()()a b c b c a c a b +++++-+++ ()()()()()()3()()()a b a c b c b a c a c b a b c b c a c a b ++++++=++-+++3≥3=322233ab bc caabc⋅⋅≥-3233=⨯-=.注:本题多次利用了均值不等式本题也可以由2()a bc c caa b c a b ab bc+=++++∑∑∑,再处理.例9:已知,,,+∈R c b a 求证:.43)()()(3322322322≥+++++b a c a c b c b a分析:通过放缩,将异分母化为同分母,从而构造成出一些“零件不等式”,最后,将这些“零件不等式”相加,即可得出原不等式的证明。
证明:3)()(22))((22)(22)(333323322c b c b a ac b c b a ac b a ac b a ++++≥++⋅=+=+cb a a ++•=343 ① 同理可得cb a ba cb ++•≥+332243)( ② cb ac b a c ++•≥+332243)( ③将①、②、③三个零件不等式相加,得332232232243)()()(≥+++++b a c a c b c b a 注:本题的技巧在于将三个异分母的分式放缩成三个同分母的分式,构造出“零件不等式”①、②、③。
例10:如图△ABC 及其内接△DEF 分原三角形所得△AEF 、△BDF 、△CDE 中,至少有一个三角形的面积不大于原△ABC 面积的(这里所指△ABC 的内接三角形DEF ,是顶点D 、E 、F 分别在△ABC 三条边上的三角形)证明:如图,设△ABC 三边BC=a ,CA=b ,AB=c ,且AE=e ,AF=f ,BD=m ,BF=n ,DC=p ,EC=q ,逆用公式,并注意到,于是有, ,, 更注意到若S △CDE 、S △AEF 、S △BDF 皆大于S △ABC 的,(*)式不可能成立,故所给四个三角形面积中,至少有一个不大于类似例子很多,望同学们在做题实践中,更多予以总结,不断提高自己的分析,归纳解题能力。
例11:已知0,1,2,i m i n >=⋅⋅⋅,1p ≥,1111npi im ==+∑, 求证:()121n pn m m m n ⋅⋅⋅≥-证明:令11i pi x m =+,则1pi i i x m x -=,且11ni i x ==∑ ∴12111i i i n x x x x x x -+-=++⋅⋅⋅+++⋅⋅⋅+()11111n i i n n x x x x --+≥-⋅⋅⋅⋅⋅⋅∴()()()121212111n pp p nnx x x m m mx x x --⋅⋅⋅-⋅⋅⋅=⋅⋅⋅ ()()1111121211nn n n n nnnn x x x n -----⋅⋅⋅≥=-∴()121npn m m m n ⋅⋅⋅≥-说明:本题采用变量代换的方式清晰地展现了已知条件与结论表达式中变量的关系。
例12; 设,,a b c R +∈,求证:n n n p q r q r p r p qa b c a b c a b c a b c ++≥++,其中,,,n N p q r ∈都 是非负整数,且p q r n ++=分析与解:欲证的不等式涉及到的量较多,为此先考察特殊情形:2,1,0p q r ===,即先证明()3332221a b c a b b c c a++≥++,该不等式关于,,a b c 轮换对称,不妨设a b c ≥≥,则左-右()()()322a a b b b c c c a =-+-+-()()()222a a b b b c c c b b a =-+-+-+-33333a a a ab a a b +=≤22,33b c c a c a ++≤以上三个式相加即得p q rnnnnnnp pa a b c a a b b c c =≤个q个r个q rpnnnnnnn qa a b c a a b b c c =≤q 个r个p个rp qnnnnnnra a b b c c ≤r 个p个q个以上三个式相加即得待证不等式。
例13:设锐角,,αβγ满足222cos cos cos 1αβγ++=,求证:tan tan tan αβγ≥分析与解:由已知222cos cos cos 1αβγ++=,立即联想到长方体得对角线公式: 2222a b c l ++=,令cos ,cos ,cos a b cl l lαβγ===,l = 以,,a b c 为棱构造长方体,则易知:tan aaα=≥,同理:tan b bβ=≥,tan γ=≥ 22tan tan tan 2bccaababcαβγ∴≥= 上面是从条件中隐含的数形关系中探索思考解题的途径,那么,从结论不等式中观察到什么呢?由3tan tan tan αβγ≥=,即是三个不等式相乘的结果,就可以再变化为:3sin sin sin cos cos cos αβγαβγ≥,这样也无需构造长方体模型,而采用下面的证法:由222cos cos cos 1αβγ++=,知α 例14: 证明 令(1)t ≤∴()g t ≥(2)t >()g t ∴≥≥2222t t≥ 6.= 点评 注意到(1)6f -=,故先作代换1t x =+,使()f x 的表达形式更简单,放缩较为大胆,但要注意0t =时能取到符号,放缩不能过头,最后回到平均值不等式。
例15:设,,,a b c d 为正实数,且满足ab bc cd da +++=1求证:3333a b c d b c d a c d b a d b c a +++≥++++++++13证明:由均值不等式得:311812a b c d b c d ++++≥++2a=从而3121812a a b c d b c d ++≥--++ 同理3121812b b a c d a c d ++≥--++ 3121812c c a b d a b d ++≥--++所以,例abc c b a c c b b a a )(2111333222222++≥-+-+-⇔ +-+++-++⇔2222222222)()(b b c b a a a c b aabc c b a c c c b a )(2)(33322222++≥-++ 222222222c b a b c a a c b +++++⇔abc c b a )(2333++≥ ①++++⇔)()(22222222c a c a c b c b ).(2)(3332222c b a abc b a b a ++≥+由均值不等式得c ab a b c b a b c b 42424242422=⋅≥+, 44242424222abc c a c b c a c b =⋅≥+,c a 24(22c b 例:17: 次化。