周文帝

假設原命題不成立，經(jīng)過正確的推理，最后得出相矛盾的結論，因此說明假設錯誤，從而證明原命題成立，這樣的證明方法叫做反證法.反證法是一種間接證明方法.當遇到一些不容易或者不能從正面進行證明的題目時，可以嘗試運用反證法，從問題的反面人手來進行證明.反證法彌補了直接證明方法的不足，在解題中應用廣泛，有著不可替代的重要作用.

運用反證法解題的步驟如下：

第三步，得出結論.斷定產(chǎn)生矛盾的原因在于開始所作的假設不成立，于是結論q成立，從而間接地證明了命題p?q為真命題.

反證法常適用于證明否定性命題、存在性命題以及含有“至多“至少“唯一”等字眼的命題.

下面舉例說明.

例1.已知點A、B、C三點在同一條直線上，求證：過A、B、C三點不能畫圓.

證明：假設經(jīng)過A、B、C三點可以畫圓，如圖1所示，

設此圓的圓心為O，那么A、B、C三點中的任意兩點的連線就是圓O的弦，

根據(jù)垂徑定理可知，。不僅在AB的中垂線OM上，還在BC的中垂線ON上，

那么過點O有兩條直線OM與ON均與AC垂直，顯然，這與垂直定理不相符，所以這個假設不成立，則過A、B、C三點不能畫圓.

直接證明本題較為困難，不妨從其反面入手，采用反證法進行求證.首先假設過A、B、C三點能畫圓，將其作為已知條件，根據(jù)垂徑定理和三點共線的公理進行推導，得出相矛盾的結論，即可證明結論.

可得a²=2b²，所以a²為偶數(shù)，

因此a也一定是偶數(shù)，

設存在自然數(shù)c，使得a=2c，

則a²=4c²，則2c²=b²，

由于b²是偶數(shù)，所以b也是偶數(shù)，

可得a，b均為偶數(shù)，這與a，b互質相矛盾，

而證明原命題成立.

例3.如圖2，設S4、SB是圓錐SO的兩條母線，O是底面的圓心，C是SB上一點求證：AC與平面SOB不垂直

證明：假設AC⊥平面SOB，

∵直線SO在平面SOB內，

∴AC⊥SO，

∵SO⊥底面圓O，∴SO⊥AB，

∴SO⊥平面SAB，

∴平面SAB∥底面圓O，

這與圖2不相符，所以假設不成立.

即AC與平面SOB不垂直.

我們很難直接證明AC與平面SOB不垂直，而本題為否定性命題，于是采用反證法，假設證明AC與平面SOB垂直，根據(jù)線面垂直的判定定理、兩平面平行的性質定理證明平面SAB∥底面圓O，得出相矛盾的結論，即可證明原結論成立.

所以假設的命題不成立，

“三個式子中至少有一個不小于2”共有7種情況，證明起來困難又繁雜，而它的反面是“三個式子全都小于2”，只有一種情況，于是利用反證法，從反面進行證明.當遇到題目中含有“最多”“不少于”“至少”“至多”“唯一”等字眼的命題時，采用反證法求證往往比較湊效.常見的結論詞和假設詞有：

例5.已知x+y+z>0，xy+yz+zx>0，xyz>0.求證：

x，y，z都是正數(shù).

證明：假設x<0，

因為xyz>0，所以yz<0，

因為x+y+z>0，

所以y+z=-x>0，

所以xy+yz+zx=x（y+z）+yz<0，

這與xy+yz+zx>0相矛盾.

假設x=0，則xyz=0，

這與xyz>0矛盾，

因此，x必為正數(shù).

同理可以證明：y，z也為正數(shù).

“x，y，z都是正數(shù)”的反面情況是：x，y，z都不小于0.采用反證法證明本題，需先假設x，y，z中的一個小于或等于0，然后根據(jù)已知條件，利用不等式的性質進行運算、推理，得出與已知條件相矛盾的結論，即可解題.

可見，從正面證明困難或情況較多時，用反證法會收到更好的效果.運用反證法解題，關鍵是提出正確的假設，這是正確運用反證法的前提.要想提出正確的假設，必須注意以下幾點：

（1）分清命題的條件與結論，原結論與假設的結論之間的邏輯關系.

（2）結論的反面常常不止一種情形，在提出“假設”后，要回過頭來看看“假設的結論”的對立面是否恰是命題的結論.