当x＞0时，求证：ex＞lnx+2．

Question

当x＞0时，求证：e^x＞lnx+2．

Answer 1

证明：设函数F（x）=e^x-lnx-2，（x＞0），
F′(x)＝ex−(1)/(x)，…1分
当x=10时，F′(x)＝e10−(1)/(10)＞1-(1)/(10)＞0，…2分
当x=(1)/(10)时，F′((1)/(10))=e(1)/(10)−(1)/((1)/(10))=e(1)/(10)-10＜e-10＜0，…3分
y=e^x和y=-(1)/(x)都是R⁺上的增函数，
F′(x)＝ex−(1)/(x)也是R⁺上的增函数，…4分
根据零点存在定理，必存在常数t＞0，
使得方程et−(1)/(t)＝0成立，且解是唯一的…5分
当x∈（0，t）时，F′（x）＜0，F（x）是减函数；
当x∈（t，+∞）时，F′（x）＞0，F（x）是增函数；
所以函数F（x）的最小值为F（t），即F（x）_min=F（t）=e^t-lnt-2，t≠1．…7分
因为et−(1)/(t)=0，所以t=(1)/(et)，lnt=-t，
所以F（x）_min=F（t）=t+(1)/(t)-2≥0，（当t=1时，不等式等号成立），…9分
t≠1，所以当x＞0时，不等式e^x＞lnx+2恒成立．…10分．