已知
a>0,函数
f(x)=lnx−ax2,
x>0.(
f(x) 的图象连续不断)
(1) 求
f(x) 的单调区间;
(2) 当
a=81 时,证明:存在
x0∈(2,+∞),使
f(x0)=f(23).
(3) 若存在均属于区间
[1,3] 的
α,
β,且
β−α⩾1,使
f(α)=f(β). 证明:
5ln3−ln2⩽a⩽3ln2.
\begin{solution}
\begin{enumerate}
\item
f′(x)=x1−2ax=x1−2ax2
因
x>0,所以当
0<x<2a1 时
f′(x)>0,当
x>2a1 时
f′(x)<0. 因此
f(x) 在
(0,2a1)
上单调递增,在
(2a1,+∞)
上单调递减.
\item 当
a=81 时,令
g(x)=f(x)−f(23)=lnx−8x2−ln23+329
函数
g 在
[2,4] 上连续. 对
u>0,由
1+uu<ln(1+u)<u
可得
g(2)=ln34−327>41−327=321>0
以及
g(4)=ln38−3255<35−3255=−965<0
由零点定理,存在
x0∈(2,4)⊂(2,+∞),使
g(x0)=0,即
f(x0)=f(23).
\item 由
β−α⩾1 知
α<β. 令
d=β−α,
1⩽d⩽2,
1⩽α⩽3−d.
由
f(α)=f(β),得
a=β2−α2ln(αβ)=d(2α+d)ln(1+αd)
先证上界. 因
α⩾1 且
1⩽d⩽2,有
1+αd⩽1+d. 又令
h(d)=2d−d−1,则
h(1)=0,且
h′(d)=2dln2−1⩾2ln2−1>0,所以
1+d⩽2d. 因而
ln(1+αd)⩽dln2
又
2α+d=α+β⩾3,所以
a⩽3ddln2=3ln2
再证下界. 对固定的
d,分子
ln(1+αd) 随
α 增大而减小,分母
d(2α+d) 随
α 增大而增大,故该比值随
α 减小. 由
α⩽3−d,
a⩾d(6−d)ln(1+3−dd)=:G(d)
令
u=(3−d)d,则
u∈[21,2],且
G(d)=d(6−d)ln(1+u)
直接求导得
G′(d)=[d(6−d)]23−dd(6−d)−2(3−d)ln(1+u)=(1+u)[d(6−d)]23[u(2+u)−2ln(1+u)]
由于
ln(1+u)<u,有
u(2+u)−2ln(1+u)>u(2+u)−2u=u2>0
所以
G(d) 在
[1,2] 上递增,从而
a⩾G(1)=5ln(23)=5ln3−ln2
综上,
5ln3−ln2⩽a⩽3ln2
\end{enumerate}
\end{solution}