探究一 否定性命题的证明
对于问题本身就是否定性命题的证明一般用反证法来证明，并且应注意如下的否定：“是”的反面为“不是”，“都是”的反面为“不都是”，“都不是”的反面为“至少有一个是”．
【典型例题1】设{an}是公比为q的等比数列，Sn是它的前n项和．
试问：数列{Sn}是等差数列？为什么？
思路分析：本题注意对q分q＝1和q≠1两种情况讨论，并当q≠1时，可考虑用反证法证明．
证明：当q＝1时，{Sn}是等差数列．
当q≠1时，{Sn}不是等差数列．
假设q≠1时，{Sn}是等差数列，则S1，S2，S3成等差数列，即2S2＝S1＋S3.
∴2a1(1＋q)＝a1＋a1(1＋q＋q2)，
由于a1≠0，∴2(1＋q)＝2＋q＋q2，q＝q2.
