El teorema de Abel-Ruffini establece que una ecuación de grado algebraica general no se puede resolver en radicales [1] .
La teoría de Galois describe el grupo de permutaciones de las raíces de los polinomios . La demostración moderna del teorema se basa en los siguientes dos hechos:
Es fácil ver que una parte significativa de la prueba está "oculta" en la teoría de Galois.
El teorema de Abel-Ruffini no establece que la ecuación general de grado th no tenga solución. Si se permiten soluciones complejas , entonces el teorema fundamental del álgebra garantiza la existencia de soluciones. La esencia del teorema de Abel-Ruffini se reduce al hecho de que para ecuaciones arbitrarias de grado mayor que el cuarto es imposible indicar una fórmula explícita para las soluciones, es decir, una fórmula que defina todas las soluciones posibles y contenga solo operaciones aritméticas y raíces de un grado arbitrario.
Las soluciones a tales ecuaciones se pueden obtener con cualquier precisión deseada utilizando métodos numéricos como el método de Newton .
Además, las raíces de algunas ecuaciones de mayor grado se pueden expresar en radicales. Por ejemplo, la ecuación tiene una raíz .
Aunque una ecuación quíntica no se puede resolver en radicales, existen fórmulas para sus raíces usando funciones theta .
Para ecuaciones con un grado menor que el quinto, puede especificar una fórmula de solución explícita. Este hecho puede considerarse como la "segunda parte" o como el teorema "inverso" de Abel-Ruffini. Aunque esta afirmación no se deriva del teorema de Abel-Ruffini, es cierta: véanse las fórmulas de Cardano (para ecuaciones de tercer grado) y de Ferrari (para ecuaciones de cuarto) [4] .
La primera demostración del teorema fue publicada en 1799 por Ruffini . Había varias inexactitudes en la prueba. En 1824 Abel publicó una prueba completa .
Sus pruebas se basaron en las ideas de Lagrange de permutar las raíces de una ecuación. Posteriormente, estas ideas se desarrollaron en la teoría de Galois , que permitió la formulación del moderno enunciado de las demostraciones y sirvió como punto de partida en el desarrollo del álgebra abstracta .
Aunque el teorema establece que las ecuaciones no tienen una fórmula general para resolver, algunos tipos de ecuaciones de alto grado admiten soluciones exactas. Entre ellos: