Question

设数列{a_n}、{b_n}满足a1=

1

2

，2nan+1=(n+1)an，且bn=ln(1+an)+

1

2

a

2 _

，n∈N^*．
（Ⅰ）求数列{a_n}的通项公式；
（Ⅱ）对一切n∈N^*，证明

2

a n+2

＜

an

bn

成立；
（Ⅲ）记数列{a_n²}、{b_n}的前n项和分别是A_n、B_n，证明：2B_n-A_n＜4．

Answer 1

分析：（Ⅰ）由2na_n+1=（n+1）a_n，得

an+1

n+1

=

1

2

•

a1

n

，由此可求出数列{a_n}的通项公式．
（Ⅱ）由an＞0，bn=ln(1+an)+

1

2

an2＞0，n∈N*，知要证明

2

an+2

＜

an

bn

，只需证明ln（1+a_n）-a_n＜0成立．构造函数f（x）=ln（1+x）-x（x≥0），则f′(x)=

1

1+x

-1=

-x

1+x

，当x＞0时，f'（x）＜0，故f（x）＜f（0）=0．ln（1+a_n）-a_n＜0对一切n∈N^*都成立．
（Ⅲ）由2b_n-a_n²=2ln（1+a_n）＜2a_n，知2Bn-An＜2(a1+a2++an)=2(

1

2

+

2

22

+

3

23

++

n

2n

)，利用错位相减求得2B_n-A_n＜4．

解答：解：（Ⅰ）由2na_n+1=（n+1）a_n，得

an+1

n+1

=

1

2

•

a1

n

，（1分）
即数列{

an

n

}是以

1

2

为首项，以

1

2

为公比的等比数列，∴an=

n

2n

（3分）
（Ⅱ）∵an＞0，bn=ln(1+an)+

1

2

an2＞0，n∈N*，
∴要证明

2

an+2

＜

an

bn

，只需证明2b_n＜a_n²+2a_n，
即证bn-

1

2

an2-an＜0，即证明ln（1+a_n）-a_n＜0成立．（5分）
构造函数f（x）=ln（1+x）-x（x≥0），（6分）
则f′(x)=

1

1+x

-1=

-x

1+x

，当x＞0时，f'（x）＜0，即f（x）在（0，+∞）上单调递减，
故f（x）＜f（0）=0．∴ln（1+x）-x＜0，即ln（1+a_n）-a_n＜0对一切n∈N^*都成立，
∴

2

an+2

＜

an

bn

．（8分）
（Ⅲ）∵2b_n-a_n²=2ln（1+a_n），由（Ⅱ）可知，2b_n-a_n²=2ln（1+a_n）＜2a_n，
∴2B_n-A_n＜2（a₁+a₂++a_n）=2(

1

2

+

2

22

+

3

23

++

n

2n

)（10分）
利用错位相减求得：

1

2

+

2

22

+

3

23

++

n

2n

=2-

n+2

2n

＜2，∴2B_n-A_n＜4（12分）

点评：本题考查数列的性质和应用，解题时要注意构造和错位相减法的合理运用．