施一諾
摘要:反證法是數學中間接論證的方法之一,從否定命題的結論出發(fā),經過推理后產生矛盾,從而證明假設的不正確,以證明結論的正確性。正是因為解題思路的簡單和實用性,反證法在中學數學中占據著不可忽視的地位。本文在概述了反證法涵義、理論依據和解題步驟的基礎上,通過具體的例子分析了反證法在中學數學中的應用,以期加強高中生對反證法的認知,提升做題技巧。
關鍵詞:中學數學;反證法;應用
一、反證法
(一)反證法的涵義
反證法,也稱為逆證,屬于間接論證的一種方法。法國數學家阿達瑪對反證法的實質做了個概括:若肯定定理的假設而否定其結論,就會導致矛盾。具體來說,反證法就是從原命題的否定命題出發(fā),通過邏輯推理和論證后,判斷出否定命題的虛假性。最后根據排中律,既然否定命題是假的,那么原命題便是真的。
(二)反證法的理論依據
反證法的理論依據主要是形式邏輯中的兩個基本規(guī)律,矛盾律和排中律。
矛盾律指的是在同一個論證中,兩個相互矛盾的判斷不能同時是真的,至少有一個是假的。排中律指的是兩個相互矛盾的判斷不能同時都是假的,其中的任意一個判斷必然是真的,也就是“A真”和“非A真”有且只有一個是正確的。
(三)反證法的解題步驟
反證法的解題步驟主要是否定結論-推出矛盾-結論成立。具體講就是:
第一步:反設。我們需要做的是找出原命題中的結論,做出與之相矛盾的假設。這是反證法的關鍵。如果與原命題相矛盾的假設很多,我們必須一一否定,不能遺漏。
第二步:歸謬。對假設進行邏輯推理,導致矛盾的出現。
第三步:結論。由于矛盾的出現,證明假設是錯誤的,那么原命題成立。
二、反證法在中學數學中的應用
牛頓曾經說過:反證法是數學家最精當的武器之一。足以看出,反證法在數學中的地位是不容置疑的。因為解題思路的明確性和簡潔性,反證法在中學數學中的應用也是非常廣泛的。
(一)反證法在代數中的應用
代數,是數學的一個分支。代數中有很多理論、定理等都可以用解析法、歸納法等來證明,但過程是復雜的。而利用反證法就可以直接否定以“至多”、“至少”、“不可能”、“唯一”等形式的問題,從反面來論證大大簡化了解題的過程。
例1:設0 證明:根據題意,設(1-a)b>,(1-b)c>,(1-c)a>,