探究一 用反证法证明否定性命题
所谓否定性命题，就是指所证问题的结论中含有“不”、“不是”、“不存在”、“不相等”、“不可能”等词语的命题，这类问题的结论的反面比较具体，适合用反证法进行证明．
【典型例题1】(1)若数列{an}的通项公式为an＝(n∈N＋)，求证{an}中任意连续的三项都不可能构成等差数列．
(2)已知a是整数，且a2＋2a是奇数，求证：a不是偶数．
思路分析：两个命题均是否定性命题，可用反证法证明．
证明：(1)假设{an}中存在连续的三项构成等差数列．
设这连续三项为ak，ak＋1，ak＋2(k∈N＋)，
则2ak＋1＝ak＋ak＋2，
