



全文預(yù)覽已結(jié)束
下載本文檔
版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進(jìn)行舉報或認(rèn)領(lǐng)
文檔簡介
2.2.1 綜合法和分析法在前面我們已經(jīng)知道合情推理和演繹推理都是根據(jù)某些已知判斷來確定一個新的判斷的思維過程.其中演繹推理在大前提小前提都正確的情況下所得的結(jié)論一定正確,而合情推理(歸納、類比等)所猜測得到的結(jié)論不一定正確,必須通過邏輯(演繹)推理的方式加以證明.下面就研究兩類基本的證明方法直接證明與間接證明.一、綜合法和分析法是直接證明中最基本的兩種證法,也是證明數(shù)學(xué)問題時最常用的思維方式.1.綜合法:利用已知條件和某些數(shù)學(xué)定義、公理、定理等,經(jīng)過一系列的推理論證,最后推導(dǎo)出所要證明的結(jié)論成立的證明方法.又叫順推證法或由因?qū)Ч?其推理方式可用框圖表示為:其中表示已知條件、已有的定義、公理、定理等,表示所要證明的結(jié)論,表示中間結(jié)論綜合法常用的表達(dá)格式為:,;又,;,;又,2分析法:從要證明的結(jié)論出發(fā),對其進(jìn)行分析和轉(zhuǎn)化,逐步尋求使它成立的充分條件,直到最后,把要證明的結(jié)論歸結(jié)為判定一個明顯成立的條件(已知條件、定理、定義、公理等)為止的證明方法.又叫逆推證法或執(zhí)果索因法.其推理方式可用框圖表示為:其中表示要證明的結(jié)論,分別表示使成立的充分條件,表示最后尋求到的一個明顯成立的條件分析法常用的表達(dá)格式為:要證,只需證,只需證,只需證,由于顯然成立,所以成立綜合法、分析法都是直接利用已知條件或定義、公理、定理等與所要證明的結(jié)論之間的關(guān)系推導(dǎo)出所要證明的結(jié)論或?qū)で蟪鍪顾闪⒌某浞謼l件,故均屬于直接證法.二、反證法是間接證明的一種基本方法.對于某些看來明顯成立而又不便知道根據(jù)什么去推導(dǎo)(綜合法),甚至難于尋求到使之成立的充分條件(分析法)的“疑難”證明題,一般地,可在假設(shè)原命題不成立的前提下,經(jīng)過正確的邏輯推理,最后得出矛盾,因此說明假設(shè)錯誤,從而證明了原命題成立.這種證明方法叫做反證法.簡易邏輯部分中四種命題間的關(guān)系領(lǐng)悟得好的同學(xué)不難悟出反證法的原理不外乎“互為逆否命題的兩個命題真假一致”,即:“”“”用反證法證題的格式一般為:假設(shè)不成立,若,則,這與已知(定義、公理、定理等)相矛盾,假設(shè)不成立,成立1綜合法的每一步都是三段論(或其簡略形式),大前提一定要正確,否則證明易出錯.2.使用分析法時一定要注意對所要證明的結(jié)論是以“分析”的語氣對待的,因而證明格式上應(yīng)體現(xiàn)出“分析”探討性(“要證,只需證”),而非直接肯定結(jié)論.例1求證錯證:,顯然原不等式成立錯因:對分析法的原理不理解,以至于將所要證明的結(jié)論當(dāng)成已知條件來用了.正:只需將“”改為“要證”,“” 改為“只需證”.3.綜合法和分析法往往不是單一地使用的,而是結(jié)合兼用的,特別是較為復(fù)雜的證明(教科書例3).一般是先用綜合法由已知條件P推出一個中間結(jié)論M,再用分析法探求,發(fā)現(xiàn)M正是使所要證結(jié)論Q成立的充分條件.證明過程用框圖1表示;或者先用分析法尋求出使所要證明的結(jié)論Q成立的充分條件M,再用綜合法由已知條件P推出M.證明過程用框圖2表示. 或例2 教科書中對例3的證法是先綜合后分析,證明過程如框圖的形式;我們還可以改用框圖2的形式,先分析后綜合來證.證明:要證,只需證,即證即證,即證另一方面,因為,所以將已知中的代入上式,即得與相同,于是問題得證4.綜合法與分析法當(dāng)所用的證據(jù)相同時形式上是互逆的,因此往往可以互相改寫,但須注意二者表達(dá)格式的迥異.5.反證法也經(jīng)常與綜合法或分析法結(jié)合使用.例3 證明不可能成等差數(shù)列證明(一):假設(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)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- T/CBMMA 6-2022固體危險廢物焚燒用回轉(zhuǎn)窯
- T/CASTEM 1007-2022技術(shù)經(jīng)理人能力評價規(guī)范
- T/CAS 745-2023鄉(xiāng)村管道天然氣工程技術(shù)規(guī)程
- T/CAQI 22-2016廢水生物增強(qiáng)前處理高效催化反應(yīng)器
- 成都泛微網(wǎng)絡(luò)java開發(fā)面試題及答案
- 電信招聘考試題及答案
- 戶外游戲面試題及答案
- 海洋信息面試題及答案
- 大學(xué)書法統(tǒng)考試題及答案
- 洪洞英語面試題及答案
- β內(nèi)酰胺類抗菌藥物皮膚試驗指導(dǎo)原則2024課件
- 弱電機(jī)房工程報價清單
- 口腔醫(yī)院感染預(yù)防與控制
- 電弧增材制造工藝及其應(yīng)用
- YALEBROWN強(qiáng)迫量表完全
- 醫(yī)療機(jī)構(gòu)消毒記錄表清潔消毒日檢查記錄表
- 2024年全國甲卷高考物理試卷(真題+答案)
- 廣西壯族自治區(qū)桂林市2023-2024學(xué)年七年級下學(xué)期期末考試數(shù)學(xué)試題
- 2024年農(nóng)產(chǎn)品食品質(zhì)量安全檢驗員技能及理論知識考試題庫(附含答案)
- 無人機(jī)足球團(tuán)體對抗賽項目競賽規(guī)則
- 《建筑材料》教案
評論
0/150
提交評論