ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 17 — Groupe symétrique et déterminants · Comatrice et formules de Cramer

Exercice 53

Démonstration

Soit AA, B∈ℳn(ℤ)B \in \mathcal{M}_{n}(\mathbb{Z}), matrices à coefficients entiers, dont les déterminants sont des entiers premiers entre eux. Montrer qu'il existe deux matrices UU, V∈ℳn(ℤ)V \in \mathcal{M}_{n}(\mathbb{Z}) telles que AU+BV=In.AU + BV = I_{n}.

Corrigé

Les déterminants de AA et BB sont des entiers, par la formule qui définit le déterminant. Comme ils sont premiers entre eux, le théorème de Bézout (théorème 4 du chapitre 12) fournit deux entiers uu et vv tels que udet⁡A+vdet⁡B=1u\det A + v\det B = 1. Les cofacteurs de AA et BB sont des déterminants de matrices à coefficients entiers : Com⁡(A)\operatorname{Com}(A) et Com⁡(B)\operatorname{Com}(B) sont à coefficients entiers. On pose U=u Com⁡(A)T,V=v Com⁡(B)T,U = u\,{\operatorname{Com}(A)}^{T}, \qquad V = v\,{\operatorname{Com}(B)}^{T}, qui appartiennent à ℳn(ℤ)\mathcal{M}_{n}(\mathbb{Z}). Par le théorème 8, AU+BV=udet⁡(A) In+vdet⁡(B) In=In.AU + BV = u\det(A)\,I_{n} + v\det(B)\,I_{n} = I_{n}.

U=u Com⁡(A)T,V=v Com⁡(B)T,ouˋ udet⁡A+vdet⁡B=1\boxed{U = u\,{\operatorname{Com}(A)}^{T}, \quad V = v\,{\operatorname{Com}(B)}^{T}, \quad \text{où } u\det A + v\det B = 1} Par exemple, A=(2113)A = \begin{pmatrix} 2 & 1 \\ 1 & 3 \end{pmatrix} et B=(3011)B = \begin{pmatrix} 3 & 0 \\ 1 & 1 \end{pmatrix} ont pour déterminants 55 et 33, avec 2×5−3×3=12 \times 5 - 3 \times 3 = 1 ; les matrices U=2(3−1−12)U = 2\begin{pmatrix} 3 & -1 \\ -1 & 2 \end{pmatrix} et V=−3(10−13)V = -3\begin{pmatrix} 1 & 0 \\ -1 & 3 \end{pmatrix} vérifient AU+BV=I2AU + BV = I_{2} ✓.

À retenir. La relation A Com⁡(A)T=det⁡(A) InA\,{\operatorname{Com}(A)}^{T} = \det(A)\,I_{n} ramène une question sur les matrices à une question sur les entiers det⁡A\det A et det⁡B\det B. C'est la version matricielle de la relation de Bézout, que l'on retrouve avec n=1n = 1.

Dans l'édifice

Thèmes

comatrice et cramer, déterminants

Notions

comatrice, déterminant

Ouvrir dans l'atlas interactif →