12.3 直接证明与间接证明
考纲要求
1．了解直接证明的两种基本方法——分析法和综合法．
2．了解间接证明的一种基本方法——反证法．
1．直接证明中最基本的两种证明方法是______和______．
2．综合法是利用已知条件和某些数学定义、定理、公理等，经过一系列的推理论证，最后推导出所要证明的结论成立．综合法又叫________．
3．分析法是从要证明的结论出发，逐步寻求使它成立的充分条件，直至最后，把要证明的结论归结为判定一个明显成立的条件(已知条件、定理、定义、公理等)．分析法又叫________．
4．反证法：假设原命题______(即在原命题的条件下，结论不成立)，经过正确的推理，最后得出矛盾，因此说明________，从而证明了__________，这样的证明方法叫反证法．
