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 32

DémonstrationCalcul

1. Existe-t-il une fonction f:ℝ2→ℝf : \mathbb{R}^{2} \to \mathbb{R} telle que det⁡(A+B)=f(det⁡A,det⁡B)\det(A + B) = f(\det A, \det B) pour toutes matrices AA, B∈ℳn(ℝ)B \in \mathcal{M}_{n}(\mathbb{R}) ? On distinguera les cas n=1n = 1 et n⩾2n \geqslant 2.

2. Soit N∈ℳn(ℝ)N \in \mathcal{M}_{n}(\mathbb{R}) telle que det⁡(M+N)=det⁡M\det(M + N) = \det M pour toute M∈ℳn(ℝ)M \in \mathcal{M}_{n}(\mathbb{R}). Montrer que N=0N = 0. On pourra commencer par le cas où NN est de rang r⩾1r \geqslant 1 et choisir MM à l'aide de la forme JrJ_{r} du chapitre 16.

3. On suppose n⩾2n \geqslant 2. Déterminer les matrices A∈ℳn(ℝ)A \in \mathcal{M}_{n}(\mathbb{R}) telles que det⁡(A+B)=det⁡A+det⁡B\det(A + B) = \det A + \det B pour toute B∈ℳn(ℝ)B \in \mathcal{M}_{n}(\mathbb{R}).

Corrigé

1. Cas n=1n = 1. Le déterminant d'une matrice (a)(a) est aa, et det⁡(A+B)=det⁡A+det⁡B\det(A + B) = \det A + \det B : la fonction f(x,y)=x+yf(x, y) = x + y convient.

Cas n⩾2n \geqslant 2. Supposons qu'une telle ff existe. Les matrices E11E_{11} et In−E11I_{n} - E_{11} sont diagonales, chacune avec au moins un coefficient diagonal nul puisque n⩾2n \geqslant 2 : leurs déterminants sont nuls. Le couple (E11,In−E11)(E_{11}, I_{n} - E_{11}) donne f(0,0)=det⁡In=1f(0, 0) = \det I_{n} = 1, et le couple (E11,E11)(E_{11}, E_{11}) donne f(0,0)=det⁡(2E11)=0f(0, 0) = \det(2E_{11}) = 0. C'est contradictoire. une telle f existe si et seulement si n=1\boxed{\text{une telle } f \text{ existe si et seulement si } n = 1}

2. Supposons N≠0N \neq 0, et soit r=rgN⩾1r = \mathrm{rg} N \geqslant 1. Par le théorème 6 du chapitre 16, N=QJrPN = QJ_{r}P, avec PP et QQ inversibles. On choisit M=Q(In−Jr)PM = Q(I_{n} - J_{r})P. Alors M+N=QP,det⁡(M+N)=det⁡(Q)det⁡(P)≠0,det⁡M=det⁡(Q)det⁡(In−Jr)det⁡(P)=0,M + N = QP, \qquad \det(M + N) = \det(Q)\det(P) \neq 0, \qquad \det M = \det(Q)\det(I_{n} - J_{r})\det(P) = 0, car In−JrI_{n} - J_{r} est diagonale avec r⩾1r \geqslant 1 coefficients diagonaux nuls. Cela contredit det⁡(M+N)=det⁡M\det(M + N) = \det M. N=0\boxed{N = 0}

3. Soit AA une telle matrice. Avec B=AB = A, on obtient det⁡(2A)=2det⁡A\det(2A) = 2\det A, soit 2ndet⁡A=2det⁡A2^{n}\det A = 2\det A, d'où det⁡A=0\det A = 0 puisque n⩾2n \geqslant 2. L'hypothèse devient det⁡(B+A)=det⁡B\det(B + A) = \det B pour toute BB, et la question 2, appliquée à N=AN = A, donne A=0A = 0. Réciproquement, A=0A = 0 convient. A=0\boxed{A = 0} À retenir. Le déterminant est multiplicatif, mais il n'a aucune propriété additive dès que n⩾2n \geqslant 2 : le déterminant d'une somme ne dépend même pas des seuls déterminants des termes.

Dans l'édifice

Thèmes

déterminant d'une matrice, déterminants

Notions

déterminant

Ouvrir dans l'atlas interactif →