已知函数f(x)=-e^x,g(x)=lnx,e为自然对数的底数求证:方程f(x)=g(x)有唯一实数根