方程√1-x2=x+1有几个解