## [Matriz de Sylvester](/es/node/63524) Definición La matriz estructurada, de tipo Toeplitz, construida a partir de vectores de coeficientes de dos polinomios univariados cuya determinante es la resultante. Las filas consisten en copias desplazadas de las secuencias de coeficientes de los polinomios, de modo que la dependencia lineal de las columnas corresponde a una raíz común. ## Principio Principio Traducir la multiplicación polinómica y el desplazamiento de coeficientes a un objeto de álgebra lineal: alinear vectores de coeficientes desplazados de f y g en una matriz rectangular de modo que un vector nulo no trivial corresponda a un múltiplo polinómico común, y la determinante de la matriz cuadrada de Sylvester sea el criterio de eliminación. ## Demostración Demostración Dados f de grado m y g de grado n, formar una matriz con n filas de coeficientes de f desplazados y m filas de coeficientes de g desplazados para obtener una matriz de Sylvester de tamaño (m+n)×(m+n). Su determinante se anula exactamente cuando f y g tienen una raíz común; la caída del rango revela el grado del mcd. ## Aplicación incorrecta Aplicación incorrecta Construir la matriz de Sylvester con un orden de desplazamiento incorrecto u omitir la escala del coeficiente principal conduce a determinantes erróneos; usarla sin adaptaciones para sistemas multivariados en lugar de emplear matrices de Macaulay o resultantes sparses distorsiona la solvencia. ## Consecuencia Consecuencia La matriz de Sylvester convierte un problema de raíces comunes en problemas de rango y determinante: la determinante da la resultante, la deficiencia de rango el grado del mcd, y el núcleo produce polinomios anuladores útiles para la extracción de factores. ## Inversión Inversión Contrastada con las construcciones de Bezout o Hankel: mientras Sylvester organiza desplazamientos de coeficientes, las matrices de Bezout codifican formas bilineales de evaluación; invertir la perspectiva supone usar codificaciones bilineales duales en lugar de filas desplazadas para capturar factores comunes. ## Límite Límite Definida clásicamente para dos polinomios univariados; para más polinomios o casos multivariados se usan matrices de Macaulay o resultantes sparses. Sobre anillos con divisores de cero, las implicaciones de álgebra lineal del anular del determinante requieren hipótesis adicionales. ## Tensión semántica Tensión semántica Existe tensión entre las matrices de Sylvester y las de Bezout: ambas producen resultantes pero difieren en acondicionamiento numérico, simetría y cómo aparece la información de multiplicidad; la elección depende de los objetivos computacionales (rango vs estructura bilineal). ## Síntesis Síntesis La matriz de Sylvester es un codificado explícito en álgebra lineal de coeficientes polinómicos desplazados cuya determinante es la resultante: al convertir la eliminación en cálculos de rango y determinante vincula la solvencia polinómica con el análisis matricial clásico.