Question

已知a＞0且a≠1，數列{a_n}是首項為a，公比也為a的等比數列，設b_n=a_n•1ga_n，問是否存在a，對任意自然數n∈N^*，數列{b_n}中的每一項總小于它后面所有的項？若存在，求出a的取值范圍；若不存在，則說明理由．

Answer 1

∵{a_n}是首項為a，公比為a的等比數列，
∴an=an，b_n=a_n•1ga_n=naⁿlga，
∴bn+1=(n+1)an+1 lga，
∴bn+1-bn=an[(n+1)a-n]lga．
（1）當a＞1時，lga＞0，aⁿ＞0，（n+1）a-n＞（n+1）-n＞0，
∴bn＜bn+1(n∈N*)．
（2）當0＜a＜1時，lga＜0，
當且僅當（n+1）a-n＜0（n∈N^*）時，
bn＜bn+1(n∈N*)，
即當a＜

n

n+1

（n∈N^*）時，b_n＜b_n+1（n∈N^*），
而當n∈N^*時，n+1≤2n，即

n

n+1

≥

1

2

，
∴只要取a＜

1

2

．
綜上所述，當a的取值為（0，

1

2

）∪（1，+∞）時，
使得數列{b_n}中的任一項都小于它后面各項．