算法、框圖、復(fù)數(shù)、推理與證明11-3推理與證明.ppt_第1頁
算法、框圖、復(fù)數(shù)、推理與證明11-3推理與證明.ppt_第2頁
算法、框圖、復(fù)數(shù)、推理與證明11-3推理與證明.ppt_第3頁
算法、框圖、復(fù)數(shù)、推理與證明11-3推理與證明.ppt_第4頁
算法、框圖、復(fù)數(shù)、推理與證明11-3推理與證明.ppt_第5頁
已閱讀5頁,還剩65頁未讀, 繼續(xù)免費閱讀

下載本文檔

版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進行舉報或認領(lǐng)

文檔簡介

n重點難點 n重點:掌握合情推理和演繹推理 n能熟練地運用綜合法和分析法證題 n理解反證法,掌握反證法證題步驟 n難點:用綜合法、分析法、反證法證題的思 路 n知識歸納 n1推理的概念 n根據(jù)一個或幾個已知判斷(事實或假設(shè))得出 一個新的判斷的思維過 程叫推理,推理一般 由兩部分組成:前提和結(jié)論 n推理一般分為合情推理和演繹推理兩類 n2合情推理 n前提為真時,結(jié)論 可能為真的推理叫合情 推理,數(shù)學(xué)中常見的合情推理是歸納 推理 和類比推理 n歸納 推理和類比推理都是根據(jù)已有的事實 ,經(jīng)過觀 察、分析、比較、聯(lián)想,再進行 歸納 、類比,然后提出猜想的推理 n(1)歸納 推理 n根據(jù)一類事物的部分對象具有某種性質(zhì), 推出該類 事物的所有對象都具有這種性質(zhì) 的推理,叫做歸納 推理,歸納 推理是由部 分到整體,由特殊到一般的推理 n歸納 推理的一般步驟: n通過觀 察個別情況發(fā)現(xiàn) 某些相同性質(zhì) n從已知的相同性質(zhì)中推出一個明確表述的 一般性命題(猜想) n(2)類比推理 n根據(jù)兩類不同事物之間具有的某些類似(或 一致)性推測其中一類事物具有與另一類事 物類似(或相同)的性質(zhì),這樣 的推理叫類比 推理 n類比推理是由特殊到特殊的一種推理形式, 類比的結(jié)論 可能是真的所以類比推理屬 于合情推理 n類比推理的一般步驟: n找出兩類事物之間的相似性或一致性 n用一類事物的性質(zhì)去推測另一類事物的 性質(zhì),得出一個明確的命題(猜想) n3演繹推理 n根據(jù)一般性的真命題(或邏輯規(guī)則 )推導(dǎo)出 特殊性命題為 真的推理形式稱作演繹推理 n它的特征是:當(dāng)前提為真時,結(jié)論 必然為 真 n(1)假言推理 n假言推理的規(guī)則 是:“若pq,p真,則q真” n它的本質(zhì)是,通過驗證結(jié)論 的充分條件為 真,從而判斷結(jié)論為 真 n(2)三段論推理 n“若bc,ab,則ac”,這種推理規(guī)則 叫三段論推理它包括: n(1)大前提已知的一般性原理M是P n(2)小前提所研究的特殊情況S是M n(3)結(jié)論 根據(jù)一般原理,對特殊情況做 出的判斷S是P,三段論推理是演繹推理 的一般模式 n(3)關(guān)系推理 n推理規(guī)則 是:“如果aRb,bRc,則aRc”(其 中R表示具有傳遞 性的關(guān)系),這種推理叫 關(guān)系推理,如:由ab,bc,推出ac, 若ab,bc,則ac,都是關(guān)系推理 n(4)完全歸納 推理 n把所有情況都考慮在內(nèi)的演繹推理規(guī)則 叫 做完全歸納 推理 n4直接證明 n直接證明是從命題的條件或結(jié)論 出發(fā),根 據(jù)已知的定義、公理、定理、法則等,直接 推證結(jié)論 的真實性 n(1)綜合法 n從已知條件出發(fā),經(jīng)過 逐步推理,最后達 到待證結(jié)論 是一種由因?qū)Ч姆椒?n(2)分析法 n從待證結(jié)論 出發(fā),一步一步尋求結(jié)論 成立 的充分條件,最后達到題設(shè) 的已知條件或已 被證明的事實,是一種執(zhí)果索因的方法 n分析法的特點是:從“未知”看需知,逐步靠 攏“已知”,其每步推理都是尋求使每一步結(jié) 論成立的充分條件,直到最后把要證明的 結(jié)論歸納為 判定一個明顯成立的條件為止 n綜合法的特點是:從“已知”看“可知”,逐步 推向“未知”,其每步推理都是尋找使每一步 結(jié)論 成立的必要條件 n5反證法 n一般地,由證明pq,轉(zhuǎn)向證明 qrt,而t與已知矛盾或與某個真命 題矛盾,從而判定q為假,推出q為真的證 明方法叫做反證法 n數(shù)學(xué)中的命題,都有題設(shè) 條件和結(jié)論 兩部 分,反證法是從否定這個命題的結(jié)論 出發(fā) ,通過正確、嚴密的邏輯 推理,由此引出 一個新的結(jié)論 ,而這個新結(jié)論 與已知矛盾 ,得出結(jié)論 的反面不正確,從而肯定原結(jié) 論是正確的一種間接證明方法 n這里所謂的“與已知矛盾”主要是指: n(1)與假設(shè)自相矛盾 n(2)與數(shù)學(xué)公理、定理、公式、法則、定義 或已被證明了的結(jié)論 矛盾 n(3)與公認的簡單 事實矛盾 n反證法主要適用于以下情形: n結(jié)論 本身是以否定形式出現(xiàn)的一類命題 ; n關(guān)于唯一性、存在性的命題; n結(jié)論 以“至多”、“至少”等形式出現(xiàn)的命題 ; n結(jié)論 的反面比原結(jié)論 更具體、更容易研 究的命題; n要證的結(jié)論 與條件之間的聯(lián)系不明顯, 直接由條件推出結(jié)論 的線索不夠清晰的命 題 n如果從正面證明,需要分成多種情形進行 分類討論 ,而從反面進行證明,只要研究 一種或很少的幾種情形 n誤區(qū)警示 n在進行類比推理時要盡量從本質(zhì)上去類比 ,不要被表面現(xiàn)象迷惑,否則只抓住一點表 面的相似甚至假象就去類比,就會犯機械類 比的錯誤 n注意區(qū)分演繹推理和合情推理,當(dāng)前提為 真時,前者結(jié)論一定為真,后者結(jié)論可能為 真! n解題技巧 n1分析法的思維是逆向思維,因此在證題 時,應(yīng)正確使用“要證”、“只需證”這樣的連 接詞 n2綜合法往往是分析法的逆過程,表述簡 單,條理清楚,所以實際證題時,可將分析 法、綜合法結(jié)合起來使用,即:分析找思路 ,綜合寫過程 n3用反證法證題時,首先要搞清反證法證 題的方法,其次注意反證法是在條件較少, 不易入手時常用的方法 n反證法還常常用在要證的結(jié)論 中含有許多 種情形,而結(jié)論 的反面則有較少或僅一種 情形的命題的證明中,要注意否定原命題 時,要準確無誤 n應(yīng)用反證法證明數(shù)學(xué)命題的一般步驟: n(1)分清命題的條件與結(jié)論 n(2)做出與命題結(jié)論 相矛盾的假設(shè); n(3)由假設(shè)出發(fā),應(yīng)用演繹推理方法、推出 矛盾的結(jié)果 n(4)斷定產(chǎn)生矛盾結(jié)果的原因在于開始所做 假設(shè)不真,從而肯定原命題為 真 n例1 平面內(nèi)有n條直線,其中任何兩條都 不平行,任何三條不過同一點,試歸納 它 們的交點個數(shù) n解析:n2時,交點個數(shù):f(2)1. nn3時,交點個數(shù):f(3)3. nn4時,交點個數(shù):f(4)6. nn5時,交點個數(shù):f(5)10. n平面內(nèi)一條直線可將平面分成兩部分,兩條 直線最多可將平面分成4部分,三條直線最 多可將平面分成幾部分?4條呢?猜想n條直 線最多可將平面分成幾部分? n解析:3條直線最多可將平面分成7部分,4 條直線最多可將平面分成11部分如圖 n點評:歸納出的一般性結(jié)論,要能使已知的 結(jié)論為其特殊情形. n例3 (文)在平面幾何里,有勾股定理:“設(shè) ABC的兩邊AB,AC互相垂直,則AB2 AC2BC2.”拓展到空間,類比平面幾何定 理,研究三棱錐的側(cè)面面積與底面面積的 關(guān)系,可以得出的正確結(jié)論 是:“設(shè)三棱錐 ABCD的三個側(cè)面ABC、ACD、ADB兩兩 相互垂直,則_” n答案:SABC2SACD2SADB2SBCD2 n(理)如圖(1),過四面體VABC的底面內(nèi)任 一點O分別作OA1VA,OB1VB, OC1VC,A1,B1,C1分別是所作直線與 側(cè)面交點 n證明:如圖(2),設(shè)平面OA1VABCM, 平面OB1VBACN,平面OC1VCABL ,則有MOA1MAV, NOB1NBV,LOC1LCN.得 n點評:(1)用現(xiàn)代的眼光看,類比就是兩個 同構(gòu)關(guān)系的模型間的推理,模型間的同構(gòu)關(guān) 系,即它們結(jié)構(gòu)或功能上存在的某種對應(yīng)性 (相似性),它是進行類比推理的依據(jù) n(2)本例中的三角形與四面體就是平面與空 間中的兩個常見具有同構(gòu)關(guān)系的模型,因而 四面體中的很多性質(zhì)及證明方法都可以通過 三角形中的性質(zhì)及證明方法類比得到 n(3)數(shù)學(xué)中其他一些常見的具有同構(gòu)關(guān)系的 模型有:等式與不等式、分數(shù)與分式、橢圓 與雙曲線、等差數(shù)列與等比數(shù)列、長方形與 長方體、圓與球等 n點評:本例從結(jié)構(gòu)上類比,從等差數(shù)列“和 式的差”類比到等比數(shù)列“積式的商” n分析:本題主要考查用分析法證明不等式及 分析問題、解決問題的能力可先令x、y為 具體的值,確定出常數(shù)C,再給出一般證明 n總結(jié)評述:當(dāng)要證的不等式較復(fù)雜,兩端差 異難以消除或者已知條件信息量太少,已知 與待證間的聯(lián)系不明顯時,一般可采用分析 法,分析法是步步尋求不等式成立的充分條 件,而實際操作時往往是先從要證的不等式 出發(fā),尋找使不等式成立的必要條件,再考 慮這個必要條件是否充分,這種“逆求”過程 ,能培養(yǎng)學(xué)生的發(fā)散思維能力,也是分析問 題、解決問題時常用的思考方法. n例6 設(shè)有長度分別為 a1、a2、a3、a4和a5 的5條線段,今知其中任何3條都可以構(gòu)成一 個三角形,證明:其中必有銳角三角形 n證明:為了便于敘述,不妨設(shè) a1a2a3a4a5,并設(shè)由它們中的任何3條 組成的都不是銳角三角形,則由余弦定理可 得: na32a12a22,a42a22a32,a52a32a42 , n有a52a32a42(a12a22)(a22a32) na122a22a32a122a22a12a22 2a123a22. na522a123a222(a12a22)a22 n(a12a22)(a12a22)a22 na122a1a2a22(a1a2)2. na5a1a2.a1,a2,a5能構(gòu)成三角形的 三邊, n有a5SBOCSCODSBODSBCD; n2(2010福建文)觀察下列等式: ncos22cos21; ncos48cos48cos21; ncos632cos648cos418cos21 ; ncos8128cos8256cos6160cos4 32cos21; ncos10mcos101280cos8 1120cos6ncos4pcos21. n可以推測,mnp_. n答案 962 n解析 由題易知:m29512,p510 50 nm12801120np11, nmnp162. nn400,mnp962. n3某資料室在計算機使用中,編碼 以一定 規(guī)律排列,且從左至右以及從上到下都是無 限的,如表所示, 111111 123456 1357911 147101316 159131721 1611162126 n則此表中主對角線上的數(shù)構(gòu)成的數(shù)列 1,2,5,10,17,的通項公式為_ n答案 ann22n2,nN* n解析 由編碼可得,第m行是首項為1,公 差為m1的等差數(shù)列,則第m行的第n個數(shù) 為1(n1)(m1),令mn,則有an1 (n1)(n1)n22n2,nN*. n4先解答(1),再根據(jù)結(jié)構(gòu)類比解答(2): n(1)已知a,b為實 數(shù),且|a|ab. n(2)已知a,b,c均為實 數(shù),且|a|abc. n解析 (1)ab1(ab)(a1)(b1)0. n(2)|a|abc, nabc2(ab)c11(abc)1 (ab1)cabc. n你能再用歸納推理方法猜想出更一般地結(jié)論 嗎? n即xiR,|xi|0)(nN*) n(1)求證數(shù)列an是等比數(shù)列,并求an; n(2)已知集合Ax|x2a(a1)x,問是否 存在實數(shù)a,使得對于任意的nN*,都有 SnA?若存在,求出a的取值范圍;若不 存在,說明理由 n解析 (1)當(dāng)n1時,(a1)S1a(a11) , na1a(a0)

溫馨提示

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

評論

0/150

提交評論