El Fin de una Quimera: Abel y la Ecuación de Quinto Grado.

 

"Abel ha dejado a los matemáticos algo que los mantendrá ocupados durante quinientos años." Charles Hermite (Francia n.24-12-1822 m.14-01-1901)

La historia de las matemáticas está plagada de búsquedas heroicas, pero pocas tienen el dramatismo de la resolución de ecuaciones algebraicas. Durante siglos, se buscó una fórmula general para la ecuación de quinto grado, convencidos de que la lógica que funcionó para el segundo, tercer y cuarto grado se mantendría.

Durante más de dos siglos, las matemáticas vivieron bajo la sombra de un desafío que rozaba lo místico. Tras los triunfos del Renacimiento italiano, donde mentes como Cardano (Italia 1501 – 1576) y Ferrari (Italia 1522 – 1565) lograron domar las ecuaciones de tercer y cuarto grado, la comunidad científica se convenció de que el intelecto humano no tenía límites. La ecuación de quinto grado, o quíntica, se convirtió en el "Santo Grial" del álgebra: una fortaleza que, se pensaba, caería tarde o temprano ante el asedio de los radicales.

Mentes brillantes como Euler (Suiza 1707 – 1783), Lagrange (Italia-Francia1736-1813) y Bezout (Francia 1730-1783) intentaron encontrar la "fórmula mágica". Lagrange, en particular, realizó un avance crítico en 1770 con su obra Réflexions sur la résolution algébrique des équations. Al analizar por qué funcionaban las fórmulas de tercer y cuarto grado, se dio cuenta de que todo dependía de las permutaciones de las raíces.

Lagrange notó que, al intentar aplicar sus métodos a la ecuación de quinto grado, la complejidad aumentaba en lugar de disminuir. Lo lógico y "natural" para Lagrange era esperar que para resolver una quíntica (grado 5), surgiera una ecuación resolvente de grado 4, dado que para resolver la ecuación de grado 4 se utiliza una resolvente de grado 3 y para resolver una ecuación de tercer grado una resolvente de grado dos.

Cuando Lagrange aplicó su método —basado en permutaciones de las raíces y en las relaciones de Vieta— a la ecuación de quinto grado, el resultado fue catastrófico para sus aspiraciones: la ecuación auxiliar que obtuvo no era de grado 4, ¡sino de grado 6! Sin saberlo, estaba sentando las bases de la teoría de grupos, pero llegó a la conclusión de que el problema era "difícil", no "imposible".

El siglo XIX amaneció con una verdad incómoda. Mientras Europa se transformaba con revoluciones políticas, en el mundo de las ideas se gestaba una ruptura aún más profunda. Los matemáticos habían pasado siglos buscando una llave para una puerta que, en realidad, estaba sellada por las propias leyes de la simetría.

En este escenario surge la figura de Niels Henrik Abel, un joven noruego que, lejos de los grandes centros académicos y sumido en la precariedad, decidió cuestionar la premisa misma del problema. Abel no se preguntó cómo resolver la quíntica, sino si era posible hacerlo. Su respuesta no solo clausuró una búsqueda milenaria, sino que destruyó la soberbia del álgebra clásica para dar paso a una era de estructuras abstractas y simetrías ocultas.

Niels Henrik Abel (Noruega 1802–1829) fue un matemático noruego cuya vida, aunque trágica y breve, transformó para siempre el álgebra moderna. Nació en una familia humilde en Finnøy, Noruega. Su talento fue descubierto por su profesor Bernt Michael Holmboe (Noruega 1795 – 1850), quien lo introdujo en las obras de los grandes maestros como Euler y Lagrange. A los 22 años, publicó por cuenta propia su demostración de que la ecuación general de quinto grado no puede resolverse mediante radicales, resolviendo un problema que había frustrado a los matemáticos durante 250 años.

Viajó por Europa buscando empleo y reconocimiento académico. En París, presentó una memoria fundamental sobre funciones elípticas a la Academia de Ciencias, pero fue ignorada y extraviada por Cauchy (Francia 1789 – 1857), lo que sumió a Abel en la pobreza y la frustración. Contrajo tuberculosis y regresó a Noruega. Murió a los 26 años, apenas dos días antes de que llegara una carta de Berlín ofreciéndole una cátedra que habría cambiado su destino.

Hoy es considerado uno de los matemáticos más brillantes de la historia. En su honor, el gobierno noruego creó, en 2001, el Premio Abel. Su trabajo no solo clausuró la búsqueda de fórmulas para polinomios de alto grado, sino que sentó las bases para el estudio de las funciones abelianas y la teoría de grupos, conceptos que siguen siendo pilares de la ciencia actual.

Para que Abel pudiera diseccionar el problema, primero necesitó el lenguaje de François Vieta (Francia 1540 – 1603). En el siglo XVI, Vieta descubrió que las raíces de un polinomio ($x_1, x_2, \dots, x_n$) no están aisladas, sino que están "atadas" a los coeficientes del polinomio mediante funciones simétricas elegantes.

Para un polinomio $P(x) = a_n x^n + a_{n-1} x^{n-1} + \dots + a_0$, las Fórmulas de Vieta establecen un patrón asombroso:

• Suma de raíces ($k=1$): $\sum x_i = -\frac{a_{n-1}}{a_n}$
• Suma de productos de dos en dos ($k=2$): $\sum x_i x_j = \frac{a_{n-2}}{a_n}$
• Suma de productos de tres en tres ($k=3$): $\sum x_i x_j x_l = -\frac{a_{n-3}}{a_n}$

En general, para cualquier conjunto de $k$ raíces, la suma de sus productos es $S_k = (-1)^k \frac{a_{n-k}}{a_n}$. Este signo alternante $(-1)^k$ es la huella digital de la estructura algebraica.

Lo anterior demostraba que los coeficientes son "ciegos" al orden de las raíces. Si intercambias una raíz por otra, el coeficiente no cambia. Esta simetría total es la que Abel intentaría romper para "aislar" una sola raíz.

Abel comenzó definiendo formalmente qué es una función resoluble por radicales. Si una ecuación de quinto grado tuviera una fórmula general, la solución $x$ tendría que construirse mediante una jerarquía de operaciones:

1. Se parte de los coeficientes del polinomio $\{a, b, c, d, e\}$.
2. Se realizan operaciones racionales (suma, resta, multiplicación, división).
3. Se extrae una raíz $n$-ésima (radical).
4. Se repite el proceso usando los resultados anteriores.

Abel planteó que cualquier raíz $x$ de la ecuación de quinto grado tendría que expresarse en una forma general de "torre de radicales":

$$x = R_0 + p_1^{1/n} R_1 + p_1^{2/n} R_2 + \dots$$

Donde cada $p$ es, a su vez, otra expresión con radicales.

Aquí es donde Abel se vuelve brillante. Él sabía que, si cambias el orden de las raíces de una ecuación, los coeficientes del polinomio no cambian (según las fórmulas de Vieta).

Abel analizó cómo se comportan las funciones de las raíces cuando estas se intercambian (permutan):

• Si una función no cambia al permutar las raíces, es una función simétrica.
• Los coeficientes son funciones simétricas.
• Por tanto, cualquier fórmula basada en los coeficientes debe ser capaz de "gestionar" estas permutaciones.

Abel se centró en la estructura de los radicales.  El proceso lógico fue el siguiente:

1. Demostró que si una función de 5 variables (las 5 raíces) toma un número determinado de valores distintos al permutar sus variables, ese número de valores debe ser un divisor de la cantidad total de permutaciones ($5! = 120$).
2. Utilizó un teorema de Cauchy que establece que el número de valores distintos que puede tomar una función no simétrica de 5 variables no puede ser 2, 3 o 4. Debe ser 1, 2 o al menos 5.
3. Examinó qué sucede cuando intentas extraer una raíz quinta de una función de las raíces. Para que la fórmula general funcione, la estructura de las permutaciones de la quíntica requeriría que la función se comportara de una manera que matemáticamente es imposible para un conjunto de 5 elementos.

Específicamente, Abel demostró que no se puede reducir el grado de complejidad de la ecuación de quinto grado usando radicales porque las permutaciones de 5 elementos (el grupo $S_5$) no permiten la "escalera de subgrupos" necesaria que sí permiten las ecuaciones de grado 2, 3 y 4.

Abel no solo dijo "no encontré la fórmula". Él demostró que el lenguaje de los radicales es demasiado pobre para expresar la complejidad de las raíces de una ecuación de quinto grado. Es como intentar pintar un cuadro con profundidad tridimensional usando solo una regla de un solo eje: la herramienta no tiene los grados de libertad suficientes para la tarea.

Este trabajo fue el que finalmente convenció a la comunidad matemática de que el álgebra debía dejar de estudiar números y fórmulas para empezar a estudiar estructuras y simetrías.

Nos podemos preguntar: si el 3 y el 5 son números primos, ¿por qué la cúbica tiene fórmula y la quíntica no? La respuesta reside en la Teoría de Grupos que Abel vislumbró.

Para resolver una ecuación, necesitamos "romper" la simetría de las raíces paso a paso, como quien baja una escalera.

• Grado 3 ($S_3$): Tiene 6 permutaciones. Es pequeño y flexible. Contiene un subgrupo normal ($A_3$), lo que permite bajar el escalón usando una raíz cuadrada y luego una cúbica.
• Grado 4 ($S_4$): Aunque es más grande (24 permutaciones), tiene el Grupo de Klein ($V_4$), una estructura interna que permite seguir bajando la escalera.
• Grado 5 ($S_5$): Aquí el universo cambia. El grupo de permutaciones pares ($A_5$, de orden 60) es lo que los matemáticos llaman un Grupo Simple.

En matemáticas, "simple" no significa fácil; significa que no se puede descomponer más. $A_5$ es como un átomo indivisible de simetría (la misma que tiene un icosaedro). Al no haber "escalones" intermedios (subgrupos normales), no hay forma de usar radicales para aislar las raíces. La simetría del 5 es tan perfecta que es blindada.

Aunque 3 y 5 sean primos, sus grupos de permutaciones se comportan distinto:

1. $S_3$ es lo suficientemente pequeño para ser domesticado.
2. $S_4$ es el último que permite una estructura de subgrupos (gracias al Grupo de Klein).
3. $S_5$ cruza un umbral de complejidad donde la simetría se vuelve "Simple" (en el sentido matemático de "indivisible").

Si el Teorema Fundamental del Álgebra (demostrado por Gauss), ver https://gilbeworld.blogspot.com/2026/05/el-teorema-fundamental-del-algebra-el.html, dice que toda ecuación de grado n tiene exactamente n raíces en los números complejos, ¿cómo es posible que Abel diga que no se puede resolver?

La clave está en la diferencia entre existencia y expresabilidad:

1. Gauss (Existencia): Nos asegura que las raíces están ahí. Si dibujas la función, verás dónde corta el eje. Las raíces existen como números.
2. Abel (Expresabilidad): Nos dice que nuestro lenguaje es limitado. El lenguaje de los radicales ($\sqrt{}, \sqrt[3]{}, \dots$) es demasiado pobre para capturar la posición de esas raíces.

Es como intentar medir la diagonal de un cuadrado de lado 1: la distancia existe, pero si tu lenguaje solo permitiera números enteros, nunca podrías decir "$\sqrt{2}$". Abel demostró que para $n \ge 5$, las raíces viven en un nivel de complejidad numérica que los radicales no pueden alcanzar.

Niels Henrik Abel murió a los 26 años en la pobreza, pero su "fracaso" en encontrar la fórmula de la ecuación de quinto grado fue el mayor éxito del siglo XIX. Al demostrar por qué no podíamos resolver la quíntica, obligó a las matemáticas a dejar de estudiar números para empezar a estudiar estructuras.

Gracias a que Abel entendió que la simetría de Vieta en el grado 5 era inquebrantable, hoy tenemos el Álgebra Moderna, herramienta fundamental para entender desde la física cuántica hasta la seguridad de nuestras transacciones bancarias.