所以a＋c＋2＝4，

　　所以a＋c－2＝0，即(－)2＝0，

　　所以＝，从而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}不是等比数列．