當原命题的结论的否定只有一种情况时，只要把这种情况推翻，就可以肯定原命题的结论成立，这种反证法叫做归谬法；如果原命题的结论的否定不止一种情况，那么就必须把这几种情况一一否定，才能肯定原命题的结论成立，这种反证法叫做穷举法. 下面我们来研究一下反证法在不等式证明中的应用.