定义：一般地从已知条件出发，利用定义、公理、定理、性质等经过一系列的

这种证明方法叫做综合法，

综合法又叫顺推证法或由因导果法．

特点：由因导果即从“已知”看“可知”，逐步推向“未知”．

表示已知条件或已有的不等式

定义：证明题时，常常从要证的结论出发逐步寻求使它成立嘚充分条件，直至所

需条件为已知条件或一个明显成立的事实

要证的命题成立这种证明方法叫做分析法，这是一种“执果索因”的思考囷证明方法．

特点：执果索因即从“未知”看“需知”，逐步靠拢“已知”．

得到一个明显成立的条件