Ecuacin de quinto grado

Polinomio de 5 grado con cuatropuntos extremos.

En matemtica, se denomina ecuacin de quinto grado o ecuacin quntica a

una ecuacin polinmica en que el exponente de la variable independiente de mayor grado es
cinco. Es de la forma general:

donde a, b, c, d, e y f son miembros de un cuerpo (habitualmente, en anlisis matemtico y

lgebra clsica, el de los nmerosracionales, el de los reales o los complejos; pero en lgebra
abstracta se usan otros cuerpos1 ), y

Debido a que son de grado impar, la grfica de las funciones qunticas se parece a la de
las funciones cbicas, incluso puede poseer un mximo y un mnimo locales adicionales.
La derivada de una funcin quntica es una funcin curtica y su integral unafuncin sxtica.
ndice
[ocultar]

1 Bsqueda de races de una ecuacin quntica

o

1.1 Caso inicial

1.2 Factorizacin de radicales

1.3 Otros mtodos analticos

1.4 Mtodos numricos

2 Vase tambin

3 Referencias y notas

4 Sobre el tema

5 Enlaces externos

Bsqueda de races de una ecuacin quntica[editar]

Encontrar las races de un polinomio (valores de x que satisfacen tal ecuacin) en el caso
racional dados sus coeficientes ha sido un importante problema matemtico.
La resolucin de
ecuaciones lineales, cuadrticas, cbicas y curticas mediante factorizacin de races es
bastante sencilla cuando las races son racionales o reales; tambin hay frmulas que
proporcionan las soluciones. Sin embargo, no hay una frmula general en trminos de races
para las ecuaciones de quinto grado sobre los racionales; mediante un nmero finito de
sumas, restas, multiplicaciones, divisiones y extracciones de races. Esto lo prob por primera
vez el teorema de Abel-Ruffini, publicado en 1824, que fue una de las primeras aplicaciones
de la teora de grupos en el lgebra. Este resultado tambin se cumple para ecuaciones de
mayor grado.

Caso inicial[editar]

Sea la ecuacin x5 - 1 = 0, se factoriza el primer miembro; cuyo resultado conlleva el

binomio x - 1 y un polinomio mnico completo de cuarto grado, todos los coeficientes igual
a 1. En el 'cuadrinomio' que corresponde a una ecuacin recproca se divide entre x 2, se
forman trinomios que sean cuadrados perfectos; se hace cambio de variable de x + 1/x = t.
Se resuelve en t, luego en x. Se obtienen, de este modo netamente algebraico, las cinco
races de la unidad, cuatro de ellas complejas y primitivas.2

Factorizacin de radicales[editar]
Algunas ecuaciones de quinto grado se pueden resolver mediante factorizacin de radicales,
como por ejemplo x5 x4 x + 1 = 0, que puede escribirse como (x2 + 1)(x + 1)(x 1)2 = 0.
Otras qunticas como x5 x + 1 = 0 no pueden factorizarse de manera sencilla. variste
Galois desarroll tcnicas para determinar si una ecuacin dada podra ser resuelta mediante
factorizacin, lo que dio pie al campo de la teora de Galois. Usando esta teora, John Stuart
Glashan, George Paxton Young y Carl Rungemostraron en 1885 que cualquier quntica
resoluble irreducible en forma de Bring-Jerrard,

debe forzosamente tener la siguiente forma:

donde

son racionales. En 1994, Spearman y Williams dieron una alternativa,

con
. Dado que haciendo un uso juicioso de las transformaciones de Tschirnhaus se
puede convertir una quntica a forma de Bring-Jerrard, esto da una condicin necesaria y

suficiente para que se pueda resolver mediante races. La relacin entre las
parametrizaciones de 1885 y 1994 puede verse definiendo la expresin

donde

y obtenemos la primera parametrizacin usando el caso negativo de la raz cuadrada,

mientras que el caso positivo nos da la segunda con
. Por tanto esto es una
condicin necesaria (pero no suficiente) para que la quntica resoluble irreducible

con coeficientes racionales debe satisfacer la curva cuadrtica simple

siendo a e y racionales.

Otros mtodos analticos[editar]

Tambin existen otros mtodos para resolver qunticas. Jerrard mostr alrededor de 1835
que las qunticas se pueden resolver usando ultraradicales (tambin conocidos
como radicales de Bring), las races reales de t5 + t a siendo a un nmero real. En
1858 Charles Hermite mostr que el radical de Bring se poda caracterizar en trminos de
las funciones theta de Jacobi y sus funciones modulares elpticas asociadas, usando un
enfoque similar al ms familiar usado al resolver ecuaciones cbicas mediantefunciones
trigonomtricas. Leopold Kronecker desarroll una manera ms sencilla de derivar el
resultado de Hermite usando Teora de grupos, prcticamente al mismo tiempo
que Francesco Brioschi. Ms adelante, Felix Klein lleg a un mtodo particularmente
elegante que relaciona las simetras del icosaedro, la teora de Galois y las funciones
modulares elpticas que aparecen en la solucin de Hermite, dando una explicacin de por
qu deben aparecer, y desarroll su propia solucin en trminos de las funciones
hipergeomtricas generalizadas. El matemtico mexicano Graciano Ricalde
Gamboa (1873-1942) descubri un mtodo para la resolucin de la ecuacin de quinto
grado mediante el uso de funciones elpticas.

Mtodos numricos[editar]
Los mtodos numricos como el mtodo de Newton-Raphson o de prueba y error dan
resultados muy rpidamente si slo se necesitan valores aproximados para las races, o si
se sabe que las soluciones comprenden slo expresiones sencillas (como en exmenes).
Tambin se pueden usar otros mtodos como el de Laguerre o el deJenkins-Traub para
encontrar numricamente las races de una quntica de forma ms fiable.