2019-2020年人教B版数学选修2-2讲义：第2章+2.2+2.2.1　综合法与分析法及答案.docVIP

PAGE 2.2　直接证明与间接证明 2. 学 习 目 标 核 心 素 养 1．理解综合法、分析法的意义，掌握综合法、分析法的思维特点．(重点、易混点) 2．会用综合法、分析法解决问题．(重点、难点) 通过学习证明数学问题的两种重要方法，提升学生的逻辑推理素养. 一、综合法 1．直接证明 (1)直接证明是从命题的条件或结论出发，根据已知的定义、公理、定理，直接推证结论的真实性． (2)常用的直接证明方法有综合法与分析法． 2．综合法 (1)定义：综合法是从原因推导到结果的思维方法，也就是从已知条件出发，经过逐步的推理，最后达到待证结论． (2)符号表示：P0(已知)?P1?P2?…?Pn(结论)． 二、分析法 1．定义：分析法是一种从结果追溯到产生这一结果的原因的思维方法．也就是从待证结论出发，一步一步寻求结论成立的充分条件，最后达到题设的已知条件或已被证明的事实． 2．符号表示： B(结论)?B1?B2?…?Bn?A(已知) 1．判断(正确的打“√”，错误的打“×”) (1)综合法是执果索因的逆推证法． (　　) (2)分析法就是从结论推向已知． (　　) (3)综合法的推理过程实际上是寻找它的必要条件的过程．分析法的推理过程实际上是寻求结论成立的充分条件的过程． (　　) [答案]　(1)×　(2)×　(3)√ 2．已知a，b，c为正实数，且a＋b＋c＝1， 求证：eq \b\lc\(\rc\)(\a\vs4\al\co1(\f(1,a)－1))eq \b\lc\(\rc\)(\a\vs4\al\co1(\f(1,b)－1))eq \b\lc\(\rc\)(\a\vs4\al\co1(\f(1,c)－1))≥8. 证明过程如下： ∵a，b，c为正实数，且a＋b＋c＝1， ∴eq \f(1,a)－1＝eq \f(b＋c,a)0，eq \f(1,b)－1＝eq \f(a＋c,b)0，eq \f(1,c)－1＝eq \f(a＋b,c)0，∴eq \b\lc\(\rc\)(\a\vs4\al\co1(\f(1,a)－1))eq \b\lc\(\rc\)(\a\vs4\al\co1(\f(1,b)－1))eq \b\lc\(\rc\)(\a\vs4\al\co1(\f(1,c)－1))＝eq \f(b＋c,a)·eq \f(a＋c,b)·eq \f(a＋b,c)≥eq \f(2\r(bc)·2\r(ac)·2\r(ab),abc)＝8， 当且仅当a＝b＝c时取等号，∴不等式成立． 这种证法是__________(填综合法、分析法)． [解析]　本题从已知条件出发，不断地展开思考，去探索结论，这种证法是综合法． [答案]　综合法 3.eq \r(6)－2eq \r(2)与eq \r(5)－eq \r(7)的大小关系是________． [解析]　假设eq \r(6)－2eq \r(2)eq \r(5)－eq \r(7)，由分析法可得， 要证eq \r(6)－2eq \r(2)eq \r(5)－eq \r(7)，只需证eq \r(6)＋eq \r(7)eq \r(5)＋2eq \r(2)， 即证13＋2eq \r(42)13＋4eq \r(10)，即eq \r(42)2eq \r(10). 因为4240，所以eq \r(6)－2eq \r(2)eq \r(5)－eq \r(7)成立． [答案]　eq \r(6)－2eq \r(2)eq \r(5)－eq \r(7) 综合法的应用 【例1】　(1)在△ABC中， 已知cos Acos Bsin Asin B，则△ABC的形状一定是__________． (2)已知方程(x2－mx＋2)(x2－nx＋2)＝0的四个根组成一个首项为eq \f(1,2)的等比数列，则|m－n|＝__________. (3)下面的四个不等式：①a2＋b2＋3≥ab＋eq \r(3)(a＋b)；②a(1－a)≤eq \f(1,4)；③eq \f(b,a)＋eq \f(a,b)≥2；④(a2＋b2)·(c2＋d2)≥(ac＋bd)2.其中恒成立的有__________． [解析]　(1)∵cos Acos Bsin Asin B， ∴cos Acos B－sin Asin B0， ∴cos(A＋B)0，即cos(π－C)0，∴cos C0， 又0Cπ，∴eq \f(π,2)Cπ，所以△ABC是钝角三角形． (2)设方程的四个根分别为x1，x2，x3，x4，则由题意可知， x1＝eq \f(1,2)，x1x4＝x2x3＝2，∴x4＝4. 设公比为q，则x4＝x1q3， ∴4＝eq \f(1,2)·q3，∴q＝2，∴x2＝1，x3＝2， 由根与系数的关系可得，m＝x1＋x4＝eq \f(9,2)，n＝x2＋x3＝3