ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 17 — Groupe symétrique et déterminants · Calcul des déterminants

Exercice 46

Démonstration

Soit AA, B∈ℳn(ℝ)B \in \mathcal{M}_{n}(\mathbb{R}).

1. Montrer que t↦det⁡(A+tB)t \mapsto \det(A + tB) est une fonction polynomiale de degré au plus rgB\mathrm{rg} B. On pourra écrire B=PJrQB = PJ_{r}Q avec PP et QQ inversibles, comme au chapitre 16.

2. On suppose rgB⩽1\mathrm{rg} B \leqslant 1. Montrer que det⁡((A+B)(A−B))⩽(det⁡A)2\det\big((A + B)(A - B)\big) \leqslant (\det A)^{2}.

Corrigé

1. Soit r=rgBr = \mathrm{rg} B. Par le théorème 6 du chapitre 16, B=PJrQB = PJ_{r}Q, avec PP et QQ inversibles. On pose A′=P−1AQ−1A' = P^{-1}AQ^{-1}, de sorte que A+tB=P(A′+tJr)QA + tB = P(A' + tJ_{r})Q, et det⁡(A+tB)=det⁡(P)det⁡(Q)det⁡(A′+tJr).\det(A + tB) = \det(P)\det(Q)\det(A' + tJ_{r}). Les colonnes de A′+tJrA' + tJ_{r} sont Aj′+tejA'_{j} + te_{j} pour j⩽rj \leqslant r, et Aj′A'_{j} pour j>rj > r. Par linéarité par rapport à chacune des rr premières colonnes, det⁡(A′+tJr)\det(A' + tJ_{r}) est une somme de 2r2^{r} termes, chacun de la forme tkt^{k} multiplié par un déterminant indépendant de tt, avec k⩽rk \leqslant r. t↦det⁡(A+tB) est polynomiale de degreˊ au plus rgB\boxed{t \mapsto \det(A + tB) \text{ est polynomiale de degré au plus } \mathrm{rg} B}

2. Par la question 1, det⁡(A+tB)=d+ct\det(A + tB) = d + ct pour tout réel tt, avec d=det⁡Ad = \det A (valeur en t=0t = 0) et cc réel. Par le théorème 6 (i), det⁡((A+B)(A−B))=det⁡(A+B)det⁡(A−B)=(d+c)(d−c)=d2−c2.\det\big((A + B)(A - B)\big) = \det(A + B)\det(A - B) = (d + c)(d - c) = d^{2} - c^{2}.

det⁡((A+B)(A−B))⩽(det⁡A)2\boxed{\det\big((A + B)(A - B)\big) \leqslant (\det A)^{2}} Piège. Pour rgB=2\mathrm{rg} B = 2, l'inégalité peut être fausse : avec n=2n = 2, A=I2A = I_{2} et B=2I2B = 2I_{2}, on trouve det⁡((A+B)(A−B))=det⁡(−3I2)=9>1\det\big((A + B)(A - B)\big) = \det(-3I_{2}) = 9 > 1. C'est le degré au plus 11 qui produit le produit (d+c)(d−c)(d + c)(d - c).

Dans l'édifice

Thèmes

calcul des déterminants, déterminants, matrices inversibles

Notions

déterminant, matrice inversible

Ouvrir dans l'atlas interactif →