方程log(1/2)+x^2=2解的个数是