NationMaster - Encyclopedia: Bring radical

In algebra, a Bring radical or ultraradical is a real zero of the polynomial Algebra is the current mathematics collaboration of the week! Please help improve it to featured article standard. ... The word real has many different meanings. ...

x 5 + x + a

Where a is a complex number.

George Jerrard (1804-1863) showed that some quintic equations can be solved using radicals and Bring radicals, which had been introduced by Erland Bring (1736-1798). In mathematics, a quintic equation is a polynomial equation in which the greatest exponent on the independent variable is five. ... See radical for other uses of the term In mathematics, the n-th root or radical of the non-negative real number a, written as , is the unique non-negative real number b such that bn=a. ...

1 Bring-Jerrard normal form
2 Bring radicals
3 Solution of the general quintic
4 See also

Bring-Jerrard normal form

$x^5+a_1x^4+a_2x^3+a_3x^2+a_4x+a_5=0,$

then if

$y = x^4+b_1x^3+b_2x^2+b_3x+b_4,$

we may obtain a polynomial of degree five in y, a Tschirnhaus transformation, for instance using the resultant to eliminate x. We might then seek particular values of the coefficients b_i which make the coefficients for the polynomial for y of the form In mathematics, a Tschirnhaus transformation is a type of mapping on polynomials. ... In mathematics, the resultant of two monic polynomials and over a field is defined as the product of the differences of their roots, where and take on values in the algebraic closure of . ...

$y^5 + px + q,$

This reduction, discovered by Bring and rediscovered by Jerrard, is called Bring-Jerrard normal form. A direct attack on the reduction to Bring-Jerrard normal form does not work; the trick is to do it in stages, using more than one Tschirnhaus transformation, in which case modern computer algebra systems make the computations relatively easy. A computer algebra system (CAS) is a software program that facilitates symbolic mathematics. ...

First, substituting x⁵ - a₁/5 in place of x removes the trace (degree four) term. We then may employ an idea due to Tschirnhaus to eliminate the x³ term also, by setting y = x² + px + q and solving for p and q so as to eliminate the x⁴ and x³ terms both, we find that setting q = 2c/5 and Ehrenfried Walther von Tschirnhaus (or Tschirnhausen) (April 10, 1651–October 11, 1708) was a German mathematician. ...

$p = {sqrt{5c(3c^2-10d)} over 5c},$

eliminates both the third and fourth degree terms from

$x^5 + cx^3 + dx^2 + ex + f,$

We now may successfully set

$y = x^4+b_1x^3+b_2x^2+b_3x+b_4,$

$x^5 + dx^2+ex+f,$

and eliminate the degree two term also, in a way which does not require the solution of any equation above degree three. This requires taking square roots for the values of b₁, b₂ and b₄, and finding the root of a cubic for b₃. In mathematics, the principal square root of a non-negative real number is denoted and represents the non-negative real number whose square (the result of multiplying the number by itself) is For example, since This example suggests how square roots can arise when solving quadratic equations such as or... Graph of a cubic polynomial: y = x3/4 + 3x2/4 âˆ’ 3x/2 âˆ’ 2 = (1/4)(x + 4)(x + 1)(x âˆ’ 2) In mathematics, a cubic equation is a polynomial equation in which the highest occurring power of the unknown is the third power. ...

The general form is easy enough to compute using a computer algebra package such as Maple or Mathematica, but is messy enough that it seems advisable to simply explain the method, which can then be applied in any particular case. However, it should be noted that what is entailed is a solution to the general quintic. In any particular case, one may set up the system of three equations, and then solve for the coefficients b_i. One of the solutions so obtained will be as described, involving the roots of no polynomial higher than the third degree; taking the resultant with the coefficients so computed reduces the equation to Bring-Jerrard normal form. The roots of the original equation are now expressible in terms of the roots of the transformed equation. Maple 9. ... This article is about computer software. ...

Regarded as an algebraic function, the solutions to

$x^5+ux+v = 0,$

involves two variables, u and v, 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

$z = {x over (-u/5)^{1/5}},$

then we reduce the equation to the form

$x^5 - 5x - 4t = 0,$

which involves x' as an algebraic function of a single variable t.

Bring radicals

Bring radicals can be used to obtain closed form solutions of quintic equations

As a function of the complex variable t, the roots x of a cartoon about bring radicals Created by CyborgTosser. ... a cartoon about bring radicals Created by CyborgTosser. ... Complex analysis is the branch of mathematics investigating functions of complex numbers. ...

$x^5 - 5x - 4t = 0,$

have branch points where the discriminant 800000(t⁴ - 1) is zero, which means at 1, -1, i and -i. Monodromy around any of the branch points exchanges two of the roots, leaving the rest fixed. For real values of t greater than or equal to -1, the largest real root is a function of t increasing monotonically from 1; we may call this function the Bring radical, BR(t). By taking a branch cut along the real axis from minus infinity to -1, we may extend the Bring radical to the entire complex plane, setting the value along the branch cut to be that obtained by analytically continuing around the upper half-plane. In mathematics, the imaginary unit i (sometimes also represented by the Latin j or the Greek iota, but in this article i will be used exclusively) allows the real number system to be extended to the complex number system . ... In mathematics, monodromy is the study of how objects from mathematical analysis, algebraic topology and differential geometry behave as they run round a singularity. ...

More explicitly, let $a_0 = 3, a_1 = {1over100}, a_2 = -{27over400000}, a_3 = {549/800000000}$ , with subsequent a_i defined by the recurrence relationship

$a_{n+4} = -{frac {185193}{5278000}},{frac {2,n+5}{n+4}}a_{n+3}$

$-{frac {9747}{ 52780000}},{frac {10,{n}^{2}+40,n+39}{ left( n+4 right) left( n+3 right) }}a_{n+2}$

$-{frac {57}{52780000}},{frac { left( 2,n+3 right) left( 10,{n}^{2}+30,n+17 right) }{ left( n+4 right) left( n+3 right) left( n+2 right) }}a_{n+1}$

$-{frac {1}{6597500000}},{frac { left( 5,n+11 right) left( 5,n+7 right) left( 5,n+3 right) left( 5,n-1 right) }{ left( n+4 right) left( n+3 right) left( n+2 right) left( n+1 right) }}a_n.$ For complex values of t such that |t - 57| < 58, we then have

$operatorname{BR}(t) = sum_{n=0}^infty a_n (t-57)^n,,$

which then can be analytically continued in the manner described.

The roots of x⁵ - 5x - 4t = 0 can now be expressed in terms of the Bring radical as

$r_n = i^{-n} operatorname{BR}(i^n t)$

for n from 0 through 3, and

r 4 = - r 0 - r 1 - r 2 - r 3

for the fifth root.

Solution of the general quintic

We now may express the roots of any polynomial

$x^5 + px +q,$

in terms of the Bring radical as

$left(-frac{p}{4}right)^frac{1}{4}operatorname{BR}left(frac{(-5/p)^frac{5}{4} q}{4}right)$

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 of a single variable — an algebraic solution of the general quintic. In mathematics, the complex conjugate of a complex number is given by changing the sign of the imaginary part. ...

Bring radical - Wikipedia, the free encyclopedia (683 words)
	George Jerrard (1804-1863) showed that quintic equations can be solved using radicals and Bring radicals, which had been introduced by Erland Bring (1736-1798).
	A direct attack on the reduction to Bring-Jerrard normal form does not work; the trick is to do it in stages, using more than one Tschirnhaus transformation, in which case modern computer algebra systems make the computations relatively easy.
	By taking a branch cut along the real axis from minus infinity to -1, we may extend the Bring radical to the entire complex plane, setting the value along the branch cut to be that obtained by analytically continuing around the upper half-plane.

rad_pol_praxis (5737 words)
	This means that the radical teacher aims—actively and deliberately—to challenge her students to "own" (up to) the positions they already occupy, and to be able to account for what working from and for such positions means—in particular in terms of what ends these positions advance and what interests these positions serve.
	The radical pedagogue must practice a pedagogy of denaturalization, and defamiliarization, of the course and the classroom, a denaturalization and defamiliarization of these natural and familiar assumptions and associations about the nature of what a course and a classroom is and is not (to be like).
	Radical intellectuals intervene within dominant educational practices in ways which put pressure on the easy recuperation or dismissal of radical ideas (and all "different," "unfamiliar," or "unpopular" ideas that are dismissed by such labeling because of the radical potential they represent).

More results at FactBites »

COMMENTARY

Share your thoughts, questions and commentary here

Want to know more?
Search encyclopedia, statistics and forums:

Feeds | Contact
The Wikipedia article included on this page is licensed under the GFDL.
Images may be subject to relevant owners' copyright.
All other elements are (c) copyright NationMaster.com 2003-5. All Rights Reserved.
Usage implies agreement with terms, 1022, m

Contents

Bring-Jerrard normal form GA_googleFillSlot("encyclopedia_square");

Bring radicals

Solution of the general quintic

See also

Bring-Jerrard normal form