[新步步高]2017版高考数学（理）人教A版（全国）一轮复习 第14章 系列4选讲 14.3 课时2 文档.docVIP

课时2　不等式的证明 1.不等式证明的方法 (1)比较法： ①作差比较法： 知道ab?a－b0，ab?a－b0，因此要证明ab只要证明a－b0即可，这种方法称为作差比较法. ②作商比较法： 由ab0?1且a0，b0，因此当a0，b0时，要证明ab，只要证明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时，等号成立). ②柯西不等式的向量形式：设α，β是两个向量，则|α||β|≥|α·β|，当且仅当β是零向量，或存在实数k，使α＝kβ时，等号成立. ③柯西不等式的三角不等式：设x1，y1，x2，y2，x3，y3∈R，则＋≥. ④柯西不等式的一般形式：设a1，a2，a3，…，an，b1，b2，b3，…，bn是实数，则(a＋a＋…＋a)(b＋b＋…＋b)≥(a1b1＋a2b2＋…＋anbn)2，当且仅当bi＝0 (i＝1,2，…，n)或存在一个数k，使得ai＝kbi (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.设x0，y0，若不等式＋＋≥0恒成立，求实数λ的最小值. 解　∵x0，y0， ∴原不等式可化为－λ≤(＋)(x＋y)＝2＋＋. ∵2＋＋≥2＋2＝4，当且仅当x＝y时等号成立. ∴min＝4，即－λ≤4，λ≥－4. 题型一　用综合法与分析法证明不等式 例1　(1)已知x，y均为正数，且xy，求证：2x＋≥2y＋3； (2)设a，b，c0且ab＋bc＋ca＝1，求证：a＋b＋c≥. 证明　(1)因为x0，y0，x－y0， 2x＋－2y＝2(x－y)＋ ＝(x－y)＋(x－y)＋ ≥3＝3， 所以2x＋≥2y＋3. (2)因为a，b，c0，所以要证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，证明： (1)ab＋bc＋ac≤；(2)＋＋≥1. 证明　(1)由a2＋b2≥2ab，b2＋c2≥2bc，c2＋a2≥2ac得 a2＋b2＋c2≥ab＋bc＋c