5
$\begingroup$

It is not generally possible to determine the roots of a polynomial whose grade is bigger than 4 in terms of roots and basic operations. But I heard that it is possible to give a criteria whether a polynomial has such a solution.

For instance Wikipedia tells that the roots of a polynomial of degree $5$ are expressible in terms of roots and basic operations, if it is representable in the form

$x^5 + \frac{5\mu^4(4\nu + 3)}{\nu^2 + 1}x + \frac{4\mu^5(2\nu + 1)(4\nu + 3)}{\nu^2 + 1} = 0,$

where $\mu$ and $\nu$ are rational numbers.

Given the case that the polynomials roots are expressible in such a form, is it possible to give an algorithm that computes the solution in this form?

I am not an expert on that topic, just a student who is interested in maths.

  • 1
    Are you asking the same thing that was asked in http://math.stackexchange.com/questions/33612/how-to-solve-polynomials ? You may want to have a look at that question...2011-05-18

3 Answers 3

5

Yes, it's called Galois Theory.

  • 2
    @FUZxxl, see for instance http://math.stackexchange.com/questions/27877/galois-groups-of-polynomials-and-explicit-equations-for-the-roots2011-05-18
1

While one cannot express the terms of polynomials of degree 5 and higher with basic operations and roots (Abel-Ruffini), it is possible to explicitly calculate the roots of polynomials of degree five and higher if you use other tools.

See this MO question.

  • 0
    My question was, if the polynomial *is* expressable in terms of radicals, is it possible to give an algorithm to find them?2011-05-19
1

Yes, assuming an expression for a root exists, there is a simple algorithm that will find it: define an ordering on all such expressions (e.g. a lexical ordering), and test each one until you find a root of the input polynomial.

  • 0
    (The minimal polynomial formulation is called for because it turns out that when working with radical expressions directly. it's not at all straightforward to find the necessary simplifications, if they exist, when the expression is complicated. Try taking$a$radical expression for a primitive fifth root of unity to the fifth power and you might see what I mean.)2018-05-30