已知a是函数f(x)=e^x+x-2的零点,求证1