1．直接证明
(1)综合法
定义：利用已知条件和某些数学定义、公理、定理等，经过一系列的推理论证，最后推导出所要证明的结论成立的证明方法．
(2)分析法
定义：从要证明的结论出发，逐步寻求使它成立的充分条件，直至最后，把要证明的结论归结为判定一个明显成立的条件(已知条件、定理、定义、公理等)为止的证明方法．
2．间接证明——反证法
一般地，假设原命题不成立(即在原命题的条件下，结论不成立)，经过正确的推理，最后得出矛盾，因此说明假设错误，从而证明了原命题成立，这样的证明方法叫做反证法．
3．数学归纳法
一般地，证明一个与正整数n有关的命题，可按下列步骤进行：
(1)归纳奠基：证明当n取第一个值n0(n0∈N*)时命题成立；
(2)归纳递推：假设n＝k(k≥n0，k∈N*)时命题成立，证明当n＝k＋1时命题也成立．
只要完成这两个步骤，就可以断定命题对从n0开始的所有正整数n都成立．上述证明方法叫做数学归纳法．
