




已閱讀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)容里面會(huì)有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫網(wǎng)僅提供信息存儲(chǔ)空間,僅對用戶上傳內(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)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 水利工程項(xiàng)目管理的連續(xù)施工措施
- 2025年ICU臨終關(guān)懷護(hù)理計(jì)劃
- 多姿多彩的夏天550字12篇范文
- 智能停車場系統(tǒng)開發(fā)與運(yùn)營合同
- 網(wǎng)絡(luò)通信技術(shù)服務(wù)支持合同
- midjourney的指令輸入規(guī)則
- 教育工作者的職業(yè)心態(tài)感悟范文
- 醫(yī)療行業(yè)醫(yī)德醫(yī)風(fēng)學(xué)習(xí)計(jì)劃
- 小學(xué)美術(shù)室環(huán)保藝術(shù)項(xiàng)目計(jì)劃
- 體育產(chǎn)業(yè)董事長崗位職責(zé)與品牌推廣
- 材料科學(xué)基礎(chǔ)chp1-原子結(jié)構(gòu)與鍵合課件
- (完整word版)餐券模板
- 《滑炒技法-滑炒雞絲菜肴制作》說課課件
- 減速機(jī)設(shè)備維修技術(shù)標(biāo)準(zhǔn)
- GB/T 26480-2011閥門的檢驗(yàn)和試驗(yàn)
- 中文版自殺可能量表
- 裝飾藝術(shù)運(yùn)動(dòng)課件
- 【審計(jì)工作底稿模板】FH應(yīng)付利息
- 工貿(mào)企業(yè)安全管理臺(tái)賬資料
- 三方協(xié)議書(消防)
- 預(yù)激綜合征臨床心電圖的當(dāng)前觀點(diǎn)
評論
0/150
提交評論