根据这一条件进行推证，否则，仅否定结论，不从结论的反面出发进行推理，就不是反证法．

　　3．常见否定词语的否定形式如下表所示：

否定词语 否定词语的否定形式 没有 有 不大于 大于 不等于 等于 不存在 存在 　　

　　1．已知方程f(x)＝ax＋(a>1)，证明：方程f(x)＝0没有负数根．

　　[证明]　假设x0是方程f(x)＝0的负数根，则x0<0，x0≠－1且ax0＋＝0，所以ax0＝－.

　　又当x0<0时，0

　　即0<－1＋<1,1<<2，解得

　　这与x0<0矛盾， 所以假设不成立，故方程f(x)＝0没有负数根．

　　用反证法证明"至多""至少"问题

　　【例2】　已知x，y，z均大于零，求证：x＋，y＋，z＋这三个数中至少有一个不小于4.

　　思路探究：本题中含有"至少"，不宜直接证明，故可采用反证法证明．

　　[证明]　假设x＋，y＋，z＋都小于4，

　　即x＋<4，y＋<4，z＋<4，

于是得＋＋<12，