三个角度探讨“正难则反”
2019-06-28顾俊
顾俊
反证法是一种常用的间接证明的方法.法国数学家阿达玛(Hadamard)对反证法的实质作过概括:“若肯定定理的假设而否定其结论,就会导致矛盾.”
用反证法解题的过程包括反设、归谬、存真三个步骤,即假设命题的结论不成立(假定原结论的反面为真);从反设和已知条件出发,经过一系列正确的逻辑推理,得出矛盾结果;由矛盾结果,断定反设不真,从而肯定原结论成立.其中“矛盾”包括了推出的结果与已知定义、公理、定理、公式矛盾或与已知条件、临时假定矛盾,以及自相矛盾等各种情形.
使用反证法时要注意适用范围、表达步骤,下面我们分三个层次,分别从反证法中的表达形式(是什么)、归谬方向(怎么做)、方法原理(为什么)这三个角度对反证法做些探讨.
一、证法之初体验——表达形式
王戎七岁,尝与诸小儿游,看道边李树多子折枝,诸儿竞走取之,惟戎不动.人问之,答.日:“树在道边而多子,此必苦李.”取之信然.
同学们,你们知道王戎的聪明之处在哪吗?
王戎的聪明之处在于用了反证法的思维看待这个问题:
已知:道旁李树多子折枝.求证:李子是苦的.
证明:(反证法)假设李子不是苦的,那么一定早被小孩摘光了,但现在树上仍有这么多李子,矛盾.所以道旁的李子是苦的.
不摘李子,而想要直接说明李子是苦的这个事实,我们是不能轻易找到一个简明的叙述方法的.数学语言必须简洁明确,采用反证法的叙述思路,条理清晰,一目了然.在王戎论证的过程中,依据了一个事实:李子不苦的话,就一定被小孩子们摘光了.而在数学中,我们必须从假设出发,用正确的逻辑推理,得出矛盾结果.
下面我们来看看几个数学中的例子:
例1已知函数f(x)是(-∞,+∞)上的增函数,若f(a)+f(b)≥f(-a)+f(-b),求证:a+b≥0.
证明假设a+b<0,则a<-b,b<-a,由于函数f(x)是(-∞,+∞)上的增函数,从而f(a) 例2已知:两个不同的平面a和β,在平面a内有两条相交直线a,b(交点为P)和平面β平行,求证:平面a//平面β. 证明假设平面a与平面β不平行,则平面a与平面β相交,记交线为l. 因为a平行于平面β,a在平面a内,平面a与平面β相交于l,所以a//l.同理b//l.则过l外一点有两条相交直线与l平行,这与公理“过直线外一点有且只有一条直线和已知直线平行”矛盾,所以平面a//平面β. 以上的数学例子,直接证明比较困难,而借助反证法得以顺利解决.由于条件与结论相对简单,根据反证法的步骤,同学们能.轻松从反设导出矛盾.那么在处理一些比较复杂的问题时,该如何从反设出发,导出矛盾呢?我们继续往下看: 二、证法之细思量——归谬方向 古希腊思想家亚里士多德曾经断言:物体从高空落下的快慢同物体的重量成正比,重者下落快,轻者下落慢.1800多年来,人们都把这个表面上看起来确实“正确”的论断当作真理而信守不移.直到16世纪,伽利略发现了这一理论在逻辑,上的矛盾,并通过“比萨斜塔试验”用事实进行了证明.同学们,你们知道伽利略发现的逻辑上的矛盾是什么吗? 逻辑上的矛盾:假定较重的物体下落较快.不妨设甲物体比乙物体重,我们把二者捆在一起,让它们自由下落,一方面,根据假定,因为它们比甲物体更重,所以应比甲物体單独下落快;另一方面,两个重、轻不同物体捆在一-起下落,重的要快,轻的要慢,快的被慢的拖拽,故它们下落速度比甲物体单独下落慢.前后矛盾,可见假定较重的物体下落较快是错误的. 在使用反证法时,要从反设出发,导出矛盾,不一定要面面俱到,只要能经过正确的逻辑推理,得到一处矛盾即可判定反设不正确.同学们来找找伽利略发现的逻辑上的矛盾还可能是什么,并说一说“物体从高空落下,轻者下落快,重者下落慢”这句话逻辑上的矛盾. 例3求证:函数y=sinx的正周期不小于2π. 证明一假设T是函数y=sinx的周期,且0 sin(x+T)=sinx成立.令x=0得sinT=0,即T=kπ,k∈Z. 又因为0 所以,函数y=sinx的正周期不小于2π. 证明二假设T是函数y=sinx的周期,且0 例4设f(x)=x2+ax+b,求证:|f(1)|,|f(2)|,|f(3)|中至少有一个不小于1/2. 证明假设|f(1)|,|f(2)|,|f(3)|都小于1/2,即|f(1)|<1/2,|f(2)|<1/2,|f(3)|<1/2, 有-1/2<1+a+b<1/2…①,-1/2<4+2a+b<1/2…②,-1/2<9+3a+b<1/2…③.