Question

（理）已知數(shù)列{a_n}的各項均不為零，a₁=1，a₂=m，且對任意n∈N^*，都有

a

2 n+1

=anan+2+c．
（1）設(shè)c=1，若數(shù)列{a_n}是等差數(shù)列，求m；
（2）設(shè)c=1，當n≥2，n∈N^*時，求證：

an+1+an-1

a n

是一個常數(shù)；
（3）當c=（m+1）²時，求數(shù)列{a_n}的通項公式．

Answer 1

分析：（1）由題設(shè)條件求出公差，再利用等差數(shù)列的通項公式分別求出a_n，a_n+1，a_n+2，根據(jù)已知條件能求出m．
（2）由題設(shè)條件先求出a3=m2-1，

a1+a3

a2

=m，猜想

an-1+an+1

an

=m，由此能夠證明

an+1+an-1

a n

是一個常數(shù)．
（3）先由已知條件求出

a1+a3

a2

=

m2+1-c

m

=-2，再類比猜想

an-1+an+1

an

=-2，由此能夠求出數(shù)列{a_n}的通項公式．

解答：解：（1）由題意得：d=a₂-a₁=m-1，
a_n=1+（n-1）（m-1），
a_n+1=1+n（m-1），
a_n+2=1+（n+1）（m-1）
∵

a

2 n+1

=anan+2+1，
∴[1+n（m-1）]²=[1+（n-1）（m-1）][1+（n+1）（m-1）]+1
解得m=2．
（2）法一：∵a₁=1，a₂=m，

a

2 n+1

=anan+2+c，c=1，
∴a3=m2-1，∴

a1+a3

a2

=m，
猜想

an-1+an+1

an

=m
欲證明

an-1+an+1

an

=m恒成立
只需要證明

an-1+an+1

an

=

an+an+2

an+1

恒成立
即要證明a_n+1（a_n-1+a_n+1）=a_n（a_n+a_n+2）恒成立
即要證明an+1an-1+an+12=an2+anan+2恒成立，
∵

a

2 n+1

=anan+2+1，
∴an+1an-1=an2-1，anan+2=an+12-1，
∵a_n+1a_n-1+an+12=an+1an-1+an+12=an2-1+an+12，
an2+anan+2=an2+an+12-1，
∴an+1an-1+an+12=an2+anan+2成立．
綜上所述：

an+1+an-1

a n

是一個常數(shù)．                                             
法二：∵a₁=1，a₂=m，

a

2 n+1

=anan+2+c，c=1，
∴a3=m2-1，∴

a1+a3

a2

=m，
猜想

an-1+an+1

an

=m，

a

2 n+1

=anan+2+1，an2=an-1an+1+1，

a

2 n+1

-

a

2 n

=anan+2-an-1an+1，

a

2 n+1

+an-1an+1=

a

2 n

+anan+2，
由于a_n≠0，上式兩邊同除以a_na_n+1，
得

a   n+1 +an-1

an

=

a   n +an+2

an+1

(n≥2)．
∴

a   n +an+2

an+1

=

a   n-1 +an+1

an

=…=

a   1 +a3

a2

=

8

3

．
∴

an-1+an+1

an

=m是常數(shù)．
（3）∵a₁=1，a₂=m，

a

2 n+1

=anan+2+c，c=（m+1）²，
∴a₃=-2m-1，

a1+a3

a2

=

m2+1-c

m

=-2，
類比猜想

an-1+an+1

an

=-2，

a

2 n+1

=anan+2+c，an2=an-1an+1+c，

a

2 n+1

-

a

2 n

=anan+2-an-1an+1，

a

2 n+1

+an-1an+1=

a

2 n

+anan+2，
由于a_n≠0，上式兩邊同除以a_na_n+1，
得

a   n+1 +an-1

an

=

a   n +an+2

an+1

(n≥2)．
∴

a   n +an+2

an+1

=

a   n-1 +an+1

an

=…=

a   1 +a3

a2

=

8

3

．
∴

an-1+an+1

an

=-2是常數(shù)，
∴

an-1+an+1

an

=-2，
∴（a_n-1+a_n）+（a_n+1+a_n）=0，
∴（a_n-1+a_n）=-（a_n+1+a_n），
∴an+1+an=(-1)n-1(m+1)，
∴a₁=1，a₂=m，a₃=-（2m+1），a₄=（3m+2），
由此猜想an=(-1)n[(n-1)m+(n-2)]，
用數(shù)學歸納法證明：顯然n=1時，成立，
假設(shè)n=k時，ak=(-1)k[(k-1)m+(k-2)]成立，
則n=k+1時，ak+1=(-1)k-1(m+1)-ak
=（-1）^k-1（m+1）-（-1）^k[（k-1）m+（k-2）]，
∴ak+1=(-1)k-1[(m+1)+(k-1)m+(k-2)]，
∴ak+1=(-1)k-1[km+(k-1)]
=（-1）^k+1[km+（k-1）]，
∴對一切n∈N時，an=(-1)n[(n-1)m+(n-2)]成立．

點評：本題考查數(shù)列知識的綜合運用，綜合性強，難度大，解題時要認真審題，仔細挖掘題設(shè)條件中的隱含條件，注意合理地進行類比猜想．