【创新设计】2016-2017学年高中数学 第二章 推理与证明 2.2.1 直接证明习题 苏教版选修2-.docVIP

2.2.1　直接证明 明目标、知重点　1.了解直接证明的两种基本方法——综合法和分析法.2.理解综合法和分析法的思考过程、特点，会用综合法和分析法证明数学问题． 1．直接证明 直接从原命题的条件逐步推得命题成立的证明通常称为直接证明．综合法和分析法是直接证明中最基本的两种证明方法，也是解决数学问题时常用的思维方式． 2．综合法 从已知条件出发，以已知的定义、公理、定理为依据，逐步下推，直到推出要证明的结论为止，这种证明方法通常称为综合法． 3．分析法 从问题的结论出发，追溯导致结论成立的条件，逐步上溯，直到使结论成立的条件和已知条件或已知事实吻合为止，这种证明方法通常称为分析法． [情境导学] 证明对我们来说并不陌生，我们在上一节学习的合情推理，所得的结论的正确性就是要证明的，并且我们在以前的学习中，积累了较多的证明数学问题的经验，但这些经验是零散的、不系统的，这一节我们将通过熟悉的数学实例，对证明数学问题的方法形成较完整的认识． 探究点一　综合法 思考1　请同学们证明下面的问题，总结证明方法有什么特点？ 已知a，b0，求证：a(b2＋c2)＋b(c2＋a2)≥4abc. 证明　因为b2＋c2≥2bc，a0，所以a(b2＋c2)≥2abc. 又因为c2＋a2≥2ac，b0，所以b(c2＋a2)≥2abc. 因此a(b2＋c2)＋b(c2＋a2)≥4abc. 小结　从已知条件出发，以已知的定义、公理、定理为依据，逐步下推，直到推出要证明的结论为止，这种证明方法通常称为综合法． 思考2　综合法又叫由因导果法，其推理过程是合情推理还是演绎推理？ 答　因为综合法的每一步推理都是严密的逻辑推理，其推理过程为条件1→结论1(条件2)→结论2(条件3)→结论3(条件4)→结论．因此所得到的每一个结论都是正确的，不同于合情推理中的“猜想”，所以综合法是演绎推理． 例　在△ABC中，三个内角A，B，C的对边分别为a，b，c，且A，B，C成等差数列，a，b，c成等比数列，求证：△ABC为等边三角形． 证明　由于A，B，C成等差数列，有2B＝A＋C，① 由于A，B，C为△ABC的三个内角，所以A＋B＋C＝π.② 由①②，得B＝，③ 由a，b，c成等比数列，有b2＝ac，④ 由余弦定理及③， 可得b2＝a2＋c2－2accos B＝a2＋c2－ac， 再由④，得a2＋c2－ac＝ac，即(a－c)2＝0， 从而a＝c，所以A＝C.⑤ 由②③⑤，得A＝B＝C＝， 所以△ABC为等边三角形． 反思与感悟　综合法的证明步骤如下： 条件1→结论1(条件2)→结论2(条件3)→结论3(条件4)→结论，其关键是做好两个方面． (1)分析条件，选择方向：确定已知条件和结论间的联系，合理选择相关定义、定理等； (2)转化条件，组织过程：将条件合理转化，书写出严密的证明过程． 跟踪训练1　在△ABC中，＝，证明：B＝C. 证明　在△ABC中，由正弦定理及已知条件得＝. 于是sin Bcos C－cos Bsin C＝0， 即sin(B－C)＝0，因为－πB－Cπ， 从而B－C＝0，所以B＝C. 探究点二　分析法 思考1　回顾一下：基本不等式≥(a0，b0)是怎样证明的？ 答　要证≥， 只需证a＋b≥2， 只需证a＋b－2≥0， 只需证(－)2≥0， 因为(－)2≥0显然成立，所以原不等式成立． 思考2　上述证明过程有何特点？ 答　从结论出发开始证明，寻找使结论成立所需条件，最终把结论成立所需条件变成一个显然成立的条件，即：结论←条件1←条件2←条件3←已知条件(显而成立)． 小结　从问题的结论出发，追溯导致结论成立的条件，逐步上溯，直到使结论成立的条件和已知条件或已知事实吻合为止，这种证明方法通常称为分析法． 思考3　综合法和分析法的区别是什么？ 答　综合法是从已知条件出发，逐步推向未知，每步寻找的是必要条件；分析法是从待求结论出发，逐步靠拢已知，每步寻找的是充分条件． 例2　求证：＋2. 证明　因为＋和2都是正数， 所以要证＋2，只需证(＋)2(2)2， 展开得10＋220，只需证5，只需证2125， 因为2125成立，所以＋2成立． 反思与感悟　当已知条件和结论联系不够明显、直接，证明中需要用哪些知识不太明确具体时，往往采用从结论出发，结合已知条件，用结论反推的方法． 跟踪训练2　求证：＋2＋. 证明　要证＋2＋， 只需证(＋)2(2＋)2， 即证13＋13＋， 只需证， 只需证4240， 显然成立， 所以＋2＋. 探究点三　综合法和分析法的综合应用 思考　在实际证题中，怎样选用综合法或分析法？ 答　对思路清楚，方向明确的题目，可直接使用综合法；对于复杂的题目，常把分析法和综合法结合起来，先用分析法去转化结论，得到中间结论Q；再根据结构的特点去转化条件，得