高中數(shù)學(xué)北師大版2第三章推理與證明數(shù)學(xué)證明 第3章2數(shù)學(xué)證明

§2數(shù)學(xué)證明1．理解演繹推理的概念．(重點(diǎn))2．掌握演繹推理的基本模式，并能用它們進(jìn)行一些簡(jiǎn)單的推理．(重點(diǎn))3．能用“三段論”證明簡(jiǎn)單的數(shù)學(xué)問(wèn)題．(難點(diǎn))[基礎(chǔ)·初探]教材整理數(shù)學(xué)證明閱讀教材P58～P59“練習(xí)”以上部分，完成下列問(wèn)題．1．證明(1)證明命題的依據(jù)：命題的條件和已知的定義、公理、定理．(2)證明的方法：演繹推理．2．演繹推理的主要形式演繹推理的一種形式：三段論，其推理形式如下：(1)大前提：提供了一個(gè)一般性道理．(2)小前提：研究對(duì)象的特殊情況．(3)結(jié)論：根據(jù)大前提和小前提作出的判斷．判斷(正確的打“√”，錯(cuò)誤的打“×”)(1)“三段論”就是演繹推理．()(2)演繹推理的結(jié)論是一定正確的．()(3)演繹推理是由特殊到一般再到特殊的推理．()【答案】(1)×(2)×(3)×[質(zhì)疑·手記](méi)預(yù)習(xí)完成后，請(qǐng)將你的疑問(wèn)記錄，并與“小伙伴們”探討交流：疑問(wèn)1：________________________________________________________解惑：__________________________________________________________疑問(wèn)2：________________________________________________________解惑：__________________________________________________________疑問(wèn)3：________________________________________________________解惑：__________________________________________________________[小組合作型]把演繹推理寫(xiě)成三段論的形式將下列演繹推理寫(xiě)成三段論的形式．(1)一切奇數(shù)都不能被2整除，75不能被2整除，所以75是奇數(shù)；(2)三角形的內(nèi)角和為180°，Rt△ABC的內(nèi)角和為180°；(3)通項(xiàng)公式為an＝3n＋2(n≥2)的數(shù)列{an}為等差數(shù)列．【精彩點(diǎn)撥】三段論推理是演繹推理的主要模式，推理形式為“如果b?c，a?b，則a?c.”其中，b?c為大前提，提供了已知的一般性原理；a?b為小前提，提供了一個(gè)特殊情況；a?c為大前提和小前提聯(lián)合產(chǎn)生的邏輯結(jié)果．【自主解答】(1)一切奇數(shù)都不能被2整除．(大前提)75不能被2整除．(小前提)75是奇數(shù)．(結(jié)論)(2)三角形的內(nèi)角和為180°.(大前提)Rt△ABC是三角形．(小前提)Rt△ABC的內(nèi)角和為180°.(結(jié)論)(3)數(shù)列{an}中，如果當(dāng)n≥2時(shí)，an－an－1為常數(shù)，則{an}為等差數(shù)列．(大前提)通項(xiàng)公式an＝3n＋2，n≥2時(shí)，an－an－1＝3n＋2－[3(n－1)＋2]＝3(常數(shù))．(小前提)通項(xiàng)公式為an＝3n＋2(n≥2)的數(shù)列{an}為等差數(shù)列．(結(jié)論)把演繹推理寫(xiě)成“三段論”的一般方法：(1)用“三段論”寫(xiě)推理過(guò)程時(shí)，關(guān)鍵是明確大、小前提，三段論中大前提提供了一個(gè)一般性原理，小前提提供了一種特殊情況，兩個(gè)命題結(jié)合起來(lái)，揭示一般性原理與特殊情況的內(nèi)在聯(lián)系．(2)在尋找大前提時(shí)，要保證推理的正確性，可以尋找一個(gè)使結(jié)論成立的充分條件作為大前提．[再練一題]1．將下列演繹推理寫(xiě)成三段論的形式．(1)平行四邊形的對(duì)角線互相平分，菱形是平行四邊形，所以菱形的對(duì)角線互相平分；(2)等腰三角形的兩底角相等，∠A，∠B是等腰三角形的兩底角，則∠A＝∠B.【解析】(1)平行四邊形的對(duì)角線互相平分，(大前提)菱形是平行四邊形，(小前提)菱形的對(duì)角線互相平分．(結(jié)論)(2)等腰三角形的兩底角相等，(大前提)∠A，∠B是等腰三角形的兩底角，(小前提)∠A＝∠B.(結(jié)論)演繹推理在幾何中的應(yīng)用如圖3-2-1所示，D，E，F(xiàn)分別是BC，CA，AB邊上的點(diǎn)，∠BFD＝∠A，DE∥BA，求證：DE＝AF.寫(xiě)出“三段論”形式的演繹推理.【導(dǎo)學(xué)號(hào)：67720235】圖3-2-1【精彩點(diǎn)撥】用三段論的模式依次證明：(1)DF∥AE，(2)四邊形AEDF為平行四邊形，(3)DE＝AF.【自主解答】①同位角相等，兩直線平行，(大前提)∠BFD和∠A是同位角，且∠BFD＝∠A，(小前提)所以DF∥AE.(結(jié)論)②兩組對(duì)邊分別平行的四邊形是平行四邊形，(大前提)DE∥BA且DF∥EA，(小前提)所以四邊形AFDE為平行四邊形．(結(jié)論)③平行四邊形的對(duì)邊相等，(大前提)DE和AF為平行四邊形的對(duì)邊，(小前提)所以DE＝AF.(結(jié)論)1．用“三段論”證明命題的步驟(1)理清楚證明命題的一般思路；(2)找出每一個(gè)結(jié)論得出的原因；(3)把每個(gè)結(jié)論的推出過(guò)程用“三段論”表示出來(lái)．2．幾何證明問(wèn)題中，每一步都包含著一般性原理，都可以分析出大前提和小前提，將一般性原理應(yīng)用于特殊情況，就能得出相應(yīng)結(jié)論．[再練一題]2．證明：如果梯形的兩腰和一底相等，那么它的對(duì)角線必平分另一底上的兩個(gè)角．【解】已知在梯形ABCD中(如圖所示)，AB＝DC＝AD，AC和BD是它的對(duì)角線，求證：CA平分∠BCD，BD平分∠CBA.證明：①等腰三角形的兩底角相等，(大前提)△DAC是等腰三角形，DC＝DA，(小前提)∠1＝∠2.(結(jié)論)②兩條平行線被第三條直線所截，內(nèi)錯(cuò)角相等，(大前提)∠1和∠3是平行線AD，BC被AC所截的內(nèi)錯(cuò)角，(小前提)∠1＝∠3.(結(jié)論)③等于同一個(gè)量的兩個(gè)量相等，(大前提)∠2，∠3都等于∠1，(小前提)∠2和∠3相等．(結(jié)論)即CA平分∠BCD.④同理BD平分∠CBA.[探究共研型]演繹推理在代數(shù)中的應(yīng)用探究1演繹推理的結(jié)論一定正確嗎？【提示】演繹推理的結(jié)論不會(huì)超出前提所界定的范圍，所以在演繹推理中，只要前提和推理形式正確，其結(jié)論一定正確．探究2因?yàn)閷?duì)數(shù)函數(shù)y＝logax(a＞0，a≠1)是增函數(shù)，而y＝eqlog\s\do8(\f(1,3))x是對(duì)數(shù)函數(shù)，所以y＝eqlog\s\do8(\f(1,3))x是增函數(shù)．上面的推理形式和結(jié)論正確嗎？【提示】推理形式正確，結(jié)論不正確．因?yàn)榇笄疤崾清e(cuò)誤的．已知a，b，m均為正實(shí)數(shù)，b<a，用三段論形式證明：eq\f(b,a)<eq\f(b＋m,a＋m).【精彩點(diǎn)撥】利用不等式的性質(zhì)證明．【自主解答】因?yàn)椴坏仁?兩邊)同乘以一個(gè)正數(shù)，不等號(hào)不改變方向，(大前提)b<a，m>0，(小前提)所以mb<ma.(結(jié)論)因?yàn)椴坏仁絻蛇呁由弦粋€(gè)數(shù)，不等號(hào)方向不變，(大前提)mb<ma，(小前提)所以mb＋ab<ma＋ab，即b(a＋m)<a(b＋m)．(結(jié)論)因?yàn)椴坏仁絻蛇呁砸粋€(gè)正數(shù)，不等號(hào)方向不變，(大前提)b(a＋m)<a(b＋m)，a(a＋m)>0，(小前提)所以eq\f(ba＋m,aa＋m)<eq\f(ab＋m,aa＋m)，即eq\f(b,a)<eq\f(b＋m,a＋m).(結(jié)論)代數(shù)問(wèn)題中常見(jiàn)的利用三段論證明的命題：(1)函數(shù)類(lèi)問(wèn)題：比如函數(shù)的單調(diào)性、奇偶性、周期性和對(duì)稱(chēng)性等．(2)導(dǎo)數(shù)的應(yīng)用：利用導(dǎo)數(shù)研究函數(shù)的單調(diào)區(qū)間，求函數(shù)的極值和最值，證明與函數(shù)有關(guān)的不等式等．(3)三角函數(shù)的圖像與性質(zhì)．(4)數(shù)列的通項(xiàng)公式、遞推公式以及求和，數(shù)列的性質(zhì)．(5)不等式的證明．[再練一題]3．當(dāng)a，b為正實(shí)數(shù)時(shí)，求證：eq\f(a＋b,2)≥eq\r(ab).【解】因?yàn)橐粋€(gè)實(shí)數(shù)的平方是非負(fù)實(shí)數(shù)，(大前提)而eq\f(a＋b,2)－eq\r(ab)＝eq\b\lc\(\rc\)(\a\vs4\al\co1(\r(\f(a,2))－\r(\f(b,2))))2是一個(gè)實(shí)數(shù)的平方，(小前提)所以eq\f(a＋b,2)－eq\r(ab)是非負(fù)實(shí)數(shù)，即eq\f(a＋b,2)－eq\r(ab)≥0.所以eq\f(a＋b,2)≥eq\r(ab).(結(jié)論)[構(gòu)建·體系]1．下面幾種推理過(guò)程是演繹推理的是()A．兩條直線平行，同旁?xún)?nèi)角互補(bǔ)，如果∠A與∠B是兩條平行直線的同旁?xún)?nèi)角，則∠A＋∠B＝180°B．某校高三(1)班有55人，(2)班有54人，(3)班有52人，由此得出高三所有班級(jí)中的人數(shù)都超過(guò)50人C．由平面三角形的性質(zhì)，推測(cè)空間四面體的性質(zhì)D．在數(shù)列{an}中，a1＝1，an＝eq\f(1,2)eq\b\lc\(\rc\)(\a\vs4\al\co1(an－1＋\f(1,an－1)))(n≥2)，通過(guò)計(jì)算a2，a3，a4猜想出an的通項(xiàng)公式【解析】A是演繹推理，B，D是歸納推理，C是類(lèi)比推理．【答案】A2．用三段論證明命題：“任何實(shí)數(shù)的平方大于0，因?yàn)閍是實(shí)數(shù)，所以a2>0”A．大前提錯(cuò)誤 B．小前提錯(cuò)誤C．推理形式錯(cuò)誤 D．是正確的【解析】這個(gè)三段論推理的大前提是“任何實(shí)數(shù)的平方大于0”，小前提是“a是實(shí)數(shù)”，結(jié)論是“a2>0”【答案】A3．函數(shù)y＝2x＋5的圖像是一條直線，用三段論表示為：大前提：________________________________________________________；小前提：________________________________________________________；結(jié)論：___________________________________________________________.【答案】一次函數(shù)的圖像是一條直線函數(shù)y＝2x＋5是一次函數(shù)函數(shù)y＝2x＋5的圖像是一條直線4．如圖3-2-2所示，因?yàn)樗倪呅蜛BCD是平行四邊形，所以AB＝CD，BC＝AD.圖3-2-2又因?yàn)椤鰽BC和△CDA的三邊對(duì)應(yīng)相等，所以△ABC≌△CDA.上述推理的兩個(gè)步驟中分別省略了________、________.【答案】大前提大前提5．用三段論的形式寫(xiě)出下列演繹推理．(1)矩形的對(duì)角線相等，正方形是矩形，所以正方形的對(duì)角線相等；(2)\o(3,\s\up6(·))eq\o(3,\s\up6(·))eq\o(2,\s\up6(·))是有理數(shù)．【解】(1)因?yàn)榫匦蔚膶?duì)角線相等，(大前提)而正方形是矩形，(小前提)所以正方形的對(duì)角線相等．(結(jié)論)(3)所有的循環(huán)小數(shù)都是有理數(shù)，(大前提)\o(3,\s\up6(·))eq\o(3,\s\up6(·))eq\o(2,\s\up6(·))是循環(huán)小數(shù)，(小前提)所以，\o(3,\s\up6(·))eq\o(3,\s\up6(·))eq\o(2,\s\up6(·))是有理數(shù)．(結(jié)論)我還有這些不足：(1)________________________________