Section 4 Applications du déterminant
Subsection 4.1 Calcul d'inverse de matrice
Definition 4.1.
Soit \(A\in \mathcal M_n(\R)\text{.}\) On note \(C_{ij}\) ses cofacteurs. Alors la matrice Com\((A)=(C_{ij})_{i,j}\in \mathcal M_n(\R)\) est appelée la comatrice de \(A\text{.}\)
Proposition 4.2.
Si \(A\) est une matrice inversible, alors
Proof.
Montrons que \(A{}^t\text{Com}(A)=\det(A)I_n\) (que \(A\) soit inversible ou non).
Le \((i,j)\)-ième coefficient de \(A^t\text{Com}(A)\) est donné par \(\sum_{k=1}^n a_{ik}C_{jk}\) .
-
Si \(i=j\text{,}\) cela donne
\begin{equation*} \sum_{k=1}^n a_{ik}C_{ik}=\sum_{k=1}^n a_{ik}(-1)^{i+k}\det(A_{ik})=\det(A) \end{equation*} -
Si \(i\neq j\text{,}\) appelons \(A'\) la matrice obtenue à partir de \(A\) en remplaçant \(L_j\) par \(L_i\text{.}\) Alors \(A'\) a deux lignes identiques dont \(\det(A')=0\text{.}\) On note \(C'_{kl}\) ses cofacteurs, alors on a pour tout \(k\text{,}\) \(C'_{jk}=C_{jk}\) et
\begin{equation*} 0=\det(A')=\sum_{k}a'_{jk}C'_{jk}=\sum_k {a_ik}C_{jk} \end{equation*}donc si \(i\neq j\) le \((i,j)\)-ième coefficient de \(A^t\text{Com}(A)\) est donc nul.
On a donc bien \(A{}^t\text{Com}(A)=\det(A)I_n\text{.}\)
Example 4.3.
De plus, en développant la première ligne, on obtient
donc \(A\) est inversible et par la proposition précédente,
On vérifie:
Subsection 4.2 Méthode de Cramer
La méthode de Cramer permet, en utilisant des déterminants, de résoudre un système linéaire ayant le même nombre de lignes et de colonnes:
Considérons le système linéaire
Pour \(j\in\{ 1 ,...,n\}\text{,}\) on note \(A_j\) la matrice obtenue en remplaçant la \(j\)-ième colonne de \(A\) par le vecteur-colonne \(B\text{:}\)
On a alors:
Theorem 4.4.
Si \(\det(A)\neq0\text{,}\) le système \((\star)\) admet une unique solution \(X=(x_1,\ldots,x_n)\) donnée par
Proof.
Si \(\det(A)\neq 0\text{,}\) \(A\) est inversible et l'unique solution de \((\star)\) est
Or le \(i\)-ième coefficient de \({}^t\text{Com}(A)B\) est
ce qui est le développement de \(\det(A_i)\) par rapport à la \(i\)-ème colonne (celle qui est donnée par \(B\)). D'où
Example 4.5.
Considérons le système
Alors
donc la solution de \((\star)\) est