设f(x)的原函数F(x)>0,且f(x)F(x)=1/(e^x+e^-x),F(0)=√(π/2),求证f(x)=e^