类型二、反证法：

　　反证法：假设命题结论不成立（即命题结论的反面成立），经过正确的推理,引出矛盾，因此说明假设错误,从而证明原命题成立,这样的的证明方法叫反证法。

（2）反证法的一般步骤：

　a、反设：假设命题结论不成立（即假设结论的反面成立）；

　b、归缪：从假设出发，经过推理论证，得出矛盾；

　c、下结论：由矛盾判定假设不成立，从而肯定命题成立。

（3）应用反证法的情形：

①直接证明困难;

②需分成很多类进行讨论．

③结论为"至少"、"至多"、"有无穷多个" ---类命题；

④结论为 "唯一"类命题；

（4）关键在于归缪矛盾：

　　a、与已知条件矛盾；b、与公理、定理、定义矛盾；c、自相矛盾。

题型一　综合法：

例1 已知a,b,c是不全相等的正数，

　　求证：

　　证明：

以上三式相加，且注意到a,b,c不全相等，