2017_2018学年高中数学第二讲证明不等式的基本方法二综合法与分析法学案含解析新人教A版选修.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. 移项，得