推理与证明

1.合情推理与演绎推理

(1)归纳和类比都是合情推理，前者是由特殊到一般，部分到整体的推理，后者是由特殊到特殊的推理，但二者都能由已知推测未知，都能用于猜想，推理的结论不一定为真，有待进一步证明.

(2)演绎推理与合情推理不同，是由一般到特殊的推理，是数学中证明的基本推理形式.也是公理化体系所采用的推理形式，另一方面，合情推理与演绎推理又是相辅相成的，前者是后者的前提，后者论证前者的可靠性.

2.直接证明与间接证明

直接证明和间接证明是数学证明的两类基本证明方法.直接证明的两类基本方法是综合法和分析法：综合法是从已知条件推导出结论的证明方法；分析法是由结论追溯到条件的证明方法，在解决数学问题时，常把它们结合起来使用，间接证法的一种方法是反证法，反证法是从结论反面成立出发，推出矛盾的证明方法.

思考　反证法通常适用于哪些问题？

答案　反证法是高中数学的一种重要的证明方法，在不等式和立体几何的证明中经常用到，它所反映出的"正难则反"的解决问题的思想方法更为重要.反证法主要证明：否定性、唯一性命题；至多、至少型问题；几何问题.

3.数学归纳法

数学归纳法主要用于解决与正整数有关的数学问题.证明时，它的两个步骤缺一不可.它的第一步(归纳奠基)n＝n0时结论成立.第二步(归纳递推)假设n＝k时，结论成立，推得n＝k＋1时结论也成立.数学归纳法原理建立在归纳公理的基础上，它可用有限的步骤(两步)证明出