直接證明與間接證明課件_第1頁
直接證明與間接證明課件_第2頁
直接證明與間接證明課件_第3頁
直接證明與間接證明課件_第4頁
直接證明與間接證明課件_第5頁
已閱讀5頁,還剩9頁未讀 繼續(xù)免費閱讀

下載本文檔

版權說明:本文檔由用戶提供并上傳,收益歸屬內容提供方,若內容存在侵權,請進行舉報或認領

文檔簡介

2.2直接證明與間接證明2.2.1綜合法和分析法2.2.2

反證法

綜合法和分析法,是直接證明中最基本的兩種證明方法,也是解決數(shù)學問題時常用的思維方式.2.2直接證明與間接證明2.2.1綜合法和分析法

一般地,利用已知條件和某些數(shù)學定義、公理、定理等,經過一系列的推理論證,最后推導出所要證明的結論成立.其特點是“由因導果”.1.綜合法:(順推證法或由因導果法)

則綜合法可用框圖表示如下:

用P表示已知條件、已有的定義、公理、定理等,Q表示所要證明的結論.…一般地,利用已知條件和某些數(shù)學定義、公理、例:已知a>0,b>0,求證a(b2+c2)+b(c2+a2)≥4abc證明:∵b2+c2≥2bc,a>0∴a(b2+c2)≥2abc.又∵c2+a2≥2ac,b>0

∴b(c2+a2)≥2abc.∴a(b2+c2)+b(c2+a2)≥4abc.例:已知a>0,b>0,求證a(b2+c2)+b(c2+a2例題1

在△ABC中,三個內角A、B、C對應的邊分別為a、b、c,且A、B、C成等差數(shù)列,a、b、c成等比數(shù)列,求證△ABC為等邊三角形.分析將A,B,C成等差數(shù)列,轉化為符號語言就是2B=A+C;A,B,C為△ABC的內角,這是一個隱含條件,即A+B+C=180°;a,b,c成等比數(shù)列轉化為符號語言就是

此時,如果能把角和邊統(tǒng)一起來,那么就可以進一步尋找角和邊之間的關系,進而判斷三角形的形狀,余弦定理正好滿足要求.于是,可以用余弦定理進行證明.例題1在△ABC中,三個內角A、B、C對應的證明:由A,B,C成等差數(shù)列,所以2B=A+C.①由A,B,C為△ABC的內角,所以A+B+C=180°②③由a,b,c成等比數(shù)列,有④由①②,得①②,得由①②,得由余弦定理及③④,可得因此a=c.從而A=C.⑤所以△ABC為等邊三角形.由②③⑤,得證明:由A,B,C成等差數(shù)列,所以2B=A+C.①由A,B,2.分析法(逆推證法或執(zhí)果索因法)從要證明的結論出發(fā),逐步尋求使它成立的充分條件,直至最后,把要證明的結論歸結為判定一個明顯成立的條件(已知,定理,定義,公理等).特點:執(zhí)果索因我們也可以用框圖來表示分析法:得到一個明顯成立的結論…2.分析法(逆推證法或執(zhí)果索因法)從要證明的結論出發(fā),逐步尋分析法的適用范圍:

當已知條件與結論之間的聯(lián)系不夠明顯、直接證明需要用哪些知識不太明確具體時,往往采用從結論出發(fā),結合已知條件,逐步反推,尋求使當前命題成立的充分條件.不等式:

(a>0,b>0)的證明.例1:分析法的適用范圍:當已知條件與結論之間的聯(lián)系不夠明顯、直證明:要證只需證:只需證:只需證:因為:成立所以成立證明:要證證明:只需證只需證因為和都是正數(shù),所以要證例題2即證即證21<25.因為21<25成立,所以成立.

在本例中,如果我們從“21<25”出發(fā),逐步倒推回去,就是綜合法.但由于我們很難想到從“21<25”入手,所以用綜合法比較困難.反思證明:只需證只需證因為和注:反證法是最常用的間接證法

一般地,假設原命題不成立,經過正確的推理,最后得出矛盾,因此說明假設錯誤,從而證明了原命題成立,這樣的證明方法叫做反證法3.反證法(歸謬法)注:反證法是最常用的間接證法一般地,假設原命

1.反證法的步驟:否定結論——推出矛盾——肯定結論,即分三個步驟:反設—歸謬—存真反設——假設命題的結論不成立;即假定原命題的反面為真;存真——由矛盾結果,斷定反設不成立,從而肯定原結論成立。歸謬——從假設出發(fā),經過一系列正確的推理,得出矛盾;1.反證法的步驟:否定結論——推出矛盾——肯定結論,反設(1)直接證明有困難正難則反!(3)唯一性命題(2)否定或肯定性命題(4)至多,至少型命題2.適宜用反證法證明的題型(1)直接證明有困難正難則反!(3)唯一性命題(2)否定或肯12例1:已知a≠0,證明x的方程ax=b有且只有一個根。證明:由于a≠0,因此方程至少有一個根x=b/a,```如果方程不只一個根,不妨設x1,x2

(x1≠x2)是方程的兩個根.所以a=0,這與已知矛盾例1:已知a≠0,證明x的方程ax=b有且只有一個例2:設0<a,b,c<1,求證:(1

a)b,(1

b)c,(1

c)a,不可能同時大于1/4則三式相乘:(1a)b?(1b)c?(1c)a>

又∵0<a,b,c<1∴同理:以上三式相乘:(1

a)a?(1

溫馨提示

  • 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙,網頁內容里面會有圖紙預覽,若沒有圖紙預覽就沒有圖紙。
  • 4. 未經權益所有人同意不得將文件中的內容挪作商業(yè)或盈利用途。
  • 5. 人人文庫網僅提供信息存儲空間,僅對用戶上傳內容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內容本身不做任何修改或編輯,并不能對任何下載內容負責。
  • 6. 下載文件中如有侵權或不適當內容,請與我們聯(lián)系,我們立即糾正。
  • 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

評論

0/150

提交評論