2017-2018年高中数学 第二讲 证明不等式的基本方法 二 综合法与分析法学案（含解析）新人教A版选修4-5.docVIP

二 综合法与分析法 1．综合法 (1)定义 从已知条件出发，利用定义、公理、定理、性质等，经过一系列的推理、论证而得出命题成立，这种证明方法叫做综合法．综合法又叫顺推证法或由因导果法． (2)证明的框图表示 用P表示已知条件或已有的不等式，用Q表示所要证明的结论，则综合法可用框图表示为 →→→…→ 2．分析法 (1)定义 证明命题时，从要证的结论出发，逐步寻求使它成立的充分条件，直至所需条件为已知条件或一个明显成立的事实(定义、公理或已证明的定理、性质等)，从而得出要证的命题成立，这种证明方法叫做分析法．分析法又叫逆推法或执果索因法． (2)证明过程的框图表示 用Q表示要证明的不等式，则分析法可用框图表示为→→→…→ 用综合法证明不等式 　已知x0，y0，且x＋y＝1，求证：·≥9. 　可将所证不等式左边展开，运用已知和基本不等式可得证，也可以用x＋y取代“1”，化简左边，然后再用基本不等式． 　法一：x0，y0，1＝x＋y≥2. xy≤. ∴＝1＋＋＋ ＝1＋＋＝1＋≥1＋8＝9. 当且仅当x＝y＝时，等号成立． 法二：x＋y＝1，x0，y0， ＝ ＝ ＝5＋2 ≥5＋2×2＝9. 当且仅当x＝y＝时， 等号成立． 综合法证明不等式，揭示出条件和结论之间的因果联系，为此要着力分析已知与求证之间、不等式的左右两端之间的差异与联系．合理进行转换，恰当选择已知不等式，这是证明的关键． 1．已知a，b，cR＋，证明不明式：a＋b＋c≥＋＋，当且仅当a＝b＝c时，等号成立． 证明：因为a0，b0，c0，故有 a＋b≥2，当且仅当a＝b时，等号成立； b＋c≥2，当且仅当b＝c时，等号成立； c＋a≥2，当且仅当c＝a时，等号成立． 三式相加，得a＋b＋c≥＋＋. 当且仅当a＝b＝c时，等号成立． 2．已知a，b，c都是实数，求证： a2＋b2＋c2≥(a＋b＋c)2≥ab＋bc＋ca. 证明：a，b，cR， a2＋b2≥2ab，b2＋c2≥2bc，c2＋a2≥2ca. 将以上三个不等式相加，得 2(a2＋b2＋c2)≥2(ab＋bc＋ca)， 即a2＋b2＋c2≥ab＋bc＋ca. 在不等式的两边同时加上“a2＋b2＋c2”，得 3(a2＋b2＋c2)≥(a＋b＋c)2， 即a2＋b2＋c2≥(a＋b＋c)2. 在不等式的两端同时加上2(ab＋bc＋ca)，得 (a＋b＋c)2≥3(ab＋bc＋ca)， 即(a＋b＋c)2≥ab＋bc＋ca. 由，得a2＋b2＋c2≥(a＋b＋c)2≥ab＋bc＋ca. 用分析法证明不等式 　　　已知x0，y0，求证：(x2＋y2)(x3＋y3). 　不等式两边是根式，可等价变形后再证明．分析每一步成立的充分条件． 　要证明(x2＋y2)(x3＋y3)， 只需证(x2＋y2)3(x3＋y3)2， 即证x6＋3x4y2＋3x2y4＋y6x6＋2x3y3＋y6， 即证3x4y2＋3x2y42x3y3. x0，y0，x2y20. 即证3x2＋3y22xy. 3x2＋3y2x2＋y2≥2xy， 3x2＋3y22xy成立． (x2＋y2)(x3＋y3). (1)当所证不等式与重要不等式、基本不等式没有什么直接联系，或条件与结论之间的关系不明显时，可用分析法来寻找证明途径． (2)分析法证明的关键是推理的每一步都必须可逆． 3．求证：＋2. 证明：分析法： ＋0,20，要证 ＋2， 只需证明(＋)2(2)2. 展开，得10＋220.即证210， 即证2125(显然成立)． ＋2. 4．已知a，bR＋，且2ca＋b. 求证：c－ac＋. 证明：要证c－ac＋， 只需证－a－c， 即证|a－c|， 两边平方，得a2－2ac＋c2c2－ab， 也即证a2＋ab2ac，即a(a＋b)2ac. a，bR＋，且a＋b2c，a(a＋b)2ac显然成立． 原不等式成立. 综合法与分析法的综合应用 　设a0，b0，且a＋b＝1，求证：＋≤. 　所证不等式含有开方运算且两边都为正数，可考虑两边平方，用分析法转化为一个不含开方运算的不等式，再用综合法证明． 　要证＋≤， 只需证(＋)2≤6，即证(a＋b)＋2＋2≤6. 由a＋b＝1，得只需证 ≤，即证ab≤. 由a0，b0，a＋b＝1，得ab≤2＝，即ab≤成立． 原不等式成立． (1)通过等式或不等式的运算，将待证的不等式化为明显的、熟知的不等式，从而使原不等式易于证明． (2)有些不等式的证明，需要一边分析一边综合，称之为分析综合法，或称“两头挤”法，如本例，这种方法充分表明了分析法与综合法之间互为前提，互相渗透，相互转化的辩证统一关系． 5．已知a，b，c都是正数， 求证：2≤3. 证明：法一：要证2≤3， 只需证a＋b－2≤a＋b＋c－3， 即－2≤c－3. 移项，得