令f(x)=x2^x-1
因为f(0)=-10
所以函数在(0,1)必至少有一个零点
所以方程x2^x=1至少有一个小于1的正根