Ecuaciones polinomiales de grado superior

El teorema del factor: la llave maestra

El teorema del factor afirma que si $r$ es raíz del polinomio $p(x)$ —es decir, $p(r) = 0$— entonces $(x - r)$ divide exactamente a $p(x)$. Recíprocamente, si $(x - r) \mid p(x)$, entonces $p(r) = 0$. Este resultado es la herramienta central para factorizar polinomios en olimpiadas.

La demostración es directa: por el algoritmo de división de polinomios, podemos escribir $p(x) = (x - r) \cdot q(x) + R$, donde $R$ es el resto (un número constante, pues el divisor tiene grado 1). Evaluando en $x = r$: $p(r) = 0 \cdot q(r) + R = R$. Si $p(r) = 0$ entonces $R = 0$, es decir, $(x - r) \mid p(x)$. Esto también se conoce como teorema del resto: el resto de dividir $p(x)$ entre $(x - r)$ es exactamente $p(r)$.

En la práctica, el flujo de trabajo es: (1) probar posibles raíces racionales; (2) cuando encuentras una raíz $r$, divides $p(x)$ entre $(x - r)$ para obtener un polinomio de grado menor; (3) repites el proceso con el cociente. Así reduces el problema paso a paso hasta un polinomio cuadrático que resuelves con la fórmula.

Ejemplo rápido: verifica que $x = 2$ es raíz de $p(x) = x^3 - 3x^2 + x + 2$. Calculamos $p(2) = 8 - 12 + 2 + 2 = 0$. ✓ Por el teorema del factor, $(x - 2) \mid p(x)$. Dividiendo: $x^3 - 3x^2 + x + 2 = (x - 2)(x^2 - x - 1)$. Las otras dos raíces son $\dfrac{1 \pm \sqrt{5}}{2}$.

Raíces racionales: dónde buscar

El teorema de las raíces racionales (o criterio racional) dice que si $p(x) = a_n x^n + \cdots + a_0$ tiene coeficientes enteros y la fracción $\dfrac{p}{q}$ (en mínimos términos) es raíz racional de $p(x)$, entonces $p \mid a_0$ y $q \mid a_n$. Esto reduce la búsqueda de raíces racionales a un conjunto finito de candidatos.

Para el polinomio $p(x) = 2x^3 - 5x^2 - 4x + 3$, los divisores de $a_0 = 3$ son $\pm 1, \pm 3$ y los divisores de $a_n = 2$ son $\pm 1, \pm 2$. Los candidatos son $\pm 1, \pm 3, \pm \tfrac{1}{2}, \pm \tfrac{3}{2}$. Probando: $p(3) = 54 - 45 - 12 + 3 = 0$. ✓ Entonces $(x - 3) \mid p(x)$. División: $p(x) = (x - 3)(2x^2 + x - 1) = (x - 3)(2x - 1)(x + 1)$. Raíces: $3, \tfrac{1}{2}, -1$.

Cuando ningún candidato racional funciona, el polinomio no tiene raíces racionales y debemos recurrir a métodos numéricos o a identidades especiales. En olimpiadas, los polinomios casi siempre están diseñados para tener raíces racionales o raíces que se obtienen por sustitución estratégica.

Consejo olímpico: antes de buscar raíces con fuerza bruta, evalúa $p(0), p(1), p(-1)$ y $p(2)$. Estos cuatro valores se calculan en segundos y con frecuencia uno de ellos es cero o te da información sobre el signo de $p$ en esos puntos.

Regla de signos de Descartes

La regla de signos de Descartes proporciona una cota superior para el número de raíces reales positivas de un polinomio. El enunciado: el número de raíces reales positivas (contadas con multiplicidad) de $p(x)$ es igual a la cantidad de cambios de signo en la secuencia de coeficientes de $p(x)$, o bien ese número menos un múltiplo par.

Para las raíces reales negativas, analiza $p(-x)$ y cuenta los cambios de signo en sus coeficientes. Ejemplo: $p(x) = x^4 - 3x^3 + x^2 + 5x - 2$. Coeficientes: $+, -, +, +, -$. Cambios de signo: entre $+$ y $-$ (posición 1→2), entre $-$ y $+$ (2→3), entre $+$ y $-$ (4→5). Hay 3 cambios, así que $p(x)$ tiene 3 o 1 raíces reales positivas.

Para $p(-x) = x^4 + 3x^3 + x^2 - 5x - 2$. Coeficientes: $+, +, +, -, -$. Un cambio de signo: entre la posición 3 y 4. Hay exactamente 1 raíz real negativa. Combinando: $p$ tiene 1 raíz negativa y (3 o 1) raíces positivas, más posiblemente raíces imaginarias por parejas conjugadas.

La regla de Descartes es útil en olimpiadas cuando quieres demostrar que una ecuación tiene solución única, o cuando quieres asegurarte de que no existen raíces reales de un cierto signo. No dice cuántas exactamente, solo una cota superior.

Ecuaciones bicuadradas: la sustitución mágica

Una ecuación bicuadrada tiene la forma $ax^4 + bx^2 + c = 0$: aparecen $x^4$ y $x^2$, pero no $x^3$ ni $x$. La estrategia es la sustitución $u = x^2$, con $u \geq 0$, que transforma la ecuación en la cuadrática $au^2 + bu + c = 0$.

Problema trabajado: resuelve $x^4 - 5x^2 + 4 = 0$. Sustituimos $u = x^2$: $u^2 - 5u + 4 = 0$. Factorizamos: $(u - 1)(u - 4) = 0$, así $u = 1$ o $u = 4$. Regresando a $x$: si $u = 1$ entonces $x^2 = 1$, luego $x = \pm 1$; si $u = 4$ entonces $x^2 = 4$, luego $x = \pm 2$. Las cuatro raíces son $x \in \{-2, -1, 1, 2\}$.

Verificación rápida con el teorema del factor: $p(1) = 1 - 5 + 4 = 0$ ✓, $p(-1) = 1 - 5 + 4 = 0$ ✓, $p(2) = 16 - 20 + 4 = 0$ ✓, $p(-2) = 16 - 20 + 4 = 0$ ✓. Además, $x^4 - 5x^2 + 4 = (x^2 - 1)(x^2 - 4) = (x-1)(x+1)(x-2)(x+2)$, que coincide con los cuatro factores lineales hallados.

La sustitución bicuadrada se generaliza: si un polinomio de grado $2n$ tiene la forma $a(x^n)^2 + b(x^n) + c$, la sustitución $u = x^n$ lo reduce a cuadrático. Por ejemplo, $x^6 - 7x^3 + 6 = 0$ se resuelve con $u = x^3$: $(u - 1)(u - 6) = 0$, luego $x^3 = 1$ o $x^3 = 6$, y de ahí $x = 1$ o $x = \sqrt[3]{6}$ (en los reales).

Estrategia integral: del enunciado a la solución

En un problema olímpico con ecuación polinomial de grado alto, el camino sistemático es: Paso 1, identifica si el polinomio es bicuadrado o admite alguna sustitución obvia. Paso 2, si no, aplica el criterio de raíces racionales para encontrar al menos una raíz. Paso 3, usa el teorema del factor para bajar el grado. Paso 4, repite hasta llegar a un cuadrático.

La regla de Descartes es un pre-filtro: úsala antes de empezar a probar candidatos para saber en qué rango buscar. Si la regla te dice "cero raíces positivas", no pierdas tiempo probando $x = 1, 2, 3, \ldots$.

Problema de olimpiada representativo (ONEM estilo): encuentra todas las soluciones enteras de $x^4 - 2x^3 - 3x^2 + 4x + 4 = 0$. Candidatos racionales: $\pm 1, \pm 2, \pm 4$. Probamos: $p(2) = 16 - 16 - 12 + 8 + 4 = 0$ ✓. Dividimos: $p(x) = (x - 2)(x^3 - 3x + 2) = 0$... no, verificamos: $(x-2)(x^3 - 3x - 2)$. Probando $x = -1$ en el cúbico: $-1 + 3 - 2 = 0$ ✓. Entonces $(x+1) \mid (x^3 - 3x - 2)$, y el cociente es $x^2 - x - 2 = (x-2)(x+1)$. Luego $p(x) = (x-2)^2(x+1)^2$. Soluciones enteras: $x = 2$ (raíz doble) y $x = -1$ (raíz doble).