El Thriller del Siglo XVIII: la Batalla por el Teorema Fundamental del Álgebra

 

"La disputa entre Euler y Leibniz fue el dolor de parto de la modernidad; allí el álgebra dejó de ser un juego de símbolos para convertirse en una estructura de la realidad". Felix Klein (Alemania n.25-04-1849 m.22-06-1925)

Cuando pensamos en grandes rivalidades de la ciencia, nuestra mente viaja automáticamente a la encarnizada batalla entre Isaac Newton (Reino Unido 1643 – 1727) y Gottfried Wilhelm Leibniz (Alemania 1646 – 1716) por la invención del Cálculo. Es el duelo clásico: egos monumentales, acusaciones de plagio y una Europa dividida por una frontera matemática. Sin embargo, esa no fue la única vez que los cimientos de la matemática temblaron por un choque de titanes.

Años después de que el polvo de la guerra Newton-Leibniz se asentara, surgió una disputa más silenciosa pero igual de profunda, esta vez con el mismísimo Leonhard Euler (Suiza 1707 – 1783) frente a los fantasmas de sus predecesores.

En la historia de las matemáticas, tendemos a imaginar el progreso como una sucesión de antorchas pasando de un genio a otro en perfecta armonía. Sin embargo, el siglo XVIII fue testigo de una de las disputas intelectuales más profundas, extrañas y persistentes de la ciencia. En un rincón del cuadrilátero estaba la sombra del gigante Gottfried Wilhelm Leibniz, co-inventor del cálculo; en el otro, el titán de la técnica, Leonhard.

El objeto de la discordia: ¿Es posible que existan polinomios que simplemente "no se puedan descomponer"? La resolución de esta duda no solo salvó al Teorema Fundamental del Álgebra (TFA), ver https://gilbeworld.blogspot.com/2026/05/el-teorema-fundamental-del-algebra-el.html, sino que cambió para siempre nuestra comprensión de los números complejos.

Para entender por qué Euler tuvo que luchar tanto, debemos entender el prestigio de Leibniz. A principios del siglo XVIII, Leibniz era la autoridad máxima en el continente. En 1702, lanzó una bomba lógica que dejó a los matemáticos paralizados por décadas.

Leibniz afirmó que el Teorema Fundamental del Álgebra era, en esencia, falso en el dominio de los números reales. Su argumento se basaba en la factorización. Todos sabían que un polinomio de grado 2 ($ax^2 + bx + c$) a veces no podía factorizarse en números reales (como $x^2 + 1$). Pero se creía que cualquier polinomio de grado superior siempre podía descomponerse en productos de polinomios de grado 1 y 2 con coeficientes reales.

Leibniz presentó el siguiente contraejemplo:

$$P(x) = x^4 + a^4$$

Él argumentó que este polinomio jamás podría reducirse a dos binomios cuadráticos reales. Según su lógica, las cuatro raíces de este polinomio eran:

1. $a\sqrt{i}$
2. $a\sqrt{-i}$
3. $-a\sqrt{i}$
4. $-a\sqrt{-i}$

Leibniz concluyó que, dado que estas raíces eran "tan imaginarias", era imposible agruparlas de forma que los componentes imaginarios se cancelaran para dejar coeficientes reales. Si el hombre que inventó el cálculo decía que no se podía, ¿quién era el resto del mundo para llevarle la contraria?

El error de Leibniz era sutil pero devastador. Él no dominaba la forma en que los números complejos se extraen de las raíces. Para él, $\sqrt{i}$ era una entidad casi mística, un "anfibio entre el ser y el no ser". No se dio cuenta de que $\sqrt{i}$ tiene una representación precisa en el plano complejo:

$$\sqrt{i} = \frac{1+i}{\sqrt{2}}$$

Al no ver esta identidad, Leibniz no pudo ver que las raíces podían combinarse en parejas conjugadas de manera perfecta. Este error mantuvo a la matemática europea en un estado de escepticismo durante casi 40 años. Se pensaba que el álgebra tenía "agujeros" insalvables.

En la década de 1740, Leonhard Euler, trabajando desde las academias de San Petersburgo y Berlín, decidió que la sospecha de Leibniz era una afrenta a la elegancia matemática. Euler sabía que, si el TFA fallaba, el análisis integral —el cálculo de áreas bajo curvas— colapsaría, pues no podríamos usar el método de fracciones simples para integrar funciones racionales.

En una carta a Nikolaus Bernoulli (I)(Suiza 1687 – 1759) en 1742 (no confundir con el hermano de Daniel Bernoulli, del mismo nombre pero fallecido en 1726), Euler pulverizó el contraejemplo de Leibniz con una elegancia que hoy enseñamos en secundaria, pero que en aquel entonces fue revolucionaria.

Tomemos el "indomable" $x^4 + a^4$. Euler mostró que podemos hacer un truco algebraico completando el cuadrado:

$$x^4 + a^4 = (x^4 + 2a^2x^2 + a^4) - 2a^2x^2$$

$$(x^4 + a^4) = (x^2 + a^2)^2 - (a\sqrt{2}x)^2$$

Ahora, aplicando la diferencia de cuadrados ($A^2 - B^2 = (A-B)(A+B)$):

$$x^4 + a^4 = (x^2 + a\sqrt{2}x + a^2)(x^2 - a\sqrt{2}x + a^2)$$

Obteniendo dos polinomios cuadráticos con coeficientes reales. El "imposible" de Leibniz se desmoronó ante los ojos de la comunidad científica. Sin embargo, demostrar que un caso funcionaba no era suficiente para convencer a los escépticos de que todos los casos funcionarían.

¿Por qué, tras ver el ejemplo de Euler, sus colegas no se rindieron de inmediato? Aquí es donde el thriller se vuelve político y filosófico.

Nikolaus Bernoulli I (el mismo de la carta de 1742), le envió a Euler el siguiente polinomio de cuarto grado, afirmando que no podía ser descompuesto en factores reales de segundo grado (parábolas):

$$P(x) = x^4 - 4x^3 + 2x^2 + 4x + 4$$

Nikolaus Bernoulli argumentaba que, al intentar buscar sus raíces, se obtenían números complejos tan "enredados" que los factores resultantes nunca podrían ser puramente reales. Euler, no solo demostró que Nikolaus estaba equivocado, sino que encontró los factores exactos. Mostró que cualquier polinomio de cuarto grado $x^4 + ax^3 + bx^2 + cx + d$ siempre puede expresarse como el producto de dos trinomios cuadráticos reales.

Para el caso especifico del polinomio de Nikolaus, Euler encontró la siguiente descomposición en trinomios cuadráticos:

$$(x^2 - (2 + \sqrt{4 + 2\sqrt{7}})x + (1 + \sqrt{7} + \sqrt{4 + 2\sqrt{7}})) \cdot (x^2 - (2 - \sqrt{4 + 2\sqrt{7}})x + (1 + \sqrt{7} - \sqrt{4 + 2\sqrt{7}}))$$

Matemáticos como Daniel Bernoulli (Suiza 1700 – 1783) y Jean d’Alembert (Francia 1717 – 1783) aceptaban que Euler había resuelto el caso de grado 4, ¿pero qué pasaba con el grado 8, el 16 o el 128? La duda residía en si podíamos asegurar la existencia de las raíces antes de calcularlas.

En el siglo XVIII, "existir" en matemáticas significaba "poder ser construido". Si no podías dar una fórmula para las raíces (cosa que es imposible para grados mayores a 4 según el futuro teorema de Abel-Ruffini), muchos argumentaban que no podías asegurar que esas raíces fueran números complejos de la forma $a + bi$. Existía el miedo de que, en grados muy altos, aparecieran "nuevos tipos de números" más allá de los complejos.

D'Alembert intentó su propia demostración en 1746. Su enfoque era puramente analítico (basado en el cálculo). Euler, aunque respetaba a d'Alembert, consideraba que su prueba era "sucia" porque dependía de supuestos sobre la convergencia de series que no estaban probados.

Euler quería una victoria algebraica. Quería demostrar que cualquier polinomio de grado par $n = 2^m \cdot k$ siempre podía reducirse.

Euler publicó su monumental Recherches sur les racines imaginaires des équations. Su estrategia fue una obra maestra de inducción.

1. Grados Impares: Euler sabía que cualquier polinomio de grado impar debe cruzar el eje X al menos una vez (debido al comportamiento de los límites en infinito). Por lo tanto, siempre tienen al menos una raíz real.
2. Reducción de Grados Pares: Su objetivo era demostrar que un polinomio de grado $2^m$ siempre puede factorizarse en dos de grado $2^{m-1}$.
3. Uso de Funciones Simétricas: Euler utilizó las relaciones entre raíces y coeficientes (las fórmulas de Vieta) para construir una nueva ecuación (la "ecuación resolvente") cuyo término constante fuera negativo, asegurando así la existencia de una raíz real para los coeficientes de los factores.

Aunque la demostración de Euler tenía un pequeño vacío lógico (asumía que las raíces existían en algún lugar para poder manipularlas), fue la primera vez que se ofreció un mapa coherente de por qué el TFA debía ser cierto.

Si tienes un polinomio $x^{2n} + 1$, Euler demostró que sus factores son siempre de la forma:

$$x^2 - 2x \cos\left(\frac{(2k-1)\pi}{2n}\right) + 1$$

Esta fórmula vincula la trigonometría, el álgebra y los números complejos, demostrando que la armonía que Leibniz creía rota era en realidad más profunda de lo que nadie imaginó.

Si Euler era tan brillante, ¿por qué la disputa duró décadas?

1. La Desconfianza en lo Imaginario: Los números complejos todavía se sentían como un truco contable. La idea de que "todos los números posibles" ya estaban contenidos en el plano complejo era difícil de digerir. Se esperaba que aparecieran "números hiper-imaginarios" para ecuaciones de grado 100.
2. La Falta de Rigor en el Límite: La matemática del XVIII no tenía la definición formal de límite de Cauchy. Sin ella, los argumentos sobre "acercarse a cero" de d'Alembert o la "existencia de valores" de Euler se sentían como castillos de naipes para los lógicos más estrictos.
3. El Peso de la Autoridad: Leibniz había proporcionado una "prueba de imposibilidad". En ciencia, demostrar que algo no se puede hacer suele tener un impacto psicológico mucho más fuerte que mostrar un ejemplo de cómo se hace.

Finalmente, la disputa se resolvió no porque Euler convenciera a todos sus detractores, sino porque sus métodos demostraron ser infalibles en la práctica. Sin embargo, el rigor absoluto no llegó hasta 1799, cuando un joven de 22 años llamado Carl Friedrich Gauss (Alemania 1777 – 1855) publicó su tesis doctoral.

Gauss criticó tanto a d'Alembert como a Euler. A d'Alembert por su falta de rigor analítico y a Euler por presuponer la existencia de las raíces para demostrar su existencia (un argumento circular). Gauss proporcionó una prueba geométrica que no necesitaba asumir la forma de las raíces, cerrando el capítulo que Leibniz había abierto por error casi un siglo antes.

La historia de Leibniz, Euler y el TFA nos enseña que el error de un genio puede ser tan productivo como el acierto de otro. Si Leibniz no hubiera planteado su contraejemplo erróneo, Euler quizás nunca se habría visto obligado a profundizar tanto en la estructura de los polinomios.

Hoy sabemos que el mundo es "algebraicamente cerrado". No hay nada más allá del plano complejo para las ecuaciones polinómicas. Gracias a que Euler se atrevió a desafiar la sombra de Leibniz, hoy tenemos las herramientas para entender desde la ingeniería eléctrica hasta la física cuántica.