ATLAS Ouvrir dans l'atlas →

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

Exercice 50

Calcul

Soit ff l'endomorphisme de ℝ3\mathbb{R}^{3} défini par f(x,y,z)=(y+z, −x+y+3z, 6x−7y−5z).f(x, y, z) = (y + z,\ -x + y + 3z,\ 6x - 7y - 5z).

1. Calculer det⁡f\det f. L'endomorphisme ff est-il bijectif ?

2. Calculer la comatrice de la matrice de ff dans la base canonique, et en déduire la matrice de f−1f^{-1}.

3. Résoudre le système f(x,y,z)=(2,4,−2)f(x, y, z) = (2, 4, -2) à l'aide des formules de Cramer, et vérifier le résultat à l'aide de la question précédente.

Corrigé

On note AA la matrice de ff dans la base canonique ; ses colonnes sont les images des vecteurs de base, et ses lignes se lisent sur les trois coordonnées de f(x,y,z)f(x, y, z). A=(011−1136−7−5).A = \begin{pmatrix} 0 & 1 & 1 \\ -1 & 1 & 3 \\ 6 & -7 & -5 \end{pmatrix}.

1. Par la proposition 9 (ii), det⁡f=det⁡A\det f = \det A, que l'on calcule par la règle de Sarrus : det⁡A=0+18+7−6−0−5,soitdet⁡f=14≠0\det A = 0 + 18 + 7 - 6 - 0 - 5, \qquad \text{soit} \qquad \boxed{\det f = 14 \neq 0} Par le théorème 5 (iii), ff est un automorphisme de ℝ3\mathbb{R}^{3} : il est bijectif.

2. On calcule les neuf cofacteurs Cij=(−1)i+jΔijC_{ij} = (-1)^{i + j}\Delta_{ij}, en lisant les signes sur le damier ; par exemple C11=(1)(−5)−(3)(−7)=16C_{11} = (1)(-5) - (3)(-7) = 16 et C12=−((−1)(−5)−(3)(6))=13C_{12} = -\big((-1)(-5) - (3)(6)\big) = 13. On obtient Com⁡(A)=(16131−2−662−11)\boxed{\operatorname{Com}(A) = \begin{pmatrix} 16 & 13 & 1 \\ -2 & -6 & 6 \\ 2 & -1 & 1 \end{pmatrix}} Par le théorème 8, la matrice de f−1f^{-1} est A−1=1det⁡A Com⁡(A)TA^{-1} = \frac{1}{\det A}\,{\operatorname{Com}(A)}^{T} : Mat(f−1)=114(16−2213−6−1161)\boxed{\mathrm{Mat}(f^{-1}) = \frac{1}{14}\begin{pmatrix} 16 & -2 & 2 \\ 13 & -6 & -1 \\ 1 & 6 & 1 \end{pmatrix}} On contrôle le produit de la première ligne de AA par la première colonne de A−1A^{-1} : 114(0×16+1×13+1×1)=1 ✓\frac{1}{14}(0 \times 16 + 1 \times 13 + 1 \times 1) = 1 \ \checkmark

3. Le système AX=BAX = B, avec B=(2,4,−2)B = (2, 4, -2), est de Cramer. Par la proposition 14, x=det⁡A114x = \frac{\det A_{1}}{14}, où A1A_{1} s'obtient en remplaçant la première colonne de AA par BB, et de même pour yy et zz. La règle de Sarrus donne det⁡A1=∣211413−2−7−5∣=20,det⁡A2=∣021−1436−2−5∣=4,det⁡A3=∣012−1146−7−2∣=24,\det A_{1} = \begin{vmatrix} 2 & 1 & 1 \\ 4 & 1 & 3 \\ -2 & -7 & -5 \end{vmatrix} = 20, \qquad \det A_{2} = \begin{vmatrix} 0 & 2 & 1 \\ -1 & 4 & 3 \\ 6 & -2 & -5 \end{vmatrix} = 4, \qquad \det A_{3} = \begin{vmatrix} 0 & 1 & 2 \\ -1 & 1 & 4 \\ 6 & -7 & -2 \end{vmatrix} = 24, d'où (x,y,z)=(107,27,127)\boxed{(x, y, z) = \Big(\frac{10}{7}, \frac{2}{7}, \frac{12}{7}\Big)} La question précédente donne le même résultat : A−1B=114(32−8−4, 26−24+2, 2+24−2)=114(20,4,24) ✓A^{-1}B = \frac{1}{14}\big(32 - 8 - 4,\ 26 - 24 + 2,\ 2 + 24 - 2\big) = \frac{1}{14}(20, 4, 24) \ \checkmark On vérifie enfin la première équation : y+z=147=2y + z = \frac{14}{7} = 2 ✓.

À retenir. Les deux méthodes reviennent au même calcul : la formule de Cramer xi=det⁡Aidet⁡Ax_{i} = \frac{\det A_{i}}{\det A} n'est autre que le développement de det⁡Ai\det A_{i} par rapport à sa ii-ième colonne, c'est-à-dire la ii-ième ligne de 1det⁡ACom⁡(A)TB\frac{1}{\det A}{\operatorname{Com}(A)}^{T}B. Pour un système d'ordre 33, elles restent raisonnables ; au-delà, la méthode du pivot du chapitre 16 est bien plus économique.

Dans l'édifice

Thèmes

comatrice et cramer, déterminants, comatrice, formules de cramer

Notions

comatrice, déterminant, cofacteur

Ouvrir dans l'atlas interactif →