方程2^x=x+1的解的个数