明与间接证明直接证明是相对于间接证明说的，综合法和分析法是两种常见的直接证明。综合法一般地，利用已知条件和某些数学定义、定理、公理等，经过一系列的推理论证，最后推导出所要证明的结论成立，这种证明方法叫做综合法或顺推证法、由因导果法。分析法一般地，从要证明的结论出发，逐步寻求使它成立的充分条件，直至最后，把
f要证明的结论归结为判定一个明显成立的条件已知条件、定理、定义、公理等为止，这种证明方法叫做分析法。
间接证明是相对于直接证明说的，反证法是间接证明常用的方法。假设原命题不成立，经过正确的推理，最后得出矛盾，因此说明假设错误，从而证明原命题成立，这种证明方法叫做反证法。
四、数学归纳法数学上证明与自然数N有关的命题的一种特殊方法，它主要用来研究与正整数有关的数学问题，在高中数学中常用来证明等式成立和数列通项公式成立。
fr