## [Matriz de Bézout](/es/node/63553) Definición Una matriz estructurada asociada a dos polinomios univariados cuyos elementos son formas bilineales en los coeficientes de los polinomios; su determinante (a un factor escalar) es el resultante y su núcleo codifica raíces comunes e información sobre el mcd. ## Principio Principio Construir la forma bilineal de Bézout B(f,g)(u,v) = (f(u)g(v) - f(v)g(u))/(u-v) y representarla en bases de monomios para obtener la matriz de Bézout; las propiedades algebraicas de f y g (raíces comunes, multiplicidades) corresponden a propiedades de rango y núcleo de esa matriz. ## Demostración Demostración Para f(x)=a_0 + a_1 x + ... + a_m x^m y g(x)=b_0 + b_1 x + ... + b_n x^n, la matriz de Bézout de tamaño max(m,n) tiene entradas dadas por los coeficientes que aparecen en la expansión simétrica del bezoutiano. Su determinante se anula exactamente cuando f y g tienen una raíz común, produciendo el resultante. ## Aplicación incorrecta Aplicación incorrecta Usar la matriz de Bézout sin tener en cuenta el condicionamiento numérico puede conducir a cálculos de raíces inestables; confundirla con la matriz de Sylvester o usarla de forma ingenua para eliminación multivariante sin adaptación produce conclusiones incorrectas. ## Consecuencia Consecuencia Su uso adecuado proporciona una prueba algebraica compacta de raíces comunes, una vía para calcular resultantes, detectar multiplicidades y formar linearizaciones estructuradas para métodos numéricos de autovalores que aíslan raíces comunes. ## Inversión Inversión La matriz de Sylvester es otra matriz de eliminación construida a partir de la convolución de coeficientes cuya determinante también es el resultante; invertir la elección muestra compensaciones: Sylvester suele ser más dispersa, Bézout codifica una forma bilineal simétrica con distintas propiedades numéricas y algebraicas. ## Límite Límite La definición es estándar para polinomios univariados sobre un cuerpo o dominio de ideales principales; las extensiones a polinomios multivariantes requieren eliminación o proyección y no son directas. Hay que gestionar escalado, cambio de base y coeficientes líderes nulos para evitar artefactos de defecto de rango. ## Tensión semántica Tensión semántica Existe tensión entre usar matrices de Bézout como herramientas exactas simbólicas y su comportamiento en entornos numéricos donde el redondeo y el condicionamiento importan; también tensión entre diferentes matrices de resultant (Sylvester, Dixon, bezoutiano) que representan el mismo resultante de forma distinta. ## Síntesis Síntesis La matriz de Bézout es la realización matricial de la forma bilineal de Bézout construida a partir de dos polinomios; su determinante proporciona el resultante y su álgebra lineal (rango, espacio nulo) refleja con precisión raíces comunes y multiplicidades, proporcionando tanto eliminación simbólica como enfoques numéricos estructurados.