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

PAGE PAGE 1二 综合法与分析法1．综合法(1)定义从已知条件出发，利用定义、公理、定理、性质等，经过一系列的推理、论证而得出命题成立，这种证明方法叫做综合法．综合法又叫顺推证法或由因导果法．(2)证明的框图表示用P表示已知条件或已有的不等式，用Q表示所要证明的结论，则综合法可用框图表示为eq \x(P?Q1)→eq \x(Q1?Q2)→eq \x(Q2?Q3)→…→eq \x(Qn?Q)2．分析法(1)定义证明命题时，从要证的结论出发，逐步寻求使它成立的充分条件，直至所需条件为已知条件或一个明显成立的事实(定义、公理或已证明的定理、性质等)，从而得出要证的命题成立，这种证明方法叫做分析法．分析法又叫逆推法或执果索因法．(2)证明过程的框图表示用Q表示要证明的不等式，则分析法可用框图表示为eq \x(Q?P1)→eq \x(P1?P2)→eq \x(P1?P3)→…→eq \x(得到一个明显成立的条件)用综合法证明不等式　已知x0，y0，且x＋y＝1，求证：eq \b\lc\(\rc\)(\a\vs4\al\co1(1＋\f(1,x)))·eq \b\lc\(\rc\)(\a\vs4\al\co1(1＋\f(1,y)))≥9.　可将所证不等式左边展开，运用已知和基本不等式可得证，也可以用x＋y取代“1”，化简左边，然后再用基本不等式．　法一：∵x0，y0，∴1＝x＋y≥2eq \r(xy).∴xy≤eq \f(1,4).∴eq \b\lc\(\rc\)(\a\vs4\al\co1(1＋\f(1,x)))eq \b\lc\(\rc\)(\a\vs4\al\co1(1＋\f(1,y)))＝1＋eq \f(1,x)＋eq \f(1,y)＋eq \f(1,xy)＝1＋eq \f(x＋y,xy)＋eq \f(1,xy)＝1＋eq \f(2,xy)≥1＋8＝9.当且仅当x＝y＝eq \f(1,2)时，等号成立．法二：∵x＋y＝1，x0，y0，∴eq \b\lc\(\rc\)(\a\vs4\al\co1(1＋\f(1,x)))eq \b\lc\(\rc\)(\a\vs4\al\co1(1＋\f(1,y)))＝eq \b\lc\(\rc\)(\a\vs4\al\co1(1＋\f(x＋y,x)))eq \b\lc\(\rc\)(\a\vs4\al\co1(1＋\f(x＋y,y)))＝eq \b\lc\(\rc\)(\a\vs4\al\co1(2＋\f(y,x)))eq \b\lc\(\rc\)(\a\vs4\al\co1(2＋\f(x,y)))＝5＋2eq \b\lc\(\rc\)(\a\vs4\al\co1(\f(y,x)＋\f(x,y)))≥5＋2×2＝9.当且仅当x＝y＝eq \f(1,2)时， 等号成立．综合法证明不等式，揭示出条件和结论之间的因果联系，为此要着力分析已知与求证之间、不等式的左右两端之间的差异与联系．合理进行转换，恰当选择已知不等式，这是证明的关键．1．已知a，b，c∈R＋，证明不明式：a＋b＋c≥eq \r(ab)＋eq \r(bc)＋eq \r(ca)，当且仅当a＝b＝c时，等号成立．证明：因为a0，b0，c0，故有a＋b≥2eq \r(ab)，当且仅当a＝b时，等号成立；b＋c≥2eq \r(bc)，当且仅当b＝c时，等号成立；c＋a≥2eq \r(ca)，当且仅当c＝a时，等号成立．三式相加，得a＋b＋c≥eq \r(ab)＋eq \r(bc)＋eq \r(ca).当且仅当a＝b＝c时，等号成立．2．已知a，b，c都是实数，求证：a2＋b2＋c2≥eq \f(1,3)(a＋b＋c)2≥ab＋bc＋ca.证明：∵a，b，c∈R，∴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≥eq \f(1,3)(a＋b＋c)2.③在不等式②的两端同时加上2(ab＋bc＋ca)，得(a＋b＋c)2≥3(ab＋bc＋ca)，即eq \f(1,3)(a＋b＋c)2≥ab＋bc＋ca.④由③④，得a2＋b2＋c2≥eq \f(1,3)(a＋b＋c)2≥ab＋bc＋ca.用分析法证明不等式　　　已知x0，y0，求证：(x2＋y2)eq \f(1,2)(x3＋y3)eq \f(1,3).　不等式两边是根式，可等价变形后再证明．分析每一步成立的充分条件．　要证明(x2＋y2)eq \f(1,2)(x3＋y3)eq \f(1,3)，只需证(x2＋y2)3(x3＋y3)2，即证x6＋3x4y2＋3x2y4