ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 17 — Groupe symétrique et déterminants · Comatrice et formules de Cramer

Exercice 52

Démonstration

Soit A∈GLn(ℝ)A \in \mathrm{GL}_{n}(\mathbb{R}), B=A−JB = A - J la matrice obtenue en retranchant 11 à tous les coefficients de AA, et α\alpha la somme des coefficients de A−1A^{-1}. Montrer que det⁡B=(1−α)det⁡A.\det B = (1 - \alpha)\det A. On pourra développer det⁡B\det B par multilinéarité par rapport aux colonnes, puis interpréter à l'aide des cofacteurs de AA les termes obtenus.

Corrigé

On note C1C_{1}, …, CnC_{n} les colonnes de AA, UU la colonne dont tous les coefficients valent 11, et CijC_{ij} les cofacteurs de AA ; les colonnes de BB sont les Cj−UC_{j} - U. On développe det⁡(C1−U,…,Cn−U)\det(C_{1} - U, \dots, C_{n} - U) par linéarité par rapport à chaque colonne (proposition 9 (i)) : on obtient 2n2^{n} termes, selon que l'on prend CjC_{j} ou −U-U à chaque place. Tout terme où UU apparaît au moins deux fois est nul, car il a deux colonnes égales. Il reste det⁡B=det⁡A−∑j=1ndet⁡Aj,\det B = \det A - \sum_{j = 1}^{n} \det A_{j}, où AjA_{j} est la matrice AA dans laquelle la jj-ième colonne est remplacée par UU. Le développement de det⁡Aj\det A_{j} par rapport à sa jj-ième colonne (théorème 7 (i)) fait intervenir les cofacteurs de AA d'indices (i,j)(i, j), qui ne dépendent pas de cette colonne : det⁡Aj=∑i=1n1×Cij,doncdet⁡B=det⁡A−∑i,jCij.\det A_{j} = \sum_{i = 1}^{n} 1 \times C_{ij}, \qquad \text{donc} \qquad \det B = \det A - \sum_{i, j} C_{ij}. Par le théorème 8, A−1=1det⁡ACom⁡(A)TA^{-1} = \frac{1}{\det A}{\operatorname{Com}(A)}^{T}, dont les coefficients sont les Cjidet⁡A\frac{C_{ji}}{\det A}. La somme de ces coefficients est donc α=1det⁡A∑i,jCij,soit∑i,jCij=αdet⁡A.\alpha = \frac{1}{\det A}\sum_{i, j} C_{ij}, \qquad \text{soit} \qquad \sum_{i, j} C_{ij} = \alpha\det A.

det⁡(A−J)=(1−α)det⁡A\boxed{\det(A - J) = (1 - \alpha)\det A} Par exemple, pour A=2I2A = 2I_{2}, on trouve A−1=12I2A^{-1} = \frac{1}{2}I_{2}, α=1\alpha = 1, et en effet A−J=(1−1−11)A - J = \begin{pmatrix} 1 & -1 \\ -1 & 1 \end{pmatrix} est de déterminant nul ✓.

À retenir. L'égalité det⁡(A−J)=det⁡A−∑i,jCij\det(A - J) = \det A - \sum_{i, j} C_{ij} vaut pour toute matrice AA, inversible ou non : la multilinéarité ramène une perturbation de rang 11 à un calcul de cofacteurs. C'est le même mécanisme qu'à l'exercice 40, où det⁡(A+xJ)\det(A + xJ) est affine en xx.

Dans l'édifice

Thèmes

comatrice et cramer, déterminants, comatrice

Notions

comatrice, déterminant, cofacteur

Ouvrir dans l'atlas interactif →