6

Okay, suppose we have a cubic equation like this: $$x^3 - 3x + \sqrt{2} = 0$$ This is a "depressed cubic" so it should be possible to solve directly.

According to Wikipedia, the rational root test should be able to suggest whether there might be any rational solutions for our equation.

However, this only works for rational solutions, which means that I can't find out whether there's a simple expression for one solution unless that solution is rational. Consequently, if I don't know any of the 3 solutions in advance, then I can't factor it out to get a quadratic.

One way of solving at least a part of the task would be finding a general procedure for taking cube roots. I tried to do that by simply inverting the operations of $a^3 + 3ab^2$ or $3a^2b + b^3$ but I realized that I always had to guess either "a" or "b" (or more precisely, one of its 3 possible values) and then the other one came out. If I made a wrong guess, then the intermediate squares didn't match and I didn't find anything. Therefore, it didn't help me in what I really wanted to get to.

One possible example where it does work is finding the cube root of $387\sqrt{5} - 326\sqrt{7}$: I can divide 387 by 3, which makes 129. I subtract 335 and divide the result by 3, which gives me 28. I divide that by 7 which I took the square root of and I have 4, which is a square of 2 or -2. When I try it the other way round, I see that +2 doesn't work and -2 does, which means that the cube root is: $3\sqrt{5} - 2\sqrt{7}$.

So in this case I really got an expression for the cube root but I had to guess that "a" might be $3\sqrt{5}$ and I got the corresponding "b" then.

Now, to solve $x^3 - 3x + \sqrt{2} = 0$, the rational root test is unusable and therefore I'm supposed to sum two complex cube roots. But it definitely must be possible either to express each of them without using cube roots or to apply a different procedure of finding a solution which can be expressed without them.

Noor
  • 1,069
Petr
  • 79
  • 1
  • 1
  • 2
  • By Cardano's formula, if $x^3 + cx = d$ then $$x = \sqrt [3] {\frac d2 + \sqrt{\frac{d^2}{4} + \frac{c^3}{27}}} + \sqrt [3] {\frac d2 - \sqrt{\frac{d^2}{4} + \frac{c^3}{27}}}$$ and by substituting $c = -3$ and $d = \sqrt{2}$, and then with some simplifying and then evaluating, we obtain that... – Mr Pie Mar 06 '18 at 04:19
  • @Petr, We can use https://math.stackexchange.com/questions/1824431/how-would-you-find-the-roots-of-x3-3x-1-0/1824438#1824438 – lab bhattacharjee Jul 07 '21 at 09:22
  • The rational roots test only applies to polynomials with integer coefficients. Wikipedia is clear on this. – TonyK Sep 16 '25 at 13:52
  • Well, the rational roots test would be easy to extend to a UFD such as $\mathbb{Z}[\sqrt{2}]$. On the other hand, since $\mathbb{Z}[\sqrt{2}]$ has infinitely many units, that would leave infinitely many candidates to test so it wouldn't be nearly as useful in that case. – Daniel Schepler Sep 17 '25 at 18:47

12 Answers12

11

$x=\sqrt 2$ is a root by observation. Factor that out and you are left with a quadratic.

How did I guess that? Well the $\sqrt 2$ on its own was matched with odd powers of $x$, so if I wrote $x=y\sqrt 2$ I could see that the $\sqrt 2$ would factor out. Indeed we get $$2\sqrt 2 y^3-3\sqrt 2 y+\sqrt 2=0$$ Then cancel out the $\sqrt 2$ to get $$2y^3-3y+1=0$$ to which you can apply the rational root test etc.

Mark Bennet
  • 102,257
  • To put the formulae without LaTeX x=sqrt2 is a root. To find this without guessing, note that since x appears to odd powers, the substitution x=y*sqrt2 gives an equation with integer coefficients, namely 2y^3-3y+1=0, and the rational root theorem then provides y=1 as an easy solution. – Mark Bennet Jun 07 '13 at 10:12
  • Thanks to all of you for the answers.

    One final question: Is there a rule which would let me know in advance whether the solutions for a given cubic can be reduced further or not?

    I'm now thinking of the frequently quoted example of "x^3 - 3*x + 1 = 0" whose solutions don't seem to be reducible but I have no way of knowing this before trying to solve it.

    – Petr Jun 07 '13 at 15:19
3

Hint:

You can easily rearrange the statement to:

Plaintext: x^3+\sqrt{2} = 3 x

LaTeX: $x^3+\sqrt{2} = 3 x$

Thus easy to see that

Plaintext: x = sqrt(2), x = -(1+sqrt(3))/sqrt(2), or x = (sqrt(3)-1)/sqrt(2)

LaTeX: $x = \sqrt{2}$, $x = -\frac{1+\sqrt{3}}{\sqrt2}$ or $x = \frac{1+\sqrt{3}}{\sqrt2}$

Solving should prove easy.

JohnWO
  • 2,125
2

Not sure whether this is an answer to your question, but by inspection $\sqrt 2$ is obviously a root. (As Mark Bennet explained I found this by observing that because of which terms the square root was multiplying, a change of variables absorbing the square root into the variable was possible.)

$$x^3-3x+\sqrt 2= (x-\sqrt 2)(x^2 +\sqrt 2 x-1)$$

Gary
  • 37,398
not all wrong
  • 16,618
  • 2
  • 38
  • 59
1

Substituting $x = \sqrt2$, we get:

$$x^3-3x+\sqrt2 = (x-\sqrt2)(x^2+\sqrt2x-1)$$

Solving the quadratic equation further using the discriminant, we obtain 2 additional roots. Therefore the roots are:

$$x=\sqrt2,\quad x=(-\sqrt2+\sqrt6)/2,\quad x=(-\sqrt2-\sqrt6)/2.$$

연하준
  • 585
  • 1
    How can you substitute a constant for a variable? And how does doing so allow you to factor in the next line? Why didn't you just start with factoring? (If I were willing to open a 15 year old question I'd suggest substituting $x = \sqrt 2w$ and getting $2w^3\sqrt 2 - 3w\sqrt 2 + \sqrt 2=0\iff w^2-2w-1 =0$ and then the factoring $(w-1)(w^2+2w-1)=0$ and roots $w =1, \frac {-1\pm \sqrt3}2$ become apparent and so $x=\sqrt 2, \frac{-\sqrt 2\pm \sqrt 6}2$. – fleablood Sep 16 '25 at 16:19
  • The primitive method of finding root by trail and error. Further, dividing the cubic polynomial by (x-√2), we obtain the quadratic eqn in the second step. – Vidhyavathi V Sep 17 '25 at 03:12
  • I meant, what does "Substituting $x=\sqrt 2$" mean. If we question were "$x^2-5x+6=0$ we can not just say "substituting $x=2$". If we tried we wouldn't get $x^2-5x+6=(x-2)(x-3)$ which as nothing to do with our substituting $x=2$. Instead we'd get $2^2-5\times 2+6=0$. That that tells us $x=2$ is a solution (which we get totally be guessing) we can't say anything about factoring. So I'm am questioning what you actually meant by saying "substituting $x=\sqrt 2$" and why didn't you just start with "Lets factor" or as Mark Bennet said "$x=\sqrt 2$ is a root by observation". – fleablood Sep 17 '25 at 17:32
  • 1
    My comment is not about your math but your wording and language. – fleablood Sep 17 '25 at 17:33
  • @fleablood I used reverse engineering in my answer :-) – nonuser Sep 17 '25 at 23:57
1

By subtracting $\sqrt{2}$ and squaring, you get:

$$x^6 - 6x^4 + 9x^2 = 2$$ $$x^6 - 6x^4 + 9x^2 - 2 = 0$$

Which conveniently has all integer coefficients, although no rational roots. Since all of the exponents are even, substitute $u = x^2$.

$$u^3 - 6u^2 + 9u - 2 = 0$$

And this cubic equation has the rational root $u = 2$. Factoring out $u - 2$ gives:

$$u^2 - 4u + 1 = 0$$

From which the quadratic formula gives:

$$u = 2 \pm \sqrt{3}$$

Thus,

$$u = x^2 \in \{ 2, 2 + \sqrt{3}, 2 - \sqrt{3} \}$$ $$x \in \{ \pm\sqrt{2}, \pm\sqrt{2 + \sqrt{3}}, \pm\sqrt{2 - \sqrt{3}} \}$$

But since squaring introduces extraneous solutions, you have to check which of these solve the original equation $x^3 - 3x + \sqrt 2 = 0 $.

$$\boxed{x \in \left\{ \sqrt{2}, -\sqrt{2 + \sqrt{3}}, \sqrt{2 - \sqrt{3}} \right\}}$$

Dan
  • 19,542
1

You can rescue the rational root test by observing that there are only odd powers of $x$. Thus extracting a factor $\sqrt2$ from $x$ allows to cancel the square root from all term. That is, set $x=\sqrt2 y$ to get $$ 2\sqrt2 y^3-3\sqrt2y+\sqrt2 = 0\iff 2y^3-3y+1=0. $$ The rational root method now suggests to try $y=\pm\frac12$ and $y=\pm 1$, and one finds that $y=1$ is indeed a solution.

Lutz Lehmann
  • 132,997
0

Another way

$$x^3-3x+\sqrt 2=x^3-2x-x+\sqrt 2= x(x-\sqrt 2)(x+\sqrt 2)-(x-\sqrt 2)=(x-\sqrt 2)(x(x+\sqrt 2)-1)$$

user
  • 164,137
0

It is usually not possible to solve a depressed cubic by inspection (unless it has rational roots that you can find with the rational root theorem). As shown by others, the given polynomial has been arranged so that trying the root $\sqrt2$ is tempting.

The solution can be found in all cases by assuming that the roots can be expressed as the sum of two terms.

$$x^3+px+q=0,x=u+v\to u^3+(3uv+p)(u+v)+v^3+q=0.$$

By letting $3uv+p=0$, we get the system

$$\begin{cases}uv=-\dfrac p3\to u^3v^3=-\dfrac{p^3}{27}\\u^3+v^3=-q\end{cases}$$

which is of the sum/product type, that we know how to solve.

In your case, $u^3v^3=1$ and $u^3+v^3=-\sqrt2$. Then $(u^3-v^3)^2=(u^3+v^3)^2-4u^3v^3=-2$ so that $u^3,v^3=\dfrac{-\sqrt2\pm i\sqrt2}2$. Possible cubic roots are $\dfrac{1\pm i}{\sqrt2}$, with the sum $\sqrt2$.

0

Trigonometric substitution trick may help to find the essential root $\sqrt2.$

Let $x=2\cos\theta.$ Then the equation becomes $$\cos3\theta=-\frac1{\sqrt2}$$ whose solution is $\theta=\pm\frac\pi4+\frac{2k\pi}3.$

Hence, $x=2\cos\frac\pi4$, $-2\cos\frac\pi{12}$, $2\sin\frac\pi{12}$.

Bob Dobbs
  • 16,473
0

This answer reached the solution through reverse engineering while avoiding any factorization methods, in particular the use of the Rational Root Theorem.

Let $\sqrt 2=u$. Then we have :

$$x^3-(u^2+1)x+u=0$$

We see that, this is a quadratic equation respect to $u$ :

$$x\,u^2-u+(x-x^3)=0$$

So, we have $\Delta_u=4x^4-4x^2+1$ or $\Delta_u=(2x^2-1)^2$.

This tells us,

$$\sqrt 2=u_{1,2}=\frac{1\pm(2x^2-1)}{2x}$$

$$\boxed{\sqrt 2=x \quad \text{or} \quad \sqrt 2=\frac{1-x^2}{x}}$$

Thus, we get:

$$x_1=\sqrt 2$$ and $$x^2+\sqrt{2}\,x-1=0$$

which is a final quadratic equation we need to solve.

nonuser
  • 692
0

Plugging it into the cubic formula we get

$x = \sqrt [3]{\frac {-\sqrt {2}}{2} + i\frac {\sqrt {2}}{2}} + \sqrt [3]{\frac {-\sqrt {2}}{2} - i\frac {\sqrt {2}}{2}}$

$x = \sqrt [3]{e^{\frac {3\pi}{4}i}} + \sqrt [3]{e^{-\frac {3\pi}{4}i}} $

$e^{\frac {\pi}{4}i} + e^{-\frac {\pi}{4}i}\\ 2\cos (\frac {\pi}{4}) = \sqrt 2$

Other solutions are:

$2\cos (\frac {\pi}{4} + \frac {2\pi}{3}) = 2\cos (\frac {11\pi}{4}) = -\frac {\sqrt 6 + \sqrt 2}{2}\\ 2\cos (\frac {\pi}{4} - \frac {2\pi}{3}) = 2\cos (-\frac {5\pi}{12}) = \frac {\sqrt {6}-\sqrt 2}{2}$

I just thought of an approach that I think I like better.

Note that $\cos 3\theta = 4\cos^3\theta - 3\cos \theta$

let $x=2\cos \theta$

$8\cos^3\theta - 6\cos\theta + \sqrt 2 =0$

$4\cos^3 \theta -3\cos\theta = -\frac {\sqrt 2}{2}$

$\cos 3\theta = -\frac {\sqrt 2}{2}\\ 3\theta = \frac {3\pi}{4} + 2n\pi\\ \cos \theta = \cos (\frac {\pi}{4} + \frac {2n\pi}{3})\\ x = 2\cos\theta = 2 \cos (\frac {\pi}{4} + \frac {2n\pi}{3})$

user317176
  • 12,546
0

If we multiply it by $\sqrt{8}$ we get $$ (\sqrt{2}x)^3 - 6(\sqrt{2}x) + 4 = 0$$

Now let $t=x\sqrt{2}$ then we have $$t^3-6t+4=0$$ Now try rational root theorem.

nonuser
  • 92,607