The Bring radical of a complex number a is either any of the five roots of the above polynomial (it is thus multi-valued), or a specific root, which is usually chosen in order that the Bring radical is a function of a, which is real-valued when a is real, and is an analytic function in a neighborhood of the real line. Because of the existence of four branch points, the Bring radical cannot be defined as a function that is continuous over the whole complex plane, and its domain of continuity must exclude four branch cuts.
the coefficients α and β may be determined by using the resultant, or by means of the power sums of the roots and Newton's identities. This leads to a system of equations in α and β consisting of a quadratic and a linear equation, and either of the two sets of solutions may be used to obtain the corresponding three coefficients of the principal quintic form.
It is possible to simplify the quintic still further and eliminate the quadratic term, producing the Bring–Jerrard normal form:
Using the power-sum formulae again with a cubic transformation as Tschirnhaus tried does not work, since the resulting system of equations results in a sixth-degree equation. But in 1796 Bring found a way around this by using a quartic Tschirnhaus transformation to relate the roots of a principal quintic to those of a Bring–Jerrard quintic:
The extra parameter this fourth-order transformation provides allowed Bring to decrease the degrees of the other parameters. This leads to a system of five equations in six unknowns, which then requires the solution of a cubic and a quadratic equation. This method was also discovered by Jerrard in 1852, but it is likely that he was unaware of Bring's previous work in this area. The full transformation may readily be accomplished using a computer algebra package such as Mathematica or Maple. As might be expected from the complexity of these transformations, the resulting expressions can be enormous, particularly when compared to the solutions in radicals for lower degree equations, taking many megabytes of storage for a general quintic with symbolic coefficients.
Regarded as an algebraic function, the solutions to
involve two variables, d1 and d0; however, the reduction is actually to an algebraic function of one variable, very much analogous to a solution in radicals, since we may further reduce the Bring–Jerrard form. If we for instance set
then we reduce the equation to the form
which involves z as an algebraic function of a single variable t, where . A similar transformation suffices to reduce the equation to
which is the form required by the Hermite–Kronecker–Brioschi method, Glasser's method, and the Cockle–Harley method of differential resolvents described below.
This Tschirnhaus transformation is rather simpler than the difficult one used to transform a principal quintic into Bring–Jerrard form. This normal form is used by the Doyle–McMullen iteration method and the Kiepert method.
and its four conjugates. We have a reduction to the Bring–Jerrard form in terms of solvable polynomial equations, and we used transformations involving polynomial expressions in the roots only up to the fourth degree, which means inverting the transformation may be done by finding the roots of a polynomial solvable in radicals. This procedure produces extraneous solutions, but when we have found the correct ones by numerical means we can also write down the roots of the quintic in terms of square roots, cube roots, and the Bring radical, which is therefore an algebraic solution in terms of algebraic functions (defined broadly to include Bring radicals) of a single variable — an algebraic solution of the general quintic.
Many other characterizations of the Bring radical have been developed, the first of which is in terms of elliptic modular functions by Charles Hermite in 1858, and further methods later developed by other mathematicians.
The Hermite–Kronecker–Brioschi characterization
In 1858, Charles Hermite published the first known solution to the general quintic equation in terms of elliptic transcendents, and at around the same time Francesco Brioschi and Leopold Kronecker came upon equivalent solutions. Hermite arrived at this solution by generalizing the well-known solution to the cubic equation in terms of trigonometric functions and finds the solution to a quintic in Bring–Jerrard form:
into which any quintic equation may be reduced by means of Tschirnhaus transformations as has been shown. He observed that elliptic functions had an analogous role to play in the solution of the Bring–Jerrard quintic as the trigonometric functions had for the cubic. If and are the periods of an elliptic integral of the first kind:
If n is a prime number, we can define two values u and v as follows:
The parameters and are linked by an equation of degree n + 1 known as the modular equation, whose n + 1 roots are given by:
where ε is 1 or −1 depending on whether 2 is a quadratic residue with respect to n or not, and m is an integer modulo n. For n = 5, we have the modular equation of the sixth degree:
with six roots as shown above.
The modular equation of the sixth degree may be related to the Bring–Jerrard quintic by the following function of the six roots of the modular equation:
The five quantities , , , , are the roots of a quintic equation with coefficients rational in :
which may be readily converted into the Bring–Jerrard form by the substitution:
leading to the Bring–Jerrard quintic:
The Hermite–Kronecker–Brioschi method then amounts to finding a value for τ that corresponds to the value of a, and then using that value of τ to obtain the roots of the corresponding modular equation. To do this, let
and calculate the required elliptic modulus by solving the quartic equation:
The roots of this equation are:
where  (note that some important references erroneously give it as ). Any of these roots may be used as the elliptic modulus for the purposes of the method. The value of may be easily obtained from the elliptic modulus by the relations given above. The roots of the Bring–Jerrard quintic are then given by:
It may be seen that this process uses a generalization of the nth root, which may be expressed as:
or more to the point, as
The Hermite–Kronecker–Brioschi method essentially replaces the exponential by an elliptic modular function, and the integral by an elliptic integral. Kronecker thought that this generalization was a special case of a still more general theorem, which would be applicable to equations of arbitrarily high degree. This theorem, known as Thomae's formula, was fully expressed by Hiroshi Umemura in 1984, who used Siegel modular forms in place of the exponential/elliptic modular function, and the integral by a hyperelliptic integral.
James Cockle and Robert Harley developed, in 1860, a method for solving the quintic by means of differential equations. They consider the roots as being functions of the coefficients, and calculate a differential resolvent based on these equations. The Bring–Jerrard quintic is expressed as a function:
and a function is to be determined such that:
The function must also satisfy the following four differential equations:
Expanding these and combining them together yields the differential resolvent:
The solution of the differential resolvent, being a fourth order ordinary differential equation, depends on four constants of integration, which should be chosen so as to satisfy the original quintic. This is a Fuchsian ordinary differential equation of hypergeometric type, whose solution turns out to be identical to the series of hypergeometric functions that arose in Glasser's derivation above.
This method may also be generalized to equations of arbitrarily high degree, with differential resolvents which are partial differential equations, whose solutions involve hypergeometric functions of several variables.
A general formula for differential resolvents of arbitrary univariate polynomials is given by Nahay's powersum formula.
In 1989, Peter Doyle and Curt McMullen derived an iteration method that solves a quintic in Brioschi normal form:
The iteration algorithm proceeds as follows:
2. Compute the rational function
where is a polynomial function given below, and is the derivative of with respect to
3. Iterate on a random starting guess until it converges. Call the limit point and let .
where is a polynomial function given below. Do this for both and .
5. Finally, compute
for i = 1, 2. These are two of the roots of the Brioschi quintic.
The two polynomial functions and are as follows:
This iteration method produces two roots of the quintic. The remaining three roots can be obtained by using synthetic division to divide the two roots out, producing a cubic equation. Due to the way the iteration is formulated, this method seems to always find two complex conjugate roots of the quintic even when all the quintic coefficients are real and the starting guess is real. This iteration method is derived by from the symmetries of the icosahedron and is closely related to the method Felix Klein describes in his book.
Hermite, Charles (1858). "Sur la résolution de l'équation du cinquème degré". Comptes Rendus de l'Académie des Sciences. XLVI (I): 508–515.
Brioschi, Francesco (1858). "Sul Metodo di Kronecker per la Risoluzione delle Equazioni di Quinto Grado". Atti Dell'i. R. Istituto Lombardo di Scienze, Lettere ed Arti. I: 275–282.
Kronecker, Leopold (1858). "Sur la résolution de l'equation du cinquième degré, extrait d'une lettre adressée à M. Hermite". Comptes Rendus de l'Académie des Sciences. XLVI (I): 1150–1152.
^Davis, Harold T. (1962). Introduction to Nonlinear Differential and Integral Equations. Dover. p. 173. ISBN978-0-486-60971-3.
^Umemura, Hiroshi (2007). "Resolution of algebraic equations by theta constants". Resolution of algebraic equations by theta constants (in: David Mumford, Tata Lectures on Theta II). Modern Birkhäuser Classics. Birkhäuser, Boston, MA. pp. 261–270. doi:10.1007/978-0-8176-4578-6_18. ISBN9780817645694.
Glasser, M. Lawrence (1994). "The quadratic formula made hard: A less radical approach to solving equations". arXiv:math.CA/9411224.