1．直接证明
直接证明中最基本的两种证明方法是综合法和分析法．
(1)综合法：从已知的条件出发，以已知的定义、公理、定理为依据，逐步下推，直到推出要证明的结论为止．
(2)分析法：从问题的结论出发，追溯导致结论成立的条件，逐步上溯，直到使结论成立的条件和已知条件或已知事实吻合为止．
(3)综合法与分析法的推证过程如下：
综合法——⇒…⇒…⇒；
分析法——⇐…⇐…⇐.
2．间接证明
反证法：一般地，假设原命题不成立，经过正确的推理，最后得出矛盾，因此说明假设错误，从而证明了原命题成立，这样的证明方法叫做反证法．
[小题体验]
1．判断下列结论是否正确(请在括号中打“√”或“×”)
(1)综合法是直接证明，分析法是间接证明．( )
(2)分析法是从要证明的结论出发，逐步寻找使结论成立的充要条件．( )
(3)用反证法证明结论“a＞b”时，应假设“a≤b”．( )
(4)反证法是指将结论和条件同时否定，推出矛盾．( )
答案：(1)× (2)× (3)√ (4)×
2．设a＝lg 2＋lg 5，b＝ex(x＜0)，则a与b的大小关系为________．
