求证方程有解

问题描述:

求证方程有解
求证方程e^x=2-x至少有一个实数解.
应该是利用中值定理来求

令f(x) = e^x+x-2;
f(0) = -1 f(1) = e+1-2 > 0
f'(x) = e^x+1 > 0 => 所以f(x)单调
存在0