已知 x>0,求证:ex>x2+xlnx+1.
解析 尝试证明一个更强的命题:∀x>0,ex>2x2−x+1.
令f(x)=ex−2x2+x−1,
则其导函数f′(x)=ex−4x+1,
其二阶导函数f″(x)=ex−4,
于是函数 f′(x) 在 (0,ln4) 上单调递减,在 (ln4,+∞) 上单调递增,结合f′(12)=√e−1>0,f′(ln4)=5−8ln2<0,f′(2)=e2−7>0,
可得 f(x) 在 (12,2) 上有两个极值点,记为 x1,x2 且12<x1<ln4<x2<2,
则 x=x1 为极大值点,x=x2 为极小值点,只需要证明 f(x1) 与 f(x2) 均为正数.事实上,若 et−4t+1=0,则f(t)=et−2t2+t−1=(4t−1)−2t2+t−1=(2−t)(2t−1),
而 x1,x2∈(12,2),于是 f(x1) 与 f(x2) 均为正数,命题得证.
备注 先处理对数,再处理指数.