




已閱讀5頁,還剩21頁未讀, 繼續(xù)免費(fèi)閱讀
版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡介
2 2 2反證法 第二章推理與證明 學(xué)習(xí)導(dǎo)航 1 反證法假設(shè)原命題 即在原命題的條件下 結(jié)論不成立 經(jīng)過正確的推理 最后得出矛盾 因此說明 錯(cuò)誤 從而證明了 成立 這種證明方法叫做反證法 不成立 假設(shè) 原命題 想一想2 反證法 與 證逆否命題 有什么主要區(qū)別 提示 1 兩種證法的邏輯原理不同 反證法 的原理是命題與命題的否定一真一假 證逆否命題 的原理是命題與其逆否命題的等價(jià)性 即同真假 2 兩種證明的推理形式不同 證明逆否命題實(shí)際上就是從結(jié)論的反面出發(fā) 推出條件的反面成立 而反證法一般是假設(shè)結(jié)論的反面成立 然后通過推理導(dǎo)出矛盾 2 反證法常見矛盾類型反證法的關(guān)鍵是在正確的推理下得出矛盾 這個(gè)矛盾可以是與已知條件 公理 定義 定理及明顯成立的事實(shí)或自相矛盾等 名師點(diǎn)評 1 當(dāng)結(jié)論為否定形式的命題時(shí) 通過反設(shè) 轉(zhuǎn)化為肯定性命題 可作為條件應(yīng)用進(jìn)行推理 因此對此類問題用反證法很方便 2 用反證法證明問題的一般步驟 假設(shè)命題的結(jié)論不成立 即假設(shè)結(jié)論的反面成立 從這個(gè)假設(shè)出發(fā) 經(jīng)過推理論證 得出矛盾 從矛盾判定假設(shè)不正確 從而肯定命題的結(jié)論正確 題型二用反證法證明唯一性命題若函數(shù)f x 在區(qū)間 a b 上的圖象連續(xù)不斷開 且f a 0 f b 0 且f x 在 a b 上單調(diào)遞增 求證 f x 在 a b 內(nèi)有且只有一個(gè)零點(diǎn) 證明 由于f x 在 a b 上的圖象連續(xù)不斷開 且f a 0 f b 0 即f a f b 0 所以f x 在 a b 內(nèi)至少存在一個(gè)零點(diǎn) 設(shè)零點(diǎn)為m 則f m 0 假設(shè)f x 在 a b 內(nèi)還存在另一個(gè)零點(diǎn)n 即f n 0 則n m 若n m 則f n f m 即0 0 矛盾 若n m 則f n f m 即0 0 矛盾 因此假設(shè)不正確 即f x 在 a b 內(nèi)有且只有一個(gè)零點(diǎn) 名師點(diǎn)評 證明 有且只有一個(gè) 的問題 需要證明兩個(gè)命題 即存在性和唯一性 本例用直接證法中的綜合法證明了存在性 反證法證明了唯一性 跟蹤訓(xùn)練2 1 證明 方程2x 3有且只有一個(gè)根 2 證明 兩條相交直線有且只有一個(gè)交點(diǎn) 證明 1 2x 3 x log23 這說明方程有一個(gè)根 下面用反證法證明方程2x 3的根是唯一的 假設(shè)方程2x 3有兩個(gè)根b1 b2 b1 b2 則2b1 3 2b2 3 兩式相除 得2b1 b2 1 如果b1 b2 0 則2b1 b2 1 這與2b1 b2 1相矛盾 如果b1 b2 0 2b1 b2 1 這也與2b1 b2 1相矛盾 所以方程2x 3有且只有一個(gè)根 2 假設(shè)結(jié)論不成立 即有兩種可能 無交點(diǎn) 不只有一個(gè)交點(diǎn) 若直線a b無交點(diǎn) 那么a b或a b是異面直線 與已知矛盾 若直線a b不只有一個(gè)交點(diǎn) 則至少有兩個(gè)交點(diǎn)a和b 這樣同時(shí)經(jīng)過點(diǎn)a b就有兩條直線 這與 經(jīng)過兩點(diǎn)有且只有一條直線 相矛盾 綜上 所以結(jié)論成立 即兩條相交直線有且只有一個(gè)交點(diǎn) 題型三用反證法證明 或解答 至多 或 至少 類命題 名師點(diǎn)評 1 要想得到原命題的反面 必須先弄清原命題的含義 即原命題包含哪幾個(gè)結(jié)論 不能縮小也不能擴(kuò)大 2 至多 至少 都 等詞語的否定形式 用反證法證題時(shí)要把握三點(diǎn) 1 必須先否定結(jié)論 對于結(jié)論的反面出現(xiàn)的多種可能 要逐一論證 缺少任何一種可能 證明都是不完全的 2 反證法必須從否定結(jié)論進(jìn)行推理 且必須根據(jù)這一條件進(jìn)行論證 否則 僅否定結(jié)論 不從結(jié)論的反面出發(fā)進(jìn)行論證 就不是反證法 3 推導(dǎo)出來的矛盾可能多種多樣 有的與已知矛盾 有的與假設(shè)矛盾 有的與定理 公理相違背等 但推導(dǎo)出的矛盾必須是明顯的 信
溫馨提示
- 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)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 國際貿(mào)易物流咨詢與管理合同
- 網(wǎng)絡(luò)貸款平臺網(wǎng)店貸款合同簽訂與監(jiān)管協(xié)議
- 小產(chǎn)權(quán)房相鄰權(quán)爭議解決與交易安全保障合同
- 社區(qū)社區(qū)互助型生鮮超市場地租賃與合作經(jīng)營協(xié)議
- 智能化建筑3D打印構(gòu)件設(shè)計(jì)與施工安裝合同
- 影視特效場景搭建與施工環(huán)保評估合同
- 商場特色餐飲檔口綜合運(yùn)營權(quán)承包合同
- 弱視治療方法課件
- 綠色能源原材料保障:新能源汽車用電池級碳酸鋰年度采購合同
- 網(wǎng)絡(luò)直播節(jié)目錄制燈光控臺租賃及節(jié)目制作合同
- 2024至2030年中國磁性元器件市場前景及投資發(fā)展戰(zhàn)略研究報(bào)告
- 人力資源服務(wù)派遣合同范本(2024版)
- 2020-2021蘇州景城學(xué)校小學(xué)數(shù)學(xué)小升初試卷帶答案
- DL∕T 608-2019 300MW~600MW 級汽輪機(jī)運(yùn)行導(dǎo)則
- 河南省洛陽市2023-2024學(xué)年八年級下學(xué)期期末質(zhì)量檢測英語試題
- 環(huán)保概論大氣污染及防治課件
- 2020年山東省青島市中考數(shù)學(xué)試卷
- 四川省樂山市2023-2024學(xué)年八年級下學(xué)期期末數(shù)學(xué)試題(解析版)
- CJT244-2016 游泳池水質(zhì)標(biāo)準(zhǔn)
- 淄博市臨淄區(qū)2022-2023學(xué)年七年級下學(xué)期期中數(shù)學(xué)試題
- 焰火燃放安全技術(shù)規(guī)程
評論
0/150
提交評論