|
|
|
|
Quintic equation
|
| |
|
| |
In mathematics, a quintic equation is a polynomial equation of degree five. It is of the form:
where are members of a field, (typically the rational numbers, the real numbers or the complex numbers), and .
Because they have an odd degree, normal quintic functions appear similar to normal cubic functions when graphed, except they may possess an additional local maximum and local minimum each. The derivative of a quintic function is a quartic function.
Finding roots of a quintic equation
Finding the roots of a polynomial — values of which satisfy such an equation — in the rational case given its coefficients has been a prominent mathematical problem.
Solving linear, quadratic, cubic and quartic equations by factorization into radicals is fairly straightforward when the roots are rational and real; there are also formulae that yield the required solutions. However, there is no formula for general quintic equations over the rationals in terms of radicals; this is known as the Abel–Ruffini theorem, first published in 1824, which was one of the first applications of group theory in algebra. This result also holds for equations of higher degrees.
As a practical matter, exact analytic solutions for polynomial equations are often unnecessary, and so numerical methods such as Laguerre's method or the Jenkins-Traub method are probably the best way of obtaining solutions to general quintics and higher degree polynomial equations that arise in practice. However, analytic solutions are sometimes useful for certain applications, and many mathematicians have tried to develop them.
Solvable quintics
Some fifth degree equations can be solved by factorizing into radicals, for example , which can be written as . Other quintics like cannot be factorized and solved in this manner. Évariste Galois developed techniques for determining whether a given equation could be solved by radicals which gave rise to the field of Galois theory, and these techniques were first applied to finding a general criterion for determining whether any given quintic is solvable by John Stuart Glashan, George Paxton Young, and Carl Runge in 1885 (see Lazard's paper for a modern approach). They found that given any irreducible solvable quintic in Bring-Jerrard form,
must have the following form:
where and are rational. In 1994, Blair Spearman and Kenneth S. Williams gave an alternative,
The relationship between the 1885 and 1994 parameterizations can be seen by defining the expression
where
and using the negative case of the square root yields, after scaling variables, the first parametrization while the positive case gives the second with ± functioning as -. It is then a necessary (but not sufficient) condition that the irreducible solvable quintic
with rational coefficients must satisfy the simple quadratic curve
for some rational a, y.
Since by judicious use of Tschirnhaus transformations it is possible to transform any quintic into Bring-Jerrard form, both of these parameterizations give a necessary and sufficient condition for deciding whether a given quintic may be solved in radicals.
Examples of solvable quintics A quintic is solvable using radicals if the Galois group of the quintic (which is a subgroup of the symmetric group S(5) of permutations of a five element set) is a solvable group. In this case the form of the solutions depends on the structure of this Galois group.
A simple example is given by the equation , whose Galois group is the group F(5) generated by the permutations "(1 2 3 4 5)" and "(1 2 4 3)"; the only real solution is
However, for other solvable Galois groups, the form of the roots can be much more complex. For example, the equation has Galois group D(5) generated by "(1 2 3 4 5)" and "(1 4)(2 3)" and the solution requires about 600 symbols to write.
Beyond radicals
If the Galois group of a quintic is not solvable, then the Abel-Ruffini theorem tells us that to obtain the roots it is necessary to go beyond the basic arithmetic operations and the extraction of radicals. About 1835, Jerrard demonstrated that quintics can be solved by using ultraradicals (also known as Bring radicals), the real roots of for real numbers . In 1858 Charles Hermite showed that the Bring radical could be characterized in terms of the Jacobi theta functions and their associated elliptic modular functions, using an approach similar to the more familiar approach of solving cubic equations by means of trigonometric functions. At around the same time, Leopold Kronecker, using group theory developed a simpler way of deriving Hermite's result, as had Francesco Brioschi. Later, Felix Klein came up with a particularly elegant method that relates the symmetries of the icosahedron, Galois theory, and the elliptic modular functions that feature in Hermite's solution, giving an explanation for why they should appear at all, and develops his own solution in terms of generalized hypergeometric functions.
Linear algebraic methods
The quintic equation can be solved by creating a companion matrix of the quintic equation and calculating the eigenvalues of said matrix.
See also
External links-
- - more details on methods for solving Quintics.
- - poster on Quintic solutions
- - Klein's book is available online
- - a method for solving solvable quintics due to David S. Dummit.
- - a recent update of Tschirnhaus' paper by Victor S. Adamchik & David J. Jeffrey
- - a recent English translation of Tschirnhaus' 1683 paper.
- - Originally in The Legacy of Niels Henrik Abel, O. Laudal and R. Piene, editors, Springer-Verlag, 2004, pp. 207-226.
|
| |
|
|
