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