反证法在数学解题中应用与逻辑原理.pdfVIP

七、反证法

与前面所讲的方法不同，反证法是属于“间接证明法”一类，是从的角度思考问题的

证明方法，即：肯定题设而否定结论，从而导出推理而得。法国数学家阿达玛(Hadamard)

对反证法的实质作过概括：“若肯定定理的假设而否定其结论，就会导致”。具体地讲，

反证法就是从否定命题的结论入手，并把对命题结论的否定作为推理的已知条件，进行正确

的逻辑推理，使之得到与已知条件、已知公理、定理、法则或者已经证明为正确题等相

矛，的是假设不成立，所以肯定了命题的结论，从而使命题获得了证明。

反证法所依据的是逻辑思维规律中的“律”和“排中律”。在同一思维过程中，两个

互相的判断不能同时都为真，至少有一个是，这就是逻辑思维中的“律”；两个

互相的判断不能同时都假，简单地说“A或者非A”，这就是逻辑思维中的“排中律”。反

证法在其证明过程中，得到的判断，根据“律”，这些的判断不能同时为真，必

有一假，而已知条件、已知公理、定理、法则或者已经证明为正确题都是真的，所以“否

定的结论”必为假。再根据“排中律”，结论与“否定的结论”这一对立的互相否定的判断不能

同时为假，必有一真，于是我们得到原结论必为真。所以反证法是以逻辑思维的基本规律和

理论为依据的，反证法是可信的。

反证法的证题模式可以简要的概括我为“否定→推理→否定”。即从否定结论开始，经过

正确无误的推理导致逻辑，达到新的否定，可以认为反证法的基本思想就是“否定之否

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

是：

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

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

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

在应用反证法证题时，一定要用到“反设”进行推理，否则就不是反证法。用反证法证题

时，如果欲证明题的方面情况只有一种，那么只要将这种情况驳倒了就可以，这种反证

法又叫“归谬法”；如果结论的方面情况有多种，那么必须将所有的情况一一驳倒，才能推

断原结论成立，这种证法又叫“穷举法”。

在数学解题中经常使用反证法，牛顿曾经：“反证法是数学家最精当的之一”。一般

来讲，反证法常用来证明的题型有：命题的结论以“否定形式”、“至少”或“至多”、“唯一”、

“无限”形式出现题；或者否定结论更明显。具体、简单题；或者直接证明难以下手

题，改变其思维方向，从结论入手进行思考，问题可能解决得十分干脆。

Ⅰ、再现性题组：

1.已知函数f(x)在其定义域内是减函数，则方程f(x)＝0。

A.至多一个实根B.至少一个实根C.一个实根D.无实根

2

2.已知a0,－1b0，那么a、ab、ab之间的大小关系是。

2222

A.aababB.ababaC.abaabD.ababa

3.已知α∩β＝l，aα，bβ，若a、b为异面直线，则。

A.a、b都与