基本不等式的证明

证明基本不等式的方法基本不等式是解决数学不等式问题中常用的方法，其核心思想是将一个不等式转化为另一个更简单的不等式，从而得到所需的解集。

在证明基本不等式的方法上，可以分为以下几种常见的方式：1.数学归纳法：数学归纳法是证明基本不等式的一种常用方法。

首先，我们需要证明当不等式成立时，对于一些特定的值$n$，不等式也成立。

接着，我们假设当$n=k$时不等式成立，可以通过这个假设证明当$n=k+1$时不等式成立。

最后，根据归纳法的原理，我们可以得出不等式对于所有自然数$n$成立。

2.递推法：递推法是证明基本不等式的另一种常用方法。

我们首先找到一个较小的数$k$，证明不等式对于这个特定的数成立。

然后，我们假设当$n=k$时不等式成立，接着通过这个假设证明当$n=k+1$时不等式也成立。

最后，根据递推法的原理，我们可以得出不等式对于所有自然数$n$成立。

3.反证法：反证法是证明基本不等式的另一种有效方法。

我们首先假设不等式不成立，即假设存在一些数使得不等式不成立。

接着，我们通过一系列的推导和推理，得出矛盾的结论。

这表明我们的假设是错误的，即不等式是成立的。

4.变量替换法：变量替换法是证明基本不等式的一种常用方法。

我们首先对不等式进行变量替换，将其转化为一个使用其他变量的等价不等式。

然后，通过对这个等价不等式进行一系列的变换和推导，我们可以得出所需的结论。

5.辅助不等式法：辅助不等式法是证明基本不等式的一种有效方法。

我们首先找到一个与原不等式相关的不等式，这个不等式往往更容易证明。

然后，我们通过对这个辅助不等式的推导和推理，结合原不等式的特点，得出所需的结论。

无论采用哪种方法，证明基本不等式的关键在于用恰当的方法将其转化为另一个更简单或更容易证明的不等式。

此外，在证明过程中需要注意推导的合理性和严密性，关注每一步的符号变化和不等式的严格性，避免出现错误的结论。

在证明过程中，也可以适当地运用数学知识和技巧，如代数运算、函数性质和数列性质等，使证明更加简洁和高效。

基本不等式几何证明方法宝子，今天咱来唠唠基本不等式的几何证明方法，可有趣啦。

咱先说说基本不等式是啥哈，就是对于正实数a、b，有(a + b)/(2) ≥ √(ab)，当且仅当a = b时等号成立。

那它的几何证明可形象了呢。

想象一个直角三角形，设直角边为a和b。

我们以a + b为边长构造一个正方形。

这个正方形的面积就是(a + b)^2。

然后呢，我们把这个正方形进行分割。

在这个正方形里，有四个直角三角形，每个直角三角形的直角边就是a和b。

那这四个直角三角形的面积总和就是4×(1)/(2)ab = 2ab。

中间还剩下一个小正方形，这个小正方形的边长就是a - b（假设a>b哈），它的面积就是(a - b)^2。

所以整个大正方形的面积(a + b)^2就等于四个直角三角形面积加上中间小正方形面积，也就是(a + b)^2=4×(1)/(2)ab+(a - b)^2。

化简一下就得到(a + b)^2≥4ab，两边同时除以4，就有((a + b)^2)/(4)≥ ab，再开个方，就得到(a + b)/(2) ≥ √(ab)啦。

你看，当中间小正方形面积为0的时候，也就是a = b的时候，这个等号就成立了呢。

就好像这个正方形被分割得特别规整的时候。

还有一种几何证明也很有意思哦。

我们画一个半圆，直径是a + b。

然后在直径上取一点，把直径分成a和b两段。

从这点作一条垂直于直径的弦。

根据圆的性质，这条弦长的一半就是√(ab)。

而半圆的半径就是(a + b)/(2)。

因为弦长的一半肯定小于等于半径呀，所以又一次证明了(a + b)/(2) ≥ √(ab)。

当这条弦刚好是直径的时候，也就是a = b的时候，等号就成立啦。

宝子，这么看基本不等式的几何证明是不是超级好理解，就像看一幅画一样，一下子就明白这个不等式为啥是成立的啦。

基本不等式链的推导过程一、基本不等式1.a+c≤b+c（加法性）2. ac ≤ bc（乘法性）其中，c是任意实数。

二、推导过程1.不等式基本性质首先，需要了解不等式的基本性质。

不等式具有传递性和对称性。

传递性：如果a≤b且b≤c，则a≤c。

对称性：如果a≤b，则-b≤-a。

这两个性质可以在推导不等式的过程中使用，以便更方便地化简不等式。

2.不等式的加法性推导考虑如下的两个不等式：a≤bc≤d根据加法性，可以得到以下不等式：a+c≤b+ca+c≤a+d3.不等式的乘法性推导考虑如下的两个不等式：a≤bc>0根据乘法性，可以得到以下不等式：ac ≤ bc而如果c<0，则不等号反向：a≥bc<0ac ≥ bc4.不等式的绝对值性质绝对值也可以用于推导不等式链。

对于任意实数a，有以下性质：a，≥0绝对值的乘法性质：ab， = ，a，，b绝对值的加法性质：a+b，≤，a，+，b5.不等式链推导通过以上基本不等式和性质，可以进行不等式链的推导。

例如，证明一个数的平方大于或等于该数的绝对值的平方：假设a为实数，则有以下不等式：a^2≥0（平方的非负性质：对于任意实数，其平方大于等于零）a，^2=a^2（绝对值平方的性质）综上所述，得到a^2≥，a，^2，即任意实数的平方大于等于其绝对值的平方。

另一个例子是证明两个正实数的乘积大于或等于其和的一半：假设a和b为正实数，则有以下不等式：(a + b)^2 ≥ 4ab （平方的扩展性质）a^2 + 2ab + b^2 ≥ 4aba^2 -2ab + b^2 ≥ 0(a-b)^2≥0综上所述，得到(a + b)^2 ≥ 4ab，即两个正实数的乘积大于等于其和的一半的平方。

6.使用归纳法推导更复杂的不等式链以上介绍的是基本不等式链的推导过程，可以用来证明一些简单的不等式。

但是对于更复杂的不等式链，可能需要使用数学归纳法等更高级的推导方法。

总结：基本不等式链是数学推导中常用的工具，通过加法性、乘法性、绝对值性质和传递性等基本定理，可以推导出一系列有关数的大小关系的定理和结论。

不等式的证明最新考纲 通过一些简单问题了解证明不等式的基本方法：比较法、综合法、分析法．知 识 梳 理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 |的充要条件.。

不等式常见的三种证明方法渠县中学 刘业毅一用基本不等式证明设c b a ,,都是正数。

求证：.c b a cab b ac a bc ++≥++ 证明：.22c bac a bc b ac a bc =•≥+ .22b cab a bc c ab a bc =•≥+ .22a cab b ac c ab b ac =•≥+ ).(2)(2c b a cab b ac a bc ++≥++ .c b a cab b ac a bc ++≥++ 点评：可用综合法分析乘积形式运用不等式可以转化为所求。

思维训练：设c b a ,,都是正数。

求证：.222c b a c b a a c b ++≥++ 二 放缩法证明不等式已知，对于任意的n 为正整数，求证： 1+221+321+ +n 21<47 分析：通过变形将数列{n 21}放缩为可求数列。

解： n 21=n n •1<)1(1-n n =11-n —n1（n ≥2） ∴1+221+321+ +n 21<1+221+231⨯+341⨯+ +)1(1-n n =1+41+(21—31+31—41+ +11-n —n1) =45+21—n1 =47—n 1 点评：放缩为可求和数列或公式是高考重要思想方法。

思维训练：设c b a ,,都是正数，a+b>c,求证：a a +1+b b +1>cc +1三 构造函数法证明 证明不等式3ln 3121112ln <+++++<nn n （n 为正整数） 分析：显然要构造一个含n 的不等式，然后用叠加法证明。

我们构造一个函数,1)(',ln 1)(2xx x f x x x x f -=+-=可得这个函数在x=1时取得最小值0.及对x>0有不等式x x 11ln -≥，如果令x=k k 1+，则有111ln +>+k k k ，如果令x=1+k k ，则kk k ->+11ln ，即kk k k 1ln )1ln(11<-+<+，然后叠加不等式即可。

不等式的性质证明不等式是数学中常见的概念，它描述了两个数、两个算式或两个函数之间的大小关系。

在数学研究和实际问题中，不等式的性质具有重要的意义。

本文将深入探讨不等式的基本性质，并进行相应的证明。

一、不等式的基本性质1. 传递性：对于任意的实数a、b、c，若a < b，b < c，则有a < c。

即如果一个数小于另一个数，而另一个数又小于另一个数，那么第一个数一定小于第三个数。

证明：设a < b，b < c，用反证法。

假设a ≥ c，那么由于a < b，根据传递性得知b ≥ c，与b < c矛盾。

故假设不成立，得证。

2. 加法性：对于任意的实数a、b、c，若a < b，则有a + c < b + c。

即两个不等式的同侧同时加上一个相同的数，不等号的方向不变。

证明：设a < b，用反证法。

假设a + c ≥ b + c，那么由于a < b，根据传递性得知a + c < b + c，与假设矛盾。

故假设不成立，得证。

3. 乘法性：对于任意的实数a、b和正数c，若a < b且c > 0，则有ac < bc。

即两个不等式的同侧同时乘上一个正数，不等号的方向不变；若c < 0，则有ac > bc，即两个不等式的同侧同时乘上一个负数，不等号的方向反向。

证明：设a < b，用反证法。

假设ac ≥ bc，若c > 0，则由于a < b，根据乘法性得知ac < bc，与假设矛盾；若c < 0，则有ac > bc，同样与假设矛盾。

故假设不成立，得证。

二、不等式中的常见定理及证明1. 加法定理：对于任意的实数a，b和c，若a < b，则有a + c < b + c。

证明：设a < b，令d = b - a，根据传递性得知0 < d。

由于c > 0，根据乘法性可得0 < c × d。

基本不等式的20种证明方法
基本不等式“基本”在哪里？你认为怎样得引入最能体现他的本质？
（1）做差证明
（2）分析法证明
（3）综合法证明
（4）排序不等式
根据排序不等式所说的逆序和小于等于顺序和，便能得到
化简得
（5）函数证明
我们对原函数求导,并令导数等于零。

求的最小值
得出
（5）指数证明
首先这里要用到两个梯形的面积公式。

一个是大家小学都学过的
易得
进而有
进一步有
指取对有
（6）琴生不等式证明
取 y=lnx
由琴生不等式得到
进而有
（7）无字证明（Charles D. Gallant）
（8）无字证明（Doris Schattschneider）
（9）无字证明（Roland H. Eddy）
（10）无字证明（Ayoub B. Ayoub）
（11）无字证明（Sidney H. Kung）
（12）无字证明（Michael K. Brozinsky）
（13）无字证明（Edwin Beckenbach & RichardBellman）
（14）无字证明
（15）无字证明（RBN）
（16）无字证明
进而有
（17）无字证明
进而有
（18）无字证明
有
（19）构造函数证明
由
得
（20）构造期望方差证明
由
得
另外还有向量法，复数法，积分法等，均值定理在数学内外有广泛得运用，不仅可以推广，还可以联系多个领域，一个简单结论证明的背后往往可展示引人人胜的各种思路！。

基本不等式的证明1.代数法定理1：如果,a b R ∈,那么222a b ab +≥，当且仅当a b =时，等号成立。

证明: ()2222a b ab a b +-=- 当a b ≠时()2a b ->0当a b =时()2a b -=0，所以 ()2a b -≥0，即 22a b +≥2ab.定理2：如果,0a b >，那么2a b +≥a b =时，等号成立。

证明： 22+≥∴ a b +≥即2a b +≥显然，当且仅当a b =时，2a b +这里,a b 均为正数，我们就称2a b +为,a b ,a b 的几何平均数，因而，这一定理又可叙述为：两个正数的算术平均数不小于（即大于或等于）它们的几何平均数。

2.几何面积法如图，在正方形中有四个全等的直角三角形。

设直角三角形的两条直角边长为、，那么正方形的边长为。

这样，4个直角三角形的面积的和是，正方形的面积为。

由于4个直角三角形的面积小于正方形的面积，所以：。

当直角三角形变为等腰直角三角形，即时，正方形缩为一个点，这时有。

得到结论：如果，那么（当且仅当a b =时，等号成立） 特别的，如果，,我们用、分别代替、，可得： 如果，,则，（当且仅当a b =时，等号成立）.通常我们把上式写作：如果，,，（当且仅当a b =时，等号成立）最值定理：当两个正数的和一定时，其乘积有最大值；当两个正数的乘积一定时。

其和有最 小值。

现给出这一定理的一种几何解释（图1）.以a b +长的线段为直径作圆，在直径AB 上取点C ，使AC=a ，CB=b .过点C 作垂直于直径AB 的弦'DD ，连接AD 、DB ，易证,那么即CD =这个圆的半径为2a b +，显然，它大于或等于CD ，即 2a b +≥ 其中当且仅当点C 与圆心重合，即a b =时，等号成立. 如果把2a b +看作是正数,a b,a b 的等比中项，那么该定理可以叙述为：两个正数的等差中项不小于它们的等比中项.例1. 如果,a b R +∈，试比较2a b +211a b +的大小 解： ,a b R +∈， ∴b a 11+≥ab 12即211a b+≤又22⎪⎭⎫ ⎝⎛+b a =4222ab b a ++≤42222b a b a +++=222b a + ∴2a b +≤a b =时，等号成立而由定理2≤2a b +≥2a b +≥≥211a b+（当且仅当a b =时，等号成立）。