Read · 1 min

Is it possible to solve the cubic using the factorization of u3+v3+w3−3uvwu^3+v^3+w^3 - 3uvw?

Say we have a cubic P(x)=ax3+bx2+cx+dP(x) = ax^3+bx^2+cx+d (with a≠0a\ne0), and we want to find its roots r,s,tr,s,t. Is the factorization ax3+bx2+cx+d=a(x−r)(x−s)(x−t)ax^3+bx^2+cx+d = a(x-r)(x-s)(x-t) related to the factorization u3+v3+w3−3uvw=(u+v+w)(u+ζv+ζ2w)(u+ζ2v+ζ4w),u^3+v^3+w^3 - 3uvw = (u+v+w)(u+\zeta v + \zeta^2 w)(u + \zeta^2 v + \zeta^4 w), where ζ=e2πi/3\zeta = e^{2\pi i/3} is a primitive third root of unity?

Challenge to the community: Use these ideas to give an alternative proof of Cardano's formula.

We wish to solve ax3+bx2+cx+d=0ax^3+bx^2+cx+d=0 using the factorization given above. Let rr, ss, and tt be the roots of our cubic, so that x3+bax2+cax+da=(x−r)(x−s)(x−t)x^3+\frac{b}{a}x^2+\frac{c}{a}x+\frac{d}{a}=\left(x-r\right)\left(x-s\right)\left(x-t\right) Equating coefficients of powers of xx gives: −r−s−t=ba-r-s-t=\frac{b}{a} so r+s+t=−bar+s+t=-\frac{b}{a}

rs+rt+st=cars+rt+st=\frac{c}{a}

−rst=da-rst=\frac{d}{a} so rst=−darst=-\frac{d}{a}

Now we make a helpful substitution: r=u+v+wr=u+v+w

s=u+ζv+ζ2ws=u+\zeta v+\zeta^2w

t=u+ζ2v+ζwt=u+\zeta^2v+\zeta w,

where, as above, ζ=−1+−32\zeta=\frac{-1+\sqrt{-3}}{2} is a primitive cube root of unity. Note that the product of the coefficients on vv and ww is always 1; this will be important at the end. (The matrix of this substitution is a Vandermonde matrix, which is invertible because 11, ζ\zeta, and ζ2\zeta^2 are distinct complex numbers. That is why this substitution can be made.)

The first equation immediately gives us uu: r+s+t=3u=−bar+s+t=3u=-\frac{b}{a}, so u=−b3au=-\frac{b}{3a}

The second equation then becomes rs+rt+st=3u2−3vw=cars+rt+st=3u^2-3vw=\frac{c}{a} so, since u=−b3au=-\frac{b}{3a}, vw=b2−3ac9a2vw=\frac{b^2-3ac}{9a^2}

The third equation becomes the identity: rst=u3+v3+w3−3uvw=−darst=u^3+v^3+w^3-3uvw=-\frac{d}{a}

Substituting in u=−b3au=-\frac{b}{3a} gives −b327a3+v3+w3+bavw=−da-\frac{b^3}{27a^3}+v^3+w^3+\frac{b}{a}vw=-\frac{d}{a} so that v3+w3+bavw=b3−27a2d27a3v^3+w^3+\frac{b}{a}vw=\frac{b^3-27a^2d}{27a^3}

Remembering that vw=b2−3ac9a2vw=\frac{b^2-3ac}{9a^2}, we substitute that in and we can obtain v3+w3=9abc−27a2d−2b327a3v^3+w^3=\frac{9abc-27a^2d-2b^3}{27a^3}

This means that v3v^3 and w3w^3 are the roots of the quadratic (τ−v3)(τ−w3)=τ2−(v3+w3)τ+v3w3=τ2−(9abc−27a2d−2b3)27a3τ+(b2−3ac)3729a6\left(\tau-v^3\right)\left(\tau-w^3\right)=\tau^2-\left(v^3+w^3\right)\tau+v^3w^3=\tau^2-\frac{\left(9abc-27a^2d-2b^3\right)}{27a^3}\tau+\frac{\left(b^2-3ac\right)^3}{729a^6}

Then the solutions to our cubic are −b+τ13+τ233a\frac{-b+\sqrt[3]{\tau_1}+\sqrt[3]{\tau_2}}{3a}, where τ1\tau_1 and τ2\tau_2 are the roots of the above quadratic, and the cube roots are taken in pairs whose product is always (3aζ−kv)(3aζkw)=(3av)(3aw)=9a2vw=b2−3ac(3a\zeta^{-k}v)(3a\zeta^{k}w)=(3av)(3aw)=9a^2vw= b^2-3ac

Type a concept, like “slope” or “photosynthesis”.

↑ ↓ to choose · Enter to openSearch explanations and problems