解方程x^3+4x+12=0

这是一个三次方程，可以使用公式法求解。

首先，将方程中的常数项12移到等号左边，得到：

x^3 + 4x = -12

接下来，使用公式：

设方程的三个解为a、b、c，则有：

a + b + c = 0

ab + ac + bc = 4

abc = -12

根据第一个式子，可以将其中一个未知数表示成另外两个的和，比如：

a = -(b + c)

将其代入第二个式子，得到：

-(b + c)b - (b + c)c + bc = 4

化简后得到：

b^2 + bc + c^2 = -4/3

这是一个关于b和c的二次方程，可以使用求根公式求解，得到：

b = (-2 ± i√8)/3

c = (-2 ± i√8)/3

其中i为虚数单位，满足i^2 = -1。

将b和c的值代入第一个式子，得到：

a = -b - c = 4/3

因此，方程的三个解为：

x1 = -2/3 + (2/3)√2i

x2 = -2/3 - (2/3)√2i

x3 = 4/3

其中i为虚数单位。