【创新设计】2015高考数学（苏教文）一轮配套文档：第12篇第3讲　直接证明与间接证明.docVIP

第3讲　直接证明与间接证明 知 识 梳 理1．直接证明 (1)综合法定义： 从命题的条件出发，利用定义、公理、定理及运算法则，通过演绎推理，一步一步地接近要证明的结论，直到完成命题的证明．这样的思维方法称为综合法． (2)框图表示：→→→…→ (其中P表示已知条件、已有的定义、公理、定理等，Q表示要证的结论)． (3)分析法定义： 从求证的结论出发，一步一步地探索保证前一个结论成立的充分条件，直到归结为这个命题的条件，或者归结为定义、公理、定理等．这样的思维方法称为分析法． (4)框图表示：→→→…→ . 2．间接证明 (1)反证法定义： 在证明数学命题时，要证明的结论要么正确，要么错误，二者必居其一．我们可以先假定命题结论的反面成立，在这个前提下，若推出的结果与定义、公理、定理相矛盾，或与命题中的已知条件相矛盾，或与假定相矛盾，从而说明命题结论的反面不可能成立，由此断定命题的结论成立．这种证明方法叫作反证法． (2)反证法的证题步骤是： 作出否定结论的假设； 进行推理，导出矛盾； 否定假设，肯定结论． 辨 析 感 悟 对三种证明方法的认识 (1)分析法是从要证明的结论出发，逐步寻找使结论成立的充要条件．(×) (2)反证法是指将结论和条件同时否定，推出矛盾．(×) (3)在解决问题时，常常用分析法寻找解题的思路与方法，再用综合法展现解决问题的过程．(√) (4)证明不等式＋＜