Cubic with three real irrational roots.

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
5 replies · 11K views
Messages
2,797
Reaction score
21
Considering the case of cubic polynomials with integer coefficients and three real but irrational roots. Is it true that it's impossible that all three roots can be in the form of simple surd expressions like [tex]r+s \sqrt{n}[/tex] (where r and s are rational and sqrt(n) is a surd). The argument is that if [tex]r+s \sqrt{n}[/tex] is a solution then you can show that [tex]r-s \sqrt{n}[/tex] must also be a solution.

Does anyone have any extra info or links to theorems or other useful info related to this.

Thanks.
 
Last edited:
Mathematics news on Phys.org
No, it's not true if by "surd" you mean the usual definition: a root of a real number. Of course, any cubic equation can be solved by the cubic formula, giving the root as a combination of cube roots of an expression involving a square root. However, the result of the square may be imaginary and so the cube root is not a "surd".
 
Hurkyl said:
It sounds like you have a reasonable proof of this. Do you know about Galois theory?

No I don't know about Galois theory but I just looked at a quick overview at http://en.wikipedia.org/wiki/Galois_theory.

No, it's not true if by "surd" you mean the usual definition: a root of a real number. Of course, any cubic equation can be solved by the cubic formula...

So would it be true to say that any cubic root could be expressed as a something like a nested surd then?
 
uart said:
No I don't know about Galois theory but I just looked at a quick overview at http://en.wikipedia.org/wiki/Galois_theory.



So would it be true to say that any cubic root could be expressed as a something like a nested surd then?

I'm beginning to wonder if I know anything! My answer above was "no" if by surd you mean the "usual definition: a root of a real number". In order to give support for my contention, I "googled" on surd and found that MathWorld defines "surd" as "any irrational number"!
Wikpedia, however, defines "surd" as "an unfinished expression used in place of resolving a number's square, cube or other root, usually because the root is an irrational number.", my definition.

With the first of those definitions, "any cubic root could be expressed as a something like a nested surd" would be false because two of the cube roots might be complex rather than irrational numbers, the MathWorld definition of "surd".

With the second of those definitions, "any cubic root could be expressed as a something like a nested surd" is still false because the nested roots might be roots of complex numbers rather than real numbers, the Wikpedia definition of "surd".

So my answer to your question is still NO, even though the roots of every cubic equation can be written as combinations of nested second and third roots, those roots or the numbers in the roots might be complex rather than real and, thus, not surds!