x^3+2x-12=0 有什么公式算呀?