El método de los coeficientes indeterminados (para factorizar polinomios)

Factorizar un polinomio "a ojo" funciona bien cuando la factorización es evidente —una raíz racional visible, una identidad notable reconocible—. Pero muchos polinomios se factorizan de formas genuinamente sorprendentes, sin ninguna pista visual. El método de los coeficientes indeterminados convierte la búsqueda de una factorización —un problema de "adivinar"— en un problema de resolver un sistema de ecuaciones:

1. Postular la forma de la factorización, con coeficientes desconocidos: por ejemplo, "$P(x) = (x^2 + ax + b)(x^2 + cx + d)$ para ciertos $a, b, c, d$".
2. Expandir el producto postulado y agrupar por potencias de $x$.
3. Igualar coeficiente a coeficiente con el polinomio original — esto produce un sistema de ecuaciones algebraicas en $a, b, c, d, \ldots$
4. Resolver el sistema — a menudo explotando simetrías, sustituciones, o (si se buscan factorizaciones enteras) restricciones de divisibilidad.

Lo más interesante del método es que funciona en ambas direcciones: si el sistema tiene solución, se obtiene una factorización explícita; si se demuestra que el sistema no tiene solución (en los enteros, en los racionales, donde se esté buscando), se obtiene una demostración de que tal factorización no existe — es decir, una prueba de irreducibilidad. Pocas técnicas algebraicas elementales son tan simétricamente útiles para probar existencia y no-existencia con la misma maquinaria.

Paso 1 — Elegir la forma correcta. La elección de la forma postulada es la decisión más importante, y suele guiarse por:

• El grado: un polinomio de grado $4$ que no tiene raíces racionales (verificable por el criterio de la raíz racional, ver polinomios-avanzados) solo puede factorizarse, sobre $\mathbb{Z}$, como producto de dos cuadráticos —o ser irreducible—.
• La simetría: si $P(x)$ es par (solo potencias pares), conviene postular factores también simétricos entre sí, como $(x^2+ax+b)(x^2-ax+b)$ — una forma con menos parámetros, más fácil de resolver, y que cubre una familia amplia de casos relevantes.
• El comportamiento modular o asintótico: a veces el término líder o el término constante del polinomio fuerzan relaciones entre los coeficientes de los factores (por ejemplo, $bd =$ término constante), reduciendo drásticamente las posibilidades a verificar.

Paso 2 — Expandir y agrupar. Para $(x^2+ax+b)(x^2+cx+d)$:

Esta expansión —que conviene memorizar o, mejor aún, saber producir mecánicamente— es la plantilla a partir de la cual se construye el sistema en casi todos los problemas de factorización de cuárticas en dos cuadráticos.

Paso 3 — Igualar coeficientes. Si $P(x) = x^4 + px^2 + q$ (un polinomio bicuadrático, sin términos de grado impar), igualar con la expansión anterior da el sistema

Paso 4 — Resolver, explotando la estructura. De $a + c = 0$ se obtiene $c = -a$. Sustituyendo en la tercera ecuación, $ad + bc = ad - ab = a(d - b) = 0$, así que $a = 0$ o $d = b$ — una bifurcación que organiza el resto del análisis en dos casos limpios. Esta reducción —de cuatro incógnitas acopladas a una disyunción manejable— es el momento en que el método "se paga solo": lo que parecía un sistema de cuatro ecuaciones en cuatro incógnitas se convierte en dos sistemas mucho más simples.

Objetivo. Factorizar $x^4 + 4$ en $\mathbb{Z}[x]$.

Postulamos $x^4 + 4 = (x^2+ax+b)(x^2+cx+d)$ y aplicamos el sistema del Paso 3 con $p = 0$, $q = 4$:

Caso $a = 0$: entonces $c = 0$ y $b + d = 0$, es decir $d = -b$; junto con $bd = 4$ esto da $-b^2 = 4$, imposible para $b$ real. Este caso no produce soluciones.

Caso $d = b$: entonces $c = -a$, y la segunda ecuación se convierte en $2b - a^2 = 0$, es decir $a^2 = 2b$. Junto con $bd = b^2 = 4$, obtenemos $b = \pm 2$. Como $a^2 = 2b \geq 0$, debe ser $b = 2$, de donde $a^2 = 4$ y $a = \pm 2$.

Tomando $a = 2$ (la elección $a = -2$ simplemente intercambia los dos factores): $c = -2$, $b = d = 2$, y

Esta es exactamente la identidad de Sophie Germain $a^4 + 4b^4 = (a^2+2b^2-2ab)(a^2+2b^2+2ab)$, evaluada en $b=1$ — recuperada aquí no por inspiración repentina, sino resolviendo un sistema. $\blacksquare$

Objetivo. Demostrar que $x^4 + 1$ es irreducible sobre $\mathbb{Z}$ (y, por el lema de Gauss, sobre $\mathbb{Q}$).

Primero descartamos factores lineales: por el criterio de la raíz racional, las únicas raíces racionales posibles son $\pm 1$, y $1^4+1 = (-1)^4+1 = 2 \neq 0$. Así que cualquier factorización no trivial debe ser un producto de dos cuadráticos con coeficientes enteros.

Postulamos $x^4 + 1 = (x^2+ax+b)(x^2+cx+d)$ con $a,b,c,d \in \mathbb{Z}$. El sistema (con $p=0$, $q=1$) es idéntico en forma al del Ejemplo 1:

Caso $a = 0$: $c = 0$, $b + d = 0$, $bd = 1 \Rightarrow -b^2 = 1$, imposible.

Caso $d = b$: $a^2 = 2b$ (como antes), y $bd = b^2 = 1 \Rightarrow b = \pm 1$. Si $b = 1$: $a^2 = 2$, no es un cuadrado entero. Si $b = -1$: $a^2 = -2$, imposible.

Ningún caso produce una solución entera. Por tanto $x^4+1$ no admite ninguna factorización no trivial en $\mathbb{Z}[x]$: es irreducible. $\blacksquare$

La comparación que vale la pena interiorizar. Los Ejemplos 1 y 2 resuelven, palabra por palabra, el mismo sistema —solo cambia el valor de $q = bd$ (de $4$ a $1$)—. Ese único cambio es lo que decide si el sistema tiene solución entera o no. Esta es la moraleja central del método: la pregunta "¿se puede factorizar?" se convierte en la pregunta, mucho más concreta, "¿tiene este sistema de ecuaciones una solución entera (o racional)?" — y esta segunda pregunta, a diferencia de la primera, es atacable con herramientas estándar (sustitución, análisis de casos, argumentos de divisibilidad).

Objetivo. Factorizar $x^4 + x^2 + 1$.

Aquí el polinomio no encaja en el molde $x^4 + p x^2 + q$ con $p, q$ arbitrarios sin más estructura — pero sí se puede aplicar el mismo sistema. Con $p = 1$, $q = 1$:

Probamos $d = b$ (el caso $a=0$ lleva, como siempre, a $-b^2 = 1$, imposible): entonces $bd = b^2 = 1 \Rightarrow b = \pm 1$, y $2b - a^2 = 1$. Si $b = 1$: $a^2 = 1$, $a = \pm 1$. Tomando $a = 1, c = -1, b = d = 1$:

Una verificación directa confirma la identidad. $\blacksquare$ Esta factorización —que generaliza a $x^{4k}+x^{2k}+1 = (x^{2k}+x^k+1)(x^{2k}-x^k+1)$, una identidad que reaparece constantemente en problemas sobre divisibilidad de $\frac{x^{3k}-1}{x^k-1}$— es mucho más fácil de encontrar mediante el sistema que de adivinar directamente.

Este es el ejemplo olímpico clásico que muestra el verdadero alcance de la identidad de Sophie Germain —y, por extensión, del método que la produce—.

Si $n$ es par, escribimos $n = 2m$, y entonces $4^n = 4^{2m} = (2^m)^4 \cdot 4$, así que

una factorización no trivial (ambos factores son mayores que $1$ para $n > 1$) por la identidad de Sophie Germain con $b = 2^m$.

Si $n$ es impar, el argumento es más sutil: se escribe $4^n = 4 \cdot 4^{n-1} = 4 \cdot (2^{(n-1)/2})^4$ — válido porque $n - 1$ es par— y se aplica la misma identidad de Sophie Germain con $b = 2^{(n-1)/2}$, obteniendo de nuevo una factorización no trivial de $n^4 + 4^n$.

En ambos casos, $n^4 + 4^n$ se escribe como producto de dos enteros mayores que $1$, así que es compuesto. $\blacksquare$ Vale la pena notar que toda la dificultad del problema —encontrar la forma correcta de aplicar la identidad— desaparece si primero se deriva la identidad mediante coeficientes indeterminados (Ejemplo 1): entonces se reconoce de inmediato la estructura "$x^4 + 4y^4$" detrás de la expresión $n^4 + 4 \cdot (\text{potencia cuarta})$, y el problema se convierte en una mera cuestión de manipulación de exponentes.