已知数列{an},记A(n)=a1+a2+a3+…+an,B(n)=a2+a3+a4+…+an+1,C(n)=a3+a4+a5+…+an+2,(n=1,2,3,…),并且对于任意n∈N*,恒有an>0成立.
(1)若a1=1,a2=5,且对任意n∈N*,三个数A(n),B(n),C(n)组成等差数列,求数列{an}的通项公式;
(2)证明:数列{an}是公比为q的等比数列的充分必要条件是:对任意n∈N*,三个数A(n),B(n),C(n)组成公比为q的等比数列.
解:(1)由题意可得2B(n)=A(n)+C(n),
代入可得2(a
2+a
3+a
4+…+a
n+1)=(a
1+a
2+a
3+…+a
n)+(a
2+a
3+a
4+…+a
n+1),
化简可得
,所以.
∴数列{a
n}的通项公式
(2)(必要性)若数列{a
n}是公比为q的等比数列,
则
,
,
所以A(n)、B(n)、C(n)组成公比为q的等比数列.
(充分性):若对于任意n∈N
*,三个数A(n),B(n),C(n)组成公比为q的等比数列,
则B(n)=qA(n),C(n)=qB(n),
于是C(n)-B(n)=q[B(n)-A(n)],得a
n+2-a
2=q(a
n+1-a
1),即a
n+2-qa
n+1=a
2-a
1.
由n=1有B(1)=qA(1),即a
2=qa
1,从而a
n+2-qa
n+1=0.
因为a
n>0,所以
,故数列{a
n}是首项为a
1,公比为q的等比数列.
综上可得,数列{a
n}是公比为q的等比数列的充要条件是对任意的n∈N
*,都有A(n)、B(n)、C(n)组成公比为q的等比数列.
分析:(1)由等差中项化简可得
,可得{a
n}为等差数列,进而可得通项公式;
(2)由等比数列的定义,结合题意从充分性和必要性两方面来证明.
点评:本题以等差数列等比数列为载体,考查充要条件的判断,属基础题.