[学习目标]　1.了解反证法是间接证明的一种方法.2.理解反证法的思考过程，会用反证法证明数学问题.

知识点一　间接证明

不是直接从原命题的条件逐步推得命题成立，像这种不是直接证明的方法通常称为间接证明.

常见的间接证明的方法是反证法.

知识点二　反证法

1.反证法定义

在证明数学命题时，先假定命题结论的反面成立，在这个前提下，若推出的结果与定义、公理、定理相矛盾，或与命题中的已知条件相矛盾，或与假定相矛盾，从而说明命题结论的反面不可能成立，由此断定命题的结论成立，这种证明方法叫作反证法.

2.反证法常见的矛盾类型

反证法的关键是在正确的推理下得出矛盾.这个矛盾可以是与已知条件矛盾，或与假设矛盾，或与定义、公理、定理、事实矛盾等.

3.反证法中常用的"结论词"与"反设词"如下：

结论词 至少有一个 至多有一个 至少有n个 至多有n个 反设词 一个也没有(不存在) 至少有两个 至多有(n－1)个 至少有(n＋1)个 结论词 只有一个 对所有x成立 对任意x不成立 反设词 没有或至少有两个 存在某个x不成立 存在某个x成立 结论词 都是 一定是 p或q p且q 反设词 不都是 不一定是 綈p且綈q 綈p或綈q

思考　(1)有人说反证法就是通过证明逆否命题来证明原命题，这种说法对吗？为什么？

(2)反证法主要适用于什么情形？

答案　(1)这种说法是错误的，反证法是先否定命题，然后再证明命题的否定是错误的，从