例析用反证法证题

数学命题的证明方法分为直接证法和间接证法.反证法是间接证法中最为基本和常见的一种,也是极为重要的一种.应用反证法证题,一般分为如下三步:第一步,反设.假设命题不成立,即作出与命题结论相反的结论;第二步,归谬.从反设出发,推出与公理、定义、已知定理或命题相矛盾的结果;第三步,断语.以此说明反设的不成立,也就是说假设不成立,从而说明原来的命题、原结论成立.