Question

已知數(shù)列{a_n}滿足a₁=2，a_n+1=2（

n+1

n

）²a_n
（1）求數(shù)列{a_n}的通項(xiàng)公式
（2）設(shè)b_n=（An²+Bn+C）•2ⁿ，是否存在常數(shù)A、B、C，使對(duì)一切n∈N^*，均有a_n=b_n+1-b_n成立？若存在，求出常數(shù)A、B、C的值，若不存在，說明理由
（3）求證：a₁+a₂+…+a_n≤（n²-2n+2）•2ⁿ，（ n∈N^*）

Answer 1

（1）由a_n+1=2（

n+1

n

）²a_n得：
a2=2(

1+1

1

)  2a1?a2=2(

2

1

) 2a1
a3=2(

2+1

2

) 2a2?a3=2(

3

2

) 2a2
…
an=2(

n-1+1

n-1

) 2an-1?an=2(

n

n-1

) 2an-1
將這n-1個(gè)式子相乘，得a_n=2^n-1n²a₁=2ⁿ•n²，
（2）∵b_n=（An²+Bn+C）•2ⁿ
∴b_n+1=（A（n+1）²+B（n+1）+C）•2ⁿ⁺¹
∴b_n+1-b_n=（A（n+1）²+B（n+1）+C）•2ⁿ⁺¹-（An²+Bn+C）•2ⁿ
=（An²+（4A+B）n+2A+2B+C）•2ⁿ
若a_n=b_n+1-b_n成立，則2ⁿ•n²=（An²+（4A+B）n+2A+2B+C）•2ⁿ對(duì)一切正整數(shù)n都成立
∴An²+（4A+B）n+2A+2B+C=n²
∴

A=1 4A+2B=0 2A+2B+C=0

?A=1，B=-4，C=6；
（3）用數(shù)學(xué)歸納法進(jìn)行證明：
當(dāng)n=1時(shí)，a₁=2≤（1²-2×1+2）•2¹：=2，式子成立
當(dāng)n≥2時(shí)，設(shè)n=k時(shí)不等式成立，
即a₁+a₂+…+a_k≤（k²-2k+2）•2^k成立，則
a₁+a₂+…+a_k+a_k+1≤（k²-2k+2）•2^k+2^k+1•（k+1）²
而（k²-2k+2）•2^k+2^k+1•（k+1）²=2^k+1[（

1

2

k²-k+1）+（k²+2k+1）]
=2^k+1（

3

2

k²+k+2）
并且2^k+1（

3

2

k²+k+2）≤（（k+1）²-2（k+1）+2）•2^k+1，
∴a₁+a₂+…+a_k+a_k+1）≤（（k+1）²-2（k+1）+2）•2^k+1
即n=k+1時(shí)不等式成立，
綜上所述，可得對(duì)任意 n∈N^*，a₁+a₂+…+a_n≤（n²-2n+2）•2ⁿ 總成立