2《直接证明与间接证明-反证法》•1
反证法是间接证明的一种基本方法.假设原命题不成立,经过正确的推理,最后得出矛盾,因此说明假设错误,从而证明了原命题成立,这样的证明方法叫做反证法.•反证法的思维方法:正难则反•2.反证法的一般步骤•(1)反设:假设所要证明的结论不成立,假设结论的反面成立;•(2)归谬:由“反设”出发,通过正确的推理,导出矛盾——与已知条件、已知的公理、定义、定理、反设及明显的事实矛盾或自相矛盾;•(3)结论:因为推理正确,产生矛盾的原因在于“反设”的谬误,既然结论的反面不成立,从而肯定了结论成立.•3
应用反证法证明命题时,反设必须恰当,常见的“结论词”与“反设词”归纳如下:原结论词至少有一个至多有一个至少有n个只有一个对所有x成立对任意x不成立反设词一个也没有至少有两个至多n-1个没有或至少两个存在x0不成立存在x0成立原结论词都是p或qp且q反设词不都是┐p且┐q┐p或┐q•4.常见的主要矛盾•反证法的关键是在正确的推理下得出矛盾,常见的主要矛盾有三类:•(1)与已知条件矛盾;•(2)与假设矛盾(自相矛盾);•(3)与定义、定理、公理、事实矛盾.•5.一般情况下,什么样的证明题型适宜用反证法•宜用反证法证明的题型一般有:(1)一些基本命题、基本定理;(2)易导出与已知矛盾的命题;(3)“否定性”命题;(4)“唯一性”命题;(5)“必然性”命题;(6)“至多”“至少”类命题;(7)涉及“无限”结论的命题等
反证法是一种重要的数学思想方法,对于那些含有否定词的命题,“至少”型命题、唯一性命题,尤为适宜
牛顿说:“反证法是数学上最精良的武器之一
”这就充分肯定了这一方法的积极作用和不可动摇的重要地位
数学上很多有名的结论都是用反证法得证的
比如说,素数有无穷多个,2是无理数的证明等
例1已知a≠0,证明x的方程ax=b有且只有一个根
证:假设方程