Question

已知數列{a_n}滿足a1+a2+…+an=

an

2

+

1

2

a

2 n

（其中n∈N^*），a₁≠0，且a_n+a_n-1≠0．
（Ⅰ）求{a_n}的通項公式；
（Ⅱ）設數列bn=n•2an，{b_n}的前n項和為T_n，若對于任意n∈N^*，都有T_n＞log_m（m+1）成立，求實數m的取值范圍．

Answer 1

分析：（Ⅰ）由題設知Sn=

an

2

(an+1)，故a1=

a1

2

(a1+1)，解得a₁=1；1+a2=

a2

2

(a2+1)，解得a₂=2，或a₂=-1（舍）3+a3=

a3

2

(a3+1)，解得a₃=3，或a₃=-2（舍）．由此猜想：a_n=n．用數學歸納法能夠進行證明．
（Ⅱ）由a_n=n，知bn=n•2an=n•2ⁿ，故T_n=2+2×2²+3×2³+…+（n-1）•2^n-1+n•2ⁿ，由錯位相減法能夠求出結果．

解答：解：（Ⅰ）∵數列{a_n}滿足a1+a2+…+an=

an

2

+

1

2

a

2 n

（其中n∈N^*），a₁≠0，且a_n+a_n-1≠0，
∴Sn=

an

2

(an+1)，
∴a1=

a1

2

(a1+1)，解得a₁=1；
1+a2=

a2

2

(a2+1)，解得a₂=2，或a₂=-1（舍）
3+a3=

a3

2

(a3+1)，解得a₃=3，或a₃=-2（舍）．
由此猜想：a_n=n．
用數學歸納法證明：
①n=1時，a₁=1，成立；
②假設n=k時，等式成立，即：a_k=k，
當n=k+1時，1+2+3+…+k+ak+1=

ak+1

2

(ak+1 +1)，
∴ak+12-ak+1-k(k+1)=0，
∴a_k+1=k+1，或a_k+1=-k（舍），也成立，
由①②知，a_n=n．
（Ⅱ）∵a_n=n，∴bn=n•2an=n•2ⁿ，
∴T_n=b₁+b₂+…+b_n=2+2×2²+3×2³+…+（n-1）•2^n-1+n•2ⁿ，①
∴2Tn=22+2×23+3×24+…+(n-1)×2n+n×2n+1，②
∴①-②，得-T_n=2+2²+2³+…+2ⁿ-n×2ⁿ⁺¹
=

2×(1-2n)

1-2

-n×2ⁿ⁺¹，
∴Tn=2+(n-1)•2n+1．
∵對于任意n∈N^*，都有T_n＞log_m（m+1）成立，
∴對于任意n∈N^*，都有2+（n-1）•2ⁿ⁺¹＞log_m（m+1）成立，
∵當n=1時，2+（n-1）•2ⁿ⁺¹取最小值2，
∴l(xiāng)og_m（m+1）＜2=logmm2，
當m＞1時，m+1＜m²，解得m＞

1+ 5

2

；
當0＜m＜1時，m+1＞m²，解得0＜m＜1．
故實數m的取值范圍是（0，1）∪(

1+ 5

2

，+∞)．

點評：本題考查{a_n}的通項公式的求法，設數列bn=n•2an，{b_n}的前n項和為T_n，若對于任意n∈N^*，都有T_n＞log_m（m+1）成立，求實數m的取值范圍．綜合性強，難度大，有一定的探索性，對數學思維能力要求較高，是高考的重點．解題時要認真審題，仔細解答．