令f(x)=x^3-2^x
f(1)=1-2=-10
因此在[1,2]必有实根.