En matemática, se denomina ecuación de quinto grado o ecuación quíntica a una ecuaciónpolinómica en que el exponente de la variable independiente de mayor grado es cinco. Es de la forma general:
Ecuación de quinto grado
donde a, b, c, d, e y f son miembros de un cuerpo (habitualmente, en análisis matemático y álgebra clásica, el de los números racionales, el de los reales o los complejos; pero en álgebra abstracta se usan otros cuerpos[1]), y .
Encontrar las raíces de un polinomio (valores de x que satisfacen tal ecuación) en el caso racional dados sus coeficientes ha sido un importante problema matemático.
La resolución de ecuacioneslineales, cuadráticas, cúbicas y cuárticas mediante factorización de raíces es bastante sencilla cuando las raíces son racionales o reales; también hay fórmulas que proporcionan las soluciones. Sin embargo, no hay una fórmula general en términos de raíces para las ecuaciones de quinto grado sobre los racionales; mediante un número finito de sumas, restas, multiplicaciones, divisiones y extracciones de raíces. Esto lo probó por primera vez el teorema de Abel-Ruffini, publicado en 1824, que fue una de las primeras aplicaciones de la teoría de grupos en el álgebra. Este resultado también se cumple para ecuaciones de mayor grado.
Sea la ecuación x5 - 1 = 0, se factoriza el primer miembro; cuyo resultado conlleva el binomio x - 1 y un polinomio mónico completo de cuarto grado, todos los coeficientes igual a 1. En el 'cuadrinomio' que corresponde a una ecuación recíproca se divide entre x2, 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 raíces de la unidad, cuatro de ellas complejas y primitivas.[2]
Algunas ecuaciones de quinto grado se pueden resolver mediante factorización de radicales, como por ejemplo x5 − x4 − x + 1 = 0, que puede escribirse como (x2 + 1)(x + 1)(x − 1)2 = 0. Otras quínticas como x5 − x + 1 = 0 no pueden factorizarse de manera sencilla. Évariste Galois desarrolló técnicas para determinar si una ecuación dada podría ser resuelta mediante factorización, lo que dio pie al campo de la teoría de Galois. Usando esta teoría, John Stuart Glashan, George Paxton Young y Carl Runge mostraron en 1885 que cualquier quíntica resoluble irreducible en forma de Bring-Jerrard,
debe forzosamente tener la siguiente forma:
donde y 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 quíntica a forma de Bring-Jerrard, esto da una condición necesaria y suficiente para que se pueda resolver mediante raíces. La relación entre las parametrizaciones de 1885 y 1994 puede verse definiendo la expresión
donde
y obtenemos la primera parametrización usando el caso negativo de la raíz cuadrada, mientras que el caso positivo nos da la segunda con . Por tanto esto es una condición necesaria (pero no suficiente) para que la quíntica resoluble irreducible
con coeficientes racionales debe satisfacer la curva cuadrática simple
También existen otros métodos para resolver quínticas. George Jerrard mostró alrededor de 1835 que las quínticas se pueden resolver usando ultraradicales (también conocidos como radicales de Bring), las raíces reales de t5 + t − a siendo a un número real. En 1858 Charles Hermite mostró que el radical de Bring se podía caracterizar en términos de las funciones theta de Jacobi y sus funciones modulares elípticas asociadas, usando un enfoque similar al más familiar usado al resolver ecuaciones cúbicas mediante funciones trigonométricas. Leopold Kronecker desarrolló una manera más sencilla de derivar el resultado de Hermite usando Teoría de grupos, prácticamente al mismo tiempo que Francesco Brioschi. Más adelante, Felix Klein llegó a un método particularmente elegante que relaciona las simetrías del icosaedro, la teoría de Galois y las funciones modulares elípticas que aparecen en la solución de Hermite, dando una explicación de por qué deben aparecer, y desarrolló su propia solución en términos de las funciones hipergeométricas generalizadas. El matemático mexicano Graciano Ricalde Gamboa (1873-1942) descubrió un método para la resolución de la ecuación de quinto grado mediante el uso de funciones elípticas.
Los métodos numéricos como el método de Newton-Raphson o de prueba y error dan resultados muy rápidamente si solo se necesitan valores aproximados para las raíces, o si se sabe que las soluciones comprenden solo expresiones sencillas (como en exámenes). También se pueden usar otros métodos como el de Laguerre o el de Jenkins-Traub para encontrar numéricamente las raíces de una quíntica de forma más fiable.
Con la ayuda de la transformación de Tschirnhaus, todas las ecuaciones quínticas se pueden convertir a la forma Bring-Jerrard con la ayuda de expresiones de funciones matemáticas elementales. La forma Bring-Jerrard contiene el término quíntico, el término lineal y el término absoluto. Pero los términos cuárticos, cúbicos y cuadráticos no están presentes en absoluto en esta forma de ecuación. La solución elíptica generalizada de la forma Bring-Jerrard se analiza en los siguientes párrafos. Con base en la fórmula de parametrización descubierta por los matemáticos Glashan, Young y Runge, el siguiente par de fórmulas se puede derivar de una ecuación y la solución real:
Este par de fórmulas es válida para todos los valores 0 < y < 2. Para que la forma general de Bring-Jerrard se resuelva con este método, se necesita una clave elíptica. Esta clave elíptica se puede generar usando la Función theta según Carl Gustav Jakob Jacobi:
Este procedimiento de solución se explica ahora con precisión a continuación. El lado derecho de la escala de la ecuación para la fórmula superior en este párrafo toma el valor w:
Esta ecuación debe ser resuelta para el valor y. Esto requiere una expresión de función modular elíptica, que en este caso incluye la función theta de Jacobi:
Esta expresión de solución concuerda con la siguiente expresión:
Ahora deben definirse las funciones especificadas en esta expresión. La función theta principal que se muestra tiene la siguiente definición de suma y la siguiente definición de producto equivalente:
La letra q describe la función del distrito elíptico (en inglés elliptic nome function):
La letra K que se muestra en el cociente interior representa la Integral elíptica completa de primer tipo:
La abreviatura ctlh expresa la función cotangente lemniscatica hiperbólica. Y la abreviatura aclh expresa la función áreacoseno lemníscatico hiperbólico. Estas funciones están relacionadas algebraicamente con las Funciones elípticas lemniscáticas sl y cl establecidas por Carl Friedrich Gauss y se pueden definir usando estas dos funciones:
La letra G representa la Constante de Gauss, que se puede expresar mediante la función gamma de la forma que se acaba de mostrar.
La Fracción continua de Rogers-Ramanujan permite una solución muy compacta de la ecuación quíntica generalizada en forma de Bring-Jerrard. Esta función de fracción continua y la fracción continua alterna se pueden definir de la siguiente manera:
Los paréntesis, cada uno con dos entradas, forman el llamado Símbolo de Pochhammer y representan así la serie de productos. Con base en estas definiciones, se puede configurar la siguiente fórmula de solución exacta comprimida para la solución real:
Charles Hermite, "Sur la Résolution de L'Equation Du Cinquème Degré" (1858) en Œuvres de Charles Hermite, t.2, pp. 5-21, Gauthier-Villars, 1908.
Francesco Brioschi: Sulla risoluzione delle equazioni del quinto grado: Hermite – Sur la résolution de l’Équation du cinquiéme degré Comptes rendus –. N. 11. Mars. 1858. 1, diciembre 1858, p. 258 doi:10.1007/bf03197334
Felix Klein: Über die Transformation der elliptischen Funktionen und die Auflösung der Gleichungen fünften Grades. Annali matematici, vol. 14, 1879, pp. 111–144.
Felix Klein, Lectures on the Icosahedron and the Solution of Equations of the Fifth Degree, trad. George Gavin Morrice, Trübner & Co., 1888. ISBN 0-486-49528-0.
Ian Stewart, Galois Theory 2nd Edition, Chapman and Hall, 1989. ISBN 0-412-34550-1. Comenta la Teoría de Galois en general incluyendo una prueba de la no resolubilidad de la quíntica general.
George Paxton Young: Solution of Solvable Irreducible Quintic Equations, Without the Aid of a Resolvent Sextic, American Journal of Mathematics, vol. 7, 1885. pp. 170–177.
Carl Runge: Über die auflösbaren Gleichungen von der Form x⁵+ux+v=0, Acta Mathematica, vol. 7, 1885. S. 173–186, doi:10.1007/BF02402200.
Viktor Prasolov, Yuri Solovyev: Elliptic Functions and Elliptic Integrals. American Mathematical Society, Translation of Mathematical Monographs, vol. 170, Rhode Island, 1991, pp. 149–159.