Une matrice structurée associée à deux polynômes univariés dont les éléments sont des formes bilinéaires en les coefficients des polynômes ; son déterminant (à un facteur scalaire près) est le résultant et son noyau encode les racines communes et des informations sur le pgcd.

Principe

Construire la forme bilinéaire de Bézout B(f,g)(u,v) = (f(u)g(v) - f(v)g(u))/(u-v) et la représenter dans des bases de monômes pour obtenir la matrice de Bézout ; les propriétés algébriques de f et g (racines communes, multiplicités) correspondent au rang et au noyau de cette matrice.

Démonstration

Pour f(x)=a_0 + a_1 x + ... + a_m x^m et g(x)=b_0 + b_1 x + ... + b_n x^n, la matrice de Bézout de taille max(m,n) a des entrées données par les coefficients apparaissant dans le développement symétrique du bézoutien. Son déterminant s'annule exactement lorsque f et g ont une racine commune, fournissant le résultant.

Mauvaise application

Employer la matrice de Bézout sans tenir compte du conditionnement numérique peut conduire à des calculs de racines instables ; la confondre avec la matrice de Sylvester ou l'utiliser naïvement pour l'élimination multivariée sans adaptation donne des conclusions erronées.

Conséquence

Son emploi correct fournit un test algébrique compact pour les racines communes, une voie pour calculer des résultants, détecter des multiplicités et construire des linéarisations structurées pour des méthodes numériques d'auto-valeurs qui isolent les racines communes.

Inversion

La matrice de Sylvester est une autre matrice d'élimination construite par convolution des coefficients dont le déterminant est aussi le résultant ; l'inversion du choix met en évidence des compromis : Sylvester est souvent plus creuse, Bézout encode une forme bilinéaire symétrique avec des propriétés numériques et algébriques différentes.

Limite

La définition est standard pour des polynômes univariés sur un corps ou un domaine principal d'idéaux ; les extensions aux polynômes multivariés exigent élimination ou projection et ne sont pas directes. La mise à l'échelle, le changement de base et les coefficients principaux nuls doivent être traités pour éviter des artéfacts de défaut de rang.

Tension sémantique

Il existe une tension entre l'utilisation des matrices de Bézout comme outils exacts symboliques et leur comportement en contexte numérique où l'arrondi et le conditionnement jouent ; tension aussi entre différentes matrices de résultant (Sylvester, Dixon, bézoutien) qui représentent le même résultant différemment.

Synthèse

La matrice de Bézout est la réalisation matricielle de la forme bilinéaire de Bézout construite à partir de deux polynômes ; son déterminant fournit le résultant et son algèbre linéaire (rang, noyau) reflète précisément les racines communes et leurs multiplicités, offrant à la fois des approches symboliques d'élimination et des méthodes numériques structurées.