2018步步高文 12.2直接证明与间接证明.docxVIP

1．直接证明(1)综合法①定义：一般地，利用已知条件和某些数学定义、公理、定理等，经过一系列的推理论证，最后推导出所要证明的结论成立，这种证明方法叫做综合法．②框图表示：―→―→―→…―→(其中P表示已知条件、已有的定义、公理、定理等，Q表示所要证明的结论)．③思维过程：由因导果．(2)分析法①定义：一般地，从要证明的结论出发，逐步寻求使它成立的充分条件，直至最后，把要证明的结论归结为判定一个明显成立的条件(已知条件、定理、定义、公理等)为止，这种证明方法叫做分析法．②框图表示：―→―→―→…―→(其中Q表示要证明的结论)．③思维过程：执果索因．2．间接证明反证法：一般地，假设原命题不成立(即在原命题的条件下，结论不成立)，经过正确的推理，最后得出矛盾，因此说明假设错误，从而证明原命题成立的证明方法．【思考辨析】判断下列结论是否正确(请在括号中打“√”或“×”)(1)综合法是直接证明，分析法是间接证明．(　×　)(2)分析法是从要证明的结论出发，逐步寻找使结论成立的充要条件．(　×　)(3)用反证法证明结论“ab”时，应假设“ab”．(　×　)(4)反证法是指将结论和条件同时否定，推出矛盾．(　×　)(5)在解决问题时，常常用分析法寻找解题的思路与方法，再用综合法展现解决问题的过程．(　√　)(6)证明不等式＋＋最合适的方法是分析法．(　√　)1．若a，b，c为实数，且ab0，则下