ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 17 — Groupe symétrique et déterminants · Calcul des déterminants

Exercice 44

Calcul

Soit a0a_{0}, …, an−1a_{n - 1} des nombres complexes, et A∈ℳn(ℂ)A \in \mathcal{M}_{n}(\mathbb{C}) la matrice dont les coefficients situés juste au-dessous de la diagonale valent 11, dont la dernière colonne est formée de a0a_{0}, a1a_{1}, …, an−1a_{n - 1}, et dont les autres coefficients sont nuls : A=(00⋯0a010⋯0a101⋱⋮⋮⋮⋱⋱0an−20⋯01an−1).A = \begin{pmatrix} 0 & 0 & \cdots & 0 & a_{0} \\ 1 & 0 & \cdots & 0 & a_{1} \\ 0 & 1 & \ddots & \vdots & \vdots \\ \vdots & \ddots & \ddots & 0 & a_{n - 2} \\ 0 & \cdots & 0 & 1 & a_{n - 1} \end{pmatrix}. Calculer det⁡(A−xIn)\det(A - xI_{n}) pour x∈ℂx \in \mathbb{C}. En déduire que tout polynôme unitaire de degré nn est, au signe près, de la forme x↦det⁡(A−xIn)x \mapsto \det(A - xI_{n}) pour une matrice AA bien choisie.

Corrigé

On pose Q(x)=xn−an−1xn−1−⋯−a1x−a0.Q(x) = x^{n} - a_{n - 1}x^{n - 1} - \cdots - a_{1}x - a_{0}. Pour n=1n = 1, on a directement det⁡(A−xI1)=a0−x=−Q(x)\det(A - xI_{1}) = a_{0} - x = -Q(x). On suppose n⩾2n \geqslant 2 et l'on effectue l'opération L1←L1+xL2+x2L3+⋯+xn−1Ln,L_{1} \leftarrow L_{1} + xL_{2} + x^{2}L_{3} + \cdots + x^{n - 1}L_{n}, qui ne change pas le déterminant. Pour j⩽n−1j \leqslant n - 1, la colonne jj de A−xInA - xI_{n} a pour seuls coefficients non nuls −x-x en ligne jj et 11 en ligne j+1j + 1 : le nouveau coefficient (1,j)(1, j) vaut xj−1(−x)+xj=0x^{j - 1}(-x) + x^{j} = 0. Le nouveau coefficient (1,n)(1, n) vaut a0+a1x+⋯+an−2xn−2+(an−1−x)xn−1=−Q(x).a_{0} + a_{1}x + \cdots + a_{n - 2}x^{n - 2} + (a_{n - 1} - x)x^{n - 1} = -Q(x). On développe par rapport à la première ligne (0,…,0,−Q(x))(0, \dots, 0, -Q(x)) : le coefficient est en place (1,n)(1, n), de signe (−1)n+1(-1)^{n + 1}, et le mineur, formé des lignes 22 à nn et des colonnes 11 à n−1n - 1, est triangulaire supérieur de diagonale (1,…,1)(1, \dots, 1). det⁡(A−xIn)=(−1)n+1(−Q(x))=(−1)n(xn−an−1xn−1−⋯−a1x−a0)\boxed{\det(A - xI_{n}) = (-1)^{n + 1}\big(-Q(x)\big) = (-1)^{n}\big(x^{n} - a_{n - 1}x^{n - 1} - \cdots - a_{1}x - a_{0}\big)} Soit RR un polynôme unitaire de degré nn, que l'on écrit R=Xn+bn−1Xn−1+⋯+b1X+b0.R = X^{n} + b_{n - 1}X^{n - 1} + \cdots + b_{1}X + b_{0}. Le choix ak=−bka_{k} = -b_{k} donne det⁡(A−xIn)=(−1)nR(x)\det(A - xI_{n}) = (-1)^{n}R(x) pour tout x∈ℂx \in \mathbb{C}. tout polynoˆme unitaire de degreˊ n est eˊgal, au signe (−1)n preˋs, aˋ x↦det⁡(A−xIn)\boxed{\text{tout polynôme unitaire de degré } n \text{ est égal, au signe } (-1)^{n} \text{ près, à } x \mapsto \det(A - xI_{n})} À retenir. La matrice AA est appelée matrice compagnon du polynôme. La fonction x↦det⁡(A−xIn)x \mapsto \det(A - xI_{n}) s'annule exactement aux xx pour lesquels A−xInA - xI_{n} n'est pas inversible ; cette fonction polynomiale sera étudiée en seconde année.

Dans l'édifice

Thèmes

calcul des déterminants, déterminants, polynômes et déterminants

Notions

déterminant

Ouvrir dans l'atlas interactif →