【文章內容簡介】
( 3)從矛盾判定假設不正確,從而肯定命題的結 論正確 歸繆矛盾: ( 1)與已知條件矛盾; ( 2)與已有公理、定理、定義矛盾; ( 3)自相矛盾。 應用反證法的情形: (1)直接證明困難 。 (2)需分成很多類進行討論. ( 3)結論為 “ 至少 ” 、 “ 至多 ” 、 “ 有無窮多個 ” 類命題; ( 4) 結論為 “ 唯一 ” 類命題; 例 1:用反證法證明: 如果 ab0,那么 a b證:假設 a b 不成立,則 a ≤ b若 a = b ,則a = b , 與已知a b 矛盾,若 a b ,則a b , 與已知a b 矛盾,故假設不成立,結論 a b 成立。例 2 已知 a≠0 ,證明 x的方程 a