【志鸿优化设计】（湖南专用）2014届高考数学一轮复习 第十二章算法初步 推理与证明 复数12.4直接证明与间接证明教学案 理.docVIP

12.4　直接证明与间接证明 1．了解直接证明的两种基本方法——分析法和综合法；了解分析法和综合法的思考过程、特点． 2．了解间接证明的一种基本方法——反证法；了解反证法的思考过程、特点． 1．直接证明中最基本的两种证明方法是______和______． 2．综合法是利用已知条件和某些数学定义、定理、公理等，经过一系列的推理论证，最后推导出所要证明的结论成立．综合法又叫________． 3．分析法是从要证明的结论出发，逐步寻求使它成立的充分条件，直至最后，把要证明的结论归结为判定一个明显成立的条件(已知条件、定理、定义、公理等)．分析法又叫________． 4．反证法：假设原命题______(即在原命题的条件下，结论不成立)，经过正确的推理，最后得出矛盾，因此说明________，从而证明了__________，这样的证明方法叫反证法． 应用反证法证明数学命题，一般有下面几个步骤： 第一步，分清命题“p→q”的__________； 第二步，作出与命题结论q相矛盾的假设____； 第三步，由p与q出发，应用正确的推理方法，推出矛盾结果； 第四步，断定产生矛盾结果的原因在于开始所作的假设q不真，于是原结论q成立，从而间接地证明了命题p→q为真． 1．分析法是从要证明的结论出发，逐步寻找使结论成立的(　　)． A．充分条件 B．必要条件 C．充要条件 D．等价条件 2．用反证法证明命题“三角形的三个内角至少有一个不大于60°”时，应假设(　　)． A．三个内角都不大于60° B．三个内角都大于60° C．三个内角至多有一个大于60° D．三个内角至多有两个大于60° 3．设t＝a＋2b，s＝a＋b2＋1，则下列关于t和s的大小关系中正确的是(　　)． A．t＞s B．t≥s C．t＜s D．t≤s 4．命题“对于任意角θ，cos4θ－sin4θ＝cos 2θ”的证明：cos4θ－sin4θ＝(cos2θ－sin2θ)(cos2θ＋sin2θ)＝cos2θ－sin2θ＝cos 2θ过程应用了(　　)． A．分析法 B．综合法 C．综合法、分析法综合应用 D．间接证明法 5．因为某种产品的两种原料相继提价，所以生产者决定对产品分两次提价，现在有三种提价方案： 方案甲：第一次提价p%，第二次提价q%； 方案乙：第一次提价q%，第二次提价p%； 方案丙：第一次提价%，第二次提价%， 其中p＞q＞0.比较上述三种方案，提价最多的是(　　)． A．甲 B．乙C．丙 D．一样多 一、综合法 【例1】 如图，四边形ABCD是正方形，PB平面ABCD，MA平面ABCD，PB＝AB＝2MA.求证： (1)平面AMD平面BPC； (2)平面PMD平面PBD. 方法提炼 1．综合法是“由因导果”，它是从已知条件出发，顺着推证，经过一系列的中间推理，最后导出所证结论的真实性．用综合法证明题的逻辑关系是：AB1B2…BnB(A为已知条件或数学定义、定理、公理，B为要证结论)，它的常见书面表达是“，”或“”． 2．利用综合法证不等式时，是以基本不等式为基础，以不等式的性质为依据，进行推理论证的．因此，关键是找到与要证结论相匹配的基本不等式及其不等式的性质． 3．综合法是一种由因导果的证明方法，其逻辑依据是三段论式的演绎推理方法，这就是保证前提正确，推理合乎规律，才能保证结论的正确性． 请做演练巩固提升1 二、分析法 【例2】已知ABC三边a，b，c的倒数成等差数列，证明：B为锐角． 方法提炼 1．分析法是“执果索因”，它是从要证的结论出发，倒着分析，逐渐地靠近已知． 2．用分析法证“若P，则Q”这个命题的模式是： 为了证明命题Q为真，这只需证明命题P1为真，从而有…… 这只需证明命题P2为真，从而有…… …… 这只需证明命题P为真． 而已知P为真，故Q必为真． 特别警示：用分析法证题时，一定要严格按格式书写，否则极易出错． 3．在解决问题时，我们经常把综合法和分析法结合起来使用，根据条件的结构特点去转化结论，得到中间结论Q；根据结论的结构特点去转化条件，得到中间结论P，若由P可以推出Q成立，就可以证明结论成立．一般情况下，用分析法寻找思路，用综合法完成证明． 请做演练巩固提升4 三、反证法 【例3】 设{an}是公比为q的等比数列，Sn是它的前n项和． (1)求证：数列{Sn}不是等比数列； (2)数列{Sn}是等差数列吗？为什么？ 方法提炼 反证法是间接证明问题的一种常用方法，它不是从已知条件去直接证明结论，而是先否定结论，在否定结论的基础上进行演绎推理，导出矛盾，从而肯定结论的真实性．用反证法证明要把握三点：(1)反设：必须先否定结论，即肯定结论的反面；(2)归谬：必须从否定结论进行推理，即应把结论的反面作为条件，且必须依据这一条件进行推证．