已知 $x>0$，求证：${\rm e}^x>x^2+x\ln x+1$．
解析 尝试证明一个更强的命题：\[\forall x>0,{\rm e}^x>2x^2-x+1.\]令\[f(x)={\rm e}^x-2x^2+x-1,\]则其导函数\[f'(x)={\rm e}^x-4x+1,\]其二阶导函数\[f''(x)={\rm e}^x-4,\]于是函数 $f'(x)$ 在 $(0,\ln 4)$ 上单调递减，在 $(\ln 4,+\infty)$ 上单调递增，结合\[\begin{split} f'\left(\dfrac 12\right)&=\sqrt{\rm e}-1>0,\\ f'(\ln 4)&=5-8\ln 2<0,\\ f'(2)&={\rm e}^2-7>0,\end{split}\]可得 $f(x)$ 在 $\left(\dfrac 12,2\right)$ 上有两个极值点，记为 $x_1,x_2$ 且\[\dfrac 12<x_1<\ln 4<x_2<2,\]则 $x=x_1$ 为极大值点，$x=x_2$ 为极小值点，只需要证明 $f(x_1)$ 与 $f(x_2)$ 均为正数．事实上，若 ${\rm e}^t-4t+1=0$，则\[f(t)={\rm e}^t-2t^2+t-1=(4t-1)-2t^2+t-1=(2-t)(2t-1),\]而 $x_1,x_2\in\left(\dfrac 12,2\right)$，于是 $f(x_1)$ 与 $f(x_2)$ 均为正数，命题得证．
备注 先处理对数，再处理指数．