2019年数学新同步湘教版选修2-2讲义+精练：第6章 6.2.1 直接证明：分析法与综合法.docVIP

6．2直接证明与间接证明 6．2.1　直接证明：分析法与综合法 [读教材·填要点] 综合法和分析法 综合法 分析法 定义 从数学题的已知条件出发，经过逐步的逻辑推理，最后达到待证结论或需求的问题，称为综合法 从数学题的待证结论或需求问题出发，一步一步地探索下去，最后达到题设的已知条件，称为分析法 特点 从“已知”看“可知”，由因导果，寻找必要条件 从“未知”看“需知”，执果索因，寻找充分条件 [小问题·大思维] 1．综合法与分析法的推理过程是合情推理还是演绎推理？ 提示：综合法与分析法的推理过程是演绎推理，因为综合法与分析法的每一步推理都是严密的逻辑推理，从而得到的每一个结论都是正确的，不同于合情推理中的“猜想”． 2．综合法与分析法有什么区别？ 提示：综合法是从已知条件出发，逐步推向未知，每步寻找的是必要条件；分析法是从待求结论出发，逐步靠拢已知，每步寻找的是充分条件． 综合法的应用 已知a，b是正数，且a＋b＝1，求证：eq \f(1,a)＋eq \f(1,b)≥4. [自主解答]　法一：∵a，b∈R＋且a＋b＝1， ∴a＋b≥2eq \r(ab)，当且仅当a＝b时等号成立． ∴eq \r(ab)≤eq \f(1,2). ∴eq \f(1,a)＋eq \f(1,b)＝eq \f(a＋b,ab)＝eq \f(1,ab)≥4. 法二：∵a，b∈R＋， ∴a＋b≥2eq \r(ab)＞0，eq \f(1,a)＋eq \f(1,b)≥2eq \r(\f(1,ab))＞0，当且仅当a＝b时等号成立． ∴(a＋b)eq \b\lc\(\rc\)(\a\vs4\al\co1(\f(1,a)＋\f(1,b)))≥4. 又∵a＋b＝1，∴eq \f(1,a)＋eq \f(1,b)≥4. 法三：∵a，b∈R＋，且a＋b＝1， ∴eq \f(1,a)＋eq \f(1,b)＝eq \f(a＋b,a)＋eq \f(a＋b,b) ＝1＋eq \f(b,a)＋eq \f(a,b)＋1≥2＋2eq \r(\f(a,b)·\f(b,a))＝4. 当且仅当a＝b时，取“＝”号． 保持例题条件不变，求证：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＋2eq \r(\f(4b,a)·\f(a,b))＝5＋4＝9. 当且仅当eq \f(4b,a)＝eq \f(a,b)，即a＝2b＝eq \f(2,3)时等号成立． 法二：∵a＞0，b＞0，且a＋b＝1. ∴eq \f(4,a)＋eq \f(1,b)＝(a＋b)·eq \b\lc\(\rc\)(\a\vs4\al\co1(\f(4,a)＋\f(1,b)))＝4＋eq \f(4b,a)＋eq \f(a,b)＋1 ≥5＋2eq \r(\f(4b,a)·\f(a,b))＝5＋4＝9. 当且仅当eq \f(4b,a)＝eq \f(a,b)，即a＝2b＝eq \f(2,3)时等号成立． 综合法证明问题的步骤 (1)分析条件，选择方向：确定已知条件和结论间的联系，合理选择相关定义、定理等． (2)转化条件，组织过程：将条件合理转化，书写出严密的证明过程． 特别地，根据题目特点选取合适的证法可以简化解题过程． 1．在△ABC中，a，b，c分别为角A，B，C所对的边，若a2＝b(b＋c)，求证：A＝2B. 证明：∵a2＝b(b＋c)， ∴cos A＝eq \f(b2＋c2－a2,2bc)＝eq \f(b2＋c2－?b2＋bc?,2bc)＝eq \f(c－b,2b)， cos 2B＝2cos2B－1＝2eq \b\lc\(\rc\)(\a\vs4\al\co1(\f(a2＋c2－b2,2ac)))2－1 ＝2eq \b\lc\(\rc\)(\a\vs4\al\co1(\f(b＋c,2a)))2－1＝eq \f(?b＋c?2－2b?b＋c?,2b?b＋c?)＝eq \f(c－b,2b)， ∴cos A＝cos 2B. 又A，B是三角形的内角，∴A＝2B. 分析法的应用 当a＋b0时，求证： eq \r(a2＋b2)≥eq \f(\r(2),2)(a＋b)． [自主解答]　要证 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＋b?))2， 即证a2＋b2≥eq \f(1,2)(a2＋b2＋2ab)，即证a2＋b2≥2ab. 因为a2＋b2≥2ab对一切实数恒成立， 所以eq \r