Question

在数列{a_n}中，a₁=1，，其中n∈N^*．
（1）求证：数列{b_n}是等差数列；
（2）求证：在数列{a_n}中对于任意的n∈N^*，都有a_n+1＜a_n；
（3）设，试问数列{c_n}中是否存在三项，它们可以构成等差数列？如果存在，求出这三项；如果不存在，说明理由．

Answer

（1）利用等差数列的定义，证明bn+1-bn为常数即可；
（2）确定数列{an}的通项公式，作差比较，即可得到结论；
（3）利用反证法，假设在{cn}中存在第m，p，q（m＜p＜q，且m，p，q∈N*）项成等差数列，从而得出矛盾．
（1）证明：，
所以数列{bn}是首项，公差为2的等差数列；
（2）证明：由（1）知bn=2n，n∈N*，
所以，，
所以．
即：对任意的n∈N*，an+1＜an
（3）【解析】
由（2）知，，
假设在{cn}中存在第m，p，q（m＜p＜q，且m，p，q∈N*）项成等差数列，
则：2•2P=2m+2q，∴2p+1=2m+2q，∴2p+1-m=2q-m+1，
因为m，p，q∈N*
所以2p+1-m为偶数，2q-m+1为奇数，两者不可能相等，即假设不成立，
所以在数列{cn}中不存在三项可以构成等差数列．