高考数学 第七章不等式推理与证明数学归纳法7.6直接证明与间接证明课件.pptxVIP

第七章 不等式、推理与证明、数学归纳法§7.6　直接证明与间接证明考情考向分析KAOQINGKAOXIANGFENXI高考要求了解分析法、综合法、反证法，会用这些方法处理一些简单问题，高考一般不单独考查，会与其他知识综合在一起命题．基础知识 自主学习内容索引题型分类 深度剖析NEIRONGSUOYIN课时作业1基础知识 自主学习PART ONE知识梳理ZHISHISHULI1.直接证明(1)定义：直接从原命题的条件逐步推得命题成立的证明方法.(2)一般形式本题条件已知定义已知公理已知定理(3)综合法①定义：从_________出发，以已知的_____、_____、_____为依据，逐步_____，直到推出要证明的结论为止.这种证明方法常称为综合法.②推证过程已知条件公理定义定理下推(4)分析法①定义：从___________出发，追溯导致结论成立的条件，逐步_____，直到使结论成立的条件和已知条件或已知事实吻合为止.这种证明方法常称为分析法.②推证过程问题的结论上溯2.间接证明(1)常用的间接证明方法有反证法、同一法等.(2)反证法的基本步骤①_____——假设命题的_____不成立，即假定原结论的反面为真.②_____——从_____和_________出发，经过一系列正确的逻辑推理，得出_____结果.③_____——由_____结果，断定_____不真，从而肯定原结论成立.反设结论反设已知条件归谬矛盾存真矛盾反设【概念方法微思考】1.直接证明中的综合法是演绎推理吗？提示　是.用综合法证明时常省略大前提.2.综合法与分析法的推理过程有何区别？提示　综合法是执因索果，分析法是执果索因，推理方式是互逆的.3.反证法是“要证原命题成立，只需证其逆否命题成立”的推理方法吗？提示　不是.反证法是命题中“p与綈p”关系的应用.基础自测JICHUZICE题组一　思考辨析1.判断下列结论是否正确(请在括号中打“√”或“×”)(1)综合法是直接证明，分析法是间接证明.(　)(2)分析法是从要证明的结论出发，逐步寻找使结论成立的充要条件.(　)(3)用反证法证明结论“ab”时，应假设“ab”.(　)(4)反证法是指将结论和条件同时否定，推出矛盾.(　)(5)在解决问题时，常常用分析法寻找解题的思路与方法，再用综合法展现解决问题的过程.(　)××××√√123456题组二　教材改编PQ∴P2Q2，又∵P0，Q0，∴PQ.1234562123456123456题组三　易错自纠②4.若a，b，c为实数，且ab0，则下列命题正确的是____.(填序号)①ac2bc2； ②a2abb2；解析　a2－ab＝a(a－b)，∵ab0，∴a－b0，∴a2－ab0，∴a2ab. (*1)又ab－b2＝b(a－b)0，∴abb2， (*2)由(*1)(*2)得a2abb2.1234565.用反证法证明命题：“设a，b为实数，则方程x3＋ax＋b＝0至少有一个实根”时，要作的假设是_________________________.方程x3＋ax＋b＝0没有实根解析　方程x3＋ax＋b＝0至少有一个实根的反面是方程x3＋ax＋b＝0没有实根.1234566.如果△A1B1C1的三个内角的余弦值分别等于△A2B2C2的三个内角的正弦值，则△A2B2C2是_____三角形.钝角123456解析　由条件知，△A1B1C1的三个内角的余弦值均大于0，则△A1B1C1是锐角三角形，假设△A2B2C2是锐角三角形.所以假设不成立.123456则cos A1＝sin A2＝1，A1＝0，矛盾.所以△A2B2C2是钝角三角形.1234562题型分类　深度剖析PART TWO题型一　综合法的应用自主演练ab即ab.a≥0，b≥0且a≠b3.若a，b，c是不全相等的正数，求证：证明　∵a，b，c∈(0，＋∞)，由于a，b，c是不全相等的正数，∴上述三个不等式中等号不能同时成立，上式两边同时取常用对数，得4.已知a，b，c0，a＋b＋c＝1.求证：≤(a＋b＋c)＋(a＋b)＋(b＋c)＋(c＋a)＝3，以上三式相加得证明　∵a0，∴3a＋11，思维升华(1)综合法是“由因导果”的证明方法，它是一种从已知到未知(从题设到结论)的逻辑推理方法，即从题设中的已知条件或已证的真实判断(命题)出发，经过一系列中间推理，最后导出所要求证结论的真实性.(2)综合法的逻辑依据是三段论式的演绎推理.题型二　分析法的应用师生共研所以cos x1cos x20，sin(x1＋x2)0,1＋cos(x1＋x2)0，故只需证明1＋cos(x1＋x2)2cos x1cos x2，即证1＋cos x1cos x2－sin x1sin x22cos x1cos x2，即证cos(x