ExerciceMaths Sup – MPSI, chapitre 17 — Groupe symétrique et déterminants · Calcul des déterminants
Exercice 40
Soit . Pour , on note la matrice de coefficients .
1. Montrer que est une fonction polynomiale de degré au plus . On pourra soustraire la première colonne de à chacune des autres.
2. Soit , …, des réels, et deux réels distincts, et . Montrer que le déterminant d'ordre dont les coefficients diagonaux sont , …, , les coefficients situés au-dessus de la diagonale valent , et ceux situés au-dessous valent , est égal à
3. Calculer ce déterminant lorsque , en développant par multilinéarité, où est la matrice diagonale de coefficients , …, .
4. En déduire le déterminant de la matrice dont les coefficients diagonaux valent et les autres .
5. On suppose pair et antisymétrique. Montrer que pour tout .
Corrigé
1. On note , …, les colonnes de et , de sorte que les colonnes de sont les . Les opérations , pour , remplacent ces colonnes par , qui ne dépendent plus de . Par linéarité par rapport à la première colonne,
2. Soit la matrice de l'énoncé et , de la forme par la question 1, avec . Pour , la matrice est triangulaire inférieure de diagonale , donc ; de même, est triangulaire supérieure, et . Le système donne, par différence, , puis .
3. Lorsque , la matrice est , de colonnes , avec . On développe par multilinéarité : chaque terme choisit, dans chaque colonne, ou . Les termes où apparaît au moins deux fois sont nuls, car la forme est alternée. Il reste et les termes où occupe une seule place . Dans ce dernier, on écrit : pour , la colonne est colinéaire à , et la famille est liée (proposition 6 (iii)) ; il ne reste que , qui donne . On peut aussi obtenir ce résultat comme limite de celui de la question 2 quand tend vers : c'est la dérivée en de , à savoir .
4. On applique la question 3 avec tous les égaux au coefficient diagonal (cette lettre ne désigne plus ici le coefficient au-dessus de la diagonale) :
Pour et , on retrouve la deuxième matrice de l'exercice 36, de déterminant pour . ✓
5. On a . Par le théorème 6 (iv) et (i), et puisque est pair, La fonction affine prend donc la même valeur en et en : . À 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.