Question

已知函數(shù)f（x）=log_mx（mm為常數(shù)，0＜m＜1），且數(shù)列{f（a_n）}是首項為2，公差為2的等差數(shù)列．
（1）若b_n=a_n•f（a_n），當(dāng)m=

2

2

時，求數(shù)列{b_n}的前n項和S_n；
（2）設(shè)c_n=a_n•lga_n，如果{c_n}中的每一項恒小于它后面的項，求m的取值范圍．

Answer 1

（1）由題意得f（a_n）=2+2（n-1）=log_ma_n，可得2n=log_ma_n，…（1分）
∴a_n=m²ⁿ．…（2分）
b_n=a_n•f（a_n）=2n•m²ⁿ．
∵m=

2

2

，∴b_n=a_n•f（a_n）=2n•（

2

2

）²ⁿ=n•（

1

2

）^n-1，…（3分）
∴S_n=1•（

1

2

）⁰+2•（

1

2

）¹+3•（

1

2

）²+…+n•（

1

2

）^n-1，①

1

2

S_n=1•（

1

2

）¹+2•（

1

2

）²+3•（

1

2

）³+…+n•（

1

2

）ⁿ，②…（4分）
①-②，得

1

2

S_n=（

1

2

）⁰+（

1

2

）¹+（

1

2

）²+…+（

1

2

）^n-1-n•（

1

2

）ⁿ=

1- 1 2n

1- 1 2

-n•(

1

2

)n…（6分）
∴化簡得：S_n=-（n+2）（

1

2

）^n-1+4  …（7分）
（2）由（Ⅰ）知，c_n=a_n•lga_n=2n•m²ⁿlgm，要使c_n＜c_n+1對一切n∈N^*成立，
即nlgm＜（n+1）m²lgm對一切n∈N^*成立．…（8分）
∵0＜m＜1，可得lgm＜0
∴原不等式轉(zhuǎn)化為n＞（n+1）m²，對一切n∈N^*成立，
只需m²＜（

n

n+1

）_min即可，…（10分）
∵h（n）=

n

n+1

在正整數(shù)范圍內(nèi)是增函數(shù)，∴當(dāng)n=1時，（

n

n+1

）_min=

1

2

．…（12分）
∴m²＜

1

2

，且0＜m＜1，，∴0＜m＜

2

2

．…（13分）
綜上所述，存在實數(shù)m∈（0，

2

2

）滿足條件．…（14分）