方程x^2+1=2^x的解有几个