顧俊
反證法是一種常用的間接證明的方法.法國數(shù)學(xué)家阿達(dá)瑪(Hadamard)對反證法的實質(zhì)作過概括:“若肯定定理的假設(shè)而否定其結(jié)論,就會導(dǎo)致矛盾.”
用反證法解題的過程包括反設(shè)、歸謬、存真三個步驟,即假設(shè)命題的結(jié)論不成立(假定原結(jié)論的反面為真);從反設(shè)和已知條件出發(fā),經(jīng)過一系列正確的邏輯推理,得出矛盾結(jié)果;由矛盾結(jié)果,斷定反設(shè)不真,從而肯定原結(jié)論成立.其中“矛盾”包括了推出的結(jié)果與已知定義、公理、定理、公式矛盾或與已知條件、臨時假定矛盾,以及自相矛盾等各種情形.
使用反證法時要注意適用范圍、表達(dá)步驟,下面我們分三個層次,分別從反證法中的表達(dá)形式(是什么)、歸謬方向(怎么做)、方法原理(為什么)這三個角度對反證法做些探討.
一、證法之初體驗——表達(dá)形式
王戎七歲,嘗與諸小兒游,看道邊李樹多子折枝,諸兒競走取之,惟戎不動.人問之,答.日:“樹在道邊而多子,此必苦李.”取之信然.
同學(xué)們,你們知道王戎的聰明之處在哪嗎?
王戎的聰明之處在于用了反證法的思維看待這個問題:
已知:道旁李樹多子折枝.求證:李子是苦的.
證明:(反證法)假設(shè)李子不是苦的,那么一定早被小孩摘光了,但現(xiàn)在樹上仍有這么多李子,矛盾.所以道旁的李子是苦的.
不摘李子,而想要直接說明李子是苦的這個事實,我們是不能輕易找到一個簡明的敘述方法的.數(shù)學(xué)語言必須簡潔明確,采用反證法的敘述思路,條理清晰,一目了然.在王戎論證的過程中,依據(jù)了一個事實:李子不苦的話,就一定被小孩子們摘光了.而在數(shù)學(xué)中,我們必須從假設(shè)出發(fā),用正確的邏輯推理,得出矛盾結(jié)果.
下面我們來看看幾個數(shù)學(xué)中的例子:
例1已知函數(shù)f(x)是(-∞,+∞)上的增函數(shù),若f(a)+f(b)≥f(-a)+f(-b),求證:a+b≥0.
證明假設(shè)a+b<0,則a<-b,b<-a,由于函數(shù)f(x)是(-∞,+∞)上的增函數(shù),從而f(a) 例2已知:兩個不同的平面a和β,在平面a內(nèi)有兩條相交直線a,b(交點為P)和平面β平行,求證:平面a//平面β. 證明假設(shè)平面a與平面β不平行,則平面a與平面β相交,記交線為l. 因為a平行于平面β,a在平面a內(nèi),平面a與平面β相交于l,所以a//l.同理b//l.則過l外一點有兩條相交直線與l平行,這與公理“過直線外一點有且只有一條直線和已知直線平行”矛盾,所以平面a//平面β. 以上的數(shù)學(xué)例子,直接證明比較困難,而借助反證法得以順利解決.由于條件與結(jié)論相對簡單,根據(jù)反證法的步驟,同學(xué)們能.輕松從反設(shè)導(dǎo)出矛盾.那么在處理一些比較復(fù)雜的問題時,該如何從反設(shè)出發(fā),導(dǎo)出矛盾呢?我們繼續(xù)往下看: 二、證法之細(xì)思量——歸謬方向 古希臘思想家亞里士多德曾經(jīng)斷言:物體從高空落下的快慢同物體的重量成正比,重者下落快,輕者下落慢.1800多年來,人們都把這個表面上看起來確實“正確”的論斷當(dāng)作真理而信守不移.直到16世紀(jì),伽利略發(fā)現(xiàn)了這一理論在邏輯,上的矛盾,并通過“比薩斜塔試驗”用事實進(jìn)行了證明.同學(xué)們,你們知道伽利略發(fā)現(xiàn)的邏輯上的矛盾是什么嗎? 邏輯上的矛盾:假定較重的物體下落較快.不妨設(shè)甲物體比乙物體重,我們把二者捆在一起,讓它們自由下落,一方面,根據(jù)假定,因為它們比甲物體更重,所以應(yīng)比甲物體單獨下落快;另一方面,兩個重、輕不同物體捆在一-起下落,重的要快,輕的要慢,快的被慢的拖拽,故它們下落速度比甲物體單獨下落慢.前后矛盾,可見假定較重的物體下落較快是錯誤的. 在使用反證法時,要從反設(shè)出發(fā),導(dǎo)出矛盾,不一定要面面俱到,只要能經(jīng)過正確的邏輯推理,得到一處矛盾即可判定反設(shè)不正確.同學(xué)們來找找伽利略發(fā)現(xiàn)的邏輯上的矛盾還可能是什么,并說一說“物體從高空落下,輕者下落快,重者下落慢”這句話邏輯上的矛盾. 例3求證:函數(shù)y=sinx的正周期不小于2π. 證明一假設(shè)T是函數(shù)y=sinx的周期,且0 sin(x+T)=sinx成立.令x=0得sinT=0,即T=kπ,k∈Z. 又因為0 所以,函數(shù)y=sinx的正周期不小于2π. 證明二假設(shè)T是函數(shù)y=sinx的周期,且0 例4設(shè)f(x)=x2+ax+b,求證:|f(1)|,|f(2)|,|f(3)|中至少有一個不小于1/2. 證明假設(shè)|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…③. 由①X(-1)+②可得-1<3+a<1,所以-4