宜城教育資源網www.ychedu.com
一、反證法的步驟
假設命題的結論不成立，即假設結論的反面成立；
從這個假設出發(fā)，通過推理論證，得出矛盾；
3.由矛盾判定假設不正確，從而肯定命題的結論正確。
二、反證法的定義：
一般地，假設原命題不成立（即在原命題的條件下，結論不成立），經過正確的推理，最后得出矛盾，因此說明假設錯誤，從而證明了原命題成立，這樣的證明方法叫做反證法。
圖解：
肯定條件p，否定結論q；
導致邏輯矛盾；
“若p非q為假”；
“若p則q為真”。
四、反證法的一般步驟
步驟
假設命題反面成立；從假設出發(fā)，經過推理得出和反面命題矛盾，或者與定義、公理、定理矛盾；得出假設命題不成立是錯誤的，即所求證命題成立。
反證法的論證過程
首先提出論題：然后設定反論題，并依據推理規(guī)則進行推演，證明反論題的虛假；最后根據排中律，既然反論題為假，原論題便是真的。
在進行反證中，只有與論題相矛盾的判斷才能作為反論題，論題的反對判斷是不能作為反論題的，因為具有反對關系的兩個判斷可以同時為假。反證法中的重要環(huán)節(jié)是確定反論題的虛假，常常要使用歸謬法。
五、只能用反證法證明的命題
1.有關純數字劃分的問題很多命題都只能借助反證法得證。這類問題通常都是直接作為定理或常用推論來使用的，比如根號2是無理數。
2.很多已知當中只有兩個元的問題。
由于條件有限，基本上也只能采用反證法。這類問題通常是一個公理體系里只有A、B兩項，由已知命題推未知命題的真假。
3.對許多直接建立在定義和公理之上的一級定理：
由于這些定理可使用的證明條件太少，只能用反證法才能證明。而建立在定義、公理與一級定理之上的二級定理，以及在邏輯鏈中更靠后的三級定理、四級定理等等，由于已被證明的定理數目越來越多，因此對于邏輯鏈中更靠后的定理，有更多的證明條件可以使用，常常不必使用反證法就可以得證。而公理本身是不證自明的，它們是數學邏輯體系的起點（基石），這已經是數學知識的底線了。如果你不接受它們，你認同的所有數學命題都不成立。
4.證明一個集合有無窮多個元素：
①用反證法。即證明如果它是有限的，則會存在矛盾；
②與另外一個無窮集合建立映射，這時加進來的已知無窮集合作為引理出現。
證明質數有無窮多個，歐幾里得的證明就是反證法。
本站僅提供存儲服務，所有內容均由用戶發(fā)布，如發(fā)現有害或侵權內容，請
點擊舉報。
