数学证明方法
1 直接证明法
从正面证明命题真实性的证明方法叫做直接证法．凡是用演绎法证明命题真实性的都是直接证法．它是中学数学中常用的证明方法．综合法、分析法、分析综合法、比较法。
（1）综合法：从已知条件入手，运用已经学过的公理、定义、定理等进行一步步的推理，一直推到结论为止．这种思维方法叫综合法．这种方法是“由因导果”，即从已知到可知，从可知到未知的思维过程．
（2）分析法：从问题的结论入手，运用已经学过的公理、定义、定理，一步步寻觅使结论成立的条件，一直“追”到这个结论成立的条件就是已知条件为止．可见分析法是“执果求因”的思维过程，它与综合法的思维过程相反．分析法属于逻辑方法范畴，它的严谨体现在分析过程步步可逆。
分析法的步骤为未知需知已知。在操作中“要证”、“只要证”、“即要证”这些词语也是不可缺少的。分析法的书写形式一般为“因为......，为了证明......，只需证明......，即......，因此，只需证明......，因为......成立，所以‘......（结论）’成立”。 （3）分析综合法：把分析法和综合法“联合”起来，从问题的两头向中间“靠拢”，从而发现问题的突破口．这种思维方法叫做分析综合法．对于比较复杂的题目，往往采用这种思维方法．在证明的过程中，往往分析法、综合法常常是不能分离的。分析综合法充分表明分析与综合之间互为前提、互相渗透、互相转化的辩证统一关系。分析的终点是综合的起点，综合的终点又成为进一步分析的起点。
（4）比较法
2 间接证明法
不是直接证明论题的真实性，而是通过证明论题的否定论题的不真实，或者证明它的等效命题成立，从而肯定论题真实性的证明方法，叫做间接证明法．反证法、同一法、归纳法（不完全归纳法、完全归纳法、数学归纳法）、类比法、换元法、放缩法、判别式法、函数法 （1）反证法：反证法就是从否定命题的结论入手，并把对命题结论的否定作为推理的已知条件，进行正确的逻辑推理，使之得到与已知条件、已知公理、定理、法则或者已经证明为正确的命题等相矛，矛盾的原因是假设不成立，所以肯定了命题的结论，从而使命题获得了证明。实施的具体步骤是：
第一步，反设：作出与求证结论相反的假设（即结论的否定成立）；
第二步，归谬：从否定结论出发，逐层进行推理，得出与公理或前述的定理、定义或题设条件，或与临时假设等自相矛盾（即说明结论不能否定）；
第三步，结论：根据排中律，说明反设不成立，从而肯定原命题成立。 （2）同一法：两个互逆或互否的命题不一定是等效的，只有当一个命题的条件和结论都唯一存在，且它们所指的概念是同一概念时，该命题与其逆命题才等效，这个原理叫做同一原理．对符合同一原理的命题，当直接证明有困难时可以改证与它的等效的逆命题，这种证明方法叫做同一法．
1当命题的条件与结论所含事项都唯一存在时，先作出符合命题结论的所有图形；同一法的步骤：○2证明所作图形符合已知条件；3根据唯一性，4最后肯定○○确定所作图形或所作图形与已知图形重合；○原命题成立．
（3）不完全归纳法：从一个或几个（但不是全部）特殊情况作出一般性结论的归纳推理。不完全归纳法又叫做普通归纳法。
（4）完全归纳法：是一种在研究了事物的所有(有限种)特殊情况后得出一般结论的推理方法，又叫做枚举法.与不完全归纳法不同，用完全归纳法得出的结论是可靠的.通常在事物包括的特殊情况数不多时，采用完全归纳法。
（5）数学归纳法
