ATLAS Ouvrir dans l'atlas →

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

Exercice 40

Démonstration

Soit A=(aij)∈ℳn(ℝ)A = (a_{ij}) \in \mathcal{M}_{n}(\mathbb{R}). Pour x∈ℝx \in \mathbb{R}, on note A(x)=A+xJA(x) = A + xJ la matrice de coefficients aij+xa_{ij} + x.

1. Montrer que x↦det⁡A(x)x \mapsto \det A(x) est une fonction polynomiale de degré au plus 11. On pourra soustraire la première colonne de A(x)A(x) à chacune des autres.

2. Soit α1\alpha_{1}, …, αn\alpha_{n} des réels, aa et bb deux réels distincts, et f(x)=∏i=1n(αi−x)f(x) = \prod_{i = 1}^{n}(\alpha_{i} - x). Montrer que le déterminant d'ordre nn dont les coefficients diagonaux sont α1\alpha_{1}, …, αn\alpha_{n}, les coefficients situés au-dessus de la diagonale valent aa, et ceux situés au-dessous valent bb, est égal à bf(a)−af(b)b−a.\frac{bf(a) - af(b)}{b - a}.

3. Calculer ce déterminant lorsque a=ba = b, en développant det⁡(D+bJ)\det(D + bJ) par multilinéarité, où DD est la matrice diagonale de coefficients α1−b\alpha_{1} - b, …, αn−b\alpha_{n} - b.

4. En déduire le déterminant de la matrice dont les coefficients diagonaux valent aa et les autres bb.

5. On suppose nn pair et AA antisymétrique. Montrer que det⁡A(x)=det⁡A\det A(x) = \det A pour tout x∈ℝx \in \mathbb{R}.

Corrigé

1. On note A1A_{1}, …, AnA_{n} les colonnes de AA et U=(1,…,1)U = (1, \dots, 1), de sorte que les colonnes de A(x)A(x) sont les Aj+xUA_{j} + xU. Les opérations Cj←Cj−C1C_{j} \leftarrow C_{j} - C_{1}, pour j⩾2j \geqslant 2, remplacent ces colonnes par Aj−A1A_{j} - A_{1}, qui ne dépendent plus de xx. Par linéarité par rapport à la première colonne, det⁡A(x)=det⁡(A1,A2−A1,…,An−A1)+xdet⁡(U,A2−A1,…,An−A1).\det A(x) = \det(A_{1}, A_{2} - A_{1}, \dots, A_{n} - A_{1}) + x\det(U, A_{2} - A_{1}, \dots, A_{n} - A_{1}).

det⁡A(x)=det⁡A+cx,avec c indeˊpendant de x\boxed{\det A(x) = \det A + cx, \quad \text{avec } c \text{ indépendant de } x}

2. Soit MM la matrice de l'énoncé et g(x)=det⁡(M+xJ)g(x) = \det(M + xJ), de la forme g(x)=p+qxg(x) = p + qx par la question 1, avec p=det⁡Mp = \det M. Pour x=−ax = -a, la matrice M−aJM - aJ est triangulaire inférieure de diagonale (αi−a)(\alpha_{i} - a), donc g(−a)=f(a)g(-a) = f(a) ; de même, M−bJM - bJ est triangulaire supérieure, et g(−b)=f(b)g(-b) = f(b). Le système p−aq=f(a),p−bq=f(b)p - aq = f(a), \qquad p - bq = f(b) donne, par différence, (b−a)q=f(a)−f(b)(b - a)q = f(a) - f(b), puis p=f(a)+aq=(b−a)f(a)+af(a)−af(b)b−ap = f(a) + aq = \dfrac{(b - a)f(a) + af(a) - af(b)}{b - a}. det⁡M=bf(a)−af(b)b−a\boxed{\det M = \frac{bf(a) - af(b)}{b - a}}

3. Lorsque a=ba = b, la matrice est D+bJD + bJ, de colonnes Dj+bUD_{j} + bU, avec Dj=(αj−b)ejD_{j} = (\alpha_{j} - b)e_{j}. On développe par multilinéarité : chaque terme choisit, dans chaque colonne, DjD_{j} ou bUbU. Les termes où bUbU apparaît au moins deux fois sont nuls, car la forme est alternée. Il reste det⁡D\det D et les nn termes où bUbU occupe une seule place ii. Dans ce dernier, on écrit bU=b∑kekbU = b\sum_{k}e_{k} : pour k≠ik \neq i, la colonne eke_{k} est colinéaire à DkD_{k}, et la famille est liée (proposition 6 (iii)) ; il ne reste que k=ik = i, qui donne b∏j≠i(αj−b)b\prod_{j \neq i}(\alpha_{j} - b). det⁡(D+bJ)=∏i=1n(αi−b)+b∑i=1n∏j≠i(αj−b)\boxed{\det(D + bJ) = \prod_{i = 1}^{n}(\alpha_{i} - b) + b\sum_{i = 1}^{n}\prod_{j \neq i}(\alpha_{j} - b)} On peut aussi obtenir ce résultat comme limite de celui de la question 2 quand aa tend vers bb : c'est la dérivée en bb de x↦xf(b)−bf(x)x \mapsto xf(b) - bf(x), à savoir f(b)−bf′(b)f(b) - bf'(b).

4. On applique la question 3 avec tous les αi\alpha_{i} égaux au coefficient diagonal aa (cette lettre ne désigne plus ici le coefficient au-dessus de la diagonale) : (a−b)n+nb(a−b)n−1=(a−b)n−1(a−b+nb).(a - b)^{n} + nb(a - b)^{n - 1} = (a - b)^{n - 1}(a - b + nb).

det⁡=(a+(n−1)b)(a−b)n−1\boxed{\det = \big(a + (n - 1)b\big)(a - b)^{n - 1}} Pour a=xa = x et b=1b = 1, on retrouve la deuxième matrice de l'exercice 36, de déterminant (x+3)(x−1)3(x + 3)(x - 1)^{3} pour n=4n = 4. ✓

5. On a A(x)T=AT+xJ=−A+xJ=−A(−x){A(x)}^{T} = {A}^{T} + xJ = -A + xJ = -A(-x). Par le théorème 6 (iv) et (i), et puisque nn est pair, det⁡A(x)=det⁡(A(x)T)=(−1)ndet⁡A(−x)=det⁡A(−x).\det A(x) = \det\big({A(x)}^{T}\big) = (-1)^{n}\det A(-x) = \det A(-x). La fonction affine x↦det⁡A+cxx \mapsto \det A + cx prend donc la même valeur en xx et en −x-x : c=0c = 0. det⁡A(x)=det⁡A(x∈ℝ)\boxed{\det A(x) = \det A \quad (x \in \mathbb{R})} À retenir. L'idée de la question 2 est de considérer le déterminant comme une fonction d'un paramètre ajouté, de forme connue (ici affine), puis de l'évaluer là où il est facile. La même idée reviendra aux exercices 46 et 56.

Dans l'édifice

Thèmes

calcul des déterminants, déterminants

Notions

déterminant

Ouvrir dans l'atlas interactif →