x^3+x+1=0を解け。