反證法是從否定要證命題的結(jié)論出發(fā)，進(jìn)行合理的推導(dǎo)，得出矛盾，從而肯定命題結(jié)論成立，完成命題論證的方法。本文重點(diǎn)介紹適用反證法的幾種命題形式。

一、結(jié)論為否定形式的命題

例1：證明y=cos不是周期函數(shù)。

證明：若y=cos是周期函數(shù)，那么應(yīng)存在一個(gè)非零常數(shù)T，使cos=cos……①

設(shè)x=0，得cos=cos0=1。

所以存在自然數(shù)k1，使=2k1π，T=4k12π2。

其次，在①中令x=4π2，得cos=cos2π=1。

所以又存在自然數(shù)k2，使=2k2π，于是=k2， 但k12<1+k12<（k1+1）2 ， 所以不是自然數(shù)，即k2不是自然數(shù)，得到矛盾。因此假設(shè)不成立，即y=cos不是周期函數(shù)。

二、結(jié)論以“至少”、“至多”、“任一”、“唯一”、“無(wú)一”、“全部”等形式出現(xiàn)的命題

例2：試證：方程x=sinx+c（其中c是常數(shù)）的解是唯一的。

證明：顯然，直線y=x-c與正弦曲線y=sinx必有交點(diǎn)，故方程必有解。如果方程的解不是唯一的，即至少有兩個(gè)解x1、x2 （x1≠x2）。代入方程相減，得

x1-x2=sinx1-sinx2=2cossin

但sin<， ∴x1-x2<2cos·。

得cos>1， 與cos≤1矛盾。

因此，方程x=sinx+c的解是唯一的。

三、結(jié)論以“無(wú)限”的形式出現(xiàn)或涉及“無(wú)限”性質(zhì)的命題

例3：試證a+b（其中a、b是有理數(shù)，b ≠0）是無(wú)理數(shù)。

證明：假設(shè)a+b是有理數(shù)，設(shè)a+b=p（p為有理數(shù)），由上式得=。

因a、b、p都是有理數(shù)，由有理數(shù)的四則運(yùn)算的封閉性知，（b ≠0）是有理數(shù)， 不妨設(shè)=（r、s是互質(zhì)整數(shù)，且s≠0），則=，3s2=r2。左邊為3的倍數(shù)，因此右邊r也必有因數(shù)3，設(shè)r=3q，代入得s2 =3q2。

同理推出s有因數(shù)3，于是r、s有公約數(shù)3，這與上面關(guān)于r、s是互質(zhì)整數(shù)的假設(shè)矛盾，證得a+b為無(wú)理數(shù)。

四、關(guān)于存在性的命題

例4：設(shè)f（x），g（x）是[0，1]上的實(shí)值函數(shù)，證明存在x0，y0∈[0，1]，使得x0y0-f（x0）-g（y0）≥……………①

證明：反設(shè)這樣的x0，y0不存在，則對(duì)一切x，y∈[0，1]均有xy-f（x）-g（y）<……………②

取數(shù)對(duì)（0，0），（0，1），（1，0），（1，1）代入②，得f（0）+g（0）<，f（0）+g（1）<，f（1）+g（0）<，1-f（1）-g（1）<。

從而

1=[1-f（1）-g（1）]+[f（1）+g（0）]+[f（0）+g（1）]-[f（0）+g（0）]………③

≤[1-f（1）-g（1）]+[f（1）+g（0）]+[f（0）+g（1）]+[f（0）+g（0）]

<+++=1。

這一矛盾表明，存在x0，y0∈[0，1]使得①成立。

五、已知成立命題的逆命題

如果原命題與其逆命題都正確時(shí)，其逆命題的正確性往往可以用反證法證明。

例5：已知四邊形ABCD中，E，F(xiàn)分別是AD，BC的中點(diǎn)，且EF=（AB+CD）。求證：AB∥CD。

證明：假設(shè)AB與CD不平行（如圖1），取AC中點(diǎn)M，連ME，MF，則在△ACD與△ACB中，按中位線定理得MECD，MFAB。

由于AB與CD不平行，故ME與MF不共線，構(gòu)成△MEF， 有ME+MF>EF。即CD+AB>EF。這與已知條件（AB+CD）=EF矛盾。從而證得AB∥CD。

本題若不從反證法著手，則證明比較困難。

六、已知條件少或從已知出發(fā)所能推出結(jié)論甚少的命題

例6：設(shè)a、b、c，m、n、p均為實(shí)數(shù)，且滿足ap-2bn+cm=0和b2-ac<0，求證：mp-n2≤0。

證明： 假設(shè)mp-n2>0，則mp>n2。由b2-ac<0，得b2b2∴acmp>n2 b2。①

又由ap-2bn+cm=0得bn=（ap+cm）②

把②代入①并化簡(jiǎn)，得（ap-cm）2<0 ，

產(chǎn)生矛盾，故命題為真。