Question

（2013•綿陽二模）已知函數f（x）=xlnx（x∈（0，+∞）
（I ）求g（x）=

f(x+1)

x+1

-x(x∈(-1，+∞))的單調區間與極大值；
（II ）任取兩個不等的正數x₁，x₂，且x₁＜x₂，若存在x₀＞0使f′（x₀）=

f(x2)-f(x1)

x2-x1

成立，求證：x₁＜x₀＜x₂
（III）己知數列{a_n}滿足a₁=1，a_n+1=（1+

1

2n

）a_n+

1

n2

（n∈N₊），求證：a_n＜e

11

4

（e為自然對數的底數）．

Answer 1

分析：（Ⅰ）由f（x）求出f（x+1），代入g（x），對函數g（x）求導后利用導函數的符號求出函數g（x）在定義域內的單調區間，從而求出函數的極大值；
（Ⅱ）求出f^′（x₀），代入f′（x₀）=

f(x2)-f(x1)

x2-x1

后把lnx₀用lnx₁，lnx₂表示，再把lnx₀與lnx₂作差后構造輔助函數，求導后得到構造的輔助函數的最大值小于0，從而得到lnx₀＜lnx₂，運用同樣的辦法得到lnx₁＜lnx₀，最后得到要證的結論；
（Ⅲ）由給出的遞推式a_n+1=（1+

1

2n

）a_n+

1

n2

說明數列{a_n}是遞增數列，根據a₁=1，得到a_n≥1，由此把遞推式a_n+1=（1+

1

2n

）a_n+

1

n2

放大得到lnan+1≤lnan+ln(1+

1

2n

+

1

n2

)，結合（Ⅰ）中的ln（1+x）＜x得到lnan+1＜lnan+

1

2n

+

1

n2

，分別取n=1，2，3，…，n-1，得到n個式子后累加即可證得結論．

解答：（Ⅰ）解：由f（x）=xlnx（x∈（0，+∞））．
∴f（x+1）=（x+1）ln（x+1）（x∈（-1，+∞））．
則有g(x)=

f(x+1)

x+1

-x=

(x+1)ln(x+1)

x+1

-x=ln（x+1）-x，
此函數的定義域為（-1，+∞）．
g′(x)=

1

x+1

-1=-

x

x+1

．
故當x∈（-1，0）時，g^′（x）＞0；當x∈（0，+∞）時，g^′（x）＜0．
所以g（x）的單調遞增區間是（-1，0），單調遞減區間是（0，+∞），
故g（x）的極大值是g（0）=0；
（Ⅱ）證明：由f（x）=xlnx（x∈（0，+∞）），得f^′（x）=lnx+1，
所以lnx0+1=

f(x2)-f(x1)

x2-x1

，
于是lnx0-lnx2=

f(x2)-f(x1)

x2-x1

-lnx2-1=

x2lnx2-x1lnx1

x2-x1

-lnx2-1
=

x1lnx2-x1lnx1

x2-x1

-1=

ln x2 x1

x2 x1 -1

-1，
令

x2

x1

=t（t＞1），則h(t)=

lnt

t

-1=

ln-t+1

t-1

，
因為t-1＞0，只需證明lnt-t+1＜0．
令s（t）=lnt-t+1，則s′(t)=

1

t

-1＜0，
∴s（t）在t∈（1，+∞）上遞減，所以s（t）＜s（1）=0，
于是h（t）＜0，即lnx₀＜lnx₂，故x₀＜x₂．
同理可證x₁＜x₀，故x₁＜x₀＜x₂．
（Ⅲ）證明：因為a₁=1，an+1=(1+

1

2n

)an+

1

n2

＞an，所以{a_n}單調遞增，a_n≥1．
于是an+1=(1+

1

2n

)an+

1

n2

≤(1+

1

2n

)an+

1

n2

an=(1+

1

2n

+

1

n2

)an，
所以lnan+1≤lnan+ln(1+

1

2n

+

1

n2

)（*）．
由（Ⅰ）知當x＞0時，ln（1+x）＜x．
所以（*）式變為lnan+1＜lnan+

1

2n

+

1

n2

．
即lnak-lnak-1＜

1

2k-1

+

1

(k-1)2

（k∈N，k≥2），
令k=2，3，…，n，這n-1個式子相加得
lnan-lna1＜(

1

21

+

1

22

+…+

1

2n-1

)+[

1

12

+

1

22

+…+

1

(n-1)2

]
＜

1 2 (1- 1 2n-1 )

1- 1 2

+[1+

1

4

+

1

2×3

+

1

3×4

+…+

1

(n-2)(n-1)

]
=(1-

1

2n-1

)+[1+

1

4

+(

1

2

-

1

3

)+(

1

3

-

1

4

)+…+(

1

n-2

-

1

n-1

)]
=(1-

1

2n-1

)+(1+

1

4

+

1

2

-

1

n-1

)
=

11

4

-

1

2n-1

-

1

n-1

＜

11

4

．
即lnan＜lna1+

11

4

=

11

4

，
所以an＜e

11

4

．

點評：本題考查了利用導數研究函數的單調性，考查了通過構造函數，利用函數的單調性和極值證明不等式，訓練了累加法求數列的通項公式，考查了利用放縮法證明不等式，是一道難度較大的綜合題型．