ExerciceMaths Sup – MPSI, chapitre 17 — Groupe symétrique et déterminants · Calcul des déterminants
Exercice 46
Soit , .
1. Montrer que est une fonction polynomiale de degré au plus . On pourra écrire avec et inversibles, comme au chapitre 16.
2. On suppose . Montrer que .
Corrigé
1. Soit . Par le théorème 6 du chapitre 16, , avec et inversibles. On pose , de sorte que , et Les colonnes de sont pour , et pour . Par linéarité par rapport à chacune des premières colonnes, est une somme de termes, chacun de la forme multiplié par un déterminant indépendant de , avec .
2. Par la question 1, pour tout réel , avec (valeur en ) et réel. Par le théorème 6 (i),
Piège. Pour , l'inégalité peut être fausse : avec , et , on trouve . C'est le degré au plus qui produit le produit .