ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 17 — Groupe symétrique et déterminants · Déterminant d'un endomorphisme, d'une matrice carrée

Exercice 26

Calcul

Soit A∈ℳ3(ℝ)A \in \mathcal{M}_{3}(\mathbb{R}) telle que A2=4A−3I3A^{2} = 4A - 3I_{3}. On suppose que det⁡(3A−6I3)>0\det(3A - 6I_{3}) > 0. Calculer det⁡(3A−6I3)\det(3A - 6I_{3}). On pourra calculer (3A−6I3)2(3A - 6I_{3})^{2}.

Corrigé

Les matrices AA et I3I_{3} commutent, et l'on peut développer comme dans un anneau commutatif : (3A−6I3)2=9A2−36A+36I3=9(4A−3I3)−36A+36I3=9I3.(3A - 6I_{3})^{2} = 9A^{2} - 36A + 36I_{3} = 9(4A - 3I_{3}) - 36A + 36I_{3} = 9I_{3}. Par le théorème 6 (i), det⁡(3A−6I3)2=det⁡(9I3)=93=729\det(3A - 6I_{3})^{2} = \det(9I_{3}) = 9^{3} = 729, donc det⁡(3A−6I3)∈{−27,27}\det(3A - 6I_{3}) \in \{-27, 27\}, et l'hypothèse de signe conclut. det⁡(3A−6I3)=27\boxed{\det(3A - 6I_{3}) = 27} Piège. L'hypothèse de signe n'est pas décorative. La matrice A=I3A = I_{3} vérifie A2=4A−3I3A^{2} = 4A - 3I_{3}, et det⁡(3A−6I3)=det⁡(−3I3)=−27\det(3A - 6I_{3}) = \det(-3I_{3}) = -27 ; la matrice A=3I3A = 3I_{3} la vérifie aussi, et donne det⁡(3I3)=27\det(3I_{3}) = 27. On n'oubliera pas non plus que det⁡(9I3)=93\det(9I_{3}) = 9^{3}, et non 99 : c'est l'erreur det⁡(λA)=λdet⁡A\det(\lambda A) = \lambda\det A signalée dans le cours.

Dans l'édifice

Thèmes

déterminant d'une matrice, déterminants

Notions

déterminant

Ouvrir dans l'atlas interactif →