x^3+2x-12=0
即(x-2)(x^2+2x+6)=0
x=2是唯一的实根