• Aucun résultat trouvé

Des coefficients du polynôme caractéristique

N/A
N/A
Protected

Academic year: 2022

Partager "Des coefficients du polynôme caractéristique"

Copied!
2
0
0

Texte intégral

(1)

Des coefficients du polynôme caractéristique

Lemme : soientn∈N etAn(t) une matrice deMn(K) de la forme

An(t) =





f1(t) a1,2 · · · a1,n

a2,1 . .. . .. ... ... . .. . .. an1,n

an,1 · · · an,n1 fn(t)





où lesfk sont des fonctions affines et lesai,j sont indépendants det. Alors son déterminant s’écrit

detAn(t) =

n k=1

fk(t) +Rn(t)

où Rn est un polynôme de degré au plus n−2(éventuellement nul !).

En particulierdetAn(t) est un polynôme entde degré au plus n(et exactementnsi lesfk sont toutes de degré 1).

Dém.Par récurrence sur n:

•detA1(t) =f1(t) =

1 k=1

fk(t) +R1(t) avecR1= 0, de degré −∞, qui est bien inférieur à1−2 !

•supposons n≥2 tel que la propriété soit vraie au rang n−1 ; en développant le déterminant par rapport à la dernière ligne, j’obtiens

detAn(t) =fn(t) detAn1(t) +

n1 j=1

(−1)n+jan,jQj(t) où lesQj(t) sont des déterminants d’ordren−1 :

Qj(t) =

f1(t) a1,n

. .. ...

fj1(t) ...

aj,1 · · · aj,j1 aj,j+1 · · · aj,n fj+1(t) ...

. .. ...

fn1(t) an1,n .

Les échanges de lignesLi ↔Li+1 pouri=j, . . . , n−2 me donnent Qj(t) = (−1)n−1−jdetBn1(t)

et l’hypothèse de récurrence s’applique àBn1(t), dont les coefficients hors diagonale sont indépen- dants de t et les coefficients diagonaux des fonctions affines det, plus précisément n−2 fonctions affines (les fk(t) pour k∈[[1, n−1]]\ {j}) et une fonction constante (aj,n). La propriété au rang n−1montre alors quedetBn1(t) est un polynôme entde degré au plus n−2.

Par ailleurs, l’hypothèse de récurrence s’applique (plus directement !) àAn1(t) : detAn−1(t) =n−

1 k=1

fk(t) +Rn−1(t) où Rn1 est un polynôme de degré au plus n−3; alors

detAn(t) = n

k=1

fk(t) + fn(t)Rn1(t) +n

1 j=1

(−1)n+jαn,jQj(t)

où le crochet est une somme de polynômes ent, tous de degré inférieur ou égal à n−2, c’est donc un polynôme ent de degré au plusn−2, ce qui achève la démonstration du lemme.

(2)

Des coefficients du polynôme caractéristique Page 2 Soit maintenant M = (ai,j)∈ Mn(K). Le lemme s’applique à la matrice M −tIn, avec, pour tout k, fk(t) =ak,k−t. Ainsi

χM(t) = (−1)ndet (M−tIn) = (−1)n

n k=1

(ak,k−t) +Rn(t) où degRn≤n−2

=

n k=1

(t−ak,k) + (−1)nRn(t)

Il en résulte queχM est unitaire de degrénet que le coefficient detn1est celui de n

k=1

(t−ak,k), c’est-à- dire−

n k=1

ak,k (cf. les relations entre coefficients et racines. . . Sinon preuve par récurrence immédiate).

Je reconnais −Tr (M).

Enfin, le coefficient constant de χM est χM(0) = (−1)ndetM par définition. En conclusion χM(X) =Xn−Tr (M)·Xn−1+· · ·+ (−1)ndet (M).

Le résultat pour un endomorphisme s’en déduit en choisissant (arbitrairement) une base.

Dans le cas où χM est scindé surK, il s’écrit (puisque nous avons vu qu’il est unitaire de degrén!), χM(X) =

n j=1

(X−λj)

où j’ai noté(λ1, . . . , λn) un système de racinesdeχM (où les différentes racines sont éventuellement répétées selon leur multiplicité).

Autrement dit,(λ1, . . . , λn) estun système de valeurs propres deM.

Il vient alors, grâce aux relations entre coefficients et racines et à l’unicité des coefficients d’un polynôme, Tr (M) = n

j=1

λj et det (M) = n

j=1

λj.

Références

Documents relatifs

We show that sparse and Carleson coefficients are equivalent for every countable collection of Borel sets and hence, in particular, for dyadic rectangles, the case relevant to the

Le vecteur v est donc

Endomorphismes et matrices carrées diagonalisables (seulement la dénition, cette semaine) Un endomorphisme d'un espace vectoriel E de dimension nie est dit diagonalisable s'il

On suppose que E est de dimension nie ; soit u ∈ L (E) ; la trace de la matrice de u est la même dans toute base, c'est par dénition la trace de

Cela permet de dénir le polynôme caractéristique d'un endomorphisme de E comme étant le polynôme caractéristique d'une matrice associée à cet en-

[r]

[r]

Press, New York, 1953), Rose (Elementary Theory of Angular Momentum, Wiley, New York, 1957), and Cohen (Tables of the Clebsch-Gordan Coefficients, North American Rockwell Science