ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 17 — Groupe symétrique et déterminants · Formes nn-linéaires alternées et déterminant d'une famille

Exercice 18

Calcul

Dans ℝ3\mathbb{R}^{3}, on considère, pour t∈ℝt \in \mathbb{R}, les vecteurs e1=(1,1,t)e_{1} = (1, 1, t), e2=(1,t,1)e_{2} = (1, t, 1) et e3=(t,1,1)e_{3} = (t, 1, 1).

1. Pour quelles valeurs de tt la famille (e1,e2,e3)(e_{1}, e_{2}, e_{3}) est-elle une base de ℝ3\mathbb{R}^{3} ?

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 t+2t + 2 par linéarité ; on retranche ensuite la troisième ligne aux deux premières : ∣11t1t1t11∣=∣t+21tt+2t1t+211∣=(t+2)∣11t1t1111∣=(t+2)∣00t−10t−10111∣.\begin{vmatrix} 1 & 1 & t \\ 1 & t & 1 \\ t & 1 & 1 \end{vmatrix} = \begin{vmatrix} t + 2 & 1 & t \\ t + 2 & t & 1 \\ t + 2 & 1 & 1 \end{vmatrix} = (t + 2)\begin{vmatrix} 1 & 1 & t \\ 1 & t & 1 \\ 1 & 1 & 1 \end{vmatrix} = (t + 2)\begin{vmatrix} 0 & 0 & t - 1 \\ 0 & t - 1 & 0 \\ 1 & 1 & 1 \end{vmatrix}. Le développement par rapport à la première colonne (théorème 7) ne laisse que le terme du coefficient d'indice (3,1)(3, 1) : ∣00t−10t−10111∣=1×(−1)3+1∣0t−1t−10∣=−(t−1)2.\begin{vmatrix} 0 & 0 & t - 1 \\ 0 & t - 1 & 0 \\ 1 & 1 & 1 \end{vmatrix} = 1 \times (-1)^{3 + 1}\begin{vmatrix} 0 & t - 1 \\ t - 1 & 0 \end{vmatrix} = -(t - 1)^{2}.

det⁡(e1,e2,e3)=−(t−1)2(t+2),(e1,e2,e3) base de ℝ3  ⟺  t∉{1,−2}\boxed{\det(e_{1}, e_{2}, e_{3}) = -(t - 1)^{2}(t + 2), \qquad (e_{1}, e_{2}, e_{3}) \text{ base de } \mathbb{R}^{3} \iff t \notin \{1, -2\}} Pour t=0t = 0, la formule donne −2-2 ; la règle de Sarrus, appliquée aux colonnes (1,1,0)(1, 1, 0), (1,0,1)(1, 0, 1) et (0,1,1)(0, 1, 1), donne 0+0+0−0−1−1=−20 + 0 + 0 - 0 - 1 - 1 = -2 ✓.

2. Pour t=1t = 1, les trois vecteurs sont égaux à (1,1,1)(1, 1, 1), non nul. Pour t=−2t = -2, la somme e1+e2+e3e_{1} + e_{2} + e_{3} est nulle, et e1=(1,1,−2)e_{1} = (1, 1, -2), e2=(1,−2,1)e_{2} = (1, -2, 1) ne sont pas colinéaires, la famille est donc de rang au moins 22. rg(e1,e2,e3)=1 pour t=1,rg(e1,e2,e3)=2 pour t=−2\boxed{\mathrm{rg}(e_{1}, e_{2}, e_{3}) = 1 \text{ pour } t = 1, \qquad \mathrm{rg}(e_{1}, e_{2}, e_{3}) = 2 \text{ pour } t = -2} À 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 à 33. On remarquera que la racine double t=1t = 1 correspond à la chute de rang la plus forte ; c'est un phénomène fréquent, mais ce n'est pas une règle.

Dans l'édifice

Thèmes

formes multilinéaires alternées

Notions

forme alternée

Ouvrir dans l'atlas interactif →