



下載本文檔
版權(quán)說(shuō)明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
1、§3 反證法反證法是一種間接證明的方法 , 它是通過(guò)證明原命題的否定的真實(shí)性來(lái)確立原論題的真 實(shí)性的證明方法 , 在應(yīng)用反證法證明問(wèn)題的過(guò)程中以找它的逆否命題然后推出矛盾為根本 . 本節(jié)內(nèi)容就開(kāi)始學(xué)習(xí)反證法 .高手支招 1細(xì)品教材1. 間接證明間接證明是不同于直接證明的又一類證明方法 , 不是直接從原命題的條件逐步推得命題成立 的方法 .反證法就是一種常用的間接證明方法 .2. 反證法(1概念 :假定命題結(jié)論的反面成立 . 在這個(gè)前提下 , 若推出的結(jié)果與定義、公理、定理矛盾 , 或與命題中的已知條件相矛盾 , 或與假定相矛盾 , 從而斷定命題結(jié)論的反面不可能成立 , 由此 斷定命題
2、的結(jié)論成立 . 這樣的證明方法叫做反證法 (有時(shí)也叫歸謬法 .(2形式 :由證明 p q 轉(zhuǎn)向證明 :q r t,t 與假設(shè)或與某個(gè)真命題矛盾 , q 為假 , 推出 q 為真 .狀元筆記反證法的證明過(guò)程可以概括為“否定推理否定”,即從否定結(jié)論開(kāi)始 , 經(jīng)過(guò)正 確的推理 , 導(dǎo)致邏輯矛盾 , 從而達(dá)到新的否定 (即肯定原命題 的過(guò)程 . 用反證法證明命題“若 p 則 q”的過(guò)程可以用框圖表示為: 3. 反證法的證題步驟包括以下三個(gè)步驟 :(1作出否定結(jié)論的假設(shè) (反設(shè) 假設(shè)命題的結(jié)論不成立 , 即假定原命題的反面為真 ;(2逐步推理 , 導(dǎo)出矛盾 (歸謬 從假設(shè)和已知條件出發(fā) , 經(jīng)過(guò)一系列正
3、確的邏輯推理 , 得 出矛盾結(jié)果 ;(3否定假設(shè) , 肯定結(jié)論 (存真 由矛盾結(jié)果 , 斷定假設(shè)不真 , 從而肯定原結(jié)論成立 .【示例】 p >0,q >0,p 3+q 3=2. 試用反證法證明 :p+q2.思路分析:此題直接由條件推證 p +q2是較困難的 , 由此用反證法證之 .證明:假設(shè) p +q >2,p>0,q >0,(p+q 3=p 3+3p 2q +3pq 2+q 3>8.又p 3+q 3=2, 代入上式得 :3pq(p+q >6, 即 pq(p+q >2.又由 p 3+q 3=2, 得 (p+q(p2-pq +q 2 =2.由得p
4、q(p+q >(p+q(p2-pq +q 2,p+q >0.pq>p 2-pq +q 2p 2-2pq +q 2<0(p-q2<0.但這與 (p-q20相矛盾.假設(shè) p +q >2不成立 . 故 p +q2.狀元筆記歸謬矛盾的幾種情況 :(1與已知條件矛盾 ;(2與已有公理、 定理、 定義矛盾 ;(3自相矛 盾 ;(4與客觀事實(shí)矛盾 .4. 反證法的適用情況(1結(jié)論以否定形式出現(xiàn) ;(2結(jié)論以“至多”“至少”形式出現(xiàn) ;(3唯一性、存在性問(wèn)題 ;(4結(jié)論的反面是比原結(jié)論更具體,更容易研究的命題 .高手支招 2基礎(chǔ)整理本節(jié)的內(nèi)容主要講述了反證法的概念、形式及其證明
溫馨提示
- 1. 本站所有資源如無(wú)特殊說(shuō)明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁(yè)內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒(méi)有圖紙預(yù)覽就沒(méi)有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫(kù)網(wǎng)僅提供信息存儲(chǔ)空間,僅對(duì)用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。
最新文檔
- saas代理合同范本
- 南山鋁業(yè)合同范本
- 專業(yè)閥體采購(gòu)合同范本
- 單位購(gòu)柴油合同范例
- 和孩子簽合同范本
- 包裝禮盒合同范本
- 合同范例法院起訴
- 農(nóng)村木炭出售合同范本
- 變更購(gòu)房合同范本
- 單項(xiàng)業(yè)務(wù)合作合同范本
- 英語(yǔ)15選10練習(xí)題
- 小學(xué)道德與法治-《改革創(chuàng)新謀發(fā)展》教學(xué)課件設(shè)計(jì)
- 2022年電鍍園區(qū)規(guī)范管理方案1122
- 氣管鏡進(jìn)修個(gè)人總結(jié)
- 酸堿平衡和酸堿平衡紊亂課件
- 有限空間作業(yè)專項(xiàng)施工方案
- 電力安全生產(chǎn)“十項(xiàng)嚴(yán)禁”【系列漫畫(huà)】
- 升壓站設(shè)備安裝調(diào)試工程施工質(zhì)量驗(yàn)收及評(píng)定范圍劃分表
- Unit 2 My family Part A Let's talk(教學(xué)設(shè)計(jì))人教PEP版英語(yǔ)三年級(jí)下冊(cè)
- 輔酶Q10-課件-課件
- 道德與法治賽課一等獎(jiǎng):《有多少浪費(fèi)可以避免(第一課時(shí))》教學(xué)課件(四下)
評(píng)論
0/150
提交評(píng)論