第2课时不等式的证明1．不等式证明的方法(1)比较法：①作差比较法：知道a>b⇔a－b>0，ab只要证明a－b>0即可，这种方法称为作差比较法．②作商比较法：由a>b>0⇔>1且a>0，b>0，因此当a>0，b>0时，要证明a>b，只要证明>1即可，这种方法称为作商比较法．(2)综合法：从已知条件出发，利用不等式的有关性质或定理，经过推理论证，最终推导出所要证明的不等式成立，这种证明方法叫综合法．即“由因导果”的方法．(3)分析法：从待证不等式出发，逐步寻求使它成立的充分条件，直到将待证不等式归结为一个已成立的不等式(已知条件、定理等)，从而得出要证的不等式成立，这种证明方法叫分析法．即“执果索因”的方法．(4)反证法和放缩法：①先假设要证的命题不成立，以此为出发点，结合已知条件，应用公理、定义、定理、性质等，进行正确的推理，得到和命题的条件(或已证明的定理、性质、明显成立的事实等)矛盾的结论，以说明假设不正确，从而证明原命题成立，这种方法叫做反证法．②在证明不等式时，有时要把所证不等式的一边适当地放大或缩小，此利于化简并使它与不等式的另一边的关系更为明显，从而得出原不等式成立，这种方法称为放缩法．(5)数学归纳法：一般地，当要证明一个命题对于不小于某正整数n0的所有正整数n都成立时，可以用以下两个步骤：①证明当n＝n0时命题成立；②假设当n＝k(k∈N*，且k≥n0)时命题成立，证明n＝k＋1时命题也成立．在完成了这两个步骤后，就可以断定命题对于不小于n0的所有正整数都成立．这种证明方法称为数学归纳法．2．几个常用基本不等式(1)柯西不等式：①柯西不等式的代数形式：设a，b，c，d均为实数，则(a2＋b2)(c2＋d2)≥(ac＋bd)2(当且仅当ad＝bc时，等号成立)．②柯西不等式的向量形式：设α，β为平面上的两个向量，则|α||β|≥|α·β|，等号当且仅当α，β共线时成立．③柯西不等式的三角不等式：设x1，y1，x2，y2，x3，y3∈R，则＋≥.④柯西不等式的一般形式：设n为大于1的自然数，ai，bi(i＝1,2，…，n)为实数，则(a＋a＋…＋a)(b＋b＋…＋b)≥(a1b1＋a2b2＋…＋anbn)2，等号当且仅当＝＝…＝时成立(当ai＝01时，约定bi＝0，i＝1,2，…，n)．(2)算术—几何平均不等式若a1，a2，…，an为正数，则≥，当且仅当a1＝a2＝…＝an时，等号成立．1．设a，b，m，n∈R，且a2＋b2＝5，ma＋nb＝5，求的最小值．解根据柯西不等式(ma＋nb)2≤(a2＋b2)(m2＋n2)，得25≤5(m2＋n2)，m2＋n2≥5，的最小值为.2．若a，b，c∈(0，＋∞)，且a＋b＋c＝1，求＋＋的最大值．解(＋＋)2＝(1×＋1×＋1×)2≤(12＋12＋12)(a＋b＋c)＝3.当且仅当a＝b＝c＝时，等号成立．∴(＋＋)2≤3.故＋＋的最大值为.3．设x>0，y>0，若不等式＋＋≥0恒成立，求实数λ的最小值．解 x>0，y>0，∴原不等式可化为－λ≤(＋)(x＋y)＝2＋＋. 2＋＋≥2＋2＝4，当且仅当x＝y时等号成立．∴min＝4，即－λ≤4，λ≥－4.题型一用综合法与分析法证明不等式例1(2016·南通二模)(1)已知x，y均为正数，且x>y，求证：2x＋≥2y＋3；(2)设a，b，c>0且ab＋bc＋ca＝1，求证：a＋b＋c≥.证明(1)因为x>0，y>0，x－y>0，2x＋－2y＝2(x－y)＋＝(x－y)＋(x－y)＋≥3＝3，所以2x＋≥2y＋3.(2)因为a，b，c>0，所以要证a＋b＋c≥，只需证明(a＋b＋c)2≥3.即证：a2＋b2＋c2＋2(ab＋bc＋ca)≥3，而ab＋bc＋ca＝1，故需证明：a2＋b2＋c2＋2(ab＋bc＋ca)≥3(ab＋bc＋ca)．即证：a2＋b2＋c2≥ab＋bc＋ca.而ab＋bc＋ca≤＋＋＝a2＋b2＋c2(当且仅当a＝b＝c时等号成立)成立．所以原不等式成立．思维升华用综合法证明不等式是“由因导果”，用分析法证明不等式是“执果索因”，它们是两种思路截然相反的证明方法．综合法往往是分析法的逆过程，表述简单、条理清楚，所以在实际应用时，往往用分析法找思路，用综合法写步骤，由此可见，分析法与综合法相互转化，互相渗透，互为前提，充分利用这一辩证关系，可以增加解题思路，开阔视野．设a、b、c均为正数，且a＋b＋c＝1，证明：2(1)ab＋bc＋ac≤；(2)＋＋≥1.证明(1)由a2＋b2≥2ab，b2＋c2≥2bc，c2＋a2≥2ac得a2＋b2＋c2≥ab＋bc＋ca.由题设得(a＋b...
