2017_2018学年高中数学第二章推理与证明2.2.1综合法和分析法学案（含解析）新人教A版选修2_2.docVIP

PAGE PAGE 12．2.1　综合法和分析法综合法阅读下列证明过程，回答问题．求证：π是函数f(x)＝sineq \b\lc\(\rc\)(\a\vs4\al\co1(2x＋\f(π,4)))的一个周期．证明：因为f(x＋π)＝sineq \b\lc\[\rc\](\a\vs4\al\co1(2?x＋π?＋\f(π,4)))＝sineq \b\lc\(\rc\)(\a\vs4\al\co1(2x＋2π＋\f(π,4)))＝sineq \b\lc\(\rc\)(\a\vs4\al\co1(2x＋\f(π,4)))＝f(x)，所以由周期函数的定义可知，π是函数f(x)＝sineq \b\lc\(\rc\)(\a\vs4\al\co1(2x＋\f(π,4)))的一个周期．问题1：本题的条件和结论各是什么？提示：条件：f(x)＝sineq \b\lc\(\rc\)(\a\vs4\al\co1(2x＋\f(π,4)))；结论：π是f(x)的一个周期．问题2：本题的证明顺序是什么？提示：从已知利用诱导公式到待证结论．1．综合法的定义利用已知条件和某些数学定义、定理、公理等，经过一系列的推理论证，最后推导出所要证明的结论成立，这种证明方法叫做综合法．2．综合法的框图表示eq \x(P?Q1)―→eq \x(Q1?Q2)―→eq \x(Q2?Q3)―→…―→eq \x(Qn?Q)(P表示已知条件、已有的定义、定理、公理等，Q表示所要证明的结论)综合法的特点(1)综合法的特点是从“已知”看“未知”，其逐步推理实际上是寻找已知条件的必要条件．(2)综合法从命题的条件出发，利用定义、公理、定理和运算法则，通过演绎推理，一步一步完成命题的证明.分析法阅读下列证明过程，回答问题．求证：eq \r(6)＋eq \r(7)≥2eq \r(2)＋eq \r(5).证明：要证原不等式成立，只需证(eq \r(6)＋eq \r(7))2≥(2eq \r(2)＋eq \r(5))2，即证2eq \r(42)≥2eq \r(40)，该式显然成立，因此原不等式成立．问题1：本题证明从哪里开始？提示：从结论开始．问题2：证明思路是什么？提示：寻求每一步成立的充分条件．1．分析法的定义从要证明的结论出发，逐步寻求使它成立的充分条件，直至最后，把要证明的结论归结为判定一个明显成立的条件(已知条件、定理、定义、公理等)为止，这种证明方法叫做分析法．2．分析法的框图表示eq \x(Q?P1)―→eq \x(P1?P2)―→eq \x(P2?P3)―→…―→eq \x(\a\al(得到一个明显,成立的条件))分析法的特点(1)分析法的特点是从“未知”看“需知”，逐步靠拢“已知”，其逐步推理实际上是寻找使结论成立的充分条件．(2)分析法从命题的结论入手，寻求结论成立的条件，直至归结为已知条件、定义、公理、定理等.综合法的应用　已知a，b，c是不全相等的正数，求证：a(b2＋c2)＋b(c2＋a2)＋c(a2＋b2)＞6abc.　∵a，b，c是正数，∴b2＋c2≥2bc，∴a(b2＋c2)≥2abc.①同理，b(c2＋a2)≥2abc，②c(a2＋b2)≥2abc.③∵a，b，c不全相等，∴b2＋c2≥2bc，c2＋a2≥2ca，a2＋b2≥2ab三式中不能同时取到“＝”，∴①②③式相加得a(b2＋c2)＋b(c2＋a2)＋c(a2＋b2)＞6abc.综合法的证明步骤(1)分析条件，选择方向：确定已知条件和结论间的联系，合理选择相关定义、定理等；(2)转化条件，组织过程：将条件合理转化，书写出严密的证明过程．特别地，根据题目特点选取合适的证法可以简化解题过程．已知a＞0，b＞0，且a＋b＝1，求证：eq \f(4,a)＋eq \f(1,b)≥9.证明：∵a＞0，b＞0，a＋b＝1，∴eq \f(4,a)＋eq \f(1,b)＝eq \f(4?a＋b?,a)＋eq \f(a＋b,b)＝4＋eq \f(4b,a)＋eq \f(a,b)＋1＝5＋eq \f(4b,a)＋eq \f(a,b)≥5＋2 eq \r(\f(4b,a)×\f(a,b))＝5＋4＝9.当且仅当eq \f(4b,a)＝eq \f(a,b)，即a＝2b时“＝”成立.分析法的应用　　　设a，b为实数，求证： eq \r(a2＋b2)≥eq \f(\r(2),2)(a＋b)．　当a＋b≤0时，∵eq \r(a2＋b2)≥0，∴eq \r(a2＋b2)≥eq \f(\r(2),2)(a＋b)成立．当a＋b0时，用分析法证明如下：要证eq \r(a2＋b2)≥eq \f(\r(2),2)(a＋b)，只需证(eq \r(a2＋b2))2≥eq \b\lc\[\rc\](\a\vs4\al\co1(\f(\r(2),2)?a