ExerciceMaths Sup – MPSI, chapitre 17 — Groupe symétrique et déterminants · Comatrice et formules de Cramer
Exercice 50
Soit l'endomorphisme de défini par
1. Calculer . L'endomorphisme est-il bijectif ?
2. Calculer la comatrice de la matrice de dans la base canonique, et en déduire la matrice de .
3. Résoudre le système à l'aide des formules de Cramer, et vérifier le résultat à l'aide de la question précédente.
Corrigé
On note la matrice de dans la base canonique ; ses colonnes sont les images des vecteurs de base, et ses lignes se lisent sur les trois coordonnées de .
1. Par la proposition 9 (ii), , que l'on calcule par la règle de Sarrus : Par le théorème 5 (iii), est un automorphisme de : il est bijectif.
2. On calcule les neuf cofacteurs , en lisant les signes sur le damier ; par exemple et . On obtient Par le théorème 8, la matrice de est : On contrôle le produit de la première ligne de par la première colonne de :
3. Le système , avec , est de Cramer. Par la proposition 14, , où s'obtient en remplaçant la première colonne de par , et de même pour et . La règle de Sarrus donne d'où La question précédente donne le même résultat : On vérifie enfin la première équation : ✓.
À retenir. Les deux méthodes reviennent au même calcul : la formule de Cramer n'est autre que le développement de par rapport à sa -ième colonne, c'est-à-dire la -ième ligne de . Pour un système d'ordre , elles restent raisonnables ; au-delà, la méthode du pivot du chapitre 16 est bien plus économique.