2018-2019学年高二数学苏教版选修2-2讲义：第2章 2.2 2.2.1 直接证明.docVIP

_2.2直接证明与间接证明 2.2.1　直 接 证 明 [对应学生用书P26]　 1．若实数a，b满足a＋b＝3，证明：2a＋2b≥4eq \r(2). 证明：因为2a＋2b≥2eq \r(2a·2b)＝2eq \r(2a＋b)， 又a＋b＝3，所以2a＋2b≥2eq \r(23)＝4eq \r(2). 故2a＋2b≥4eq \r(2)成立． 问题1：本题利用什么公式？ 提示：基本不等式． 问题2：本题证明顺序是什么？ 提示：从已知到结论． 2．求证：eq \r(3)＋2eq \r(2)2＋eq \r(7). 证明：要证明eq \r(3)＋2eq \r(2)2＋eq \r(7)， 由于eq \r(3)＋2eq \r(2)0,2＋eq \r(7)0， 只需证明(eq \r(3)＋2eq \r(2))2(2＋eq \r(7))2， 展开得11＋4eq \r(6)11＋4eq \r(7)，只需证明67，显然67成立． 所以eq \r(3)＋2eq \r(2)2＋eq \r(7)成立． 问题1：本题证明从哪里开始？ 提示：从结论开始． 问题2：证题思路是什么？ 提示：寻求上一步成立的充分条件． 1．直接证明 (1)直接从原命题的条件逐步推得命题成立，这种证明通常称为直接证明． (2)直接证明的一般形式 eq \b\lc\ \rc\}(\a\vs4\al\co1(本题条件,已知定义,已知公理,已知定理))?…?本题结论． 2．综合法和分析法 直接证明 定义 推证过程 综合法 从已知条件出发，以已知的定义、公理、定理为依据，逐步下推，直到推出要证明的结论为止．这种证明方法称为综合法 eq \x(已知条件)?…?…?eq \x(结论) 分析法 从问题的结论出发，追溯导致结论成立的条件，逐步上溯，直到使结论成立的条件和已知条件或已知事实吻合为止，这种证明方法称为分析法 eq \x(结论)?…?…?eq \x(已知条件) 1．综合法是从“已知”看“可知”逐步推向未知，由因导果通过逐步推理寻找问题成立的必要条件．它的证明格式为：因为×××，所以×××，所以×××……所以×××成立． 2．分析法证明问题时，是从“未知”看“需知”，执果索因逐步靠拢“已知”，通过逐步探索，寻找问题成立的充分条件．它的证明格式：要证×××，只需证×××，只需证×××……因为×××成立，所以×××成立． eq \a\vs4\al([对应学生用书P27]) 综合法的应用 [例1]　已知a，b，c∈R，且a＋b＋c＝1，求证：a2＋b2＋c2≥eq \f(1,3). [思路点拨]　从已知条件出发，结合基本不等式，即可得出结论． [精解详析]　∵a2＋eq \f(1,9)≥eq \f(2a,3)， b2＋eq \f(1,9)≥eq \f(2b,3)，c2＋eq \f(1,9)≥eq \f(2c,3)， ∴eq \b\lc\(\rc\)(\a\vs4\al\co1(a2＋\f(1,9)))＋eq \b\lc\(\rc\)(\a\vs4\al\co1(b2＋\f(1,9)))＋eq \b\lc\(\rc\)(\a\vs4\al\co1(c2＋\f(1,9)))≥eq \f(2,3)a＋eq \f(2,3)b＋eq \f(2,3)c ＝eq \f(2,3)(a＋b＋c)＝eq \f(2,3). ∴a2＋b2＋c2≥eq \f(1,3). [一点通]　综合法证明问题的步骤 第一步：分析条件，选择方向．仔细分析题目的已知条件(包括隐含条件)，分析已知与结论之间的联系与区别，选择相关的公理、定理、公式、结论，确定恰当的解题思路． 第二步：转化条件、组织过程，把题目的已知条件，转化成解题所需要的语言，主要是文字、符号、图形三种语言之间的转化．组织过程时要有严密的逻辑，简洁的语言，清晰的思路． 第三步：适当调整，回顾反思．解题后回顾解题过程，可对部分步骤进行调整，有些语言可做适当的修饰，反思总结解题方法的选取． 1．设a，b，c为不全相等的正数，且abc＝1， 求证：eq \f(1,a)＋eq \f(1,b)＋eq \f(1,c)eq \r(a)＋eq \r(b)＋eq \r(c). 证明：∵a0，b0，c0，且abc＝1， ∴eq \f(1,a)＋eq \f(1,b)＋eq \f(1,c)＝bc＋ca＋ab. 又bc＋ca≥2eq \r(bc)·eq \r(ca)＝2eq \r(abc2)＝2eq \r(c)， 同理bc＋ab≥2eq \r(b)，ca＋ab≥2eq \r(a). ∵a、b、c不全相等． ∴上述三个不等式中的“＝”不能同时成立． ∴2(bc＋ca＋ab)2(eq \r(c)＋eq \r(a)＋eq \r(b))， 即bc＋ca＋abeq \r(a)＋eq \r(b)＋eq