2016高考数学大一轮复习13.2直接证明与间接证明教师用书理苏教版.doc

13.2直接证明与间接证明1直接证明(1)综合法定义：从已知条件出发，以已知的定义、公理、定理为依据，逐步下推，直到推出要证明的结论为止，这种证明方法常称为综合法框图表示：思维过程：由因导果(2)分析法定义：从问题的结论出发，追溯导致结论成立的条件，逐步上溯，直到使结论成立的条件和已知条件或已知事实吻合为止这种证明方法常称为分析法框图表示：思维过程：执果索因2间接证明反证法定义要证明某一结论Q是正确的，但不直接证明，而是先去假设Q不成立(即Q的反面非Q是正确的)，经过正确的推理，最后得出矛盾，因此说明假设非Q是错误的，从而断定结论Q是正确的，这种证明方法叫做反证法证明步骤(1)反证假设命题的结论不成立，即假定原结论的反面为真；(2)归谬从反设和已知条件出发，经过一系列正确的逻辑推理，得出矛盾结果；(3)存真由矛盾结果，断定反设不真，从而肯定原结论成立适用范围(1)否定性命题；(2)命题的结论中出现“至少”“至多”“