Question

在數(shù)列{a_n}與{b_n}中，a₁=1，b₁=4，數(shù)列{a_n}的前n項和S_n滿足nS_n+1-（n+3）S_n=0，2a_n+1為b_n與b_n+1的等比中項，n∈N*．
（Ⅰ）求a₂，b₂的值；
（Ⅱ）求數(shù)列{a_n}與{b_n}的通項公式；
（Ⅲ）設Tn=(-1)a1b1+(-1)a2b2+…+(-1)anbn，n∈N*．證明|T_n|＜2n²，n≥3．

Answer 1

（Ⅰ）由題設有a₁+a₂-4a₁=0，a₁=1，解得a₂=3．由題設又有4a₂²=b₂b₁，b₁=4，解得b₂=9．
（Ⅱ）由題設nS_n+1-（n+3）S_n=0，a₁=1，b₁=4，及a₂=3，b₂=9，進一步可得a₃=6，b₃=16，a₄=10，b₄=25，猜想an=

n(n+1)

2

，b_n=（n+1）²，n∈N^*．
先證an=

n(n+1)

2

，n∈N^*．
當n=1時，a1=

1×(1+1)

2

，等式成立．當n≥2時用數(shù)學歸納法證明如下：
（1）當n=2時，a2=

2×(2+1)

2

，等式成立．
（2）假設n=k時等式成立，即ak=

k(k+1)

2

，k≥2．
由題設，kS_k+1=（k+3）S_k（k-1）S_k=（k+2）S_k-1
①的兩邊分別減去②的兩邊，整理得ka_k+1=（k+2）a_k，從而ak+1=

k+2

k

ak=

k+2

k

•

k(k+1)

2

=

(k+1)[(k+1)+1]

2

．
這就是說，當n=k+1時等式也成立．根據（1）和（2）可知，等式an=

n(n+1)

2

對任何的n≥2成立．
綜上所述，等式an=

n(n+1)

2

對任何的n∈N^*都成立an=

n(n+1)

2

再用數(shù)學歸納法證明b_n=（n+1）²，n∈N^*．
（1）當n=1時，b₁=（1+1）²，等式成立．
（2）假設當n=k時等式成立，即b_k=（k+1）²，那么bk+1=

4ak+12

bk

=

(k+1)2(k+2)2

(k+1)2

=[(k+1)+1]2．
這就是說，當n=k+1時等式也成立．根據（1）和（2）可知，等式b_n=（n+1）²對任何的n∈N^*都成立．
（Ⅲ）證明：當n=4k，k∈N^*時，Tn=-2²-3²+4²+5²--（4k-2）²-（4k-1）²+（4k）²+（4k+1）²．
注意到-（4k-2）²-（4k-1）²+（4k）²+（4k+1）²=32k-4，故4k（4k+4）-4k=（4k）²+3×4k=n²+3n．
當n=4k-1，k∈N^*時，T_n=（4k）²+3×4k-（4k+1）²=（n+1）²+3（n+1）-（n+2）²=n
當n=4k-2，k∈N^*時，T_n=（4k）²+3×4k-（4k+1）²-（4k）²=3（n+2）-（n+3）²=-n²-3n-3．
當n=4k-3，k∈N^*時，T_n=3×4k-（4k+1）²+（4k-1）²=3（n+3）-（n+4）²+（n+2）²=-n-3．
所以Tn=

-n-3，n=4k-3 -n2-3n-3，，n=4k-2 n，n=4k-1 n2+3n，n=4k

，k∈N*．
從而n≥3時，有

|Tn|

n2

=

1 n + 3 n2 ＜2    n=5，9，13 1+ 3 n + 3 n2 ＜2   n=6，10，14 1 n ＜2    n=3，7，11 1+ 3 n ＜2，n=4，8，12

總之，當n≥3時有

|Tn|

n2

＜2，即|T_n|＜2n²．