关于不等式的若干证明方法
不等式证明的基本方法
不等式证明的基本方法
1.数学归纳法：归纳法是数学证明中最常用的方法之一，通常用来证
明自然数的性质。
对于不等式证明来说，如果我们希望证明不等式对于所
有自然数都成立，可以使用数学归纳法。
首先证明当自然数为1时不等式
成立，然后假设当自然数为k时不等式成立，再证明当自然数为k+1时不
等式也成立。
通过这种逐步推导的方法，可以证明不等式对于所有自然数
都成立。
2.数学推理法：数学推理法是一种基于数学定理和公理的推理方法，
通过逻辑推理来证明不等式的成立。
这种方法通常需要使用一些已知的数
学定理和性质来推导出不等式。
例如，可以使用数学的四则运算定律、平
方差公式、三角不等式等来推导不等式。
3.数学变换法：数学变换法是一种将不等式进行变换的方法，通过变
换不等式的形式来证明不等式的成立。
这种方法通常需要使用一些数学中
常见的变换方法，例如平方去根、换元法、倍加倍减等。
通过适当的变换，可以将不等式转化为更简单的形式，从而更容易证明。
无论采用哪种方法，不等式的证明都需要逻辑严谨、推理正确，以及
对数学定理和性质的熟练应用。
在实际证明中，常常需要综合运用多种方
法来解决问题，使得证明更加简洁和明了。
此外，证明中的每一步变换和
推理都需要严格地说明和证明，避免出现漏洞和错误。
不等式的证明方法
不等式的证明方法不等式是数学中一类重要的数学不等关系，它在各个领域中都有广泛的应用。
证明不等式的方法有很多，下面介绍几种常见的方法。
1.数学归纳法数学归纳法是一种常用的证明不等式的方法。
当不等式对于一些特定的n成立时，我们可以证明当n+1时，不等式也成立。
具体步骤如下：（1）首先验证当n=1时不等式成立；（2）假设当n=k时不等式成立，即不等式表达式为Pk(k)，其中Pk(k)表示当n=k时不等式的表达式；（3）利用假设的条件，证明当n=k+1时不等式也成立，即证明Pk(k+1)；（4）由(1)(2)步骤可知，不等式对于n=1成立，又由(3)步骤可知，当n=k+1时不等式也成立，综上可得，不等式对于所有的n成立。
2.数学推理数学推理是一种常用的证明不等式的方法，它主要是通过运用已知的数学定理、性质和等式进行逻辑推理，从而得出结论。
例如，可以利用已知的三角函数性质、代数运算等进行推理，通过一系列推导和等价变形得出需要证明的不等式。
3.代入法代入法是一种常用的证明不等式的方法，它主要是利用数值替换变量，通过对不等式成立条件的特殊取值进行代入，从而证明不等式成立。
例如，对于一个两个变量的不等式，可以分别取其中一个变量为0或1，然后对不等式进行推导和比较，得出结论。
4.反证法反证法是一种常用的证明不等式的方法，它通过假设所要证明的不等式不成立，然后从假设出发推导出与已知矛盾的结论，从而证明原不等式成立。
具体步骤如下：（1）假设不等式不成立，即存在一些条件使得不等式不成立，这个条件可以是一个数、一个式子等；（2）利用假设条件进行推导，推导出与已知矛盾的结论；（3）由于假设条件导致与已知矛盾，所以假设不成立，即原不等式成立。
5.AM-GM不等式（算术平均数-几何平均数不等式）AM-GM不等式是一种常用的证明不等式的方法。
它断言，若a1，a2，...，an是n个非负实数，则有(a1+a2+...+an)/n ≥√(a1*a2*...*an)，等号成立的条件是a1=a2=...=an。
证明不等式的八种方法
1 Math Part 比较法
证明：
∴a-1≥1，b-1≥1
ab-a-b =a(b-1)-b
∴(a-1)(b-1)≥1 例题：已知a≥2，b≥即2，(a求-1)证(b：-1)a-b1≥≥a0+b
6 Math Part 构造法
函数构造法
例题：已知a≥2，b≥2，求证：ab≥a+b
证明： 要证明的不等式为： ab≥a+b 移项得 ab-a-b≥0 即(b-1)a-b≥0 构造函数 f(x)=(b-1)x-b (x≥2)
f(x)是关于x的一次函数 其中一次项系数b-1>0 ∴f(x)为定义域上的增函数 ∴对于任意的x∈[2,+∞)都有 f(x)≥f(2)=(b-1)×2-b=b-2≥0 ∴(b-1)a-b≥0 所以原命题成立 证毕
与①式矛盾
所以原命题成立
证毕
5 Math Part
公式法
5 Math Part 公式法
伯公努式利法不：等利式用：已有的不等式的定理、公式等 (1证+x明1)不(1等+x式2)…的(一1+种xn方) ≥法1。+x高1+中x2常…+见xn的公式有： 对基 栖于本 西任不不意等等1≤式式i,、、j≤绝加n都对权有值平x不均i>-等不1且式 等所、 式有均 、x值 切i与不 比x等雪j同式夫号、不
4 Math Part 反证法
例题：已知a≥2，b≥2，求证：ab≥a+b
证明： 假设ab<a+b ab-a-b =a(b-1)-b =a(b-1)-(b-1)-1 =(a-1)(b-1)-1 ∵ab<a+b
证明不等式的几种方法
证明不等式几种的方法1.1比较法（作差法）[1]在比较两个实数a 和b 的大小时，可借助b a -的符号来判断.步骤一般为：作差——变形——判断（正号、负号、零）.变形时常用的方法有：配方、通分、因式分解、和差化积、应用已知定理、公式等.例1 已知：0>a ，0>b ，求证：ab b a ≥+2. 证明 02)(2222≥-=-+=-+b a ab b a ab b a ， 故得ab b a ≥+2. 1.2作商法在证题时，一般在a ，b 均为正数时，借助1>b a 或1<b a 来判断其大小，步骤一般为：作商——变形——判断（大于1或小于1）.例2 设0>>b a ，求证：a b b a b a b a >.证明 因为 0>>b a ，所以 1>ba ，0>-b a . 而 1>⎪⎭⎫ ⎝⎛=-b a a b b a b a b a b a ， 故 a b b a b a b a >.1.3分析法（逆推法）从要证明的结论出发，一步一步地推导，最后达到命题的已知条件（可明显成立的不等式、已知不等式等），其每一步的推导过程都必须可逆.例3 求证：15175+>+.证明 要证15175+>+，即证1521635212+>+，即15235+>，1541935+>，16154<，415<，1615<.由此逆推即得 15175+>+.1.4放缩法[5]在证题过程中，根据不等式的传递性，常采用舍去一些正项（或负项）而使不等式的各项之和变小（或变大），或把和（或积）里的各项换以较大（或较小）的数，或在分式中扩大（或缩小）分式中的分子（或分母），从而达到证明的目的.值得注意的是“放”、“缩”得当，不要过头.常用方法为：改变分子（分母）放缩法、拆补放缩法、编组放缩法、寻找“中介量”放缩法.例4 求证：01.0100009999654321<⨯⨯⨯⨯ . 证明 令,100009999654321⨯⨯⨯⨯= p 则 ,10000110001111000099991431211000099996543212222222222222<=-⨯⨯-⨯-<⨯⨯⨯⨯= p所以 01.0<p .1.5函数极值法通过变换，把某些问题归纳为求函数的极值，达到证明不等式的目的.例5 设R x ∈，求证：812sin 32cos 4≤+≤-x x . 证明 81243sin 2sin 3sin 21sin 32cos )(22+⎪⎭⎫ ⎝⎛--=+-=+=x x x x x x f 当43sin =x 时， ;812)(m ax =x f 当1sin -=x 时， .4)(m in -=x f故 812sin 32cos 4≤+≤-x x . 1.6单调函数法当x 属于某区间，有0)(≥'x f ，则)(x f 单调上升；若0)(≤'x f ，则)(x f 单调下降.推广之，若证)()(x g x f ≤，只须证)()(a g a f =及)),((),()(b a x x g x f ∈'≤'即可. 例 6 证明不等式x e x +>1，.0≠x证明 设,1)(x e x f x --=则.1)(-='xe xf 故当0>x 时，f x f ,0)(>'严格递增；当f x f x ,0)(,0<'<严格递减.又因为f 在0=x 处连续，则当0≠x 时， ,0)0()(=>f x f从而证得.0,1≠+>x x e x 1.7中值定理法利用中值定理：)(x f 是在区间],[b a 上有定义的连续函数，且可导，则存在ξ，b a <<ξ，满足))(()()(a b f a f b f -'=-ξ来证明某些不等式，达到简便的目的.例7 求证：y x y x -≤-sin sin .证明 设 x x f sin )(=，则ξξcos )(n si )(sin sin y x y x y x -='-=-故 y x y x y x -≤-≤-ξcos )(sin sin .1.8利用拉格朗日函数例 8 证明不等式,)111(331abc cb a ≤++- 其中c b a ,,为任意正实数. 证明 设拉格朗日函数为对).1111(),,,(rz y x xyz z y x L -+++=λλ 对L 求偏导数并令它们都等于0，则有02=-=x yz L x λ， 02=-=y zx L y λ， 02=-=x xy L z λ， .01111=-++=rz y x L λ由方程组的前三式，易的.111μλ====xyz z y x 把它代入第四式，求出.31r =μ从而函数L 的稳定点为.)3(,34r r z y x ====λ 为了判断3)3()3,3,3(r r r r f =是否为所求条件极小值，我们可把条件rz y x 1111=++看作隐函数),(y x z z =（满足隐函数定理条件），并把目标函数),(),(),,(y x F y x xyz z y x f ==看作f 与),(y x z z =的复合函数.这样，就可应用极值充分条件来做出判断.为此计算如下：,22xz z x -=,22y z z y -= ,2xyz yz F x -=,2y xz xz F y -= ,2,232233xy z x z y z z F xyz F xy xx +--== .233yxz F yy = 当r z y x 3===时，,3,6r F F r F xy yy xx ===.02722>=-r F F F xy yy xx由此可见，所求得的稳定点为极小值点，而且可以验证是最小值点.这样就有不等式).1111,0,0,0()3(3rz y x z y x r xyz =++>>>≥ 令,,,c z b y a x ===则,)111(1-++=cb a r 代入不等式有 31])111(3[-++≥cb a abc 或 ).0,0,0()111(331>>>≤++-c b a abc c b a。
不等式的证明
不等式的证明最新考纲 通过一些简单问题了解证明不等式的基本方法：比较法、综合法、分析法．知 识 梳 理1.基本不等式定理1：如果a ，b ∈R，那么a 2＋b 2≥2ab ，当且仅当a ＝b 时，等号成立. 定理2：如果a ，b >0，那么a ＋b 2≥a ＝b 时，等号成立，即两个正数的算术平均不小于(即大于或等于)它们的几何平均.定理3：如果a ，b ，c ∈R ＋，那么a ＋b ＋c 3≥a ＝b ＝c 时，等号成立.2.不等式的证明方法(1)比较法①作差法(a ，b ∈R)：a －b >0⇔a >b ；a －b <0⇔a <b ；a －b ＝0⇔a ＝b . ②作商法(a >0，b >0)：a b >1⇔a >b ；a b <1⇔a <b ；a b＝1⇔a ＝b .(2)综合法与分析法①综合法：从已知条件出发，利用定义、公理、定理、性质等，经过一系列的推理、论证而得出命题成立.综合法又叫顺推证法或由因导果法.②分析法：从要证的结论出发，逐步寻求使它成立的充分条件，所需条件为已知条件或一个明显成立的事实(定义、公理或已证明的定理、性质等)，从而得出要证的命题成立，这种证法称为分析法，即“执果索因”的证明方法.[微点提醒]1.作差比较法的实质是把两个数或式子的大小判断问题转化为一个数(或式子)与0的大小关系.2.用分析法证明数学问题时，要注意书写格式的规范性，常常用“要证(欲证)……”“即要证……”“就要证……”等分析到一个明显成立的结论，再说明所要证明的数学问题成立.3.利用基本不等式证明不等式或求最值时，要注意变形配凑常数.基础自测1.判断下列结论正误(在括号内打“√”或“×”)(1)比较法最终要判断式子的符号得出结论.( )(2)综合法是从原因推导到结果的思维方法，它是从已知条件出发，经过逐步推理，最后达到待证的结论.( )(3)分析法又叫逆推证法或执果索因法，是从待证结论出发，一步一步地寻求结论成立的必要条件，最后达到题设的已知条件或已被证明的事实.( )(4)使用反证法时，“反设”不能作为推理的条件应用.( )解析(1)作商比较法是商与1的大小比较．(3)分析法是从结论出发，寻找结论成立的充分条件．(4)应用反证法时，“反设”可以作为推理的条件应用．答案(1)×(2)√(3)×(4)×2.(选修4－5P23习题2.1T1改编)已知a≥b>0，M＝2a3－b3，N＝2ab2－a2b，则M，N的大小关系为________.解析2a3－b3－(2ab2－a2b)＝2a(a2－b2)＋b(a2－b2)＝(a2－b2)(2a＋b)＝(a－b)(a＋b)(2a＋b)．因为a≥b>0，所以a－b≥0，a＋b>0，2a＋b>0，从而(a－b)(a＋b)(2a＋b)≥0，故2a3－b3≥2ab2－a2b.答案M≥N3.(选修4－5P25T3改编)已知a，b，c∈(0，＋∞)，且a＋b＋c＝1，则1a ＋1b＋1c的最小值为________.解析把a＋b＋c＝1代入1a ＋1b＋1c得a＋b＋ca＋a＋b＋cb＋a＋b＋cc＝3＋⎝⎛⎭⎪⎫ba＋ab＋⎝ ⎛⎭⎪⎫c a ＋a c ＋⎝ ⎛⎭⎪⎫c b ＋b c ≥3＋2＋2＋2＝9， 当且仅当a ＝b ＝c ＝13时等号成立． 答案 94.(2019·聊城模拟)下列四个不等式：①log x 10＋lg x ≥2(x >1)；②|a －b |<|a |＋|b |；③⎪⎪⎪⎪⎪⎪b a ＋a b ≥2(ab ≠0)；④|x －1|＋|x －2|≥1，其中恒成立的个数是( )A.1B.2C.3D.4解析 log x 10＋lg x ＝1lg x＋lg x ≥2(x >1)，①正确； ab ≤0时，|a －b |＝|a |＋|b |，②不正确；因为ab ≠0，b a 与a b同号，所以⎪⎪⎪⎪⎪⎪b a ＋a b ＝⎪⎪⎪⎪⎪⎪b a ＋⎪⎪⎪⎪⎪⎪a b ≥2，③正确； 由|x －1|＋|x －2|的几何意义知，|x －1|＋|x －2|≥1恒成立，④也正确，综上①③④正确．答案 C5.(2017·全国Ⅱ卷)已知a >0，b >0，且a 3＋b 3＝2.证明：(1)(a ＋b )(a 5＋b 5)≥4；(2)a ＋b ≤2.证明 (1)(a ＋b )(a 5＋b 5)＝a 6＋ab 5＋a 5b ＋b 6＝(a 3＋b 3)2－2a 3b 3＋ab (a 4＋b 4)＝4＋ab (a 4＋b 4－2a 2b 2)＝4＋ab (a 2－b 2)2≥4.(2)(a＋b)3＝a3＋3a2b＋3ab2＋b3＝2＋3ab(a＋b)≤2＋3(a＋b)24(a＋b)＝2＋3(a＋b)34，所以(a＋b)3≤8，因此a＋b≤2.考点一比较法证明不等式【例1】设a，b是非负实数，求证：a2＋b2≥ab(a＋b). 证明因为a2＋b2－ab(a＋b)＝(a2－a ab)＋(b2－b ab)＝a a(a－b)＋b b(b－a)＝(a－b)(a a－b b)＝(a 12－b12)(a32－b32).因为a≥0，b≥0，所以不论a≥b≥0，还是0≤a≤b，都有a 12－b12与a32－b32同号，所以(a 12－b12)(a32－b32)≥0，所以a2＋b2≥ab(a＋b).规律方法比较法证明不等式的方法与步骤1．作差比较法：作差、变形、判号、下结论．2．作商比较法：作商、变形、判断、下结论．提醒(1)当被证的不等式两端是多项式、分式或对数式时，一般使用作差比较法．(2)当被证的不等式两边含有幂式或指数式或乘积式时，一般使用作商比较法．【训练1】(1)(2019·锦州模拟)设不等式|2x－1|＜1的解集为M.①求集合M；②若a，b∈M，试比较ab＋1与a＋b的大小.(2)若a >b >1，证明：a ＋1a >b ＋1b. (1)解 ①由|2x －1|＜1得－1＜2x －1＜1，解得0＜x ＜1.所以M ＝{x |0＜x ＜1}.②由①和a ，b ∈M 可知0＜a ＜1，0＜b ＜1，所以(ab ＋1)－(a ＋b )＝(a －1)(b －1)＞0.故ab ＋1＞a ＋b .(2)证明 a ＋1a －⎝ ⎛⎭⎪⎫b ＋1b ＝a －b ＋b －a ab ＝(a －b )(ab －1)ab . 由a >b >1得ab >1，a －b >0，所以(a －b )(ab －1)ab>0. 即a ＋1a －⎝ ⎛⎭⎪⎫b ＋1b >0， 所以a ＋1a >b ＋1b. 考点二 综合法证明不等式【例2】 (1)已知a ，b ，c ∈R，且它们互不相等，求证a 4＋b 4＋c 4>a 2b 2＋b 2c 2＋c 2a 2；(2)已知x ，y ，z 均为正数，求证：x yz ＋y zx ＋z xy ≥1x ＋1y ＋1z. 证明 (1)∵a 4＋b 4≥2a 2b 2，b 4＋c 4≥2b 2c 2，a 4＋c 4≥2a 2c 2，∴2(a 4＋b 4＋c 4)≥2(a 2b 2＋b 2c 2＋c 2a 2)，即a 4＋b 4＋c 4≥a 2b 2＋b 2c 2＋c 2a 2.又∵a ，b ，c 互不相等，∴a 4＋b 4＋c 4>a 2b 2＋b 2c 2＋c 2a 2.(2)因为x ，y ，z 都为正数，所以x yz ＋y zx ＝1z ⎝ ⎛⎭⎪⎫x y ＋y x ≥2z①，同理可得yxz＋zyx≥2x②，z xy ＋xyz≥2y③，当且仅当x＝y＝z时，以上三式等号都成立. 将上述三个不等式两边分别相加，并除以2，得xyz ＋yzx＋zxy≥1x＋1y＋1z.规律方法 1.综合法证明不等式，要着力分析已知与求证之间，不等式的左右两端之间的差异与联系．合理进行转换，恰当选择已知不等式，这是证明的关键．2．在用综合法证明不等式时，不等式的性质和基本不等式是最常用的．在运用这些性质时，要注意性质成立的前提条件．【训练2】已知实数a，b，c满足a>0，b>0，c>0，且abc＝1.(1)证明：(1＋a)(1＋b)(1＋c)≥8；(2)证明：a＋b＋c≤1a＋1b＋1c.证明(1)1＋a≥2a，1＋b≥2b，1＋c≥2c，相乘得：(1＋a)(1＋b)(1＋c)≥8abc＝8.(2)1a ＋1b＋1c＝ab＋bc＋ac，ab＋bc≥2ab2c＝2b，ab＋ac≥2a2bc＝2a，bc＋ac≥2abc2＝2c，相加得a＋b＋c≤1a ＋1b＋1c.考点三分析法证明不等式【例3】已知函数f(x)＝|x－1|.(1)解不等式f (x －1)＋f (x ＋3)≥6；(2)若|a |<1，|b |<1，且a ≠0，求证：f (ab )>|a |f ⎝ ⎛⎭⎪⎫b a . (1)解 由题意，知原不等式等价为|x －2|＋|x ＋2|≥6，令g (x )＝|x －2|＋|x ＋2|，则g (x )＝⎩⎨⎧－2x ，x ≤－2，4，－2<x <2，2x ，x ≥2.当x ≤－2时，由－2x ≥6，得x ≤－3；当－2<x <2时，4≥6不成立，此时无解；当x ≥2时，由2x ≥6，得x ≥3.综上，不等式的解集是(－∞，－3]∪[3，＋∞).(2)证明 要证f (ab )>|a |f ⎝ ⎛⎭⎪⎫b a ， 只需证|ab －1|>|b －a |，只需证(ab －1)2>(b －a )2.而(ab －1)2－(b －a )2＝a 2b 2－a 2－b 2＋1＝(a 2－1)(b 2－1)>0，从而原不等式成立. 规律方法 1.当要证的不等式较难发现条件和结论之间的关系时，可用分析法来寻找证明途径，使用分析法证明的关键是推理的每一步必须可逆．2．分析法证明的思路是“执果索因”，其框图表示为： Q ⇐P 1→P 1⇐P 2→P 2⇐P 3→…→得到一个明显成立的条件【训练3】 已知a >b >c ，且a ＋b ＋c ＝0，求证：b 2－ac <3a .证明 由a >b >c 且a ＋b ＋c ＝0，知a >0，c <0. 要证b 2－ac <3a ，只需证b 2－ac <3a 2.∵a ＋b ＋c ＝0，只需证b 2＋a (a ＋b )<3a 2，只需证2a 2－ab －b 2>0，只需证(a －b )(2a ＋b )>0，只需证(a －b )(a －c )>0.∵a >b >c ，∴a －b >0，a －c >0，∴(a －b )(a －c )>0显然成立，故原不等式成立.[思维升华]证明不等式的方法和技巧：(1)如果已知条件与待证明的结论直接联系不明显，可考虑用分析法；如果待证的命题以“至少”“至多”等方式给出或否定性命题、唯一性命题，则考虑用反证法；如果待证不等式与自然数有关，则考虑用数学归纳法等．(2)在必要的情况下，可能还需要使用换元法、构造法等技巧简化对问题的表述和证明．尤其是对含绝对值不等式的解法或证明，其简化的根本思路是去绝对值号，转化为常见的不等式(组)求解．多以绝对值的几何意义或“找零点、分区间、逐个解、并起来”为简化策略，而绝对值三角不等式，往往作为不等式放缩的依据．[易错防范]在使用基本不等式时，等号成立的条件是一直要注意的事情，特别是连续使用时，要求分析每次使用时等号是否成立.基础巩固题组(建议用时：60分钟)1.设a ，b >0且a ＋b ＝1，求证：⎝⎛⎭⎪⎫a ＋1a 2＋⎝ ⎛⎭⎪⎫b ＋1b 2≥252. 证明 因为(12＋12)⎣⎢⎡⎦⎥⎤⎝⎛⎭⎪⎫a ＋1a 2＋⎝ ⎛⎭⎪⎫b ＋1b 2≥⎣⎢⎡⎦⎥⎤⎝ ⎛⎭⎪⎫a ＋1a ＋⎝ ⎛⎭⎪⎫b ＋1b 2＝⎣⎢⎡⎦⎥⎤1＋⎝ ⎛⎭⎪⎫1a ＋1b 2＝⎝ ⎛⎭⎪⎫1＋1ab 2≥25⎝⎛⎭⎪⎫因为ab ≤14. 所以⎝ ⎛⎭⎪⎫a ＋1a 2＋⎝ ⎛⎭⎪⎫b ＋1b 2≥252.2.设a >0，b >0，a ＋b ＝1，求证1a ＋1b ＋1ab≥8. 证明 ∵a >0，b >0，a ＋b ＝1，∴1＝a ＋b ≥2ab ， 即ab ≤12，∴1ab≥4， ∴1a ＋1b ＋1ab ＝(a ＋b )⎝ ⎛⎭⎪⎫1a ＋1b ＋1ab ≥2ab ·21ab ＋1ab ≥4＋4＝8. 当且仅当a ＝b ＝12时等号成立， ∴1a ＋1b ＋1ab≥8. 3.(2019·大理一模)已知函数f (x )＝|x |＋|x －3|.(1)解关于x 的不等式f (x )－5≥x .(2)设m ，n ∈{y |y ＝f (x )}，试比较mn ＋4与2(m ＋n )的大小.解 (1)f (x )＝|x |＋|x －3|＝⎩⎨⎧3－2x ，x <0，3，0≤x ≤3，2x －3，x >3.f (x )－5≥x ，即⎩⎨⎧x <0，3－2x ≥x ＋5或⎩⎨⎧0≤x ≤3，3≥x ＋5或⎩⎨⎧x >3，2x －3≥x ＋5，解得x ≤－23或x ∈∅或x ≥8. 所以不等式的解集为⎝⎛⎦⎥⎤－∞，－23∪[8，＋∞). (2)由(1)易知f (x )≥3，所以m ≥3，n ≥3.由于2(m ＋n )－(mn ＋4)＝2m －mn ＋2n －4＝(m －2)(2－n ).且m ≥3，n ≥3，所以m －2>0，2－n <0，即(m －2)(2－n )<0，所以2(m ＋n )<mn ＋4.4.(2019·郴州质量检测)已知a ，b ，c 为正数，函数f (x )＝|x ＋1|＋|x －5|.(1)求不等式f (x )≤10的解集；(2)若f (x )的最小值为m ，且a ＋b ＋c ＝m ，求证：a 2＋b 2＋c 2≥12.(1)解 f (x )＝|x ＋1|＋|x －5|≤10等价于⎩⎨⎧x ≤－1，－(x ＋1)－(x －5)≤10或⎩⎨⎧－1<x <5，(x ＋1)－(x －5)≤10或⎩⎨⎧x ≥5，(x ＋1)＋(x －5)≤10，解得－3≤x ≤－1或－1<x <5或5≤x ≤7，∴不等式f (x )≤10的解集为{x |－3≤x ≤7}.(2)证明 ∵f (x )＝|x ＋1|＋|x －5|≥|(x ＋1)－(x －5)|＝6，∴m ＝6，即a ＋b ＋c ＝6.∵a 2＋b 2≥2ab ，a 2＋c 2≥2ac ，c 2＋b 2≥2cb ，∴2(a 2＋b 2＋c 2)≥2(ab ＋ac ＋bc )，∴3(a 2＋b 2＋c 2)≥a 2＋b 2＋c 2＋2ab ＋2ac ＋2bc ＝(a ＋b ＋c )2，∴a 2＋b 2＋c 2≥12.当且仅当a ＝b ＝c ＝2时等号成立.5.(2019·沈阳模拟)设a ，b ，c >0，且ab ＋bc ＋ca ＝1.求证：(1)a ＋b ＋c ≥3； (2)a bc ＋b ac ＋c ab ≥3(a ＋b ＋c ). 证明 (1)要证a ＋b ＋c ≥3，由于a ，b ，c >0，因此只需证明(a ＋b ＋c )2≥3.即证a 2＋b 2＋c 2＋2(ab ＋bc ＋ca )≥3.而ab ＋bc ＋ca ＝1，故只需证明a 2＋b 2＋c 2＋2(ab ＋bc ＋ca )≥3(ab ＋bc ＋ca )，即证a 2＋b 2＋c 2≥ab ＋bc ＋ca .而这可以由ab ＋bc ＋ca ≤a 2＋b 22＋b 2＋c 22＋c 2＋a 22＝a 2＋b 2＋c 2(当且仅当a ＝b ＝c时等号成立)证得.所以原不等式成立. (2)a bc ＋b ac ＋c ab ＝a ＋b ＋c abc. 在(1)中已证a ＋b ＋c ≥ 3.因此要证原不等式成立，只需证明1abc ≥a ＋b ＋c ， 即证a bc ＋b ac ＋c ab ≤1，即证a bc ＋b ac ＋c ab ≤ab ＋bc ＋ca .而a bc ＝ab ·ac ≤ab ＋ac2， b ac ≤ab ＋bc2，c ab ≤bc ＋ac2，所以a bc ＋b ac ＋c ab ≤ab ＋bc ＋ca⎝ ⎛⎭⎪⎫当且仅当a ＝b ＝c ＝33时等号成立. 所以原不等式成立.6.(2019·百校联盟联考)已知函数f (x )＝|2x －3|＋|2x －1|的最小值为M .(1)若m ，n ∈[－M ，M ]，求证：2|m ＋n |≤|4＋mn |；(2)若a ，b ∈(0，＋∞)，a ＋2b ＝M ，求2a ＋1b的最小值. (1)证明 ∵f (x )＝|2x －3|＋|2x －1|≥|2x －3－(2x －1)|＝2，∴M ＝2. 要证明2|m ＋n |≤|4＋mn |，只需证明4(m ＋n )2≤(4＋mn )2，∵4(m ＋n )2－(4＋mn )2＝4(m 2＋2mn ＋n 2)－(16＋8mn ＋m 2n 2)＝(m 2－4)(4－n 2)， ∵m ，n ∈[－2，2]，∴m 2，n 2∈[0，4]，∴(m 2－4)(4－n 2)≤0，∴4(m ＋n )2－(4＋mn )2≤0，∴4(m ＋n )2≤(4＋mn )2，可得2|m ＋n |≤|4＋mn |.(2)解 由(1)得，a ＋2b ＝2，因为a ，b ∈(0，＋∞)，所以2a ＋1b ＝12⎝ ⎛⎭⎪⎫2a ＋1b (a ＋2b ) ＝12⎝ ⎛⎭⎪⎫2＋2＋a b ＋4b a ≥12⎝ ⎛⎭⎪⎫4＋2a b ·4b a ＝4， 当且仅当a ＝1，b ＝12时，等号成立. 所以2a ＋1b的最小值为4. 能力提升题组(建议用时：20分钟)7.已知函数f (x )＝x ＋1＋|3－x |，x ≥－1.(1)求不等式f (x )≤6的解集；(2)若f (x )的最小值为n ，正数a ，b 满足2nab ＝a ＋2b ，求证：2a ＋b ≥98. (1)解 根据题意，若f (x )≤6，则有⎩⎨⎧x ＋1＋3－x ≤6，－1≤x <3或⎩⎨⎧x ＋1＋(x －3)≤6，x ≥3， 解得－1≤x ≤4，故原不等式的解集为{x |－1≤x ≤4}.(2)证明 函数f (x )＝x ＋1＋|3－x |＝⎩⎨⎧4，－1≤x <3，2x －2，x ≥3，分析可得f (x )的最小值为4，即n ＝4， 则正数a ，b 满足8ab ＝a ＋2b ，即1b ＋2a＝8， 又a >0，b >0，∴2a ＋b ＝18⎝ ⎛⎭⎪⎫1b ＋2a (2a ＋b )＝18⎝ ⎛⎭⎪⎫2a b ＋2b a ＋5≥18⎝ ⎛⎭⎪⎫5＋22a b ·2b a ＝98，当且仅当a ＝b ＝38时取等号. 原不等式得证.8.(2015·全国Ⅱ卷)设a ，b ，c ，d 均为正数，且a ＋b ＝c ＋d ，证明：(1)若ab >cd ，则a ＋b >c ＋d ；(2)a ＋b >c ＋d 是|a －b |<|c －d |的充要条件.证明 (1)∵a ，b ，c ，d 为正数，且a ＋b ＝c ＋d ，欲证a ＋b >c ＋d ，只需证明(a ＋b )2>(c ＋d )2， 也就是证明a ＋b ＋2ab >c ＋d ＋2cd ，只需证明ab >cd ，即证ab >cd .由于ab >cd ，因此a ＋b >c ＋d .(2)①若|a －b |<|c －d |，则(a －b )2<(c －d )2，即(a ＋b )2－4ab <(c ＋d )2－4cd .∵a ＋b ＝c ＋d ，所以ab >cd . 由(1)得a ＋b >c ＋d .②若a ＋b >c ＋d ，则(a ＋b )2>(c ＋d )2， ∴a ＋b ＋2ab >c ＋d ＋2cd .∵a ＋b ＝c ＋d ，所以ab >cd .于是(a －b )2＝(a ＋b )2－4ab <(c ＋d )2－4cd ＝(c －d )2. 因此|a －b |<|c －d |.综上，a ＋b >c ＋d 是|a －b |<|c －d |的充要条件.。
不等式证明都有哪几种方法
不等式证明都有哪几种方法
不等式的证明方法（1）比较法：作差比较： . 作差比较的步骤：①作差：对要比较大小的两个数（或式）作差. ②变形：对差进行因式分解或配方成几个数（或式）的完全平方和. ③判断差的符号：结合变形的结果及题设条件判断差的符号. 注意：若两个正数作差比较有困难，可以通过它们的平方差来比较大小. （2）综合法：由因导果. （3）分析法：执果索因.基本步骤：要证……只需证……，只需证…… ①“分析法”证题的理论依据：寻找结论成立的充分条件或者是充要条件.
②“分析法”证题是一个非常好的方法，但是书写不是太方便，所以我们可以利用分析法寻找证题的途径，然后用“综合法”进行表达. （4）反证法：正难则反. （5）放缩法：将不等式一侧适当的放大或缩小以达证题目的. 放缩法的方法有：①添加或舍去一些项，如：；；
②将分子或分母放大（或缩小）；③利用基本不等式，如：；；（6）换元法：换元的目的就是减少不等式中变量，以使问题化难为易，化繁为简，常用的换元有三角换元和代数换元. 如：已知，可设；已知，可设 ( )；已知，可设；已知，可设；（7）构造法：通过构造函数、方程、数列、向量或不等式来证明不等式；证明不等式的方法灵活多样，但比较法、综合法、分析法和数学归纳法仍是证明不等式的最基本方法．要依据题设、题断的结构特点、内在联系，选择适当的证明方法，要熟悉各种证法中的推理思维，并掌握相应的步骤，技巧和语言特点．⑻数学归纳法法：数学归纳法法证明不等式在数学归纳法中专门研究.。
不等式证明方法大全
不等式证明方法大全
在数学研究中，证明不等式是一项重要的内容。
目前，关于证明不等式的方法可以分
为几类，下面将详细展开讨论：
一、绝对值的技巧：将不等式中的变量都化为绝对值，这样可以有效地转换原不等式。
二、代数变换法：通过恰当的代数变换，将不等式中变量交换，从而转化为更简单的
不等式。
三、数量不等式法：将相同的不等式进行变形，将其变换为数量不等式，然后继续解决，从而获得结论。
四、角度不等式法：如果不等式涉及到测量角度的变量，我们可以将其转换为角度不
等式，然后判断两个角度的大小关系，从而获得结论。
五、条件不等式法：将不等式的左右两侧都加上某个条件，将其变换为条件不等式，
然后根据条件判断两个式子大小关系。
六、单值不等式变形法：将不等式变为单值不等式，然后将单值不等式中的变量通过
某种方式改变，从而继续解决不等式本身，用这种方法可以得出不等式的正确性。
七、多元不等式的考虑：由于某些不等式涉及多个变量，因此需要考虑这些变量的关系，包括不等式的变换形式，和多个变量的联系在内的其他因素，这样才能正确地证明不
等式的正确性。
以上就是证明不等式的各种方法，正确运用上述方法，可以帮助我们轻松地证明定理，有助于提高科学研究的水平。
构造函数证明不等式的八种方法
构造函数证明不等式的八种方法下面将介绍构造函数证明不等式的八种常见方法：1.特殊赋值法：这种方法通过为变量赋特殊的值来构造函数，使得不等式成立。
例如，对于不等式a^2>b^2，可以构造函数f(x)=x^2，当a=2，b=1时，即f(2)>f(1)，从而得到a^2>b^22.梯度法：这种方法通过构造一个变化率为正（或负）的函数来推导出不等式。
例如对于不等式a^2>b^2，可以构造函数f(x)=(x-a)^2-(x-b)^2，当x>(a+b)/2时，即f'(x)>0，从而得到a^2>b^23.极值法：这种方法通过构造一个函数的极大值（或极小值）来证明不等式。
例如对于不等式a^2>b^2，可以构造函数f(x)=x^2-b^2，当x=a时，f(x)>0，从而得到a^2>b^24.差的平方法：这种方法通过构造一个差的平方形式的函数来证明不等式。
例如对于不等式a^2>b^2，可以构造函数f(x)=(x+a)^2-(x+b)^2，当x>(a+b)/2时，即f(x)>0，从而得到a^2>b^25.相似形式法：这种方法通过构造一个与要证明的不等式形式相似的函数来证明不等式。
例如对于不等式(a+b)^4 > 8(ab)^2，可以构造函数f(x) = (x+1)^4- 8(x-1)^2，令x = ab，当x > 1时，即f(x) > 0，从而得到(a+b)^4 > 8(ab)^26.中值定理法：这种方法通过应用中值定理来证明不等式。
例如对于不等式f(a)>f(b)，可以构造函数g(x)=f(x)-f(b)，当a>b时，存在c∈(b,a)，使得g'(c)>0，从而得到f(a)>f(b)。
7.逼近法：这种方法通过构造一个逼近函数序列来证明不等式。
例如对于不等式a > b，可以构造一个逼近函数序列f_n(x) = (a+x)^n - (b+x)^n，当n 趋近于正无穷时，即lim(n→∞)(a+x)^n - (b+x)^n = ∞，从而得到a > b。
不等式证明方法大全
不等式证明方法大全1.推导法：推导法是指通过逻辑推理从已知不等式得出要证明的不等式。
常用的推导法有数学归纳法、递推法、代入法等。
其中，数学归纳法是一种常见的证明不等式的方法，它基于以下两个基本原理：基准步和归纳假设。
（1）基准步：证明当一些特定的变量取一些特定的值时，不等式成立。
（2）归纳假设：假设当一些特定的变量取小于等于一些特定值时，不等式成立。
通过利用以上两个原则，可以通过递推关系不断推导得出要证明的不等式。
2.数学运算法：数学运算法是指通过对不等式进行各种数学运算来得到要证明的不等式。
常用的数学运算包括加法、减法、乘法、除法等。
在进行这些运算时，需要注意运算规则和要证明的不等式所满足的条件，避免运算过程中引入新的限制条件。
3.几何法：几何法是指通过将不等式转化为几何问题进行证明。
几何法常用于证明平面图形的不等式定理，如三角形的不等式定理、平行四边形的不等式定理等。
通过将要证明的不等式几何化，可以通过几何性质和定理进行证明。
4.广义的带参数的方法：广义的带参数的方法是指将要证明的不等式引入参数，通过参数的取值范围来证明不等式的成立。
这种方法常用于证明含有多个变量的复杂不等式，通过引入参数使得不等式简化或者更易处理。
5.分情况讨论法：分情况讨论法是指将要证明的不等式拆分为几个不同的情况进行讨论，分别证明每个情况下不等式的成立。
通过逐个讨论每种情况，可以得出要证明的不等式的证明。
6.反证法：反证法是指假设要证明的不等式不成立，通过推理推出与已知条件矛盾的结论，从而证明不等式的成立。
反证法常用于证明不等式的唯一性和存在性。
7.递推法：递推法是指通过依次推导出不等式的前一项和后一项之间的关系，逐步逼近要证明的不等式。
通过不断进行递推，可以逐步证明不等式的成立。
以上是一些常见的不等式证明方法，它们可以单独使用，也可以结合使用。
在进行不等式证明时，需要注意逻辑严谨、计算准确和推导合理，同时还需要根据具体的题目和要求选择合适的证明方法。
不等式证明几种方法
同理： ,
以上三式相乘：(1a)a•(1b)b•(1c)c≤ 与①矛盾
∴原式成立
例五、已知a+b+c> 0，ab+bc+ca> 0，abc> 0，求证：a,b,c> 0
证：设a< 0,∵abc> 0,∴bc< 0
又由a+b+c> 0,则b+c=a> 0
∴ab+bc+ca=a(b+c) +bc< 0与题设矛盾
8．若x,y> 0，且x+y>2，则 和 中至少有一个小于2
一、裂项放缩
例1.(1)求 的值; (2)求证: .
解析:(1)因为 ,所以
(2)因为 ,所以
奇巧积累
:(1) (2)
(3)
(4)
(5) (6)
(7) (8)
(9)
(10) (11)
(11)
(12)
(13)
(14) (15)
(15)
例2.(1)求证:
分析：当水的流速相同时，水管的流量取决于水管横截面面积的大小。设截面的周长为 பைடு நூலகம்则周长为 的圆的半径为 ，截面积为 ；周长为 的正方形为 ，截面积为 。所以本题只需证明 。
证明：设截面的周长为 ，则截面是圆的水管的截面面积为 ，截面是正方形的水管的截面面积为 。只需证明： 。
为了证明上式成立，只需证明 。
例3、已知a，b，m都是正数，并且 求证： （1）
证法一要证（1），只需证 （2）
要证（2），只需证 （3）
要证（3），只需证 （4）
已知（4）成立，所以（1）成立。
不等式证明的几种方法
不等式证明的几种方法1.直接证明法直接证明法是最常用的证明方法之一、该方法是通过运用数学定义、公理和已知条件，直接推导出要证明的不等式。
例如，要证明a+b≥2√ab，我们可以通过平方两边的方式将不等式变形为(a-b)^2≥0的形式，再通过数学运算的方式得出结论。
2.反证法反证法是常用的证明方法之一，尤其适用于不等式证明。
该方法是先假设要证明的不等式为假，然后通过推导得出与已知条件矛盾的结论，从而证明所假设的不等式为真。
例如，要证明3√ab≥2(a+b)不成立，我们可以先假设不等式成立，然后通过运算推导出与已知条件不符的结果。
由此可知，不等式不成立。
3.数学归纳法数学归纳法适用于一类特殊的不等式，即对于其中一自然数n，当n=1时不等式成立，且当n=k时不等式成立，则当n=k+1时不等式也成立。
通过反证法证明。
例如，要证明n^2<2^n，首先当n=1时，不等式成立。
假设当n=k时，不等式也成立，即k^2<2^k成立。
我们需要证明当n=k+1时，不等式也成立，即(k+1)^2<2^(k+1)成立。
通过反证法推导出与已知条件矛盾的结果，即可证明不等式成立。
4.几何法几何法可以通过将不等式转化为几何问题来证明。
例如，要证明a^2+b^2≥2ab，可以将不等式转化为平面上两点的距离的问题。
通过建立几何模型，可以直观地看出不等式成立的原因。
例如，可以将两个正方形的面积进行比较，或者使用勾股定理来解决问题。
5.代数方法代数方法是通过将不等式转化为代数方程或函数的性质来证明。
例如，要证明3a^2+3b^2+2c^2≥4ab+4bc+4ca，可以通过将不等式整理为一个二次函数的形式，然后通过对函数进行研究来得出结论。
以上是几种常见的不等式证明方法，其中每种方法都有其独特的适用范围和优势。
在实际应用中，根据具体的题目和情况选择合适的证明方法可以更高效地解决问题。
证明不等式的几种常用方法
证明不等式的几种常用方法证明不等式除了教材中介绍的三种常用方法，即比较法、综合法和分析法外，在不等式证明中，不仅要用比较法、综合法和分析法，根据有些不等式的结构，恰当地运用反证法、换元法或放缩法还可以化难为易．下面几种方法在证明不等式时也经常使用．一、反证法如果从正面直接证明，有些问题确实相当困难，容易陷入多个元素的重围之中，而难以自拔，此时可考虑用间接法予以证明，反证法就是间接法的一种．这就是最“没办法”的时候往往又“最有办法”，所谓的“正难则反”就是这个道理．反证法是利用互为逆否的命题具有等价性来进行证明的，在使用反证法时，必须在假设中罗列出各种与原命题相异的结论，缺少任何一种可能，则反证法都是不完全的．用反证法证题的实质就是从否定结论入手，经过一系列的逻辑推理，导出矛盾，从而说明原结论正确．例如要证明不等式A ＞B ，先假设A ≤B ，然后根据题设及不等式的性质，推出矛盾，从而否定假设，即A ≤B 不成立，而肯定A ＞B 成立．对于要证明的结论中含有“至多”、“至少”、“均是”、“不都”、“任何”、“唯一”等特征字眼的不等式，若正面难以找到解题的突破口，可转换视角，用反证法往往立见奇效．例1 设a 、b 、c 、d 均为正数，求证：下列三个不等式：①a ＋b ＜c ＋d ；②(a ＋b)(c ＋d)＜ab ＋cd ；③(a ＋b)cd ＜ab(c ＋d)中至少有一个不正确．反证法：假设不等式①、②、③都成立，因为a 、b 、c 、d 都是正数，所以不等式①与不等式②相乘，得：(a ＋b)2＜ab ＋cd ，④由不等式③得(a ＋b)cd ＜ab(c ＋d)≤(2b a )2·(c ＋d)， ∵a ＋b ＞0，∴4cd ＜(a ＋b)(c ＋d)，综合不等式②，得4cd ＜ab ＋cd ， ∴3cd ＜ab ，即cd ＜31ab ． 由不等式④，得(a ＋b)2＜ab ＋cd ＜34ab ，即a 2＋b 2＜－32ab ，显然矛盾．∴不等式①、②、③中至少有一个不正确．例2 已知a ＋b ＋c ＞0，ab ＋bc ＋ca ＞0，abc ＞0，求证：a ＞0，b ＞0，c＞0．证明：反证法由abc ＞0知a ≠0，假设a ＜0，则bc ＜0，又∵a ＋b ＋c ＞0，∴b ＋c ＞－a ＞0，即a(b ＋c)＜0，从而ab ＋bc ＋ca = a(b ＋c)＋bc ＜0，与已知矛盾．∴假设不成立，从而a ＞0，同理可证b ＞0，c ＞0．例3 若p ＞0，q ＞0，p 3＋q 3= 2，求证：p ＋q ≤2．证明：反证法假设p ＋q ＞2，则(p ＋q)3＞8，即p 3＋q 3＋3pq (p ＋q)＞8，∵p 3＋q 3= 2，∴pq (p ＋q)＞2．故pq (p ＋q)＞2 = p 3＋q 3= (p ＋q)( p 2－pq ＋q 2)，又p ＞0，q ＞0 p ＋q ＞0，∴pq ＞p 2－pq ＋q 2，即(p －q)2 ＜0，矛盾．故假设p ＋q ＞2不成立，∴p ＋q ≤2．例4 已知)(x f = x 2＋ax ＋b ，其中a 、b 是与x 无关的常数，求证：|)1(f |，|)2(f |，|)3(f |中至少有一个数不小于21． 反证法一：假设|)1(f |＜21，|)2(f |＜21，|)3(f |＜21， 由于)1(f = 1＋a ＋b ，)2(f = 4＋2a ＋b ，)3(f = 9＋3a ＋b ，∴)1(f ＋)3(f －)2(f =2，但是，2 = |)1(f ＋)3(f －)2(f |≤|)1(f |＋|)3(f |＋2|)2(f |＜21＋21＋2×21= 2， 即2＜2，矛盾，∴假设不成立，∴|)1(f |，|)2(f |，|)3(f |中至少有一个数不小于21． 反证法二：假设|)1(f |＜21，|)2(f |＜21，|)3(f |＜21，即 ⎪⎪⎪⎩⎪⎪⎪⎨⎧<<<.21|)3(|,21|)2(|,21|)1(|f f f ⇒ ⎪⎪⎪⎩⎪⎪⎪⎨⎧<++<-<++<-<++<-③b a ②b a ①b a .219321,214221,21121 ①＋③得：－1＜4a ＋2b ＋10＜1，即－21＜2a ＋b ＋5＜21， ∴－23＜2a ＋b ＋4＜－21，④ 显然②与④矛盾，因此，假设是不成立的， 故|)1(f |，|)2(f |，|)3(f |中至少有一个数不小于21． 例4 设a ，b ，c 均为小于1的正数，求证：(1－a)b ，(1－b)c ，(1－c)a 不能同时大于41． 证明：反证法假设(1－a)b ，(1－b)c ，(1－c)a 同时大于41，即(1－a)b ＞41，(1－b)c ＞41，(1－c)a ＞41， 则由41＜(1－a)b ≤(21b a +-)2⇒21b a +-＞21， 同理：21c b +-＞21，21a c +-＞21， 三个同向不等式两边分别相加，得23＞23，矛盾，所以假设不成立， ∴原结论成立．例6 若0＜a ＜2，0＜b ＜2，0＜c ＜2，求证：(2－a)b ，(2－b)c ，(2－c)a不能同时大于1．证明：反证法假设⎪⎩⎪⎨⎧>->->-.1)2(,1)2(,1)2(a c c b b a 那么2)2(b a +-≥b a )2(-＞1，① 同理2)2(c b +-＞1，② 2)2(a c +-＞1，③ ①＋②＋③，得3＞3矛盾，即假设不成立，故(2－a)b ，(2－b)c ，(2－c)a 不能同时大于1．二、三角换元法对于条件不等式的证明问题，当所给条件较复杂，一个变量不易用另一个变量表示，这时可考虑用三角代换，将复杂的代数问题转化为三角问题．若变量字母x 的取值围与sin θ或cos θ的变化围相同，故可采用三角换元，把所要证的不等式转换为求三角函数的值域而获证．一般地，题设中有形如x 2＋y 2≤r 2，22a x ＋22b y = 1或22a x －22b y = 1的条件可以分别引入三角代换⎩⎨⎧==θθsin cos r y r x (| r |≤1)，⎩⎨⎧==θθsin cos b y a x 或⎩⎨⎧==θθtan sec b y a x ，其中θ的取值围取决于x ，y 的取值围，凡不能用重要不等式证明的问题时，一般可以优先考虑换元(代数换元或三角换元)，然后利用函数的单调性最终把问题解决．在三角换元中，由于已知条件的限制作用，根据问题需要，可能对引入的角度有一定的限制，应特别引起注意，否则可能会出现错误的结果．例2 已知1≤x 2＋y 2≤2，求证：21≤x 2－xy ＋y 2≤3． 证明：∵1≤x 2＋y 2≤2，∴可设x = rcos θ，y = rsin θ，其中1≤r 2≤2，0≤θ＜π2．∴x 2－xy ＋y 2= r 2－r 2sin θ2= r 2(1－21sin θ2)， ∵21≤1－21sin θ2≤23，∴21r 2≤r 2(1－21sin θ2)≤23r 2，而21r 2≥21，23r 2≤3， ∴ 21≤x 2－xy ＋y 2≤3． 例2 已知x 2－2xy ＋y 2≤2，求证：| x ＋y |≤10．证明：∵x 2－2xy ＋y 2= (x －y)2＋y 2，∴可设x －y = rcos θ，y = rsin θ，其中0≤r ≤2，0≤θ＜π2．∴| x ＋y | =| x －y ＋2y | = | rcos θ＋2rsin θ| = r|5sin(θ＋ractan21)|≤r 5≤10．例3 已知－1≤x ≤1，n ≥2且n ∈N ，求证：(1－x)n ＋(1＋x)n ≤2n ． 证明：∵－1≤x ≤1，设x = cos θ2 (0≤θ≤2π)， 则1－x =1－cos θ2= 1－(1－2sin 2θ) = 2sin 2θ，1＋x =1＋cos θ2= 2cos 2θ，∴(1－x)n ＋(1＋x)n = 2n sin n 2θ＋2n cos n 2θ≤2n ( sin 2θ＋cos 2θ) =2n ，故不等式(1－x)n ＋(1＋x)n ≤2n 成立．例4 求证：－1≤21x -－x ≤2．证明：∵1－x 2≥0，∴－1≤x ≤1，故可设x = cos θ，其中0≤θ≤π． 则21x -－x =θ2cos 1-－cos θ= sin θ－cos θ=2sin(θ－4π)， ∵－4π≤θ－4π≤43π， ∴－1≤2sin(θ－4π)≤2，即－1≤21x -－x ≤2． 三、增量代换法 在对称式(任意互换两个字母，代数式不变)和给定字母顺序(如a ＞b ＞c)的不等式，常用增量进行代换，代换的目的是减少变量的个数，使要证的结论更清晰，思路更直观，这样可以使问题化难为易，化繁为简．例7 已知a ，b ∈R ，且a ＋b = 1，求证：(a ＋2)2＋(b ＋2)2≥225． 证明：∵a ，b ∈R ，且a ＋b = 1，∴设a =21＋t ，b=21－t ， (t ∈R) 则(a ＋2)2＋(b ＋2)2= (21＋t ＋2)2＋(21－t ＋2)2= (t ＋25)2＋(t －25)2= 2t 2＋225≥225． ∴(a ＋2)2＋(b ＋2)2≥225． 例8 已知a 1＋a 2＋…＋a n = 1，求证：21a ＋22a ＋…＋2n a ≥n1． 证明：设a 1= t 1＋n 1，a 2= t 2＋n 1，…，a n = t n ＋n1，其中t 1＋t 2＋…＋t n = 0，则21a ＋22a ＋…＋2n a = (t 1＋n 1)2＋(t 2＋n 1)2＋…＋(t n ＋n 1)2= n ·21n＋2×n 1( t 1＋t 2＋…＋t n )＋…＋21t ＋22t ＋…＋2n t =n 1＋21t ＋22t ＋…＋2n t ≥n 1． 四、放缩法放缩法是在顺推法逻辑推理过程中，有时利用不等式的传递性，作适当的放大或缩小，证明不原不等式更强的不等式来代替原不等式的证明．这种证题方法的实质是非等价转化，而它的证题方法没有一定的准则和程序，需按题意适当．．放缩，否则是达不到目的．利用放缩法证明不等式，要根据不等式两端的特征及已知条件，采取舍掉式中一些正项或负项，或者在分式中放大或缩小分子、分母、把和式中的某些项换以较大或较小的数，从而达到证明不等式的目的．此类证法要慎审地采取措施，进行恰当地放缩，任何不适宜的放缩(放的过大或过小)都会导致推证的失败．例5 设n 为自然数，求证：91＋251＋…＋2)12(1+n ＜41． 证明：∵2)12(1+k =14412++k k ＜k k 4412+=41(k1－11+k )， ∴91＋251＋…＋2)12(1+n ＜41[(1－21)＋(21－31)＋…＋(n 1－11+n ) =41(1－11+n )＜41． ∴91＋251＋…＋2)12(1+n ＜41[(1－21)＋(21－31)＋…＋(n 1－11+n ) =41(1－11+n )＜41． 例5 已知a n =21⨯＋32⨯＋…＋)1(+n n ，其中n 为自然数， 求证：21n(n ＋1)＜a n ＜21(n ＋1)2． 证明：∵)1(+k k ＜21++k k =212+k 对任意自然数k 都成立， ∴a n =21⨯＋32⨯＋…＋)1(+n n ＜23＋25＋27＋…＋212+n =21[3＋5＋7＋…＋(2n ＋1)] =21(n ＋2n)＜21(n ＋2n ＋1) =21(n ＋1)2． 又)1(+k k ＞2k = k ，∴a n =21⨯＋32⨯＋…＋)1(+n n ＞1＋2＋3＋…＋n =21n(n ＋1)， ∴21n(n ＋1)＜a n ＜21(n ＋1)2． 评析：根据要证不等式的结构特征，应用均值不等式“放大”a n 为一个等差数列的和，求和后再添加一个数1，直到“放大”到要证的右边；而左边是通过“缩小”a n 的方法去根号而转化为等差数列的和．放大或缩小的技巧很多，如添项、减项、分子、分母加或减一个数，或利用函数的单调性、有界性等等，但要注意放缩要适度．11．设a 、b 为不相等的两正数，且a 3－b 3= a 2－b 2，求证：1＜a + b ＜34． 证明：由题意得a 2＋ab ＋b 2= a + b ，于是(a ＋b)2= a 2＋2ab ＋b 2＞a 2＋ab ＋b 2= a + b ，故a + b ＞1，又(a ＋b)2＞4ab ，而(a ＋b)2= a 2＋2ab ＋b 2= a ＋b ＋ab ＜a ＋b ＋4)(2b a +， 即43(a ＋b)2＜a ＋b ，解得a + b ＜34． ∴1＜a + b ＜34． 例12 已知a 、b 、c 、d 都是正数，求证：1＜c b a b ++＋d c b c ++＋a d c d ++＋ba d a ++＜2． 证明：∵d cb a b +++＜c b a b ++＜ba b +， d c b a c +++＜d c b c ++＜dc c +，d c b a d +++＜a d c d ++＜dc d +， d c b a a +++＜b a d a ++＜ba a +， 将上述四个同向不等式两边分别相加，得：1＜c b a b ++＋d c b c ++＋a d c d ++＋ba d a ++＜2．。
证明不等式的几种方法
不等式证明题的命题形式多样，证明不等式的方法也很多，如综合法、分析法、反证法、放缩法、构造法等.本文主要介绍一下综合法、分析法、反证法的应用技巧.一、综合法用综合法证明不等式，需先根据题目中的已知信息，以及已知的事实、结论、性质、定理等，一步步推导，直到推导出需要证明的式子为止.因而综合法就是由“因”到“果”的推导过程.每一步的推导过程一定要符合数学逻辑.在证明不等式时，可以从左往右推导，也可以从右往左推导.例1.若a,b,c是不完全相等的正数，求证：ln a+b2+ln b+c2+ln c+a2>ln a+ln b+ln c.证明：由于a,b,c都是正数，所以a+b2≥ab>0,b+c2≥bc>0,a+c2≥ac>0，又因为a,b,c是不完全相等的正数，如果这三个不等式都成立，就取不到等号，因此a+b2·b+c2·c+a2>ab·bc·ca=abc，在上式的两边取对数得：ln(a+b2·b+c2·c+a2)>ln(abc)，即：lna+b2+ln b+c2+ln c+a2>ln a+ln b+ln c.解答本题主要运用基本不等式a+b2≥ab；然后根据不等式的可乘性，通过取对数，将不等式左边的式子进行化简.在推导不等式的过程中，经常需要用到这几个不等式：a2+b2≥2ab,a+b2≥ab(当且仅当a=b时取等号).二、分析法用分析法解题的思路和综合法相反，用分析法证明不等式，需要从要证明的不等式出发，然后分析这个不等式成立的充分条件是什么，一步一步递推，证明不等式成立的充分条件符合题中给出的信息，或者符合已知的数学结论.一般来说，分析法常用于证明较复杂的不等式问题.若由不等式一边的式子很难推导出另一边的式子，就可以采用分析法进行证明，通过分析、推理，一步步简化不等式，最终得到一个比较简便的等价不等式.例2.设a>b>0,求证：(a-b)28a<a+b2-ab<(a-b)28b.证明：要证：(a-b)28a a+b2ab(a-b)28b，即证：(a+b)28a<(a-b)22<(a-b)28b，由于a>b>0，所以a≠b，即证：(a+b)24a<1<(a+b)24b，<1<1<，根据a>b>0，可知该不等式成立，于是得证：(a+b)28a<a+b2-ab<(a-b)28b.这个不等式较为复杂，我们很难从不等式左边的式子推导出右边的式子，同样也很难反向推导出结论，但是可以用分析法，将不等式一步步简化，先将中间项合并，再将其化为1，然后通过恒等变换，化简即可.三、反证法反证法是解答证明题的一个重要手段.一般地，当题目中出现“至少”“不存在”“至多”等字眼时，都可以考虑使用反证法进行证明.用反证法证明不等式，要首先假设命题不成立；然后结合题中已知的信息和已有的数学知识，得到存在矛盾的结论，那就说明假设的命题不成立，这样就可以证明不等式成立.例3.已知a>0,b>0，且a+b>2,求证：1+b a,1+a b中至少有一个小于2.证明：假设1+b a,1+a b都大于2，因为a>0,b>0，则1+b≥2a,1+a≥2b，将这两个式子相加得：2+a+b≥2a+2b，化简得：a+b≤2,与题目中的a+b>2相矛盾，因此，1+b a,1+a b中至少有一个小于2.由题目中出现了“至少”的字眼，所以考虑使用反证法进行证明.在提出假设命题时，要注意命题的反面情况，如“1+b a、1+a b至少有一个小于2”的反面情况是“1+b a、1+a b都大于2”.熟练掌握综合法、分析法、反证法的适用情形、特点，以及解题的步骤，对解题有很大的帮助.同学们在日常学习中，要学会积累解题技巧和规律，以提升解题的效率.（作者单位：江西省龙南中学）赖明辉备考指南59。
证明不等式的基本方法
恒成立，求实数a的取值范围”提出各自的解题思路．
甲说：“只须不等式左边的最小值不小于右边的最大值”； 乙说：“把不等式变形为左边含变量x的函数，右边仅含常 数，求函数的最值”； 丙说：“把不等式两边看成关于x的函数，作出函数图象”；
参考上述解题思路，你认为他们所讨论的问题的正确结论，
即a的取值范围是________． [答案] a≤10
[点评与警示] 论证过程中，执果索因与由因导果总是不
断变化，交替出现．尤其综合题推理较盲目时，利用分析法从
要证的问题入手，逐步推求，再用综合法逐步完善，最后找到 起始条件为止．
(人教版选修 4—5 第 30 页第 1 题)已知 a， b， c∈(0,1)， 1 求证：(1－a)b，(1－b)c，(1－c)a 不同时大于4.
[证明]
(反证法)假设(1－a)b，(1－b)c，(1－c)a 都大于 ①
1 1 (1－b)c· (1－c)a>64 4，则(1－a)b· 1 即[a(1－a)· b(1－b)· c(1－c)]>64
a＋1－a 2 1 而 0<a(1－a)≤[ ]＝ ， 2 4
1 1 0<b(1－b)≤ ，0<c(1－c)≤ 4 4 1 ∴[a(1－a)][b(1－b)][c(1－c)]≤ 与①矛盾 64 1 ∴(1－a)b，(1－b)c，(1－c)a 不同时大于 . 4
) B．a2＞b2 1a 1b D．(2) ＜(2)
1 2 ．若 a ＞ b ＞ 1 ， P ＝ lga· lgb ， Q ＝ (lga ＋ lgb) ， R ＝ 2 a＋b lg( )，则( 2 A．R＜P＜Q C．Q＜P＜R
[解析]
) B．P＜Q＜R
D．P＜R＜Q 1 ∵lga＞lgb＞0，∴ (lga＋lgb)＞ lga· lgb，即 Q 2
高中证明不等式的四大方法
高中证明不等式的四大方法
研究不等式是很重要的，它作为数学、物理和其他领域的基础，对日常生活也有着十分重要的意义。
高中时期学习不等式的过程中，常常会遇到如何证明不等式所带来的问题，证明不等式一般可以有四种方法：
一、函数极值法
函数极值法是借助函数及其导数的性质来证明不等式，判断函数的极值的性质，然后用极值来证明不等式。
这种方法适用于不等式中带有 x 的函数及其导数，比如函数 f ( x ) = x^2 + ax + b ( a，b 为常数) 的大于、小于及其证明，都可以用函数极值法来证明。
二、不等式组合法
不等式组合法是利用不等式和其他熟悉的性质，把不等式组合起来，以有效证明一个不等式的方法，一般可用自然数的定理、AM-GM 定理、费马平方和定理、牛顿黎曼不等式等方法结合不等式证明原不等式。
三、几何法
几何法是一种综合的方法，它的核心是运用间接证明的思想，通过几何形象中的定理，证明几何形象和不等式之间的关系，如正方形边长和正数之间的关系等。
四、数学归纳法
数学归纳法是一种经典的元素数学思想，包括数学归纳和数学归纳法，它利用数学归纳法的思想，由简到难，从某一特定情况，以及一切类似的情况中得出一般性的结论和推论，最终证明某个不等式。
以上就是证明不等式的四大方法。
不等式是所有科目中都有用到的知识，学习不等式也需要一定技巧，上面介绍的四大方法可以帮助我们更好的学习不等式，并有助于我们准确地研究不等式。
在数学学习中，不要把不等式搞混、弄回，按照上面介绍的四大方法认真学习，才能更好的掌握不等式的学习方法，正确地解答各种不等式的问题。
(完整版)不等式的证明方法大全,推荐文档
不等式的证明一、比较法：比较法是证明不等式的最基本、最重要的方法，它常用的证明方法有两种：1．作差比较法（1）应用范围：当欲证的不等式两端是多项式、分式或对数式时，常用此法。
（2）方法：欲证A>B,只需要证A-B>0（3）步骤：“作差----变形----判断符号”。
（4）使用此法作差后主要变形形式的处理：○将差变形为常数或一常数与几个平方和的形式常用配方法或实数特征a2≥0判断差符号。
○将差变形为几个因式的积的形式，常用因式分解法。
○若变形后得到二次三项式，常用判别式定符号。
2．作商比较法（1）应用范围：当要证的式子两端是乘积的形式或幂、指数时常用此法。
（2）方法：要证A>B,常分以下三种情况：若B>0，只需证明1A B >；若B=0，只需证明A>0；若B<0，只需证明1AB<。
（3）步骤：“作商-----变形-----判断商数与1的大小”例1 已知a ，b ∈R ，且a+b=1. 求证：()()2252222≥+++b a . 解析：用作差比较法a b b a R b a -=∴=+∈1,1,,()()2222259224()22a b a b a b ∴+++-=+++-2222911(1)4222(0222a a a a a =+-+-=-+=-≥即()()2252222≥+++b a （当且仅当21==b a 时，取等号）例2：已知a , b , m 都是正数，并且a < b ，求证：bam b m a >++解析：用作差比较法∵)()()()()(m b b a b m m b b m b a m a b b a m b m a +-=++-+=-++∵a ,b ,m 都是正数，并且a <b ，∴b + m > 0 , b a > 0∴0)()(>+-m b b a b m即：bam b m a >++例3：已知a>b>0,求证：()2a b a ba b ab +>解析：用作商比较法∵()222222a b a b a b a b a b a b a b a b a ba aabb ab -++-----+⎛⎫=== ⎪⎝⎭又∵a>b>0,()221,012a b a ba ba ab a b b a b ab -+-⎛⎫∴>>∴> ⎪⎝⎭∴>练习：已知a ，b∈R +，求证a a b b ≥a b b a ．例4：已知0 < x < 1, 0 < a < 1，试比较|)1(log | |)1(log |x x a a +-和的大小。
不等式证明常用方法
不等式证明常用方法不等式是中学数学最基本内容之一,它有着丰富的实际背景，与生产实践联系十分密切；因此，无论普通高考，还是对口高考，不等式,历年都是考试的重点、热点,甚至难点。
下面就不等式的证明，介绍几种常见方法，如有不对，敬请同行、同学们斧正. 一、作差法例1、对于任意实数x ,求证：x x 232>+.证明：∵x x 232-+=2)1(2+-x 0> ∴x x 232>+.评注:1.作差法步骤:作差—变形—判断与0的关系—结论.2.作差后的变形常用方法有因式分解、配方、通分、有理化等，应注意结合式子的形式，适当选用.二、作商法例2、设a ,b 均是正实数，求证：a b b a b a b a ≥.证明：首先，由条件0>bab a ,0>abb a ， 其次， b a a b b a b aba b a -=)(，⑴当0>≥b a 时，1≥ba，0≥-b a ，∴1)(≥-b a b a .⑵当0>>a b 时，10<<b a ，0<-b a ，∴1)(>-b a ba.综合⑴、⑵：1)(≥-b a ba，∴a b b a b a b a ≥.评注:1.作商法步骤:作商—变形—判断与1的关系—结论.2.作差法是通法，运用较广；作商法，要注意条件，不等式两边必须是正数。
作商法常用于证幂、指数形式的不等式。
三、综合法例3、设a ,b ,c 均是正实数,求证：c b a c ab b ca a bc ++≥++ 证明：∵a ,b ,c 均是正实数,∴a bc ,b ca ,cab也均是正实数.∴2,2,2bc ca ca ab ab bc c a b a b b c c a+≥+≥+≥∴2(bc a +)(2c b a c abb ca ++≥+， ∴c b a cab b ca a bc ++≥++ 评注：1.利用某些已经证明过的不等式（例如正数的算术均值不小于几何均数等）和不等式的性质(例如||||||||||b a b a b a +≤+≤-等)推导出所要证明的不等式成立，这种证明方法通常叫做综合法.2.综合法的思维特点是：由因导果，即由已知条件出发，利用已知的数学定理、性质和公式，推出结论的一种证明方法.3.运用综合法证明不等式，必须发现式子的结构特征，结合重要不等式和常用不等式，找到解题的方法。
高中数学证明不等式的九种常用方法
ab-a-b+1≥a+b-3 即ab≥a+b+(a+b-4) ∵a≥2，b≥2 ∴a+b-4≥0 ∴ab≥a+b 当且仅当a=b=2时等号成立 证毕
6 Math Part
构造法
6 Math Part 构造法
构造法：通过构造函数、图形、方程、数列、 向量等来证明不等式的方法。
本题我们使用构造函数和几何图形两种方法 来说明构造法的使用。
=a(b-1)-(b-1)-1
∴ab-a-b≥0
=(a-1)(b-1)-1
即ab≥a+b
∵a≥2，b≥2
证毕
2 Math Part
综合法
2 Math Part 综合法
综合法：综合法是从命题的已知条件出发， 利用公理、已知定义及定理，逐步推导，从 而最后推导出要证明的命题。
2 Math Part 综合法
4 Math Part 反证法
例题：已知a≥2，b≥2，求证：ab≥a+b
证明： 假设ab<a+b ab-a-b =a(b-1)-b =a(b-1)-(b-1)-1 =(a-1)(b-1)-1 ∵ab<a+b
∴(a-1)(b-1)<1
①
∵a≥2，b≥2
∴a-1≥1，b-1≥1
∴(a-1)(b-1)≥1
与①式矛盾
所以原命题成立
证毕
5 Math Part
公式法
5 Math Part 公式法
伯公努式利法不：等利式用：已有的不等式的定理、公式等 (1证+x明1)不(1等+x式2)…的(一1+种xn方) ≥法1。+x高1+中x2常…+见xn的公式有： 对基 栖于本 西任不不意等等1≤式式i,、、j≤绝加n都对权有值平x不均i>-等不1且式 等所、 式有均 、x值 切i与不 比x等雪j同式夫号、不
高二数学证明不等式的基本方法
1 a b c d 2 abd bca cba dac
例4 已知a,b是实数,求证 a b a b . 1 ab 1 a 1 b
证明: 0 a b a b
ab
1
1
1
若 在 上 述 溶 液 中 再 添 加mkg白 糖, 此 时 溶 液 的 浓 度
增加到a m ,将这个事实抽象为数学问题,并给出证明. bm
解 : 可以把上述事实抽象成如下不等式问题:
已知a,b, m都是正数,并a b且,则 a m a bm b
解 : 可以把上述事实抽象成如下不等式问题:
a
a a
abcd abd ab
b
b b
abcd bca ab
c
c c
abcd cdb cd
d
d d
abcd dac cd
把 以 上 四 个 不 等 式 相 加得
abcd a b c d abcd abd bca cbd dac
abc 故 a2b2 b2c2 c2a2 abc
abc
三、反证法与放缩法
(1)反证法
先假设要证的命题不成立,以此为出发点,结合已知条 件,应用公理,定义,定理,性质等,进行正确的推理,得到 和命题的条件(或已证明的定理,性质,明显成立的事实 等)矛盾的结论,以说明假设不正确,从而证明原命题成 立,这种方法称为反证法.对于那些直接证明比较困难 的命题常常用反证法证明.
证明: 假设a,b,c不全是正数,即其中至少有一个不是正数, 不妨先设a 0,下面分a 0和a 0两种情况讨论. (1)如果a 0,则abc 0,与abc 0矛盾, a 0不可能. (2)如果a 0,那么由abc 0可得bc 0, 又a b c 0, b c a 0,于是ab bc ca a(b c) bc 0, 这和已知ab bc ca 0相矛盾. a 0也不可能. 综上所述a 0,同理可证b 0,c 0, 所以原命题成立.
不等式的证明方法
不等式的证明方法不等式的性质和基本不等式是证明不等式的理论依据，但是由于不等式的形式多样，因此不等式的证明方法也很多。
我总结了一些不等式的证明方法 ，下面举例说明。
一. 比较法例1 求证：223x +>x .证明：因为()222155232320222x x x x x ⎛⎫+-=-+=-+≥> ⎪⎝⎭所以 223x +>x .证明例1的方法称为作差比较法。
用差与“0”比较大小。
例2 已知a >b>c>0,求证：()3a b c ab cab c abc ++>。
证明：因为()2223333a b c b a c c a b a b ca b c a b c abcabc ------++=333333a b a cb a b cc a c babc------+++=333a b a c b c a a b b c c ---⎛⎫⎛⎫⎛⎫= ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭且a >b>0, 所以a -b>0,1a b >，故31a b a b -⎛⎫> ⎪⎝⎭。
同理可证31a c a c -⎛⎫> ⎪⎝⎭，31b cb c -⎛⎫> ⎪⎝⎭。
所以3331a b a c b c a a b b c c ---⎛⎫⎛⎫⎛⎫> ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭，从而()3a b ca b ca b c a bc ++>。
证明例2的方法称为求商比较法。
用商与“1”比较大小。
二．反证法 例3是无理数。
=q p，p ≠0,且p,q 互素，则所以， 222p q = ①故2q 是偶数，q 也必是偶数。
不妨设q=2k,代入①式，则有2224pk =，即222p k =，所以，p 也是偶数.P 和q 都是偶数，它们有公约数2，这与p,q 互素相矛盾。
不是有理数，而是无理数。
证明例3的方法称为反证法。
当命题过于简单，或正面情况非常复杂时，一般用反证法。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
关于不等式的若干证明方法一、初等数学中不等式的证明方法（一）、比较法比较法是证明不等式中最常用的方法，包括求差比较法和求商比较法。
求差比较法就是把要比较的两个式子相减，判断差的符号；求商比较法一般就是对两个大于零的式子相除后，判断商是大于1，还是小于1。
例1 已知 0,,,>∈b a R y x 且1=+b a 求证 ()222by ax by ax +≥+证明 ()222ax by ax by +-+2222222ax by a x abxy b y =+---)()(222222abxy y b by abxy x a ax --+--= ])1[(])1[(ax y b by by x a ax --+--= 因为,1=+b a 所以a b b a =-=-1,1则()222ax by ax by +-+()()ax bx by by ay ax =-+- )()(y x aby y x abx ---= ))((y x y x ab --= 2)(y x ab -= 因为 ,0,>b a 所以0>ab又因为 ,0)(2≥-y x 所以0)(2≥-y x ab ，故原不等式成立。
例2 已知 +∈R b a , 求证 a b b a b a b a ≥证明 因为b a a b b a b aba b a -=)( ，+∈R b a ,所以当b a >时，1)(,0,1>>->-b a ba b a b a 当b a ≤时，1)(,0,1≥≤-≤-b a ba b a ba于是,1≥a b ba ba b a 即a b b a b a b a ≥（二）、分析法分析法是从证不等式出发，不断用充分条件替换前面不等式，直到找到成立的不等式，也就是“执因索果”。
利用分析法证明例1证明 为了证明 ()222by ax by ax +≥+ 只需证明 abxy y b by x a ax 2222222≥-+- 也即证明 abxy y b b x a a 2)1()1(22≥-+- 因为 1=+b a ，所以a b b a =-=-1,1 也即证明 abxy aby abx 222≥+ 因为 0,>b a ，所以0ab > 即需要证明 xy y x 222≥+因为 ,x y R ∈，所以 222x y xy +≥恒成立，故原不等式成立。
（三）、综合法综合法从已知不等式出发，不断用必要条件替换前面不等式，直至推出要证明的结论，也就是“由因索果”。
利用综合法证明例1证明 因为 ,x y R ∈，所以 222x y xy +≥ 因为 ,0a b >，所以 0ab >，所以 222abx aby abxy +≥ 因为 1a b +=，所以 1,1b a a b =-=- 所以 ()()22112a a x b b y abxy -+-≥所以 2222222ax a x by b y abxy -+-≥，所以原不等式成立。
（四）、反证法反证法即从否定的结论出发，经过逻辑推理导出矛盾，证实结论的否定是错误的，从而肯定结论是正确。
这里推出矛盾可能多种多样，有的与已知矛盾，有的与假设矛盾，有的与已知事实相违背，题目中含有“都”，“至少”，“至多”，“唯一”等字的时候常用的方法。
例3 已知 ,a b 是正数 求证 下列三个数中有一个不大于18()()()()()()()()()222222222111,,111111a b b c c a a b b c c a ---++++++ 证明 设三个都不小于18，即都大于等于18则()()()()()()222222222111111abc a b c a b c ---≥+++318(1) 因为()222112211a aa a ⎡⎤-⎢⎥≤+++⎢⎥⎣⎦12=，所以()()222211a a a -≤+18 同理 ()()2221181b b b-≤+ ()()2221181c c c -≤+ 则()()()()()()222222222111111abc a b c a b c ---≤+++318 (2) 所以（1）式与（2）式矛盾，故假设不成立，则原命题成立。
例4 已知 0,0,0a b c ab bc ca abc ++>++>>求证 0,0,0a b c >>> 证明 ①假设,,a b c 中有一个为负，则0abc <，这与已知条件“0abc >”相矛盾.②假设,,a b c 中两为负，如0,0,0a b c <<>，则()0a b b c c a b c a b c ++=++<这与已知条件“0ab bc ca ++>”矛盾.③假设,,a b c 都为负，则0abc <这与已知条件“0abc <”矛盾.④假设,,a b c 中至少有一个为0，则0abc =这与已知条件“0abc <”矛盾.（五）、判别式法此方法关键是首先构造一个不等式或二次方程，使要证明的不等式的有关部分为它的系数或常数项.例5 设()(),f x g x 在[],a b 均可积，则()()2b a f x g x dx ⎡⎤⎢⎥⎣⎦⎰≤()()2baf x dx⎰()()2bag x dx ⎰证明 若()(),f x g x 可积，则()()22,f x g x ，()()f x g x 都可积，且对任何t ，()()2f x tg x +⎡⎤⎣⎦可积,又()()2f x tg x +⎡⎤⎣⎦0≥，故()()2ba f x tg x dx +⎡⎤⎣⎦⎰0≥,即()2baf x dx ⎰+()()2b at f x g x dx ⎰+()22bat g x dx ⎰0≥不等式右边上关于t 的二次三项式，故它的判别式 0∆≤即∆=()()24b a f x g x dx ⎡⎤⎢⎥⎣⎦⎰()()224b ba a f x dx g x dx -⎰⎰0≤故()()2ba f x g x dx ⎡⎤⎢⎥⎣⎦⎰≤()()2baf x dx⎰()()2bag x dx ⎰例6 已知 y =2sin2A +2sin 2B +2sin 2C ，A B C ++=π 求证 34y ≥ 证明 因为 2sin 2A y =+2sin 2B +2sin 2C21cos 1cos sin 222A B C--=++ 2cos cos 1B A +-=+2sin 2C21cos sin sin 222A B C C-=-+所以 2sin 2C -cossin 22A B C-+()10y -= 又因为 sin 2C 为实数 所以 ()2cos 4102A B y -⎛⎫∆=--= ⎪⎝⎭ 因为 244cos 32A B y -=-≥ 所以 34y ≥（六）、换元法[]4换元法是不等式证明中重要变形方法，对结构较复杂，量与量之间的关系不甚明了的命题，恰当引入新变量代换原理中的部分式子，简化结构，使其转化为便于研究的形式，常见有三角代换和代数代换，但换时要注意新的变量的取值范围，保证代换的等价性.例7 利用三角换元法已知221x y +≤ 求证 222x xy y +-≤证明 令cos ,sin x r y r θθ==，其中01r ≤≤ 则222x xy y +-=22222cos 2cos sin sin r r r θθθθ+-=2cos22r sin θθ+2sin 24πθ⎛⎫+ ⎪⎝⎭≤ 例8 利用代数代换已知 ,,a b c 为正数 求证 ()()()a b c c a b b c a abc +-+-+-≤ 证明 设2,2,2a b c x c a b y b c a z +-=+-=+-= 则,,a x y b x z c z y =+=+=+且,,x y z 中最多有一个是负数 当,,x y z 都为非负数时，有x y y z z x +≤+≤+ 则()()()8xyz x y y z z x ≤+++，即原不等式成立当0xyz <时，由于0abc >，则8xyz abc <，即原不等式成立（七）、放缩法放缩法是把要证明的不等式的一边，通过放大或缩小，借助一个或多个中间量，利用不等式的传递性，达到欲证的目的。
但要注意放缩的标准，要恰到好处.常用的放缩法有增减的，利用分式的性质，利用不等式的性质，均值不等式，函数性质.例9 证明 2222119cos sin cos sin ααββ+≥ 0,022ππαβ⎛⎫<<<< ⎪⎝⎭证222211cos sin cos sin ααββ+=22214cos sin sin 2ααβ+ ≥2214cos sin αα+ =1+2241tg ctg αα⎡⎤++⎣⎦=αα2245ctg tg ++ 54≥+=9例10 已知 ,,,a b c d 为正数 求证12a b c da b c a b c b c d a c d<+++<++++++++ 证明 由,,,a b c d 为正数，则有a b c da b c a b c b c d a c d+++++++++++a b c da b c d a b c d a b c d a b c d >+++++++++++++++=1 又有a b c d a b c da b c a b c b c d a c d a b a b c d c d+++<+++++++++++++++=2 故12a b c da b c a b c b c d a c d<+++<++++++++ （八）、增量法①利用命题“若a b >，则a b α=+ ()0α>”例11 已知 ,a b 是正数，且a b ≠，求证 3322a b a b ab +>+ 证明 不防设a b >0>，令a b α=+ ()0α>，则()33333223233a b b b b b b αααα+=++=+++()2222322()23a b ab b b b b b b b αααα+=+++=++因为0,0,b α>> 所以2320b αα+>，两边同时加上 32223b b b αα++得322332223323b b b b b b ααααα+++>++,即3322a b a b ab +>+注意：一般地，当给出x y >的关系式时，我们可以将x 表示为x y α=+ ，其中0α>为增量.这样的代换称为和增量代换，它给出了不等量,x y 间的等量关系，从而应用恒等变形的手段进行某些不等式的运算，达到降低运算量，顺利解决问题的目的。