Can someone please explain Wolfram Alpha's response to the equation $x^3-3x-1=0$? The roots are real and graphic Wolfram itself shows them (they are approximately equal to $-1.5321, -0.3473$ and $1.8794$). However the roots explicitly given by Wolfram seem not to be real.

enter image description here

  • 29
    $\begingroup$ The imaginary bits cancel out. $\endgroup$
    – Doug M
    Oct 31 '16 at 20:41
  • 4
    $\begingroup$ Please write a more descriptive title, thanks! $\endgroup$ Nov 1 '16 at 7:06
  • 6
    $\begingroup$ @DougM Any insight as to why Wolfram Alpha wouldn't simplify the equations if the imaginary bits do cancel out? $\endgroup$
    – Ian Boyd
    Nov 1 '16 at 12:47
  • 7
    $\begingroup$ @IanBoyd That's the big plot twist in the story of the cubic formula: the question only involves real numbers, and the answer is real, but to write the answer using radicals, you have to use some complex intermediates. The fact that the imaginary parts add up to 0 and the end doesn't mean there's some way of rearranging the expression to get rid of them. If you try, you mess up the real part, which you need. $\endgroup$
    – user141452
    Nov 2 '16 at 1:03
  • 1
    $\begingroup$ @WumpusQ.Wumbley #unlesstrig $\endgroup$ Nov 2 '16 at 11:35

When the discriminant of the equation is negative, there are $3$ real roots. It's precisely in this case that Cardano's formulæ do not work, because the radicands are negative.

It is even historically the reason why square roots of negative numbers were introduced: the formulae become valid in all cases.

  • 13
    $\begingroup$ I feel like the wording "Cardano's formulae do not work" is somewhat misleading - they do work, but you have to think about complex numbers at this point. $\endgroup$
    – Wojowu
    Nov 1 '16 at 12:30
  • 1
    $\begingroup$ That's what I meant: their plain use doesn't work. I think this is clear from the following comment. $\endgroup$
    – Bernard
    Nov 1 '16 at 13:56

This is an example of the casus irreducibilis: the formulas for solving cubics need complex numbers when the cubic has three real roots.

  • 1
    $\begingroup$ I knew that my God! Why I did not remember it? $\endgroup$
    – Piquito
    Oct 31 '16 at 21:03

For your interest, the real representation of the roots is given by

$$x_k=2\cos\left(\frac\pi9+\frac{2\pi k}3\right)\qquad k=0,1,2$$

I always find these trigonometric representations nicer.

This comes directly from the following identity:



And lastly the fact that cosine is periodic.

  • $\begingroup$ Absolutely. And it is known too. Regards. $\endgroup$
    – Piquito
    Nov 1 '16 at 10:48
  • $\begingroup$ Could you add a few words on how you calculated these roots? $\endgroup$
    – user88319
    Nov 1 '16 at 15:35
  • $\begingroup$ @Strants there you go. The trick to this particular problem was the substitution $x=2y$, then dividing both sides by $2$. Then everything is in the perfect form. $\endgroup$ Nov 1 '16 at 16:42
  • $\begingroup$ How in the world did you know that identity I wish to be able to recognize this like you. $\endgroup$ Jan 8 '17 at 4:27
  • $\begingroup$ @AhmedS.Attaalla It's just my favorite way to factor cubic polynomials :D Comes with practice mate. $\endgroup$ Jan 8 '17 at 12:54

Solving equation $x^3-3x-1=0$ with free CAS Maxima: enter image description here

  • $\begingroup$ What is solvet? Solve using trig? $\endgroup$
    – GEdgar
    Sep 11 '18 at 12:48

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.