<正>反证法通常也被称为归谬法,是在高中数学解题中比较常见的方法之一.反证法是以数学逻辑理论为基础,通过证明数学问题的否定结论不成立,来证明原假设成立的方法.反证法在解答一些特定类型的数学问题,如含有否定性命题的题型、无穷性命题的题型、全称肯定性命题的题型中,具有一定的可行性和重要性.下面我们通过几个典型的例题,来对反证法的应用进行探讨.