反證法高二數(shù)學(xué)知識(shí)點(diǎn)
反證法是屬于間接證明法一類，是從反面的角度思考問題的證明方法，即：肯定題設(shè)而否定結(jié)論，從而導(dǎo)出矛盾推理而得。法國數(shù)學(xué)家阿達(dá)瑪(Hadamard)對(duì)反證法的實(shí)質(zhì)作過概括：若肯定定理的假設(shè)而否定其結(jié)論，就會(huì)導(dǎo)致矛盾。具體地講，反證法就是從否定命題的結(jié)論入手，并把對(duì)命題結(jié)論的否定作為推理的已知條件，進(jìn)行正確的邏輯推理，使之得到與已知條件、已知公理、定理、法則或者已經(jīng)證明為正確的命題等相矛，矛盾的原因是假設(shè)不成立，所以肯定了命題的結(jié)論，從而使命題獲得了證明。
反證法所依據(jù)的是邏輯思維規(guī)律中的矛盾律和排中律。在同一思維過程中，兩個(gè)互相矛盾的判斷不能同時(shí)都為真，至少有一個(gè)是假的，這就是邏輯思維中的矛盾律兩個(gè)互相矛盾的判斷不能同時(shí)都假，簡(jiǎn)單地說A或者非A，這就是邏輯思維中的排中律。反證法在其證明過程中，得到矛盾的判斷，根據(jù)矛盾律，這些矛盾的判斷不能同時(shí)為真，必有一假，而已知條件、已知公理、定理、法則或者已經(jīng)證明為正確的命題都是真的`，所以否定的結(jié)論必為假。再根據(jù)排中律，結(jié)論與否定的結(jié)論這一對(duì)立的互相否定的判斷不能同時(shí)為假，必有一真，于是我們得到原結(jié)論必為真。所以反證法是以邏輯思維的基本規(guī)律和理論為依據(jù)的，反證法是可信的。
反證法的證題模式可以簡(jiǎn)要的概括我為否定推理否定。即從否定結(jié)論開始，經(jīng)過正確無誤的推理導(dǎo)致邏輯矛盾，達(dá)到新的否定，可以認(rèn)為反證法的基本思想就是否定之否定。應(yīng)用反證法證明的主要三步是：否定結(jié)論 推導(dǎo)出矛盾 結(jié)論成立。實(shí)施的具體步驟是：
第一步，反設(shè)：作出與求證結(jié)論相反的假設(shè);
第二步，歸謬：將反設(shè)作為條件，并由此通過一系列的正確推理導(dǎo)出矛盾;
第三步，結(jié)論：說明反設(shè)不成立，從而肯定原命題成立。
在應(yīng)用反證法證題時(shí)，一定要用到反設(shè)進(jìn)行推理，否則就不是反證法。用反證法證題時(shí)，如果欲證明的命題的方面情況只有一種，那么只要將這種情況駁倒了就可以，這種反證法又叫歸謬法如果結(jié)論的方面情況有多種，那么必須將所有的反面情況一一駁倒，才能推斷原結(jié)論成立，這種證法又叫窮舉法。
在數(shù)學(xué)解題中經(jīng)常使用反證法，牛頓曾經(jīng)說過：反證法是數(shù)學(xué)家最精當(dāng)?shù)奈淦髦弧Ｒ话銇碇v，反證法常用來證明的題型有：命題的結(jié)論以否定形式、至少或至多、唯一、無限形式出現(xiàn)的命題;或者否定結(jié)論更明顯。具體、簡(jiǎn)單的命題;或者直接證明難以下手的命題，改變其思維方向，從結(jié)論入手進(jìn)行反面思考，問題可能解決得十分干脆。
【反證法高二數(shù)學(xué)知識(shí)點(diǎn)】相關(guān)文章：
數(shù)學(xué)反證法與放縮法知識(shí)點(diǎn)01-19
數(shù)學(xué)反證法的學(xué)習(xí)方法05-16
高二數(shù)學(xué)的知識(shí)點(diǎn)12-09
高二數(shù)學(xué)統(tǒng)計(jì)知識(shí)點(diǎn)12-11
高二數(shù)學(xué)的重要知識(shí)點(diǎn)11-11
高二數(shù)學(xué)排列的知識(shí)點(diǎn)01-10