专题六：数学解题方法之特殊证法

一．知识探究：

1．定义法

所谓定义法，就是直接用数学定义解决问题。数学中的定理、公式、性质和法则等，都是由定义和公理推演出来。定义是揭示概念内涵的逻辑方法，它通过指出概念所反映的事物的本质属性来明确概念。

定义是千百次实践后的必然结果，它科学地反映和揭示了客观世界的事物的本质特点。简单地说，定义是基本概念对数学实体的高度抽象。用定义法解题，是最直接的方法。

2．反证法

反证法是属于“间接证明法”一类，是从反面的角度思考问题的证明方法，即：肯定题设而否定结论，从而导出矛盾推理而得。反证法的实质：“若肯定定理的假设而否定其结论，就会导致矛盾”。具体地讲，反证法就是从否定命题的结论入手，并把对命题结论的否定作为推理的已知条件，进行正确的逻辑推理，使之得到与已知条件、已知公理、定理、法则或者已经证明为正确的命题等相矛，矛盾的原因是假设不成立，所以肯定了命题的结论，从而使命题获得了证明。

反证法的证题模式可以简要的概括我为“否定→推理→否定”。即从否定结论开始，经过正确无误的推理导致逻辑矛盾，达到新的否定，可以认为反证法的基本思想就是“否定之否定”。

应用反证法证明的主要三步是：否定结论 → 推导出矛盾 → 结论成立。实施的具体步骤是：

第一步，反设：作出与求证结论相反的假设；

第二步，归谬：将反设作为条件，并由此通过一系列的正确推理导出矛盾；

第三步，结论：说明反设不成立，从而肯定原命题成立。

在应用反证法证题时，一定要用到“反设”进行推理，否则就不是反证法。用反证法证题时，如果欲证明的命题的方面情况只有一种，那么只要将这种情况驳倒了就可以，这种反证法又叫“归谬法”；如果结论的方面情况有多种，那么必须将所有的反面情况一一驳倒，才能推断原结论成立，这种证法又叫“穷举法”。

一般来讲，反证法常用来证明的题型有：命题的结论以“否定形式”、“至少”或“至多”、“唯一”、“无限”形式出现的命题；或者否定结论更明显。具体、简单的命题；或者直接证明难以下手的命题，改变其思维方向，从结论入手进行反面思考，问题可能解决得十分干脆。

3．数学归纳法

数学归纳法是用来证明某些与自然数有关的数学命题的一种推理方法，在解数学题中有着广泛的应用。它是一个递推的数学论证方法，论证的第一步是证明命题在n＝1(或n )时成立，这是递推的基础；第二步是假设在n＝k时命题成立，再证明n＝k＋1时命题也成立，这是无限递推下去的理论依据，它判断命题的正确性能否由特殊推广到一般，实际上它使命题的正确性突破了有限，达到无限。这两个步骤密切相关，缺一不可，完成了这两步，就可以断定“对任何自然数（或n≥n 且n∈N）结论都正确”。由这两步可以看出，数学归纳法是由递推实现归纳的，属于完全归纳。

运用数学归纳法证明问题时，关键是n＝k＋1时命题成立的推证，此步证明要具有目标意识，注意与最终要达到的解题目标进行分析比较，以此确定和调控解题的方向，使差异逐步减小，最终实现目标完成解题。

运用数学归纳法，可以证明下列问题：与自然数n有关的恒等式、代数不等式、三角不等式、数列问题、几何问题、整除性问题等等。

4．不等式的证明方法

（1）比较法是证明不等式最基本、最常用、最重要的方法之一。它包括“作差法”与“作商法”，比差法的理论依据是