El cálculo de un polinomio de tipo determinante (el resultante) en los coeficientes de dos o más polinomios cuya anulación es condición necesaria y suficiente para que dichos polinomios tengan una raíz común en una clausura algebraica.

Principio

Construir una matriz de Sylvester (o Macaulay) a partir de los coeficientes y tomar su determinante; algebraicamente, el resultante genera el ideal de eliminación que caracteriza las soluciones comunes al eliminar una variable.

Demostración

Dadas f(x)=ax^2+bx+c y g(x)=dx+e, formar la matriz de Sylvester 3×3 con los coeficientes y calcular su determinante para obtener un polinomio en a,b,c,d,e que se anula exactamente cuando f y g comparten una raíz.

Aplicación incorrecta

Usar el resultante para inferir multiplicidades o decidir factores comunes en casos multivariados sin considerar factores extrínsecos introducidos por la homogeneización o la eliminación, lo que conduce a falsos positivos.

Consecuencia

Un cálculo correcto del resultante elimina variables para producir una condición polinómica única, útil para implicitar, eliminar, calcular discriminantes y decidir solvencia; posibilita la eliminación simbólica en sistemas algebraicos.

Inversión

En lugar de eliminar por determinantes, se pueden calcular gcds de polinomios o usar bases de Gröbner; la inversión consiste en recuperar raíces candidatas y verificarlas en el sistema original.

Límite

Más directo para eliminación univariada o para eliminar una sola variable en sistemas multivariados; sobre anillos que no son UFD o ante especialización de parámetros, el comportamiento del resultante puede cambiar y exigir normalización.

Tensión semántica

Tensión con métodos de gcd y bases de Gröbner: los resultantes dan una prueba polinómica compacta pero pueden tener grado alto e introducir factores extrínsecos, mientras que gcd/Gröbner controlan multiplicidades o estructura de forma distinta.

Síntesis

El cálculo del resultante produce una condición polinómica determinantal que elimina variables y caracteriza raíces comunes; es una herramienta de eliminación compacta que intercambia coste de matriz/determinante por factoración o cálculos de Gröbner.