|
设$t_kx_k=1(k=1,2,3)$,那么$0<t_3<\dfrac1{\rm e}<t_2<\dfrac1a<t_1$,并且有\[
f'\left(\dfrac1{t_k}\right)\left(a-\dfrac1{t_k}\right)+f\left(\dfrac1{t_k}\right)-b=(a+{\rm e})t_k-\dfrac{{\rm e}at_k^2}2-\ln t_k-b-1=0.
\]
于是有\[
t_1+t_3=\dfrac2a+\dfrac2{\rm e}-\dfrac{2(\ln t_1-\ln t_3)}{{\rm e}a(t_1-t_3)}.
\]
从而
\begin{align*}
&{\rm e}a\left(t_1+t_3-\dfrac2{\rm e}-\dfrac{{\rm e}-a}{6{\rm e}^2}\right)\left(t_1+t_3-\dfrac2a+\dfrac{{\rm e}-a}{6{\rm e}^2}\right)\\
=&{\rm e}a\left[(t_1+t_3)^2-\left(\dfrac2a+\dfrac2{\rm e}\right)(t_1+t_3)\right]+\left(2+\dfrac{{\rm e}-a}{6{\rm e}}\right)\left(2-\dfrac{{\rm e}a-a^2}{6{\rm e}^2}\right)\\
=&\dfrac{2(t_1+t_3)(\ln t_1-\ln t_3)}{t_3-t_1}+\left(2+\dfrac{{\rm e}-a}{6{\rm e}}\right)\left(2-\dfrac{{\rm e}a-a^2}{6{\rm e}^2}\right).
\end{align*}
记$s=\dfrac{t_1}{t_3}>\dfrac{\rm e}a=r>1$,那么\[
{\rm e}a\left(t_1+t_3-\dfrac2{\rm e}-\dfrac{{\rm e}-a}{6{\rm e}^2}\right)\left(t_1+t_3-\dfrac2a+\dfrac{{\rm e}-a}{6{\rm e}^2}\right)
=\dfrac{2(1+s)\ln s}{1-s}+\dfrac{(12r^2-r+1)(13r-1)}{36r^3}.
\]
不难得到函数$\dfrac{(1+x)\ln x}{1-x}$在$(1,+\infty)$上单调递减,于是\begin{align*}
&{\rm e}a\left(t_1+t_3-\dfrac2{\rm e}-\dfrac{{\rm e}-a}{6{\rm e}^2}\right)\left(t_1+t_3-\dfrac2a+\dfrac{{\rm e}-a}{6{\rm e}^2}\right)\\
=&\dfrac{2(1+s)\ln s}{1-s}+\dfrac{(12r^2-r+1)(13r-1)}{36r^3}\\
<&\dfrac{2(1+r)\ln r}{1-r}+\dfrac{(12r^2-r+1)(13r-1)}{36r^3}\\
<&\dfrac{6(1+r)(r^2-1)}{(1-r)(r^2+4r+1)}+\dfrac{(12r^2-r+1)(13r-1)}{36r^3}\\
=&-\dfrac{(r-1)^2[6+78(r-1)+133(r-1)^2+60(r-1)^3]}{36r^3(r^2+4r+1)}<0.
\end{align*}
其中利用了$\ln x>\dfrac{3(x^2-1)}{x^2+4x+1}(x>1)$,因此\[
\dfrac2{\rm e}+\dfrac{{\rm e}-a}{6{\rm e}^2}<\dfrac1{x_1}+\dfrac1{x_3}=t_1+t_3<\dfrac2a-\dfrac{{\rm e}-a}{6{\rm e}^2}.
\] |
|