每日一题[1249]隐零点估计

求证：$x^2{\rm e}^x-\ln x-1>0$．

解法一    记 $f(x)=x^2{\rm e}^x-\ln x-1$，则导函数\[f'(x)=\dfrac{(x^3+2x^2){\rm e}^x-1}{x},\]注意到\[f'\left(\dfrac 12\right)=\dfrac{5\sqrt{\rm e}-8}{4}>0,\]而函数\[\varphi(x)=(x^3+2x^2){\rm e}^x-1\]在 $\mathbb R^+$ 上单调递增，于是函数 $f(x)$ 有极小值点，亦为最小值点 $x=m$，满足 $m\in\left(0,\dfrac 12\right)$，且\[(m^3+2m^2){\rm e}^m-1=0.\]因此函数 $f(x)$ 的最小值\[\begin{split} f(m)&=m^2{\rm e}^m-\ln m-1\\ &=\dfrac{1}{m+2}-\ln m-1\\ &>\dfrac{1}{\dfrac 12+2}-\ln\dfrac 12-1\\ &=\ln 2-\dfrac 35\\ &>0,\end{split}\]原命题得证．

解法二    记 $f(x)=x^2{\rm e}^x-\ln x-1$，则导函数\[f'(x)=\dfrac{(x^3+2x^2){\rm e}^x-1}{x},\]注意到\[f'\left(\dfrac 12\right)=\dfrac{5\sqrt{\rm e}-8}{4}\approx 0,\]因此考虑在 $x=\dfrac 12$ 处进行放缩，尝试证明\[(x^2-1){\rm e}^x>\ln x+1-{\rm e}^x,\]又\[{\rm e}^x\geqslant \sqrt{\rm e}\cdot x+\dfrac 12\sqrt{\rm e},\]因此进而尝试证明\[\left(x^2-1\right){\rm e}^x>\ln x-\sqrt{\rm e}\cdot x+1-\dfrac 12\sqrt{\rm e},\]而\[\left(x^2-1\right){\rm e}^x\geqslant \left(x^2-1\right){\rm e}^x\Big|_{x=\frac 12}=-\dfrac 34\sqrt{\rm e},\]且\[\ln x-\sqrt{\rm e}\cdot x+1-\dfrac 12\sqrt{\rm e}\leqslant \left(\ln x-\sqrt{\rm e}\cdot x+1-\dfrac 12\sqrt{\rm e}\right)\Big|_{x=\frac{1}{\sqrt{\rm e}}}=-\dfrac{1+\sqrt{\rm e}}2,\]事实上，有\[-\dfrac 34\sqrt{\rm e}>-\dfrac{1+\sqrt{\rm e}}2,\]因此原命题得证．

解法三    根据题意，有\[\dfrac{{\rm e}^x}{x}\geqslant {\rm e},\]而\[\dfrac{\ln x+1}{x^3}\leqslant \dfrac{{\rm e}^2}3,\]因此原命题得证．