ExerciceMaths Sup – MPSI, chapitre 17 — Groupe symétrique et déterminants · Formes -linéaires alternées et déterminant d'une famille
Exercice 18
Dans , on considère, pour , les vecteurs , et .
1. Pour quelles valeurs de la famille est-elle une base de ?
2. Pour chacune des valeurs exclues, déterminer le rang de la famille.
Corrigé
1. Par le théorème 4, la famille est une base si et seulement si son déterminant dans la base canonique est non nul. On ajoute à la première colonne les deux autres, ce qui ne change pas le déterminant (proposition 10), et l'on factorise par linéarité ; on retranche ensuite la troisième ligne aux deux premières : Le développement par rapport à la première colonne (théorème 7) ne laisse que le terme du coefficient d'indice :
Pour , la formule donne ; la règle de Sarrus, appliquée aux colonnes , et , donne ✓.
2. Pour , les trois vecteurs sont égaux à , non nul. Pour , la somme est nulle, et , ne sont pas colinéaires, la famille est donc de rang au moins . À retenir. Le déterminant détecte les valeurs exclues, mais ne donne pas le rang : un déterminant nul dit seulement que le rang est inférieur à . On remarquera que la racine double correspond à la chute de rang la plus forte ; c'est un phénomène fréquent, mais ce n'est pas une règle.