算法、框圖、復(fù)數(shù)、推理與證明11-3推理與證明.ppt

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