方程log1/2x=2的x次方-1的实数根的个数为