直接证明与间接证明-高中数学必修

1、分析法：从原因推导到结果的思维方法.

2、综合法：从结果追溯到产生这一结果的原因的思维方法.

3、反证法：判定非q为假，推出q为真的方法.应用反证法证明命题的一般步骤：⑴分清命题的条件和结论；⑵做出与命题结论相矛盾的假定；⑶由假定出发，应用正确的推理方法，推出矛盾的结果；⑷间接证明命题为真.

4、