所以＝，从而a＝b＝c，

　　所以a，b，c可以成等差数列，这与已知中"a，b，c不成等差数列"相矛盾．原假设错误，故， ， 不成等差数列．

　　1．用反证法证明否定性命题的适用类型

　　结论中含有"不""不是""不可能""不存在"等词语的命题称为否定性命题，此类问题的正面比较模糊，而反面比较具体，适合使用反证法．

　　2．反证法证明问题的一般步骤

　　1．设数列{an}是公比为q的等比数列，Sn是它的前n项和．求证：数列{Sn}不是等比数列．

　　[证明]　假设数列{Sn}是等比数列，则S＝S1S3，

　　即a(1＋q)2＝a1·a1(1＋q＋q2)，

　　因为a1≠0，所以(1＋q)2＝1＋q＋q2，

　　即q＝0，这与公比q≠0矛盾．所以数列{Sn}不是等比数列．

利用反证法证明存在性命题 　　【例2】　已知a，b，c∈(0,1)，求证：(1－a)b，(1－b)c，(1－c)a不能都大于.

[思路探究]　"不能都大于"的含义为"至少有一个小于或等于"其对