2018年高中数学人教A选修2-2精品学案附解析：第二章2.2.1　综合法和分析法.docVIP

2.2　直接证明与间接证明 2.2.1　综合法和分析法 问题导学 一、综合法 活动与探究1 (1)已知x∈R，求证：cos8x－sin8x＋sin 2xsin 4x＝cos 2x． 迁移与应用 1．已知tan(α＋β)＝2tan α，求证：3sin β＝sin(2α＋β)． 2．BC． (1)证明FO∥平面CDE； (2)设BC＝CD，证明EO⊥平面CDF． (1)综合法是中学数学证明中常用的一种方法，它是一种从已知到未知(从题设到结论)的逻辑推理方法(与分析法恰恰相反)，即从题设中的已知条件或已证的真实判断(命题)出发，经过一系列的中间推理，最后导出所要求证的命题结论的真实性．简言之，综合法是一种由因索果的证明方法，其逻辑依据是三段论式的演绎推理方法． (2)应用综合法时，应从命题的前提出发，在选定了真实性是无可争辩的出发点以后(它基于题设或已知的真命题)，再依次由它得出一系列的命题(或判断)，其中每一个都是真实的(但它们不一定都是所需求的)，且最后一个必须包含我们要证明的命题的结论，命题得证．同分析法一样，并非一上来就能找到通往命题结论的思路，只有在证明的过程中对每步结论进行分析、推敲、比较、选择后才能得到． 二、分析法 活动与探究2 (2)已知函数f(x)＝x2＋3，若a＞b＞0，求证：． 迁移与应用 1．已知a＞6，求证：－＜－． 2． (1)分析法是数学中常用到的一种直接证明的方法．就证明程度来讲，它是一种从未知到已知(从结论到题设)的逻辑推理方法．具体说，即先假设所要证明命题的结论是正确的，由此逐步推出保证此结论成立的必要的判断．而当这些判断恰恰都是已证的命题(定义、公理、定理、法则、公式等)或要证命题的已知条件时，命题得证(应该强调的一点是它不是由命题的结论去证明前提)．因此，分析法是一种执果索因的证明方法．这种证明方法的逻辑依据是三段论式的演绎推理方法． (2)应用分析法时，并非一开始就确信由结论出发所产生的那些推断(或命题)都正确，各推理步骤及依次考虑的概念、定理、法则等都合适．这种推理方法仅仅是建立与需要证明的命题的等效关系，因而需要从这些关系中逐个考查，逐个思索，逐个分析，逐个判断，在得到了所需的确定结论时(它们是已证的命题或已知的条件)，才知道前面各步推理适当与否，从而找出证明的路子． (3)当不知从何入手时，有时可以运用分析法去获得解析，特别是对于条件简单而结论复杂的题目，往往更是行之有效，另外对于恒等式的证明，也同样可以运用． (4)用分析法证“若P，则Q”这个命题的模式是： 为了证明命题Q为真， 这只需证明命题P1为真，从而有…… 这只需证明命题P2为真，从而有…… …… 这只需证明命题P为真． 而已知P为真，故Q必为真． 可见分析法是“执果索因”，步步寻求上一步成立的充分条件，它与综合法是对立统一的两种方法． 三、分析综合法 活动与探究3 在某两个正数x，y之间插入一个数a，使x，a，y成等差数列，插入两数b，c，使x，b，c，y成等比数列，求证：(a＋1)2≥(b＋1)(c＋1)． 迁移与应用 1．若0＜x＜，求证：y－y2＜． 2．已知a，b，c是不全相等的正数，且0＜x＜1． 求证：logx＋logx＋logx＜logxa＋logxb＋logxc． 在解决问题时，我们经常把综合法和分析法结合起来使用：根据条件的结构特点去转化结论，得到中间结论Q；根据结论的结构特点去转化条件，得到中间结论P．若由P可以推出Q成立，就可以证明结论成立．命题“若P，则Q”的推导过程可用框图表示为： 用分析法与综合法来叙述证明，语气之间也应当有所区别．在综合法中，每个推理都必须是正确的，每个论断都应当是前面一个论断的必然结果，因此所用语气必须是肯定的；而在分析法中，就应当用假定的语气，习惯上常用这样一类语句：假如要A成立，就需先有B成立；如果有B成立，又只需C成立，…，这样从结论一直推到它们都是同所要证明的命题是等效的，而并不是确信它们是真实的，直至达到最后已知条件或明显成立的事实后，我们才能确信它是真的，从而可以推知前面所有与之等效的命题也都是真的，于是命题就被证明了． 课前·预习导学 【预习导引】 1．综合法　分析法 2．(1)已知条件　某些数学定义、公理、定理　所要证明的结论 3．(1)充分条件 预习交流　提示：(1)综合法和分析法的推理过程属于演绎推理，这是因为，在综合法和分析法的推理过程中，每一步推理都是严密的逻辑推理，它的每一步推理得出的结论都是正确的，不同于合情推理． (2)分析法每一步寻找的都是充分条件而不是必要条件，分析法的证明过程常采用“欲证Q只需证P”的形式表示，亦即只要P成立，就一定有Q成立，因此P是Q的充分条件，当然P是Q的充分必要条件时也可以． 课堂·合作探究 【问题导学】 活动与探究