2016届《新步步高》高考数学大一轮总复习（人教A版，理科） 第十三章 推理与证明、算法、复数 13.2.docxVIP

PAGE  §13.2　直接证明与间接证明 1．直接证明 (1)综合法 ①定义：利用已知条件和某些数学定义、定理、公理等，经过一系列的推理论证，最后推导出所要证明的结论成立，这种证明方法叫做综合法． ②框图表示：eq \x(P?Q1)―→eq \x(Q1?Q2)―→eq \x(Q2?Q3)―→…―→eq \x(Qn?Q) (其中P表示已知条件、已有的定义、定理、公理等，Q表示要证的结论)． ③思维过程：由因导果． (2)分析法 ①定义：从要证明的结论出发，逐步寻求使它成立的充分条件，直到最后，把要证明的结论归结为判定一个明显成立的条件(已知条件、定理、定义、公理等)为止，这种证明方法叫做分析法． ②框图表示：eq \x(Q?P1)―→eq \x(P1?P2)―→eq \x(P2?P3)―→…―→eq \x(得到一个明显成立的条件)(其中Q表示要证明的结论)． ③思维过程：执果索因． 2．间接证明 反证法：假设原命题不成立(即在原命题的条件下，结论不成立)，经过正确的推理，最后得出矛盾，因此说明假设错误，从而证明原命题成立的证明方法． 【思考辨析】 判断下面结论是否正确(请在括号中打“√”或“×”) (1)综合法是直接证明，分析法是间接证明．(　×　) (2)分析法是从要证明的结论出发，逐步寻找使结论成立的充要条件．(　×　)