反證法在證明題中的應(yīng)用

反證法是高中數(shù)學(xué)的一種重要的證明方法,在不等式和立體幾何的證明中經(jīng)常用到,在高考題中也經(jīng)常出現(xiàn)。它是數(shù)學(xué)學(xué)習(xí)中一種很重要的證題方法. 反證法證題的步驟大致分為三步:

(1)反設(shè):作出與求證的結(jié)論相反的假設(shè);

(2)歸謬:由反設(shè)出發(fā),導(dǎo)出矛盾結(jié)果;

(3)作出結(jié)論:證明了反設(shè)不能成立,從而證明了所求證的結(jié)論成立.

其中,導(dǎo)出矛盾是關(guān)鍵,通常有以下幾種途徑:與已知矛盾,與公理、定理矛盾,與假設(shè)矛盾,自相矛盾等.

類型一 證明“至多”或“至少”問(wèn)題

證明“至多”或“至少”問(wèn)題

使用情景:證明“至多”或“至少”問(wèn)題.
解題步驟:

第一步 首先假設(shè)命題不成立;
第二步 然后根據(jù)已知或者規(guī)律推導(dǎo)出矛盾;
第三步 最后得出結(jié)論.
例1.若x,y\in{正整數(shù)},且x+y>2。求證:\dfrac{1+x}{y}<2\dfrac{1+y}{x}<2中至少有一個(gè)成立。
【解析】注意“至少”字樣,可以考慮用反證法證明

證明:假設(shè)\cfrac{1+x}{y}\geqslant2與\cfrac{1+y}{x}\geqslant2同時(shí)成立,又x>0,y>0,

\therefore\begin{cases}1+x\geqslant 2y\\ 1+y\geqslant 2x\end{cases}將以上兩式相加得x+y\leqslant2 ,

這與已知條件x+y\geqslant2矛 盾,

因此假設(shè)不成立。

\cfrac{1+x}{y}\cfrac{1+y}{x}<2中至少有一個(gè)成立。

【點(diǎn)評(píng)】反證法的邏輯根據(jù)為:要證明命題“若則為真”,該證“若則為假”,因此,反證法的核心是從出發(fā)導(dǎo)出矛盾。

類型二 證明“不可能”問(wèn)題

證明“不可能”問(wèn)題

使用情景:證明“不可能”問(wèn)題.
解題步驟:

第一步 首先假設(shè)命題不成立;
第二步 然后根據(jù)已知或者規(guī)律推導(dǎo)出矛盾;
第三步 最后得出結(jié)論.
例2.給定實(shí)數(shù)a,a\neq0a\neq1,設(shè)函數(shù)y=\cfrac{x-1}{ax-1}(x\in R,且x\neq\cfrac{1}{a}),求證:經(jīng)過(guò)這個(gè)函數(shù)圖象上任意兩個(gè)不同的點(diǎn)的直線不平行于x軸.
【解析】:要證明經(jīng)過(guò)這個(gè)函數(shù)圖像上任意兩個(gè)不同點(diǎn)的直線不平行于x軸,可以考慮假設(shè)函數(shù)圖像上存在兩點(diǎn)M_1,M_2,使得直線M_1M_2平行于x軸,可以考慮假設(shè)函數(shù)圖像上存在兩點(diǎn)M_1,M_2,使得直線M_1M_2平行于x軸,然后得出矛盾。

證明:假設(shè)函數(shù)圖像上存在兩點(diǎn)M_1,M_2,使得直線平行于x軸,設(shè)M_1(x_1,x_1),M_2(x_2,y_2)x_1\neq x_2k_{M_1M_2}=0\cfrac{y_2-y_1}{x_2-x_1}=\cfrac{\cfrac{x_2-1}{ax_2-1}-\cfrac{x_1-1}{ax_1-1}}{x_2-x_1}=\cfrac{a-1}{(ax_2-1)(ax_1-1)}=0,解得a=1。與已知a\neq1矛盾。故經(jīng)過(guò)這個(gè)函數(shù)圖像上任意兩個(gè)不同的點(diǎn)的直線不平行于x

【點(diǎn)評(píng)】在證明不可能問(wèn)題上,必須按“反設(shè)——?dú)w謬——結(jié)論”的步驟進(jìn)行,反證法的難點(diǎn)在于如何從假設(shè)中推出矛盾,從而說(shuō)明假設(shè)不成立。本題從假設(shè)中推出的結(jié)論是與已知相矛盾。

類型三 證明“存在性”或“唯一性”問(wèn)題

證明“存在性”或“唯一性”問(wèn)題

使用情景:證明“存在性”或“唯一性”問(wèn)題.
解題步驟:

第一步 首先假設(shè)命題不成立;
第二步 然后根據(jù)已知或者規(guī)律推導(dǎo)出矛盾;
第三步 最后得出結(jié)論.
例3.求證:方程5^x=12的解是唯一的.
【解析】可以假設(shè)方程5^x=12的解有兩個(gè),然后得出矛盾。

證明:由對(duì)數(shù)的定義易得,x_1=\log_5 12是這個(gè)方程的一個(gè)解,假設(shè)這個(gè)方程的解不是唯一的,他還有解x=x_2(x_2\neq x_1),則5^{x_1}=12,則\cfrac{5^{x_2}}{5^{x_1}}=1.①由假設(shè),得x_2-x_1\neq 0,從而:當(dāng)x_2-x_1>0時(shí),有5^{x_2-x_1}>1;②當(dāng)x_2-x_1<0時(shí),有5^{x_2-x_1}<1

顯然,②,③與①都矛盾,這說(shuō)明假設(shè)不成立,所以原方程的解是唯一的。

【總結(jié)】有關(guān)存在性與唯一性命題的證明問(wèn)題,可考慮用反證法.“存在”就是“至少有一個(gè)”,其反面是“一個(gè)沒(méi)有”,“惟一”就是“有且只有一個(gè)”,其反面是“至少有兩個(gè)”.有時(shí)問(wèn)題的結(jié)論是以否定形式出現(xiàn)的否定性命題,也可考慮應(yīng)用反證法.

最后編輯于
?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請(qǐng)聯(lián)系作者
【社區(qū)內(nèi)容提示】社區(qū)部分內(nèi)容疑似由AI輔助生成,瀏覽時(shí)請(qǐng)結(jié)合常識(shí)與多方信息審慎甄別。
平臺(tái)聲明:文章內(nèi)容(如有圖片或視頻亦包括在內(nèi))由作者上傳并發(fā)布,文章內(nèi)容僅代表作者本人觀點(diǎn),簡(jiǎn)書(shū)系信息發(fā)布平臺(tái),僅提供信息存儲(chǔ)服務(wù)。

相關(guān)閱讀更多精彩內(nèi)容

友情鏈接更多精彩內(nèi)容