💾 Archived View for jsreed5.org › math › 20210421-analyzing-a-trigonometric-cubic-formula › index.gm… captured on 2022-01-08 at 15:34:27. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2021-12-04)
-=-=-=-=-=-=-
Download a PostScript version of this document
(PS, 287 KB)
---
A short and relatively-obscure page on Wikibooks^ provides the following intriguing trigonometric method to find the roots of certain cubic equations. (The form presented below is abridged.)
We consider a monic cubic equation in one variable x^3+ax^2+bx+c=0 where a,b,c are real and the discriminant Δ≥0 (all three roots are real)^^. Let p=(3b-a^2)/9 q=(9ab-2a^3-27c)/54 cos(θ)=q/sqrt(-p^3) The three roots of the polynomial are then x_n=2sqrt(-p)cos((θ+2πn)/3)-a/3, n=0,1,2
Figure 1: x^3-(13/2)x^2+13x-(15/2)=0
(PNG, 850x1100, 25.6 KB)
The Wikibooks page does not cite references for this method, and I haven't seen it in other sources, so I'm not sure where it came from. My goal with this note is to try to figure out how this method works.
A few facts immediately stand out to me.
The second fact seems like a good place to start. The cosine of a triple angle expands as follows:
cos(3θ)=4cos^3(θ)-3cos(θ)
This expression does not include a square term. Such expressions are known as depressed cubics. We can depress our original equation using the substitution x=t-a/3.
x^3+ax^2+bx+c=(t-a/3)^3+a(t-a/3)^2+b(t-a/3)+c
=t^3-at^2+(a^2/3)t-a^3/27+at^2-(2a^2/3)t+a^3/9+bt-ab/3+c
=t^3+ut+v, u=(3b-a^2/3), v=(2a^3-9ab+27c)/27
It is immediately apparent that u=3p and v=-2q. This approach seems promising.
The first fact tells us that when considering a depressed cubic, the center of the generating circle for the roots is at x=0. This means all three roots of the depressed cubic can be expressed as rcos(φ) for some angle φ and radius r. Set t=rcos(φ):
t^3+ut+v=r^3*cos^3(φ)+((3b-a^2)/3)rcos(φ)+(2a^3-9ab+27c)/27
=r^2(rcos^3(φ)-(3r/4)cos(φ))+((3b-a^2)/3+3r^2/4)rcos(φ)+(2a^3-9ab+27c)/27
=(r^3/4)cos(3φ)+((9r^2+12b-4a^2)/12)rcos(φ)+(2a^3-9ab+27c)/27
We now have mixed cosine terms in our equation: cos(φ) and cos(3φ). However, we can remove the cos(φ) term by choosing r such that the coefficient vanishes.
(9r^2+12b-4a^2)/12=0 r=(2/3)sqrt(a^2-3b)
Note that r=2sqrt(-p). Substituting this value for r yields
sqrt(((a^2-3b)/9)^3)cos(3φ)+(2a^3-9ab+27c)/54=0
Since
sqrt(((a^2-3b)/9)^3)=sqrt(-p^3) (2a^3-9ab+27c)/54=-q
our final result is
sqrt(-p^3)cos(3φ)-q=0
cos(3φ)=q/sqrt(-p^3)
=cos(θ)
which is the exact result we desire. Since cos(φ)=cos(φ+2π)=cos(φ+4π), we find three valid solutions in terms of θ: cos(θ/3), cos((θ+2π)/3) and cos((θ+4π)/3).
In terms of θ, the three solutions of the depressed cubic are thus
t_n=2sqrt(-p)cos((θ+2πn)/3), n=0,1,2
After substituting x for t, the three solutions of the original cubic are
x_n=2sqrt(-p)cos((θ+2πn)/3)-a/3, n=0,1,2
as the above solution claims.
While the mechanics of this cubic formula involve nothing more than depressing a cubic and substituting a trigonometric value, I still find it fascinating. Cubic formulas involving surds exist, but they are quite complicated and messy. This formula, by contrast, is rather elegant. One more reason not to underestimate the power of trigonometry.
^ https://en.wikibooks.org/wiki/Trigonometry/The_solution_of_cubic_equations
^^ Δ=a^2b^2-4b^3-4a^3c-27c^2+18abc
---
[Last updated: 2021-12-27]