解读间接证明的数学利器—反证法反证法是一种间接证法,它是先提出一个与命题的结论相反的假设,然后,从这个假设出发,经过正确的推理,导致矛盾,从而否定相反的假设,达到肯定原命题正确的一种方法
反证法可以分为归谬反证法(结论的反面只有一种)与穷举反证法(结论的反面不只一种)
用反证法证明一个命题的步骤,大体上分为:(1)反设;(2)归谬;(3)结论
实施的具体步骤是:第一步,反设:作出与求证结论相反的假设;第二步,归谬:将反设作为条件,并由此通过一系列的正确推理导出矛盾;第三步,结论:说明反设不成立,从而肯定原命题成立
反设是反证法的基础,为了正确地作出反设,掌握一些常用的互为否定的表述形式是有必要的,例如:是/不是;存在/不存在;平行于/不平行于;垂直于/不垂直于;等于/不等于;大(小)于/不大(小)于;都是/不都是;至少有一个/一个也没有;至少有n个/至多有(n一1)个;至多有一个/至少有两个;唯一/至少有两个
归谬是反证法的关键,导出矛盾的过程没有固定的模式,但必须从反设出发,否则推导将成为无源之水,无本之木
推理必须严谨
导出的矛盾有如下几种类型:与已知条件矛盾;与已知的公理、定义、定理、公式矛盾;与反设矛盾;自相矛盾
已知直线,ab和平面,如果,ab,且||ab,求证||a
【证明】因为||ab,所以经过直线a,b确定一个平面
因为a,而a,所以与是两个不同的平面.因为b,且b,所以b
下面用反证法证明直线a与平面没有公共点.假设直线a与平面有公共点P,则Pb,即点P是直线a与b的公共点,这与||ab矛盾.所以||a
【注】线面平行的判定定理:如果不在一个平面内的一条直线和平面内的一条直线平行,那么这条直线和这个平面平行.推理模式:,,////ababa.例2
求证:2不是有理数【分析】直接证明一