2
$\begingroup$

Question: How would you find the roots of the cubic$$x^3+x^2-10x-8=0\tag{1}$$


I'm not too sure where to begin. I'm thinking of somehow, implementing $\cos 3\theta=4\cos^3\theta-3\cos\theta$.

I've tried substituting $x$ with $t+t^{-1}$, but didn't get anywhere, and using Vieta's trigonometric solution formula, I got $$x_1=\frac {2\sqrt{31}}3\cdot\cos\left(\frac {\arccos \frac {2}{\sqrt{31}}}3\right)-\frac 13\\x_2=\frac {2\sqrt{31}}3\cdot\cos\left(\frac {2\pi+\arccos\frac {2}{\sqrt{31}}}3\right)-\frac 13\\x_3=\frac {2\sqrt{31}}{3}\cdot\cos\left(\frac {4\pi+\arccos\frac 2{\sqrt{31}}}3\right)-\frac 13$$ But that's not the form I want. I'm looking for a form of $2\left(\cos\frac {\text{something}}{31}+\cos\frac {\text{something}}{31}+\cos\frac {\text{something}}{31}\right)$.

I've spent so much time, that I'm practically burnt out. -.-

$\endgroup$
  • $\begingroup$ Perhaps substitute $x$ with something like $a\cos b$? $\endgroup$ – user332252 Oct 23 '16 at 0:08
  • $\begingroup$ See math.stackexchange.com/questions/1980693/… $\endgroup$ – lab bhattacharjee Oct 23 '16 at 1:39
  • $\begingroup$ @labbhattacharjee Yes, I realized that after a few minutes of searching the system. $\endgroup$ – Frank Oct 23 '16 at 2:08
  • $\begingroup$ @user332252: The answer below also addresses your other post. $\endgroup$ – Tito Piezas III Oct 25 '16 at 14:41
1
$\begingroup$

If you wish to express as roots of cubics the sums of trigonometric functions with arguments that use a prime of form $p=6\color{blue}n+1$, then the number of addends is $\color{blue}n$. Thus, the reason you couldn't find $p=31$ was that you should have used $\color{blue}5$ addends.

$p=31$

A root of $$x^3+x^2-(2\times\color{blue}5)x-8=0\tag1$$ (note the $5$) is given by $$x_1 = 2\left(\cos\tfrac {2\pi}{31}+\cos\tfrac {4\pi}{31}+\cos\tfrac {8\pi}{31}+\cos\tfrac {16\pi}{31}+\cos\tfrac {32\pi}{31}\right) =3.083872\dots$$ More succinctly, let $\displaystyle\beta=\frac{2\pi}{31}$, then, $$x_1=2\sum_{k=1}^5\cos\big(2^k\times\beta\big)=3.083872\dots\\x_2=2\sum_{k=1}^5\cos\big(2^k\times3\beta\big)=-0.786802\dots\\x_3=2\sum_{k=1}^5\cos\big(2^k\times5\beta\big)=-3.29707\dots$$

$p=43$

Similarly, given the cubic, $$x^3+x^2-(2\times\color{blue}7)x+8=0\tag2$$ Let $\displaystyle\gamma=\frac{2\pi}{43}$, then the roots are, $$x_1=2\sum_{k=1}^7\cos\big(2^k\times\gamma\big)=2.88824\dots\\x_2=2\sum_{k=1}^7\cos\big(2^k\times3\gamma\big)=0.615072\dots\\x_3=2\sum_{k=1}^7\cos\big(2^k\times7\gamma\big)=-4.50331\dots$$ though not all primes $p=6n+1$ will have such neat cubic roots. The family $p=31,43,109,\dots$ is discussed in this post.

P.S. See also mercio's general answer here which uses cosets.

$\endgroup$
  • $\begingroup$ I'm wondering, but what would you do if it was a polynomial whose solutions could not be expressed with the $\text{p}^{\text{th}}$ root of unity? Something like the famous $\sqrt{4+\sqrt{4+\sqrt{4-x}}}=x$ problem: $x^3+x^2-6x-7=0$? $\endgroup$ – Frank Oct 26 '16 at 2:42
  • $\begingroup$ Also, where do you get all these amazing theorems and such? Do you find them yourself, or lots of reading and brainstorming??? $\endgroup$ – Frank Oct 26 '16 at 2:43
  • $\begingroup$ @Frank: Actually, that polynomial can still be expressed by the $\text{p}^{\text{th}}$ root of unity though $p=6n+1=19$ is one of those infinitely many primes that don't belong to the neat family above. For example, let $\beta = 2\pi/19$ then $$x_1=2\left(\cos\big(2\beta\big) +\cos\big(3\beta\big)+\cos\big(5\beta\big)\right)$$ with the multipliers probably also dependent on cosets. $\endgroup$ – Tito Piezas III Oct 26 '16 at 3:32
  • $\begingroup$ @Frank: Reading the literature, and some I find myself with the help of Mathematica. :) $\endgroup$ – Tito Piezas III Oct 26 '16 at 3:34
  • $\begingroup$ @TitoPiezasIII Using your method, what would the other $2$ roots be then? $\endgroup$ – user332252 Oct 26 '16 at 20:45
1
$\begingroup$

1) Reduce the standard way your equation $x^3+x^2-10x-8=0$ to the form $$x^3+ax+b=0\qquad(*)$$

2) Since you have the identity $$4\cos^3\theta-3\cos \theta-\cos 3\theta=0\qquad(**)$$ make $x=u\cos\theta$ in $(*)$ so you get $$u^3\cos^3\theta+au\cos\theta+b=0\iff4\cos^3\theta+\frac{4au}{u^3}\cos\theta+\frac{4b}{u^3}\qquad(***)$$

3) In order to refer $(***)$ to $(**)$ you need to take $$-3=\frac{4au}{u^3}\iff u=2\sqrt{\frac{-2a}{3}}$$ and $$\frac{4b}{u^3}=-\frac{3b}{2a}\sqrt{\frac{-3}{a}}$$ which gives $$\cos3\theta=\frac{3b}{2a}\sqrt{\frac{-3}{a}}$$

Hence your roots are given by $$x_k=2\sqrt{\frac{-a}{3}}\cos\frac{\theta_k}{3}$$ where $$\theta_k=\arccos\left(\frac{3b}{2a}\sqrt{\frac{-3}{a}}-\frac{2k\pi}{3}\right);\space k=0,1,2$$

Note.-You can use this method because the three roots of your equation are real.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.