提醒:點這里加小編微信(領(lǐng)取免費資料、獲取最新資訊、解決考教師一切疑問?。?/p>
反證法與前面所講的方法不同,反證法是屬于“間接證明法”一類,是從反面的角度思考問題的證明方法,即:肯定題設(shè)而否定結(jié)論,從而導(dǎo)出矛盾推理而 得。法國數(shù)學(xué)家阿達瑪(Hadamard)對反證法的實質(zhì)作過概括:“若肯定定理的假設(shè)而否定其結(jié)論,就會導(dǎo)致矛盾”。具體地講,反證法就是從否定命題的 結(jié)論入手,并把對命題結(jié)論的否定作為推理的已知條件,進行正確的邏輯推理,使之得到與已知條件、已知公理、定理、法則或者已經(jīng)證明為正確的命題等相矛,矛 盾的原因是假設(shè)不成立,所以肯定了命題的結(jié)論,從而使命題獲得了證明。
反證法所依據(jù)的是邏輯思維規(guī)律中的“矛盾律”和“排中律”。在同一思維過程中,兩個互相矛盾的判斷不能同時都為真,至少有一個是假的,這就是邏輯思 維中的“矛盾律”;兩個互相矛盾的判斷不能同時都假,簡單地說“A或者非A”,這就是邏輯思維中的“排中律”。反證法在其證明過程中,得到矛盾的判斷,根 據(jù)“矛盾律”,這些矛盾的判斷不能同時為真,必有一假,而已知條件、已知公理、定理、法則或者已經(jīng)證明為正確的命題都是真的,所以“否定的結(jié)論”必為假。 再根據(jù)“排中律”,結(jié)論與“否定的結(jié)論”這一對立的互相否定的判斷不能同時為假,必有一真,于是我們得到原結(jié)論必為真。所以反證法是以邏輯思維的基本規(guī)律 和理論為依據(jù)的,反證法是可信的。
反證法的證題模式可以簡要的概括我為“否定→推理→否定”。即從否定結(jié)論開始,經(jīng)過正確無誤的推理導(dǎo)致邏輯矛盾,達到新的否定,可以認為反證法的基本思想就是“否定之否定”。應(yīng)用反證法證明的主要三步是:否定結(jié)論 → 推導(dǎo)出矛盾 → 結(jié)論成立。實施的具體步驟是:
第一步,反設(shè):作出與求證結(jié)論相反的假設(shè);
第二步,歸謬:將反設(shè)作為條件,并由此通過一系列的正確推理導(dǎo)出矛盾;
第三步,結(jié)論:說明反設(shè)不成立,從而肯定原命題成立。
在應(yīng)用反證法證題時,一定要用到“反設(shè)”進行推理,否則就不是反證法。用反證法證題時,如果欲證明的命題的方面情況只有一種,那么只要將這種情況駁 倒了就可以,這種反證法又叫“歸謬法”;如果結(jié)論的方面情況有多種,那么必須將所有的反面情況一一駁倒,才能推斷原結(jié)論成立,這種證法又叫“窮舉法”。
在數(shù)學(xué)解題中經(jīng)常使用反證法,牛頓曾經(jīng)說過:“反證法是數(shù)學(xué)家最精當(dāng)?shù)奈淦髦?rdquo;。一般來講,反證法常用來證明的題型有:命題的結(jié)論以“否定形 式”、“至少”或“至多”、“唯一”、“無限”形式出現(xiàn)的命題;或者否定結(jié)論更明顯。具體、簡單的命題;或者直接證明難以下手的命題,改變其思維方向,從 結(jié)論入手進行反面思考,問題可能解決得十分干脆。
提醒:點這里加小編微信(領(lǐng)取免費資料、獲取最新資訊、解決考教師一切疑問!)