Définition [Mineur et cofacteur]
Le déterminant de la matrice à laquelle on ôte la -ième colonne et la -ième ligne est appelé mineur de . On le note généralement
.
Le déterminant de la matrice à laquelle on ôte la -ième colonne pour la remplacer par le -ième vecteur de la base est appelé cofacteur de . On le note
généralement
. On la note généralement .
La matrice ainsi définie est appelée comatrice de .
La matrice est appelée matrice complémentaire de . On la note
généralement .
Pour y voir plus clair, le mineur de est:
et le cofacteur de est:
qui est d'ailleurs égal à
Proposition
Proposition
La comatrice de la transposée de est la transposée de la comatrice de .
Il est nécéssaire pour la suite d'avoir lu la partie .
ThéorèmeSi désigne la matrice complémentaire
et
en particulier, si est inversible,
.
Démonstration:Considérons le terme de la matrice
. Il
s'agit de
.
Considérons le terme de la matrice .
Il s'agit de
.
On cherche donc à montrer que
.
On distingue deux cas:
On considère alors la matrice , sur laquelle on remplace
la colonne par la colonne (on ne les permute pas, on supprime
la colonne , et on copie la colonne à la place).
Le déterminant de la matrice obtenue est nul, puisqu'on a deux
fois la même colonne. On développe par rapport à la colonne
. On obtient
et donc le résultat dans ce cas est bien montré.
Dans ce cas on considère le développement de par rapport à la
-ième colonne et on obtient
d'où le résultat souhaité.
Le second résultat se déduit du premier en considérant la transposée
de chacun des deux produits.