Question

已知各项均为正数的数列{a_n}满足：

a1+2a2+3a3+…+nan

n

=

(an+1)an

3

(n∈N*)．
（1）求a_n的通项公式；
（2）当n≥2时，求证：

1

lna1

+

1

lna2

+…+

1

lnan-1

≤

ln(a1×a2×…×an-1)

lna1×lnan-1

．

Answer 1

分析：（1）利用已知可得：a₁=2，a₂=3，a₃=4，猜测：a_n=n+1．用数学归纳法证明即可；
（2）由于a_n=n+1，即证：

1

ln2

+

1

ln3

+…+

1

lnn

≤

ln(2×3×…×n)

ln2lnn

=

ln2+ln3+…+lnn

ln2lnn

．对k=1，2，…，n-2，令fk(x)=

ln(x+k)

lnx

(x＞1)，利用导数可得

f

′ k

(x)＜0，因此f_k（x）在（1，+∞）上单调递减．由n-k≥2，得f_k（n-k）≤f_k（2），即

lnn

ln(n-k)

≤

ln(2+k)

ln2

．即ln2lnn≤ln（2+k）ln（n-k），k=1，2，…，n-2．进而证明结论．

解答：解：（1）a₁=2，a₂=3，a₃=4，猜测：a_n=n+1．
下用数学归纳法证明：
①当n=1时，a₁=1+1=2，猜想成立；
②假设当n=k（k≥1）时猜想成立，即a_k=k+1，
由条件a1+2a2+3a3+…+nan=

n(an+1)an

3

，
∴a1+2a2+3a3+…+(n-1)an-1=

(n-1)(an-1+1)an-1

3

(n≥2)，
两式相减得：nan=

n(an+1)an

3

-

(n-1)(an-1+1)an-1

3

，
则当n=k+1时，(k+1)ak+1=

(k+1)(ak+1+1)

3

-

k(ak+1)ak

3

⇒

a

2 k+1

-2ak+1-k(k+2)=0，
∴a_k+1=k+2，即当n=k+1时，猜想也成立．
故对一切的n∈N^*，a_n=n+1成立．
（2）∵a_n=n+1，即证：

1

ln2

+

1

ln3

+…+

1

lnn

≤

ln(2×3×…×n)

ln2lnn

=

ln2+ln3+…+lnn

ln2lnn

对k=1，2，…，n-2，令fk(x)=

ln(x+k)

lnx

(x＞1)，则

f

′ k

(x)=

xlnx-(x+k)ln(x+k)

x(x+k)ln2x

，
显然1＜x＜x+k，0＜lnx＜ln（x+k），∴xlnx＜（x+k）ln（x+k），
∴

f

′ k

(x)＜0，∴f_k（x）在（1，+∞）上单调递减．
由n-k≥2，得f_k（n-k）≤f_k（2），即

lnn

ln(n-k)

≤

ln(2+k)

ln2

．
∴ln2lnn≤ln（2+k）ln（n-k），k=1，2，…，n-2．
∴2(

1

ln2

+

1

ln3

+…+

1

lnn

)
=(

1

ln2

+

1

lnn

)+(

1

ln3

+

1

ln(n-1)

)+…+(

1

lnn

+

1

ln2

)
=

lnn+ln2

ln2lnn

+

ln(n-1)+ln3

ln3ln(n-1)

+…+

ln2+lnn

ln2lnn

≤

lnn+ln2

ln2lnn

+

ln(n-1)+ln3

ln2lnn

+…+

ln2+lnn

ln2lnn

=2(

ln2+ln3+…+lnn

ln2lnn

)．
即

1

ln2

+

1

ln3

+…+

1

lnn

≤

ln(2×3×…×n)

ln2lnn

=

ln2+ln3+…+lnn

ln2lnn

．

点评：熟练掌握数学归纳法、构造函数法、利用导数研究函数的单调性等是解题的关键．