函数
f(x)=ln(x+1)−x+aax (
a>1).
(1) 讨论
f(x) 的单调性;
(2) 设
a1=1,
an+1=ln(an+1),证明:
n+22<an⩽n+23.
\begin{solution}
\begin{enumerate}
\item 函数定义域为
(−1,+∞). 求导得
f′(x)=x+11−(x+a)2a2=(x+1)(x+a)2x(x−a2+2a)=(x+1)(x+a)2x(x−(a2−2a))
在定义域内分母恒为正,因此只需判断
x(x−(a2−2a)) 的符号.
当
1<a<2 时,
−1<a2−2a<0,故
f(x) 在 (−1,a2−2a) 上递增,在 (a2−2a,0) 上递减,
且在
(0,+∞) 上递增.
当
a=2 时,
a2−2a=0,有
f′(x)⩾0,且除
x=0 外为正,故
f(x) 在
(−1,+∞) 上递增.
当
a>2 时,
a2−2a>0,故
f(x) 在 (−1,0) 上递增,在 (0,a2−2a) 上递减,
且在
(a2−2a,+∞) 上递增.
\item 先证明对任意
x>0,有
2+x2x<ln(1+x)⩽2(1+x)x(2+x)
左侧不等式可令
G(x)=ln(1+x)−2+x2x,则
G′(x)=1+x1−(2+x)24=(1+x)(2+x)2x2>0
且
G(0)=0. 右侧不等式可令
H(x)=2(1+x)x(2+x)−ln(1+x),则
H′(x)=2(1+x)2x2⩾0
且
H(0)=0.
用归纳法证明所给不等式. 当
n=1 时,
32<a1=1⩽1=33. 若
an>0,则
an+1=ln(1+an)>0,所以归纳过程中各项均为正. 假设
n+22<an⩽n+23
由
an>0 及左侧不等式,
an+1=ln(1+an)>2+an2an>2+n+222⋅n+22=n+32
令
t=n+2,则
t⩾3. 由对数不等式的右侧,
an+1⩽ln(1+t3)⩽2t(t+3)3(2t+3)⩽t+13=n+33
最后一个不等式等价于
t⩾3. 归纳完成,故
n+22<an⩽n+23
\end{enumerate}
\end{solution}