已知函数 f(x)=ex−lnx(x>0),证明:f(x)>2。答案结论成立。分步解析1求导:f′(x)=ex−x1。因 ex 递增、x1 递减,f′ 在 (0,+∞) 上单调递增。2f′(21)=e−2<0,f′(1)=e−1>0,故 f′ 存在唯一零点 x0∈(21,1),且 f 在 x0 处取最小值。3由 f′(x0)=0 得关键关系 ex0=x01,两边取对数得 x0=−lnx0。4整体代换:f(x0)=ex0−lnx0=x01+x0。5由基本不等式 x01+x0≥2,等号需 x0=1,而 x0∈(21,1) 取不到,故 f(x)≥f(x0)>2。点评隐零点的三步曲:说明零点存在且唯一 → 写出 f′(x0)=0 的等价关系 → 用该关系把 f(x0) 整体代换成简单式子。#隐零点#整体代换#基本不等式2020 年真题全国I卷