Question

已知數(shù)列{a_n}的前n項(xiàng)和為S_n，且S_n=2a_n-2ⁿ⁺¹，n∈N^*．設(shè)b_n=log₂

Sn

n

，t_n=

1

bn

+

1

bn+1

+

1

bn+2

+…+

1

b2n-1

，是否存在最大的正整數(shù)k，使得對(duì)于任意的正整數(shù)N，有t_n＞

k

12

恒成立？若存在，求出k的值，若不存在，請(qǐng)說明理由．

Answer 1

考點(diǎn)：數(shù)列與不等式的綜合

專題：綜合題,等差數(shù)列與等比數(shù)列

分析：將n換成n+1，兩式相減，運(yùn)用n=1時(shí)，a₁=S₁，n＞1時(shí)，a_n=S_n-S_n-1，即可得到數(shù)列{

an

2n

}為首項(xiàng)為2，公差為1的等差數(shù)列，求出b_n，t_n，t_n+1，作差，判斷{t_n}的單調(diào)性，求出t_n的最小值，令

k

12

小于最小值，即可求出正整數(shù)k的最大值．

解答： 解：當(dāng)n=1時(shí)，S₁=2a₁-4，解得a₁=4．
由題意得S_n=2a_n-2ⁿ⁺¹，S_n+1=2a_n+1-2ⁿ⁺²，
兩式相減得a_n+1=2a_n+1-2a_n-2ⁿ⁺¹，
于是a_n+1=2a_n+2ⁿ⁺¹，
∴

an+1

2n+1

-

an

2n

=1
∴數(shù)列{

an

2n

}為首項(xiàng)為2，公差為1的等差數(shù)列，
∴

an

2n

=n+1，即a_n=2ⁿ（n+1）
代入S_n=n•2ⁿ⁺¹，
∴bn=lo

g

Sn n 2

=n+1，
∴t_n=

1

bn

+

1

bn+1

+

1

bn+2

+…+

1

b2n-1

=

1

n+1

+

1

n+2

+…+

1

2n

，
∴t_n+1-t_n=

1

2(2n+1)(n+1)

．
∵n是正整數(shù)，∴t_n+1-t_n＞0，即t_n+1＞t_n．
∴數(shù)列{t_n}是一個(gè)單調(diào)遞增數(shù)列，
又t₁=b₂=

1

2

，∴t_n≥t₁=

1

2

，
要使t_n＞

k

12

恒成立，則有

1

2

＞

k

12

，即k＜6，
又k是正整數(shù)，故存在最大正整數(shù)k=5使t_n＞

k

12

恒成立．

點(diǎn)評(píng)：本題主要考查數(shù)列的通項(xiàng)和求和，考查等比數(shù)列的通項(xiàng)，以及不等式的恒成立問題，判斷數(shù)列的單調(diào)性，注意考慮相鄰兩項(xiàng)的大小，屬于難題．