令F(x)=x*2^x-1,显然是连续函数.
F(0)=-10,所以由介值定理可得：在(0,1)内存在一点X0,使得F(X0)=0.
即原方程至少有一个小于1的正根