L'expression du déterminant de en fonction de ses coefficients
est
où
désigne la signature de la permutation .
Reprenons la formule de la question précédente.
Nous pouvons réindicer le produit correspondant à la permutation
:
De plus la signature d'une permutation est égale à celle de son
inverse
(car
est un homomorphisme de groupe).
Réindiçons alors la somme :
Soient
et deux entiers compris entre et . On appelle
cofacteur d'indices et et on note le produit
par
du mineur d'ordre obtenu en supprimant la
-ième ligne et la -ième colonne de .
Considérons une famille de vecteurs colonnes de , et
supposons qu'elle soit liée.
Au moins un des vecteurs est combinaison
linéaire des autres : sans perte de généralité, nous pouvons
supposer que c'est le dernier.
Considérons un mineur d'ordre extrait de
, en choisissant les colonnes de la famille considérée, et
lignes quelconques. Dans ce mineur, la dernière colonne est
combinaison linéaire des autres et donc le mineur est nul. Ce qui
précède vaut pour toute famille de vecteurs colonnes, donc tous les
mineurs d'ordre sont nuls.
Si le rang de est supérieur ou égal à
alors il existe une famille libre de vecteurs
colonnes. Choisissons vecteurs colonnes
formant une famille libre, et considérons
la matrice de ces vecteurs colonnes, qui est
donc de rang .
Les vecteurs lignes forment une matrice de vecteurs de
. Or une
matrice et sa transposée ont même rang. La famille des
vecteurs lignes est encore de rang .
On peut donc en extraire une famille libre de
vecteurs. Les coordonnées de ces vecteurs forment une matrice
de rang , extraite de la matrice . Son déterminant
est un mineur de taille et il
est non nul.
Exercice 1 :
Nous devons calculer le déterminant
La somme des éléments de chaque ligne est égale à
. Ajoutons les colonnes d'indices à à la
première, et mettons en facteur.
Soustrayons alors la première ligne de chacune des autres.
Le déterminant d'une matrice triangulaire est égal au produit des
coefficients diagonaux, donc
.
On ne change pas la valeur de
si on soustrait la
première ligne à chacune des autres. Si on fait cela, le terme en
disparaît des lignes d'indices à , et la première
ligne reste
. En développant suivant la
première ligne :
où les sont des cofacteurs extraits des lignes à
, qui ne contiennent donc pas .
D'où le résultat.
Les matrices et sont diagonales. Leur déterminant est
le produit des coefficients diagonaux.
et
D'après la question 2,
est un polynôme de
degré en , disons
, où et
sont deux réels. Par la question précédente, nous connaissons sa
valeur en et :
et
Le déterminant de est la valeur de ce polynôme en , à
savoir .
En éliminant entre les deux équations on obtient :
, où désigne le polynôme
.
Si ,
Pour
fixés, la fonction qui à associe
est une fonction polynomiale, donc continue. Sa
valeur en est la limite de l'expression trouvée à question
précédente lorsque tend vers .
Exercice 2 :
Si , les deux lignes d'indices et sont identiques,
donc le déterminant est nul. De même, si , les deux
colonnes d'indices et sont identiques et le déterminant est nul.
Si on multiplie la -ième colonne du déterminant par ,
le déterminant est multiplié par , ce qui donne le
résultat annoncé.
Le coefficient d'indices trouvé à la question
précédente est :
On vérifie donc le résultat annoncé en soustrayant la dernière
ligne aux précédentes.
Dans le déterminant de la question précédente, on peut mettre en
facteur dans tous les termes de la -ième ligne, ce
qui conduit au résultat demandé.
Dans le déterminant de la question précédente, soustrayons la
dernière colonne à chacune des précédentes. Pour
, le terme d'indices devient :
d'où le résultat.
Dans le déterminant de la question précédente, le terme
est en facteur dans tous les coefficients de la -ième
colonne, et le terme
est en facteur dans tous les
termes de la -ième ligne. Donc :
Or si on développe ce dernier déterminant selon la dernière
ligne, on trouve le déterminant de Cauchy d'ordre ,
correspondant aux vecteurs
et
, noté .
Pour ,
. Supposons la formule vraie pour
. D'après la question précédente,
soit
Le cofacteur d'indices de la matrice est le
déterminant de la matrice obtenue en supprimant la ligne et la
colonne . Ce faisant, on obtient la matrice de Cauchy de taille
, associée aux vecteurs
et
Le cofacteur est donné par la formule de la question précédente,
dont on supprime tous les facteurs contenant et tous les
facteurs contenant , et que l'on pultiplie par
.
Le rapport
ne conserve
donc que les facteurs contenant et . Les termes en
sont affectés du signe si , si , idem
pour les termes en . D'où le résultat.
Pour , la matrice de Hilbert est :
D'après la question 7, son déterminant est
En utilisant le résultat de la question 8, on obtient :