高二數(shù)學(xué)在線輔導(dǎo)

7、反證法
反證法是一種間接證法，它是先提出一個(gè)與命題的結(jié)論相反的假設(shè)，然后，從這個(gè)假設(shè)出發(fā)，經(jīng)過正確的推理，導(dǎo)致矛盾，從而否定相反的假設(shè)，達(dá)到肯定原命題正確的一種方法。反證法可以分為歸謬反證法(結(jié)論的反面只有一種)與窮舉反證法(結(jié)論的反面不只一種)。用反證法證明一個(gè)命題的步驟，大體上分為：(1)反設(shè)；(2)歸謬；(3)結(jié)論。
反設(shè)是反證法的基礎(chǔ)，為了正確地作出反設(shè)，掌握一些常用的互為否定的表述形式是有必要的，例如：是、不是；存在、不存在；平行于、不平行于；垂直于、不垂直于；等于、不等于；大(小)于、不大(小)于；都是、不都是；至少有一個(gè)、一個(gè)也沒有；至少有n個(gè)、至多有(n一1)個(gè)；至多有一個(gè)、至少有兩個(gè)；唯一、至少有兩個(gè)。