漫谈初中数学解题中的“反证法”

王玉琴

一、“反证法”解题方法

在解题中，反证法一般分为三步：1.提出假设：做出与所要求证的结论相反的假定。2.推理求证：由“假设”出发进行推理，得出与定义、定理、公理或与题设相矛盾的结论。3.得出结论：根据“矛盾”得出假设不成立，原求证结论正确。反证法的步骤好理解和掌握，关键是要反设正确，在结论的方面呈多种情况或比较隐晦时，在反设时就比较困难，现将其中常用的互为否定形式词语总结如下：

其中，在至少有一个、至多有n个、至多有一个等证明结论的反设上，需要更为细心的琢磨，让学生明白一个也没有、至多有二个、至多有n个的深刻含义，从而顺利进行证明。反证法的使用，使得一些数学试题的解决简单便捷。

二、“反证法”例题展示

1.定理性命题的证明

在数学的基本定理中，利用“反证法”来证明，更便捷、具有说服力。

案例1：勾股定理的证明

如图所示，在直角三角形△ABC中，∠C=90°，三个边长分别为a、b、c，求证：c2=a2+b2.

证明：过C点作斜边AB上的垂线于D，假设a2+b2 ≠ c2，即AC2+BC2≠AB2，根据三角形的中垂线定理可得：

AB2=AB·AB=AB（AD+BD）=AB·AD+AB·BD根据假设又知：AC2≠AB·AD，BC2≠AB·BD即AD：AC≠AC：AB，或者BD：BC≠BC：AB，在△ADC和△ACB中，因为∠A=∠A，则当AD：AC≠AC：AB时，∠ADC≠∠ACB；在△CDB和△ACB中，因为∠B=∠B，则当BD：BC≠BC：AB时，∠CDB≠∠ACB，又因为∠ACB=90°，所以∠ADC≠90°，∠CDB≠90°，这与CD⊥AB是矛盾的，所以AC2+BC2≠AB2不成立，则有：AC2+BC2=AB2，即c2=a2+b2

2.無限性命题的证明

“无限”、“无穷”等概念，往往出现在求证命题中，正面证明缺乏一定的头绪，而“反证法”使得解题变得非常简单。

案例2：求证，0与1之间存在着无穷个有理数。

证明：假设0与1之间有n个有理数，分别为a1、a2、a3…an。那么将这些有理数相乘可以得到b=a1·a2·a3·…·an，根据有理数的积仍为有理数可得，b也应该是0到1之间的有理数，故可以推导得出，在0到1之间有n+1个有理数，这与题设相矛盾，所以，在0与1之间存在着无穷个有理数是正确的。……