王帥

在數(shù)學(xué)問(wèn)題中。有相當(dāng)數(shù)量的問(wèn)題若直接證明難以人手，因此，常采用間接法證明。其中，反證法是間接證明的一種基本方法。反證法的基本思想是：若肯定命題的條件而否定其結(jié)論，就會(huì)導(dǎo)致矛盾。具體地說(shuō)，反證法不直接證明命題“若p則g”，而是先肯定命題的條件p，并否定命題的結(jié)論q，然后通過(guò)合理的邏輯推理，而得到矛盾，從而斷定原來(lái)的結(jié)論是正確的。使用反證法時(shí)要注意：當(dāng)遇到“否定性”、“唯一性”、“無(wú)限性”、“至多”、“至少”等類(lèi)型命題時(shí)，常用反證法。注意反證法的基本思路及一般步驟：①反證法的理論依據(jù)，②什么樣的命題可采用反證法，③反證法的“反設(shè)”，④反證法中的“歸謬”。在反證法中探求的矛盾常見(jiàn)的有：（1）與已知條件矛盾；（2）與定理、公理矛盾；（3）與已知具有的或成立的性質(zhì)矛盾。