1．直接证明

(1)综合法

①定义：利用已知条件和某些数学定义、公理、定理等，经过一系列的推理论证，最后推导出所要证明的结论成立，这种证明方法叫做综合法．

②框图表示：→→→…→

(其中P表示已知条件、已有的定义、公理、定理等，Q表示要证的结论)．

(2)分析法

①定义：从要证明的结论出发，逐步寻求使它成立的充分条件，直至最后，把要证明的结论归结为判定一个明显成立的条件(已知条件、定理、定义、公理等)为止．这种证明方法叫做分析法．

②框图表示：→→→…→

.

2．间接证明

一般地，由证明p⇒q转向证明：綈q⇒r⇒…⇒t.

t与假设矛盾，或与某个真命题矛盾．从而判定綈q为假，推出q为真的方法，叫做反证法．

一个关系

综合法与分析法的关系

分析法与综合法相辅相成，对较复杂的问题，常常先从结论进行分析，寻求结论与条件、基础知识之间的关系，找到解决问题的思路，再运用综合法证明，或者在证明时将两种方法交叉使用．

两个防范

(1)利用反证法证明数学问题时，要假设结论错误，并用假设命题进行推理，没有用假设命题推理而推出矛盾结果，其推理过程是错误的．

(2)用分析法证明数学问题时，要注意书写格式的规范性，常常用“要证(欲证)…”“即要证…”“就要证…”等分析到一个明显成立的结论P，再说明所要证明的数学问题成立．