ExerciceMaths Sup – MPSI, chapitre 17 — Groupe symétrique et déterminants · Comatrice et formules de Cramer
Exercice 52
Soit , la matrice obtenue en retranchant à tous les coefficients de , et la somme des coefficients de . Montrer que On pourra développer par multilinéarité par rapport aux colonnes, puis interpréter à l'aide des cofacteurs de les termes obtenus.
Corrigé
On note , …, les colonnes de , la colonne dont tous les coefficients valent , et les cofacteurs de ; les colonnes de sont les . On développe par linéarité par rapport à chaque colonne (proposition 9 (i)) : on obtient termes, selon que l'on prend ou à chaque place. Tout terme où apparaît au moins deux fois est nul, car il a deux colonnes égales. Il reste où est la matrice dans laquelle la -ième colonne est remplacée par . Le développement de par rapport à sa -ième colonne (théorème 7 (i)) fait intervenir les cofacteurs de d'indices , qui ne dépendent pas de cette colonne : Par le théorème 8, , dont les coefficients sont les . La somme de ces coefficients est donc
Par exemple, pour , on trouve , , et en effet est de déterminant nul ✓.
À retenir. L'égalité vaut pour toute matrice , inversible ou non : la multilinéarité ramène une perturbation de rang à un calcul de cofacteurs. C'est le même mécanisme qu'à l'exercice 40, où est affine en .