Un escalar, a menudo expresado como el determinante de una matriz construida ad hoc (para dos polinomios univariados, la matriz de Sylvester), que se anula exactamente cuando los polinomios de entrada poseen una raíz común no trivial en el espacio proyectivo. La resultante es un objeto de eliminación: condensa la condición «existe x tal que f(x)=g(x)=0» en una única expresión polinómica en los coeficientes.

Principio

Eliminación mediante relaciones lineales entre vectores de coeficientes desplazados: construir un determinante cuya anulación sea equivalente a la existencia de una raíz común. Algebraicamente, la resultante es un polinomio en los coeficientes que codifica la solvencia del sistema polinómico tras eliminar la variable.

Demostración

Para dos polinomios univariados f y g de grados m y n, se forma la matriz de Sylvester con m+n filas a partir de desplazamientos de los vectores de coeficientes; su determinante es Res(f,g). Si g es lineal, Res(f,g) se reduce (hasta una unidad) a evaluar g en las raíces de f, por lo que el determinante se anula precisamente cuando el polinomio lineal comparte una raíz con f.

Aplicación incorrecta

Usar la resultante calculada sobre un anillo no íntegro (por ejemplo, con divisores de cero) sin comprobar la saturación puede dar conclusiones falsas de anulación; tratar una evaluación numérica en coma flotante de la resultante como exacta puede producir raíces comunes espurias debido a inestabilidad numérica y problemas de escala.

Consecuencia

Una resultante no nula certifica que los polinomios no tienen raíz común en un cierre algebraico, mientras que una resultante nula proporciona una condición algebraica a investigar (cálculo del mcd, detección de factores o elevación de una raíz); las resultantes permiten algoritmos basados en eliminación para resolver y decidir solvencia.

Inversión

En lugar de eliminar variables para obtener un certificado escalar de raíces comunes, el enfoque inverso es construir soluciones comunes explícitas o calcular el máximo común divisor: la eliminación da información de existencia, mientras que la factorización explícita produce los factores correspondientes a las raíces compartidas.

Límite

Se aplica con claridad a polinomios univariados sobre dominios íntegros y se extiende con cuidado a resultantes multivariadas (Macaulay, resultantes sparses). No ofrece directamente la estructura de multiplicidad sin refinamientos y debe adaptarse cuando los coeficientes pertenecen a anillos con torsión o son especializados.

Tensión semántica

Estrechamente relacionada con el mcd: ambos detectan factores comunes, pero la resultante es un polinomio de eliminación único en los coeficientes mientras que el mcd es un polinomio factor explícito; se intercambia información de existencia condensada (resultante) por datos constructivos de factorización (mcd).

Síntesis

La resultante es una determinante de eliminación que codifica si los polinomios comparten raíces: construida a partir de relaciones de coeficientes desplazados (construcciones tipo Sylvester), proporciona una condición polinómica única de solvencia complementaria a los métodos basados en el mcd y la factorización.