張義華

反證法雖然是在平面幾何中出現(xiàn)的，但在其它內(nèi)容中，如代數(shù)、三角、立體幾何、解析幾何中都可應(yīng)用. 那么，究竟什么樣的命題可以用反證法來(lái)證呢？

1. 基本命題

此類命題由于已知條件及能夠應(yīng)用的定理、公式、法則較少，或由題設(shè)條件所能推得的結(jié)論很少，因而直接證明入手較難，此時(shí)應(yīng)用反證法容易奏效.

例1 求證：兩條直線如果有公共點(diǎn)，最多只有一個(gè).

證明 假設(shè)它們有兩個(gè)公共點(diǎn)[A，B]，這兩條直線分別是[a，b]，

那么[A，B]都屬于[a，A，B]也都屬于[b].

因?yàn)閮牲c(diǎn)決定一條直線，所以[a，b]重合.

所以命題不成立， 原命題正確，兩條直線的公共點(diǎn)最多只有一個(gè).

2. 否定式命題

結(jié)論中含有“不是”“不可能”“不存在”等詞語(yǔ)的命題，此類命題的反面比較具體，適于應(yīng)用反證法.

例2 如圖，設(shè)[SA，SB]是圓錐[SO]的兩條母線，[O]是底面圓心，[C]是[SB]上一點(diǎn).

求證：[AC]與平面[SOB]不垂直.

證明 假設(shè)[AC]⊥平面[SOB]，

∵直線[SO]在平面[SOB]內(nèi)，∴[AC⊥SO].

∵[SO]⊥底面圓[O]，∴[SO⊥AB].

∴[SO]⊥平面[SAB]， ∴平面[SAB]∥底面圓[O]，

這顯然矛盾，所以假設(shè)不成立.

即[AC]與平面[SOB]不垂直.

3. 限定式命題

結(jié)論中含有“至多”“至少”“不多于”或“最多”等詞語(yǔ)的命題.

例3 已知[a，b，c，d∈R]，且[a+b=c+d=1，][ac+bd>1.] 求證： [a，b，c，d]中至少有一個(gè)是負(fù)數(shù).

證明 假設(shè)[a，b，c，d]都是非負(fù)數(shù)，

∵[a+b=c+d=1，]

∴[a+bc+d=1.]

又[a+bc+d=ac+bd+ad+bc≥ac+bd.]

∴[ac+bd≤1.]

這與已知[ac+bd>1]矛盾.

∴[a，b，c，d]中至少有一個(gè)是負(fù)數(shù).

4. 惟一性命題

即結(jié)果指定惟一的命題.

例4 已知[a≠0，]求證：關(guān)于[x]的方程[ax=b]有且只有一個(gè)根.

證明 由于[a≠0，]因此方程至少有一個(gè)根[x=ba]，

如果方程不只一個(gè)根，不妨設(shè)[x1，x2（x1≠x2）]是它的兩個(gè)不同的根.

即[ax1=b]，[ax2=b].兩式相減得， [a（x1-x2）]=0.

因?yàn)閇a≠0]，所以[x1-x2=0]，即[x1=x2]，與[x1≠x2]矛盾，故假設(shè)錯(cuò)誤，原命題正確.

所以，當(dāng)[a≠0]時(shí)，方程[ax=b]有且只有一個(gè)根.

5. 無(wú)窮性命題

命題結(jié)論涉及無(wú)限集或數(shù)目不確定的對(duì)象.

例5 證明：lg3是有理數(shù).

證明 假設(shè)lg3是有理數(shù)，必然存在合適的[m，n]使得lg3=[mn]（[m，n]是互質(zhì)的正整數(shù)）.

由對(duì)數(shù)的定義得，則3=[10mn]，即[3n=10m].

對(duì)于函數(shù)[y=3x]和[y=10x]，當(dāng)且僅當(dāng)[x=0]時(shí)，兩個(gè)函數(shù)的函數(shù)值才相等.

即[m=n=0]. 與假設(shè)矛盾.

所以lg3一定是無(wú)理數(shù).

6. 存在性命題

例6 設(shè)[x，y∈[0，1]]， 求證：對(duì)于[a，b∈R]，必存在滿足條件的[x， y]，使[|xy-ax-by|≥13]成立.

證明 假設(shè)對(duì)一切[x，y∈[0，1]]使[|xy-ax-by|<13]恒成立，

令[x=0]， [y=1]， 得[|b|<13].

令[x=1]， [y=0]， 得[|a|<13.]

令[x=y=1]，得[|1-a-b|<13].

但[|1-a-b|≥1-|a|-|b|>1]-[13]-[13]=[13]，產(chǎn)生矛盾，故結(jié)論正確.

7. 運(yùn)用反證法應(yīng)注意的問(wèn)題

在否定命題的結(jié)論之前，首先要弄清命題的結(jié)論是什么，當(dāng)命題的結(jié)論的反面非常明顯并且只有一種情形時(shí)是比較容易做出否定的，但命題的結(jié)論的反面是多種情形或者比較隱晦時(shí)，就不太容易做出否定. 這時(shí)必須認(rèn)真分析、仔細(xì)推敲，在提出“假設(shè)”后，再回過(guò)頭來(lái)看看“假設(shè)”的對(duì)立面是否恰是命題的結(jié)論.例如，結(jié)論：最多有一個(gè)[S]是[P].錯(cuò)誤假設(shè)：最少有一個(gè)[S]是[P].正確假設(shè)：至少有兩個(gè)[S]是[P].現(xiàn)將一些常用詞的否定形式列表如下：

[原結(jié)論詞＼&假設(shè)詞＼&原結(jié)論詞＼&假設(shè)詞＼&是＼&不是＼&存在＼&不存在＼&都是＼&不都是＼&至少有[n]個(gè)＼&至多有[n-1]個(gè)＼&大（小）于＼&不大（?。┯冢?amp;至多有一個(gè)＼&至少有兩個(gè)＼&]

1. 已知函數(shù)[f（x）=x2+px+q]，求證：[|f（1）|，|f（2）|，][|f（3）|]至少有一個(gè)不小于[12].

2. 已知數(shù)列[{an}]的前[n]項(xiàng)的和[Sn]滿足[Sn=2an-3n] [（n∈N*）].

（1）求證：[{an+3}]為等比數(shù)列，并求[{an}]的通項(xiàng)公式；

（2）數(shù)列[{an}]是否存在三項(xiàng)使它們按原順序可以構(gòu)成等差數(shù)列？若存在，求出一組適合條件的項(xiàng)；若不存在，請(qǐng)說(shuō)明理由.

3. 兩個(gè)互相垂直的正方形如圖所示，[M，N]在相應(yīng)對(duì)角線上，且有[EM=CN].

求證：[MN]不可能垂直[CF].