【步步高】2017版高考数学一轮复习第十三章推理与证明、算法、复数13.2直接证明与间接证明理讲述.doc

【步步高】（江苏专用）2017版高考数学一轮复习 第十三章 推理与证明、算法、复数 13.2 直接证明与间接证明 理 1．直接证明 (1)综合法 ①定义：从已知条件出发，以已知的定义、公理、定理为依据，逐步下推，直到推出要证明的结论为止，这种证明方法常称为综合法． ②框图表示：…?…? ③思维过程：由因导果． (2)分析法 ①定义：从问题的结论出发，追溯导致结论成立的条件，逐步上溯，直到使结论成立的条件和已知条件或已知事实吻合为止．这种证明方法常称为分析法． ②框图表示：…?…? ③思维过程：执果索因． 2．间接证明 (1)反证法：假设原命题不成立(即在原命题的条件下，结论不成立)，经过正确的推理，最后得出矛盾，因此说明假设错误，从而证明原命题成立的证明方法． (2)反证法的步骤： ①反设——假设命题的结论不成立，即假定原结论的反面为真； ②归谬——从反设和已知条件出发，经过一系列正确的逻辑推理，得出矛盾结果； ③存真——由矛盾结果，断定反设不真，从而肯定原结论成立． 【思考辨析】 判断下面结论是否正确(请在括号中打“√”或“×”) (1)综合法是直接证明，分析法是间接证明．(　×　) (2)分析法是从要证明的结论出发，逐步寻找使结论成立的充要条件．(　×　) (3)用反证法证明结论“ab”时，应假设“ab”．(　×　) (4)反证法是指将结论和条件同时否定，推出矛盾．(　×