




版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進(jìn)行舉報或認(rèn)領(lǐng)
文檔簡介
1、演繹推理是證明數(shù)學(xué)結(jié)論、建立數(shù)學(xué)體演繹推理是證明數(shù)學(xué)結(jié)論、建立數(shù)學(xué)體系的重要思維過程系的重要思維過程. .復(fù)習(xí)推推 理理合情推理合情推理(或然性推理)(或然性推理)演繹推理演繹推理(必然性推理)(必然性推理)歸納歸納(特殊到一般)特殊到一般)類比類比(特殊到特殊)(特殊到特殊)三段論三段論(一般到特殊)(一般到特殊)v合情推理得到的結(jié)論是不可靠的,需要證明。數(shù)學(xué)中證明的方法有哪些呢?間接證明(反證法)分析法綜合法直接證明證明的方法綜合法和分析法綜合法和分析法直接證明1 概念概念從原命題的從原命題的條件或結(jié)論條件或結(jié)論出發(fā),根據(jù)已知的定義、出發(fā),根據(jù)已知的定義、公理、定理,直接推得命題成立公理、
2、定理,直接推得命題成立2 直接證明的一般形式:直接證明的一般形式:本題結(jié)論已知定理已知公理已知定義已知條件例例1:1:已知已知a0,b0,a0,b0,求證求證a(ba(b2 2+c+c2 2)+b(c)+b(c2 2+a+a2 2) )4abc4abc因為因為b b2 2+c+c2 2 2bc,a02bc,a0所以所以a(ba(b2 2+c+c2 2) )2abc.2abc.又因為又因為c c2 2+b+b2 2 2bc,b02bc,b0所以所以b(cb(c2 2+a+a2 2) ) 2abc.2abc.因此因此a(ba(b2 2+c+c2 2)+b(c)+b(c2 2+a+a2 2) )4a
3、bc.4abc.證明證明: :在數(shù)學(xué)證明中,我們經(jīng)常從已知條件和某些在數(shù)學(xué)證明中,我們經(jīng)常從已知條件和某些數(shù)學(xué)定義、定理、公理、性質(zhì)等出發(fā)通過推數(shù)學(xué)定義、定理、公理、性質(zhì)等出發(fā)通過推理導(dǎo)出所要的結(jié)論。理導(dǎo)出所要的結(jié)論。利用已知條件和某些數(shù)學(xué)定義、公理、利用已知條件和某些數(shù)學(xué)定義、公理、定理等定理等, ,經(jīng)過一系列的推理論證經(jīng)過一系列的推理論證, ,最后推最后推導(dǎo)出所要證明的結(jié)論成立導(dǎo)出所要證明的結(jié)論成立, ,這種證明方這種證明方法叫做法叫做綜合法也叫順推法或由因?qū)ЧňC合法也叫順推法或由因?qū)Чㄓ糜胮 p表示已知條件、已有的定義、公理、表示已知條件、已有的定義、公理、定理等定理等,q,q表示所
4、要證明的結(jié)論表示所要證明的結(jié)論. .則綜合法用框圖表示為則綜合法用框圖表示為: :1 1p pq q1 12 2q qq q2 23 3q qq qn nq qq q1 1、綜合法、綜合法( (順推法順推法)()(由因?qū)Чㄓ梢驅(qū)Ч?綜合法是由一個個推理組成的綜合法是由一個個推理組成的例例2 2:在:在中,三個內(nèi)角、對中,三個內(nèi)角、對應(yīng)的邊分別為應(yīng)的邊分別為a a、b b、c c,且、成等差,且、成等差數(shù)列,數(shù)列,a a、b b、c c成等比數(shù)列,成等比數(shù)列,求證:求證:為等邊三角形為等邊三角形219log319log219log13235、求證:例2. 2.分析法分析法.( .(逆推法逆推
5、法)( )(執(zhí)果索因法執(zhí)果索因法) )從證明的結(jié)論出發(fā)從證明的結(jié)論出發(fā), ,逐步尋求使它成立的逐步尋求使它成立的充充分條件分條件, ,直至最后直至最后, ,把要證明的結(jié)論歸結(jié)為判把要證明的結(jié)論歸結(jié)為判定一個明顯成立的條件定一個明顯成立的條件( (已知已知, ,定理定理, ,定義定義, ,公公理等理等). ).這種證明的方法叫做這種證明的方法叫做分析法分析法. .:.2abab證明不等式:例如用用q q表示所要證明的結(jié)論表示所要證明的結(jié)論, ,則分析法可用框圖表示為則分析法可用框圖表示為: :得到一個明顯成立的條件q p1p1 p2p2 p3證明證明: :因為因為; ; 所以所以所以所以所以所以
6、 成立成立()b 20a a 20a a + + b ba ab b 2a a + + b ba ab b a a + + b ba ab b2 2證明證明: :要證要證只需證只需證只需證只需證只需證只需證因為因為 成立成立所以所以 成立成立 a a+ +b ba ab b2 2 2a a+ +b ba ab b 20a a+ +b ba ab b()b 20a a()b 20a aa a + + b ba ab b2 2例例2 2 求求證證5273證明證明: :因為因為73 和和52都是正數(shù)都是正數(shù), ,所以要所以要證證5273只需證只需證22)52()73(展開得展開得2021210只需證
7、只需證只需只需證證521 2521因為因為2521成立成立, ,所以所以5273成立成立. .22121, 1, 0, 0bababa求證:且已知222)(| |21:,1babasbcaacbabcabc求證設(shè)中、在分析:由已知條件和結(jié)論我們聯(lián)想到數(shù)量分析:由已知條件和結(jié)論我們聯(lián)想到數(shù)量積定義和三解形的面積公式:積定義和三解形的面積公式:cccabs2cos1sinsin21利用由數(shù)量積定義和上公式結(jié)合結(jié)論探求證由數(shù)量積定義和上公式結(jié)合結(jié)論探求證明思路明思路【鞏固練習(xí)【鞏固練習(xí)】證明:證明:babaccbasabc.cossin21,因為2222222222222).(41).141cos1
8、41sin41bababababacbacbasabc()(所以222).(21babasabc于是要證要證10), 1(11*nnnnnnn求證:證明證明: :nnnn11只需證只需證112nnn只需證只需證12242nnn即證即證12nn即證即證122 nn成立成立所以所以nnnn11成立成立. .顯然顯然即證即證10證法證法2 2要證要證nnnn11只需證只需證nnnn1111只需證只需證nnnn11只需證只需證11nn上式顯然成立上式顯然成立. .所以所以nnnn11成立成立. .abcpdacdpcpbpaabcpabc平面的中點(diǎn),求證:是中,、設(shè)在四面體,903p pa ab bc
9、 cd d練習(xí)練習(xí):如圖如圖,sa,sa平面平面abc,abbc,abc,abbc,過過a a作作sbsb的垂線的垂線, ,垂足為垂足為e,e,過過e e作作scsc的垂線的垂線, ,垂垂足為足為f,f,求證求證 afscafscf fe es sc cb ba a證明證明: :要證要證afafscsc只需證只需證:sc:sc平面平面aefaef只需證只需證:ae:aescsc只需證只需證:ae:ae平面平面sbcsbc只需證只需證:ae:aebcbc只需證只需證:bc:bc平面平面sabsab只需證只需證:bc:bcsasa只需證只需證:sa:sa平面平面abcabc因為因為:sa:sa平面
10、平面abcabc成立成立所以所以. af. afscsc成立成立【鞏固練習(xí)【鞏固練習(xí)】abbaba16)sintan,sintan22cossincos122244 (:求證求證已知已知、求證:、求證: 8)11)(11)(111,3 cbacbarcba(求求證證:、已已知知的值。的值。求求兩點(diǎn)。兩點(diǎn)。、與拋物線交于與拋物線交于過焦點(diǎn)的弦過焦點(diǎn)的弦、已知拋物線、已知拋物線212122112),(),(, )0(24yyxxyxbyxappxy 5. 設(shè)設(shè) a 0, 是是 r上的偶函數(shù)。上的偶函數(shù)。 (1)求)求 a 的值;的值; (2) 證明證明 f(x) 在(在(0,)上是增函)上是增函數(shù)
11、數(shù)xxeaaexf )(利用已知條件和某些數(shù)學(xué)定義、公理、利用已知條件和某些數(shù)學(xué)定義、公理、定理等定理等, ,經(jīng)過一系列的推理論證經(jīng)過一系列的推理論證, ,最后推最后推導(dǎo)出所要證明的結(jié)論成立導(dǎo)出所要證明的結(jié)論成立, ,這種證明方這種證明方法叫做法叫做綜合法綜合法用用p p表示已知條件、已有的定義、公理、表示已知條件、已有的定義、公理、定理等定理等,q,q表示所要證明的結(jié)論表示所要證明的結(jié)論. .則綜合法用框圖表示為則綜合法用框圖表示為: :1 1p pq q1 12 2q qq q2 23 3q qq qn nq qq q小結(jié)小結(jié)綜合法的定義綜合法的定義: :50 150 1例例2 2:在:在中,三個內(nèi)角、對中,三個內(nèi)角、對應(yīng)的邊分別為應(yīng)的邊分別為a a、b b、c c,且、成等,且、成等差數(shù)列,差數(shù)列,a a、b b、c c成等比數(shù)列,求證成等比數(shù)列,求證為等邊三角形為等邊三角形分析:把題中的文字語言轉(zhuǎn)化為符號語分析:把題中的文字語言轉(zhuǎn)化為符號語言:言:a+c=2ba+c=2b,b b2 2 =ac=ac由(由(1 1)聯(lián)想到內(nèi)角各能得到什么?)聯(lián)想到內(nèi)角各能得到什么?由(由(2 2)聯(lián)想到三角形什么知識?余弦定理,)聯(lián)想到三角形什么知識?余弦定理,二者聯(lián)系起來能得到什么結(jié)論二者聯(lián)系起來能得到什么結(jié)論證明:證明: 由由a a,b b,c c成等差數(shù)列,有成等差數(shù)
溫馨提示
- 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)方式做保護(hù)處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 山東省濰坊一中2025度:高一物理初中高中銜接學(xué)案
- 師生健康 中國健康
- 核心素養(yǎng)下的教育教學(xué)體系構(gòu)建
- 學(xué)生的能力差異與教育
- 健康安全綠色環(huán)保
- 談學(xué)前教育的改革與發(fā)展
- 健康我變勇敢了中班
- 2025年液體管道運(yùn)輸服務(wù)項目提案報告
- 【深圳】2025年廣東深圳市光明區(qū)玉塘街道辦事處第一批招聘一般類專干24人筆試歷年典型考題及考點(diǎn)剖析附帶答案詳解
- 英語基礎(chǔ)教學(xué)第三課課件
- GB/T 9853-2008化學(xué)試劑無水硫酸鈉
- 隨班就讀學(xué)生“一人一案”個別化教育工作手冊
- 食物與藥物的相互作用
- 規(guī)范申報專題培訓(xùn)-課件
- 亞馬遜品牌授權(quán)書(英文模板)
- 《現(xiàn)代漢語修辭》PPT課件(完整版)
- DB52∕T 046-2018 貴州省建筑巖土工程技術(shù)規(guī)范
- AZ91D鎂合金半固態(tài)成型
- 100以內(nèi)不進(jìn)位不退位加減法練習(xí)習(xí)題(直接打印)
- 巨光Y型空氣消毒器
- 基于MATLAB的直流電機(jī)雙閉環(huán)調(diào)速系統(tǒng)的設(shè)計與仿真
評論
0/150
提交評論