Beruflich Dokumente
Kultur Dokumente
Maths en Ligne
Dterminants
Luc Rozoy, Bernard Ycart
Les dterminants sont un outil indispensable de lalgbre linaire, que vous avez
dj rencontr en dimensions 2 et 3. Peu de prrequis pour ce chapitre, part les
notions de base sur les espaces vectoriels de dimension finie, les systmes linaires
et le calcul matriciel. Votre objectif minimal est dapprendre les mthodes de calcul
des dterminants ; comprendre en plus les raisonnements dvelopps ici, ne peut que
renforcer votre culture algbrique.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
5
12
14
17
22
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
25
25
27
32
35
38
3 Complments
3.1 Les ttonnements de Leibniz .
3.2 Lcole japonaise . . . . . . .
3.3 Les excuses de Cramer . . . .
3.4 Cauchy raconte lhistoire . . .
3.5 Le dernier honnte homme . .
3.6 La solidit des pyramides . . .
3.7 Les dterminants de Sylvester
3.8 La condensation de Dodgson .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
44
44
45
47
48
48
53
53
55
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
12 septembre 2016
Dterminants
Maths en Ligne
UJF Grenoble
Cours
1.1
Permutations
1
2
s(1) s(2)
n
s(n)
1 2 3 4 5 6 7 8 9 10 11 12
9 5 3 7 2 12 11 10 4 6 1 8
Dterminants
Maths en Ligne
UJF Grenoble
... ,
(ik1 ) = ik ,
(ik ) = i1 ,
et pour tout i
/ {i1 , . . . , ik }, (i) = i .
Linconvnient de cette notation est que plusieurs critures diffrentes peuvent dsigner le mme cycle : (1, 2, 3) et (2, 3, 1) par exemple. Comme ci-dessus, nous convenons
dcrire en premier le plus petit lment du cycle. Ceci permet dassocier de manire
unique un cycle une orbite. Observez que dans la dcomposition en orbites du cycle
(i1 , . . . , ik ) on trouve [i1 , . . . , ik ], et n k points fixes. La signature du cycle (i1 , . . . , ik )
est :
((i1 , . . . , ik )) = (1)k1 .
2
Dterminants
Maths en Ligne
UJF Grenoble
La vrification est immdiate. Observez que deux cycles commutent si les ensembles
dlments quils concernent sont disjoints :
{i1 , . . . , ik } {j1 , . . . , jh } = = (i1 , . . . , ik ) (j1 , . . . , jh ) = (j1 , . . . , jh ) (i1 , . . . , ik )
Dans une dcomposition en orbites, oubliez les singletons et ne conservez que les orbites de longueur au moins 2, que vous transformez en cycles : si kj > 2, remplacez
[ij , . . . , skj 1 (ij )] par (ij , . . . , skj 1 (ij )). Enfin, remplacez les virgules dans lnumration des orbites, par le signe de composition : votre permutation s est une compose
de cycles.
!
1 2 3 4 5 6 7 8 9 10 11 12
s =
9 5 3 7 2 12 11 10 4 6 1 8
= (1, 9, 4, 7, 11) (2, 5) (6, 12, 8, 10)
1 2 3 4 5 6 7 8 9
=
9 2 3 7 5 6 11 8 4
1 2 3 4 5 6 7 8 9
1 5 3 4 2 6 7 8 9
1 2 3 4 5 6 7 8
1 2 3 4 5 12 7 10
10 11 12
10 1 12 !
10 11 12
10 11 12 !
9 10 11 12
9 6 11 8
Les cycles de longueur 2 jouent un rle particulier. On les appelle transpositions. Leur
signature vaut 1. Afin de faciliter la lecture, pour i 6= j {1, . . . , n} nous noterons
i,j = (i, j) la transposition de i et j :
i,j (i) = j ,
i,j (j) = i ,
i,j (k) = k ,
k 6= i, j .
Dterminants
Maths en Ligne
UJF Grenoble
Toute permutation scrit donc comme un produit (au sens de la composition des
applications) de transpositions. Une telle criture na rien dunique : lordre de deux
cycles disjoints peut tre chang, on peut toujours insrer deux fois la mme permutation dans le produit sans changer le rsultat, etc. Le miracle est que si deux produits
de transpositions donnent la mme permutation, alors les nombres de permutations
dans ces deux produits ont la mme parit : cest une consquence du thorme 1. Le
rsultat suivant est ltape cl dans sa dmonstration.
Lemme 1. Soit s une permutation et une transposition. Alors :
( s) = (s) .
Dmonstration : Lide de la dmonstration est de montrer que la compose par une
transposition agit sur la dcomposition en orbites, soit en cassant une orbite en deux,
soit en regroupant deux orbites. Dans les deux cas lexposant de la signature est soit
augment, soit diminu de 1, et la signature est change en son oppose.
Considrons la dcomposition en orbites de s. Supposons que transpose les deux
lments distincts i et j et examinons la dcomposition en orbites de s. De deux
choses lune : soit i et j appartiennent la mme orbite de s, soit i et j appartiennent
deux orbites distinctes.
Si i et j appartiennent la mme orbite de s. Quitte rordonner les lments,
nous pouvons supposer sans perte de gnralit que lorbite est [1, . . . , k], et que
les deux lments transposer sont 1 et j avec 1 < j 6 k. Pour la permutation
s, limage dun entier h est :
? s(h) si h est diffrent de j 1 et k,
? 1 si h = j 1,
? j si h = k.
Lorbite [1, . . . , k] est casse en [1, . . . , j 1] et [j, . . . , k]. Le terme k 1 dans
lexposant de la signature est remplac par (j 2) + (k j). Lexposant de la
signature est diminu de 1, et celle-ci est change en son oppose.
Si i et j appartiennent deux orbites distinctes de s. Quitte rordonner les
lments, nous pouvons supposer sans perte de gnralit que les deux orbites
sont [1, . . . , j 1] et [j, . . . , k], avec 1 < j 6 k 6 n et que les deux lments
transposer sont 1 et j. Pour la permutation s, limage dun entier h est :
? s(h) si h est diffrent de j 1 et k
? j si h = j 1
4
Dterminants
Maths en Ligne
UJF Grenoble
? 1 si h = k
Les deux orbites [1, . . . , j1] et [j, . . . , k] sont regroupes en une seule : [1, . . . , k].
Les deux termes j 2 et k j dans lexposant de la signature sont remplacs
par le terme k 1. Lexposant de la signature est augment de 1, et celle-ci est
encore change en son oppose.
Nous avons maintenant tous les outils pour dmontrer le thorme 1.
Dmonstration : Nous commenons par dmontrer que la signature est un homomorphisme de groupes, de (Sn , ) dans ({1, 1}, ) :
s, s0 Sn ,
(s s0 ) = (s) (s0 ) .
(s) = (s) .
1.2
Formes alternes
Le corps de nombres de rfrence sera R, mais tout ce qui suit vaut aussi pour le
corps des complexes C. Soit E un espace vectoriel de dimension n sur R.
5
Maths en Ligne
Dterminants
UJF Grenoble
Dterminants
Maths en Ligne
UJF Grenoble
Thorme 2. Soit (e1 , . . . , en ) une base de E. Soit (v1 , . . . , vn ) un n-uplet de vecteurs. Pour tout j = 1, . . . , n, on note (ai,j )i=1,...,n les coordonnes de vj dans la base
(e1 , . . . , en ) :
j = 1, . . . , n ,
vj =
n
X
ai,j ei .
i=1
Alors :
f (v1 , . . . , vn ) = f (e1 , . . . , en )
(s)
n
Y
as(j),j ,
j=1
sSn
f (v1 , . . . , vn ) = f
ai,1 ei , . . . ,
i=1
n
X
ai,n ei
i=1
On obtient une somme de facteurs dont chacun est calcul en choisissant lun des termes
de la somme pour chacune des coordonnes. Un tel terme est dfini par une application
de {1, . . . , n} dans lui-mme :
f (v1 , . . . , vn ) =
n
Y
j=1
{1,...,n}{1,...,n}
Mais daprs la proposition 3, parmi les termes f (e(1) , . . . , e(n) ) tous ceux qui comportent deux fois le mme vecteur sont nuls. Seuls peuvent tre non nuls les termes
correspondant une application de {1, . . . , n} dans lui-mme injective. Une telle
application est ncessairement bijective : cest une permutation.
f (v1 , . . . , vn ) =
n
Y
sSn
j=1
Or toute permutation est un produit de transpositions. Chaque transposition des coordonnes change le signe, donc si une permutation s est le produit de k transpositions :
f (es(1) , . . . , es(n) ) = (1)k f (e1 , . . . , en ) .
Donc daprs la proposition 2 :
f (es(1) , . . . , es(n) ) = (s)f (e1 , . . . , en ) .
Le thorme 2 montre quune forme n-linaire alterne est dtermine de faon
unique par sa valeur sur une base de E.
7
Dterminants
Maths en Ligne
UJF Grenoble
Dfinition 6. On appelle :
1. dterminant dans la base B lunique forme linaire alterne f telle que f (B) = 1 ;
on la note detB .
2. dterminant dune famille (v1 , . . . , vn ) de n vecteurs de Rn son dterminant dans
la base canonique de Rn ;
3. dterminant dune matrice carre A Mnn (R), le dterminant de la famille
de ses vecteurs colonnes dans la base canonique de Rn .
Voici comment seffectuent les changements de base.
Proposition 4. Soient B et B 0 deux bases de E.
(s)
as(j),j .
(1)
j=1
sSn
Commencez par vrifier que cette formule concide bien avec celles que vous connaissez
en dimensions 2 et 3.
x x
1
2
= x1 y 2 x2 y 1 .
y1 y2
x
1
y1
z1
x2 x3
y2 y3 = x1 y2 z3 + x2 y3 z1 + x3 y1 z2 z1 y2 x3 z2 y3 x1 z3 y1 x2 .
z2 z3
1
2 3
2 1 1
3 2 2
Dterminants
Maths en Ligne
UJF Grenoble
z1 y2 x3
x1 z2 y3
x1
x2
x3
y1
y2
y3
y1 x2 z3
z1
z2
z3
x1
x2
x3
+ x1 y2 z3
y1
y2
y3
+ y1 z2 x3
+ z1 x2 y3
|A| =
n
Y
(s)
as(j),j .
j=1
sSn
as(j),j =
n
Y
ai,s1 (i) .
i=1
j=1
De plus la signature dune permutation est gale celle de son inverse (car est un
homomorphisme de groupe).
|A| =
(s1 )
n
Y
ai,s1 (i) .
i=1
sSn
X
sSn
(s)
n
Y
ai,s(i) = |tA| .
i=1
9
Dterminants
Maths en Ligne
UJF Grenoble
Proposition 6. Le dterminant dune matrice triangulaire par blocs est le produit des
dterminants des blocs diagonaux.
Dmonstration : Par la proposition prcdente il suffit dexaminer le cas dune matrice
triangulaire par blocs suprieure, cest--dire du type :
A=
B1
?
...
..
.
0
..
.
0
?
?
..
?
?
.
?
Bd
B
?
1
A=
0
B2
Nous supposons donc que pour un certain entier k strictement compris entre 1 et n :
(i > k et j 6 k) = ai,j = 0 ,
de sorte que
B1 = (ai,j )i,j=1,...,k
et B2 = (ai,j )i,j=k+1,...,n .
(s)
n
Y
as(j),j .
j=1
sSn
Soit s Sn une permutation. Le produit nj=1 as(j),j est nul sil existe j tel que s(j) > k
et j 6 k. Supposons que ce produit soit non nul. Alors ncessairement j 6 k entrane
s(j) 6 k. Soit s1 la restriction de s {1, . . . , k} : cest une permutation de {1, . . . , k}.
Donc la restriction s2 de s {k + 1, . . . , n} est aussi une permutation de {k + 1, . . . , n}.
On a donc s = s1 s2 , ce qui entrane (s) = (s1 )(s2 ). Le produit scrit alors :
Q
n
Y
j=1
as(j),j =
k
Y
as1 (j),j
j=1
n
Y
j=k+1
10
as2 (j),j .
Dterminants
Maths en Ligne
UJF Grenoble
X X
(s1 )(s2 )
s1 S s2 S 0
(s1 )
s1 S
k
Y
n
Y
as1 (j),j
j=1
k
Y
as1 (j),j
j=1
as2 (j),j
j=k+1
s2
(s2 )
S 0
n
Y
as2 (j),j
j=k+1
= |B1 | |B2 | .
Lapplication la plus frquente de la proposition 6 concerne les matrices triangulaires (n blocs de taille 1 sur la diagonale) : le dterminant dune matrice triangulaire
est le produit de ses coefficients diagonaux. Comme cas particulier, le dterminant
dune matrice diagonale est le produit des coefficients diagonaux, et le dterminant de
la matrice identit est 1.
Vous devez galement retenir les consquences suivantes de la dfinition 6.
Proposition 7. Quelle que soit la base B,
1. une famille de vecteurs est lie si et seulement si son dterminant est nul ;
2. on ne modifie pas le dterminant si on ajoute lun des vecteurs une combinaison linaire des autres.
Dmonstration :
1. Soit (v1 , . . . , vn ) une famille de n vecteurs de E. Dans un espace vectoriel de
dimension n, si une famille de n vecteurs est libre, alors cest une base. Par la
proposition 4, le dterminant de cette base dans nimporte quelle autre est non
nul. Rciproquement, si la famille est lie, alors lun des vecteurs est combinaison
linaire des autres. Sans perte de gnralit, supposons que ce soit le dernier.
En utilisant la linarit par rapport la dernire coordonne :
detB (v1 , . . . , vn1 ,
n1
X
i vi ) =
i=1
n1
X
i=1
Or le dterminant dune famille de vecteurs dont deux sont gaux est nul (proposition 3). La somme est donc nulle.
2. Ajoutons au dernier vecteur une combinaison linaire des autres.
detB (v1 , . . . , vn1 , vn +
n1
X
i=1
n1
X
i=1
11
i vi ) .
Dterminants
Maths en Ligne
UJF Grenoble
1.3
detB0 (B)
12
Dterminants
Maths en Ligne
UJF Grenoble
Mais aussi :
detB0 (f (B 0 ))
Il sensuit que
detB (f (B)) = detB0 (f (B 0 )) .
La proposition 8 permet de dfinir le dterminant dun endomorphisme.
Dfinition 7. On appelle dterminant de lendomorphisme f , et on note det(f ) la
valeur de detB (f (B)), commune toutes les bases B.
Le dterminant de f est donc gal au dterminant de la matrice de f dans nimporte
quelle base. De plus, si B est une base de E et (v1 , . . . , vn ) un n-uplet quelconque de
vecteurs de E :
detB (f (v1 ), . . . , f (vn )) = det(f ) detB (v1 , . . . , vn ) .
Thorme 3. Soient f et g deux endomorphismes de E. Alors :
det(g f ) = det(g) det(f ) .
Dmonstration : Soit B une base de E. Par dfinition du dterminant dun endomorphisme,
det(g f ) = detB (g(f (B)))
= det(g) detB (f (B))
= det(g)det(f ) .
Dans le cas particulier o f est un automorphisme de E, son dterminant est non
nul (limage par f dune base est une base). Sa compose avec lapplication rciproque
f 1 est lidentit, de dterminant 1. Donc :
det(f 1 ) =
1
.
det(f )
Dterminants
Maths en Ligne
UJF Grenoble
1.4
Mineurs et cofacteurs
Les mineurs sont les dterminants de dimensions infrieures que lon extrait dun
dterminant initial en ne conservant que certaines lignes et colonnes.
Dfinition 8. Soit A = (ai,j )i,j=1,...,n une matrice carre. Soit k un entier compris
entre 1 et n. Soient l et c deux applications injectives de {1, . . . , k} dans {1, . . . , n}.
On appelle mineur dordre k du dterminant |A|, associ aux lignes (l(i))i=1,...,k et aux
colonnes (c(j))j=1,...,k , le dterminant :
|(al(i),c(j) )i,j=1,...,k | .
Le mineur dordre 2 extrait dun
dterminant dordre 4 pour l(1) = 1, l(2) = 3,
a
a
c(1) = 2, c(2) = 4 est 1,2 1,4 :
a3,2 a3,4
a1,1
a2,1
a3,1
a4,1
a1,2
a2,2
a3,2
a4,2
a1,3
a2,3
a3,3
a4,3
a1,4
a2,4
a3,4
a4,4
Nous savons dj quune famille de vecteurs est libre si et seulement si son dterminant
est non nul (proposition 7), ou bien quune matrice est de rang maximal si et seulement
si son dterminant est non nul (corollaire 1). Les mineurs permettent de dterminer
exactement le rang dune matrice quand il nest pas maximal.
Proposition 9. Soit A une matrice de taille n n. La matrice A est de rang r < n si
et seulement si :
1. il existe un mineur dordre r non nul et
2. tous les mineurs dordre r + 1 sont nuls.
Dmonstration : Il est quivalent de dmontrer que le rang de A est strictement
infrieur r si et seulement si tous les mineurs dordre r sont nuls.
Si le rang de A est strictement infrieur r, alors toute famille de r vecteurs colonnes est
lie. Considrons une famille de r vecteurs colonnes de A, et supposons quelle soit lie.
14
Dterminants
Maths en Ligne
UJF Grenoble
Au moins un des vecteurs est combinaison linaire des autres : sans perte de gnralit,
nous pouvons supposer que cest le dernier. Considrons un mineur dordre r extrait de
A, en choisissant les r colonnes de la famille considre, et r lignes quelconques. Dans
ce mineur, la dernire colonne est combinaison linaire des autres et donc le mineur
est nul. Ce qui prcde vaut pour toute famille de r vecteurs colonnes, donc tous les
mineurs dordre r sont nuls.
Nous montrons ensuite la contrapose de limplication rciproque. Si le rang de A est
suprieur ou gal r alors il existe une famille libre de r vecteurs colonnes. Choisissons
r vecteurs colonnes formant une famille libre, et considrons la matrice n r de ces
r vecteurs colonnes, qui est donc de rang r. Les vecteurs lignes forment une matrice
de n vecteurs de Rr . Or une matrice et sa transpose ont mme rang. La famille des
n vecteurs lignes est encore de rang r. On peut donc en extraire une famille libre de
r vecteurs. Les coordonnes de ces r vecteurs forment une matrice r r de rang r,
extraite de la matrice A. Son dterminant est un mineur de taille r et il est non nul.
Les mineurs dordre n 1 jouent un rle particulier : affects de signes alterns, ce sont
les cofacteurs.
Dfinition 9. Soit A = (ai,j )i,j=1,...,n une matrice carre. Soient i et j deux entiers
compris entre 1 et n. On appelle cofacteur dindices i et j et on note Ai,j le produit
par (1)i+j du mineur dordre n 1 obtenu en supprimant la i-ime ligne et la j-ime
colonne de A.
Ai,j = (1)i+j |(ah,k )h6=i,k6=j | .
La matrice des cofacteurs est appele comatrice de A et note Ae :
Ae = (Ai,j )i,j=1,...,n .
Une premire utilisation des cofacteurs est le dveloppement suivant une ligne ou
une colonne.
Proposition 10. Soit A = (ai,j )i,j=1,...,n une matrice carre. Soient i et j deux entiers
compris entre 1 et n.
|A| =
n
X
ai,k Ai,k =
k=1
n
X
ah,j Ah,j .
h=1
Dmonstration : Comme le dterminant dune matrice est gal celui de sa transpose, il suffit de dmontrer pour le dveloppement selon la j-ime colonne. Cette j-ime
P
colonne est le vecteur (ah,j ), qui scrit h ah,j eh , o les eh sont les vecteurs de la base
canonique. Par la n-linarit, il suffit de dmontrer que le cofacteur Ah,j est le dterminant obtenu en remplaant la j-ime colonne de A par le vecteur eh , dont la h-ime
coordonne vaut 1 et les autres sont nulles. Considrons cette nouvelle matrice. Appliquons aux lignes le cycle (1, . . . , h), dont la signature est (1)h1 . Appliquons ensuite
aux colonnes le cycle (1, . . . , j), dont la signature est (1)j1 . On obtient une matrice
15
Maths en Ligne
Dterminants
UJF Grenoble
diagonale par blocs : la premire colonne est le vecteur (e1 ). Daprs la proposition 6, le
dterminant est le produit des dterminants des deux blocs diagonaux. Le premier est
|1|. Le second est le dterminant du mineur extrait de A en supprimant la ligne h et la
colonne j. Pour tenir compte des permutations effectues sur les lignes et colonnes, il
convient de le multiplier par (1)h1 (1)j1 = (1)h+j : on obtient bien le cofacteur
Ah,j .
Proposition 11. Pour toute matrice A de taille n,
A tAe = tAe A = |A| In ,
o Ae est la comatrice de A, tAe sa transpose, et In la matrice identit.
Dmonstration : Pour i, j = 1, . . . , n, le coefficient dindices i, j du produit A tAe est :
n
X
ai,k Aj,k .
k=1
Ah,i ah,j .
h=1
Pour i = j, nous avons dj vrifi dans la proposition prcdente que ces coefficients
valent |A|. Il reste montrer quils sont nuls pour i 6= j. Nous avons vu dans la
dmonstration prcdente, que le cofacteur Ah,i est gal au dterminant de la matrice
n n dduite de A en remplaant la i-ime colonne de A par le vecteur eh , dont la
P
h-ime coordonne vaut 1 et les autres sont nulles. Par la n linarit, nh=1 Ah,i ah,j est
le dterminant dduit de A en remplaant la i-ime colonne par la j-ime. Mais alors,
la i-ime colonne et la j-ime sont identiques, donc le dterminant est nul. On obtient
lautre rsultat en changeant le rle des lignes et des colonnes (proposition 5).
Dans le cas o le dterminant de A est non nul, la proposition 11 fournit une
expression explicite de son inverse.
Corollaire 3. Soit A une matrice carre inversible. Linverse de A est :
1 te
A.
A1 =
|A|
On obtient mme une rsolution explicite du systme Ax = b : ce sont les formules
de Cramer.
Corollaire 4. Soit A une matrice carre inversible. Soit b un vecteur de Rn . Notons
Ab,j la matrice dduite de A en remplaant la j-ime colonne par b. Soit x = (xi )i=1,...,n
la solution du systme Ax = b. Alors :
j = 1, . . . , n ,
16
xj =
|Ab,j |
.
|A|
Dterminants
Maths en Ligne
UJF Grenoble
1.5
Mthodes de calcul
Nous commenons par extraire des sections prcdentes les rsultats les plus utiles
pour le calcul pratique.
(R1) Le dterminant dune matrice triangulaire est le produit des coefficients de la
diagonale.
(R2) On ne modifie pas un dterminant si on ajoute une ligne (ou une colonne)
une combinaison linaire des autres lignes (ou des autres colonnes).
(R3) Si on multiplie une ligne ou une colonne par une constante, le dterminant
est multipli par cette mme constante.
(R4) On peut dvelopper un dterminant selon ou une ligne ou une colonne, grce
aux formules
n
n
|A| =
ai,k Ai,k =
k=1
ah,j Ah,j ,
h=1
17
Dterminants
Maths en Ligne
UJF Grenoble
A=
1
2
1
1
1
0
1
1
1
0
2 1
1
0 1 3
Le coefficient dindices (1, 1) est non nul, il ny a donc pas de permutations effectuer.
Le premier pivot est p1 = 1. Voici les transformations qui annulent la premire colonne
au-dessous du pivot.
L2 L2 2L1
L3 L3 L1
L4 L4 + L1
1
1
0
1
0 1
1 2
0
1 1
0
0
1 1 2
1
1
0
1
0 1
1 2
L3 L3 + L2 0
0
0 2
L4 L4 + L2
0
0
0 4
Pour obtenir un troisime pivot non nul, il faut changer les deux dernires colonnes.
1
1
1
0 1 2
0
0 2
0
0 4
0
1
0
0
L4 L4 2L3
1
1
1
0 1 2
0
0 2
0
0
0
0
1
0
0
Dterminants
Maths en Ligne
UJF Grenoble
0 a1 a2
a1 0 a2
D(a1 , . . . , an ) = a1 a2 0
..
.
. . . an
. . . an
. . . an
. . . ..
.
. . . an 0
a1 a2
est :
n
D(a1 , . . . , an ) = (1)
n
X
ai
i=1
n
Y
ai
i=1
D(a1 , . . . , an ) =
!
n
X
ai
i=1
1 a1 a2 . . . an
1 0 a2 . . . an
1 a2 0 . . . an
..
.
..
. ..
.
1 a2 . . . an 0
D(a1 , . . . , an ) =
!
n
X
ai
i=1
1 a1
0 a1
0
..
.
..
.
0
a2
...
...
a2
0
...
...
...
...
...
...
a2
...
...
..
. an1 an1
...
0
an
0
an
an
0
..
.
..
.
D(a1 , . . . , an ) =
!
n
X
ai
i=1
a1
a2
0
..
.
a2
...
...
...
...
..
.
...
...
0
..
.
..
.
an1 an1
0
0
an
an
Ce dernier dterminant est celui dune matrice triangulaire : il est le produit des lments de la diagonale.
19
Dterminants
Maths en Ligne
UJF Grenoble
1 a1 a21 . . . an1
1
1 a2 a22 . . . an1
2
n1
2
D(a1 , . . . , an ) = 1 a3 a3 . . . a3
..
..
.
.
n1
2
1 an an . . . an
est :
Y
D(a1 , . . . , an ) =
(aj ai ) .
16i<j6n
n1
Y
(X ai ) = X
i=1
n1
n2
X
cj X j .
j=0
Qn1
i=1
20
Dterminants
Maths en Ligne
UJF Grenoble
a1 a2 . . . an1 an
an a1 a2 . . . an1
D(a1 , . . . , an ) = an1 an a1 . . . an2
..
..
.
.
a2 a3 . . . a n
a1
est :
D(a1 , . . . , an ) =
n1
Y
P (k ) ,
k=0
o P est le polynme
P (X) = a1 + a2 X + + an X n1 ,
et les k sont les racines n-imes de lunit :
k = 0, . . . , n 1 ,
k = ei(2k/n) .
D(a0 , . . . , an1 , x) =
x
1
0
..
.
..
.
0
0 ... ... 0
a0
..
... ...
.
a1
..
...
. . . ..
.
.
..
..
..
.
. 0
.
.. ..
.
. x
an2
... ... 0
1 an1 x
21
Dterminants
Maths en Ligne
UJF Grenoble
est :
D(a0 , . . . , an1 , x) = (1)n (xn an1 xn1 a1 x a0 ) .
La matrice pour x = 0 est la matrice compagnon du polynme ci-dessus : vous
comprendrez pourquoi quand vous tudierez la rduction des endomorphismes.
Dmonstration : Pour n = 1, la formule donne D(an1 , x) = (x an1 ), elle est donc
correcte. Dveloppons suivant la premire ligne :
D(a0 , . . . , an1 , x) =
(x)
x
1
0
..
.
..
.
0
0 ...
... ...
..
.
..
.
..
.
... ...
+(1)n+1 a0
..
0
..
.
..
.
..
...
a1
a2
..
.
..
.
..
. x
an2
0
1 an1 x
1 x . . . . . . 0
..
.
.
0 .. ..
.
..
.. . .
..
. .
.
.
..
.. ..
. x
.
.
0 ... ... 0
1
1.6
Interprtation gomtrique
Vous savez sans doute dj quen gomtrie plane, laire dun paralllogramme est
au signe prs le dterminant des deux vecteurs qui lengendrent. Cest vrai en dimension
quelconque.
Dfinition 10. Soit E un espace vectoriel de dimension n. Soit (v1 , . . . , vn ) un n-uplet
de vecteurs de E. On appelle paralllpipde engendr par (v1 , . . . , vn ) lensemble :
P (v1 , . . . , vn ) = { 1 v1 + + n vn , (1 , . . . , n ) [0, 1]n } .
22
Dterminants
Maths en Ligne
B
UJF Grenoble
Maths en Ligne
Dterminants
UJF Grenoble
signe. La valeur absolue est la mesure au sens ordinaire, le signe traduit lorientation
du n-uplet de vecteurs. La proprit (P2) est elle aussi assez naturelle : si vous tirez un
paralllpipde dans une direction, vous multipliez son volume. Mais surtout, elle est
(presque) une consquence de (P1) : en effet, pour tout entier, puis rationnel, (P2)
se dduit de (P1). Il suffit alors de faire lhypothse que les applications partielles sont
continues au voisinage de 0 pour en dduire la proprit pour tout rel. La proprit
(P3) est aussi trs naturelle : si deux des vecteurs qui engendrent le paralllpipde
sont identiques, celui-ci est aplati , cest--dire quil est inclus dans un hyperplan.
tant inclus dans un sous-espace de dimension infrieure, son volume n-dimensionnel
est nul.
Maintenant, relisez la section 1.2, en particulier la dfinition 6 et la proposition
3. Lapplication V P , si elle vrifie les proprits (P1), (P2) et (P3), est une forme
multilinaire alterne. Si de plus V P (B) = 1, alors V P est le dterminant dans la base
B. Si (v1 , . . . , vn ) est tel que detB (v1 , . . . , vn ) est non nul, alors (v1 , . . . , vn ) est une base
de E. La valeur absolue du dterminant est le volume du paralllpipde engendr,
au sens ordinaire. Son signe est positif si la nouvelle base a la mme orientation que
lancienne, ngatif dans le cas contraire.
24
Dterminants
Maths en Ligne
UJF Grenoble
Entranement
2.1
Vrai ou faux
2.
1 2 3 4 5
2 1 3 5 4
3.
1 2 3 4 5
2 3 4 1 5
4.
1 2 3 4 5
4 5 3 2 1
5.
1 2 3 4 5
3 5 4 1 2
6.
1 2 3 4 5
3 2 4 1 5
7.
1 2 3 4 5
3 1 4 5 2
Vrai-Faux 2. Soient v1 , v2 , v3 , v4 4 vecteurs quelconques de R4 . On note det le dterminant dans la base canonique de R4 . Parmi les affirmations suivantes lesquelles sont
vraies, lesquelles sont fausses et pourquoi ?
1. Si v2 = v4 alors det(v1 , v2 , v3 , v4 ) = 0.
2. Si v3 = 2v4 alors det(v1 , v2 , v3 , v4 ) = 2.
3. det(v1 , v3 , v4 , v2 ) = det(v1 , v2 , v3 , v4 )
4. det(v1 , 2v2 , 3v4 , 4v4 ) = 24 det(v1 , v2 , v3 , v4 )
5. det(v1 + v3 , v2 , v1 + v3 , v4 ) = 2 det(v1 , v2 , v3 , v4 )
6. det(v1 + 3v3 , v2 , v3 , v4 ) = det(v1 , v2 , v3 , v4 )
7. det(v1 + 3v3 , v2 , v3 , v4 v2 ) = det(v1 , v2 , v3 , v4 )
8. det(3v1 + v3 , v2 , v3 , v4 v2 ) = det(v1 , v2 , v3 , v4 )
9. det(2v1 + v3 , v2 , v3 , 2v4 v2 ) = 4 det(v1 , v2 , v3 , v4 )
Vrai-Faux 3. Soit n un entier suprieur ou gal 2. On considre un n-uplet de vecteurs
de Rn . Parmi les affirmations suivantes lesquelles sont vraies, lesquelles sont fausses et
pourquoi ?
1. Si on remplace lun des vecteurs par une combinaison linaire des autres le
dterminant est inchang.
25
Maths en Ligne
Dterminants
UJF Grenoble
2. Si on soustrait au premier vecteur la somme de tous les vecteurs, le dterminant est inchang.
3. Si on soustrait le premier vecteur chacun des autres, le dterminant est
inchang.
4. Si on multiplie les deux premiers vecteurs par 1, le dterminant est inchang.
5. Si on multiplie chacun des vecteurs par 2, le dterminant est multipli par 2n .
6. Si on ajoute au dernier vecteur la somme de tous les vecteurs, le dterminant
est multipli par 2.
7. Si on change deux des vecteurs, le dterminant est chang en son oppos.
Vrai-Faux 4. Soit A une matrice carre de taille n n (n > 2). Parmi les affirmations
suivantes lesquelles sont vraies, lesquelles sont fausses et pourquoi ?
1. |A| = |tA|
2. |2A| = 2|A|
3. | A| = (1)n |A|
4. |A + tA| = 2|A|
5. Si A est diagonale, son dterminant est le produit des coefficients diagonaux.
6. Si A est triangulaire, son dterminant est le produit des coefficients diagonaux.
7. Si A est diagonale par blocs, son dterminant est le produit des coefficients
diagonaux.
8. Si une des lignes de A est combinaison linaire des autres, alors |A| = 0.
9. Si on ajoute la premire ligne de A une combinaison linaire des autres, le
dterminant est inchang.
10. Si on soustrait de la dernire ligne de A la somme de toutes les lignes, le
dterminant est inchang.
Vrai-Faux 5. Soient r et n deux entiers tels que 1 6 r < n. Soit A une matrice carre
de taille n n. Parmi les affirmations suivantes lesquelles sont vraies, lesquelles sont
fausses et pourquoi ?
1. A est inversible si et seulement si son dterminant est non nul.
2. A est de rang r si et seulement si au moins un des mineurs dordre r est non
nul.
3. Si A est de rang r alors tous les mineurs dordre r sont non nuls.
4. Si A est de rang r alors tous les mineurs dordre r + 1 sont nuls.
5. Si tous les mineurs dordre r sont nuls, alors A est de rang strictement infrieur
r.
6. Sil existe un mineur dordre r non nul, alors A est de rang r
7. Sil existe un mineur dordre r non nul, alors A est de rang au moins r
26
Dterminants
Maths en Ligne
2.2
UJF Grenoble
Exercices
1 2 3 4 5 6 7 8 9 10
7 2 8 1 4 10 5 9 6 3
1 2 3 4 5 6 7 8 9 10
8 2 7 4 3 9 5 10 1 6
1 2 3 4 5 6 7 8 9 10
4 3 7 5 2 8 1 6 10 9
1 2 3 4 5 6 7 8 9 10
2 8 7 1 6 10 4 5 9 3
1 2 3 4 5 6 7 8 9 10
5 10 2 6 9 4 7 1 8 3
1 2 3 4 5 6 7 8 9 10
7 8 6 10 2 4 1 5 9 3
1 2 3 4 5 6 7 8 9 10
5 10 6 2 3 1 7 4 9 8
1 2 3 4 5 6 7 8 9 10
7 3 1 8 5 6 2 9 4 10
1 2 3 4 5 6 7 8 9 10
5 7 6 1 10 9 8 2 4 3
;
;
;
!
Y
{i,j}P
n(n1)
2
s(i) s(j)
.
ij
27
paires
Dterminants
Maths en Ligne
UJF Grenoble
3. Soit {i, j} P une paire dlments de {1, . . . , n}. On dit que la paire {i, j} est
en inversion pour la permutation s si i < j et s(i) > s(j). Montrer que (s) est
gal +1 si le nombre de paires en inversion est pair, 1 sil est impair.
4. Montrer que si s est une transposition, alors (s) = 1.
5. Dduire de ce qui prcde que lapplication s 7 (s) concide avec la signature.
Exercice 4. Soit s Sn une permutation. Soit B = (v1 , . . . , vn ) une base de Rn . On
dfinit lendomorphisme fs de Rn , par :
i = 1, . . . , n ,
fs (vj ) = vs(i) .
1 1
0
1
0
0
1 1 2
1 2 1 0 2
1
1
2 ; 1 1
1 1
0 2
2
2
0
2
0
2 1
0
0
2
1 1
2
1 2 1
1
0
0
1 1
0
2 1
0
2 2 1 2
1
2
0 1 1 2
2 1
2
;
1
1
0 1 1
2
1
0
2
1
0 1 0
1 1 1
28
2 1
0
2
1
1 1
0
2
2
2 1
1
2
2 2
Dterminants
Maths en Ligne
UJF Grenoble
1 a a2 1 cos() cos(2) a b b a b c
1 b b2 ; 1 cos() cos(2) ; b a b ; b c a .
1 c c2 1 cos() cos(2) b b a c a b
1
0
1
0
0
a
b
1
1
b
a
0
0
1
0
1
1
1
1
1
a
c
a
c
b
b
d
d
ab
cb
ad
cd
0
1
1
1
1
0
a
b
1
a
0
c
1
b
c
0
a
a
a
a
b
a
a
a
b
b
a
a
b
b
b
a
a
a
a
a
a
b
b
b
a
b
c
c
a
b
c
d
1
1
1
1
1
1
a
b
1
a
1
c
1
b
c
0
Exercice 9. Soit n > 2 un entier, et A une matrice carre de taille n n dont tous
les coefficients valent 1. Montrer que le dterminant de A est un entier divisible par
2n1 . Indication : faire apparatre des zros dans la premire colonne.
Exercice 10. Soit n > 2 un entier et a un rel. Pour chacun des dterminants dordre
n suivants :
1. Calculer D2 , D3 .
2. tablir une formule de rcurrence reliant Dn et Dn1
3. En dduire lexpression de Dn en fonction de n et a.
Dn =
a
..
.
..
.
1
..
..
.
...
a2 . . . an2 an1
... ...
an2
a
..
..
.. ..
.
.
.
.
..
. 1
a
a2
an2
... a
an1 an2 . . . . . .
Dn =
1
1
0
..
.
..
.
0
1
a
1
a
... ... 1 1
0 ... ... 0
..
..
.
1 a
.
.
.. .. .. .. .
.
.
.
. .
.. ..
.
. a 0
. . . . . . 0 1 a
29
a
1
Dterminants
Maths en Ligne
UJF Grenoble
0 . . . . . . 0 an
.. n1
.
.
1 .. ..
. a
..
..
. . ..
.
. .
0
.
Dn = . .
.
.
.. . .
.. 0
..
..
... ...
.
a a2
0 ... ... 0 1
a
a
Exercice 11.
1. Soient a, b, c, d quatre fonctions drivables de R dans R. On pose :
a(x) b(x)
.
f (x) =
c(x) d(x)
Montrer que f est drivable et que
n
X
i=1
1
cos(x)
sin(x)
1 cos(x + ) sin(x + )
1 cos(x + ) sin(x + )
A B
=
.
C D
1. Montrer que
D C
=
.
B A
30
Dterminants
Maths en Ligne
UJF Grenoble
0 B
= (1)n det(B)det(C) .
=
C D
3. Dans le cas particulier C = B et D = A. Montrer que
B
A B A + B B A + B
=
=
=
0
AB
B A A+B A
= det(A + B)det(A B) .
4. On suppose que C et D commutent (CD = DC) et que D est inversible. Montrer que ! = det(AD BC). Indication : multiplier droite par la matrice
D 0
.
C I
5. On suppose toujours que C et D commutent, mais on ne suppose plus que
D est inversible. Pour tout x rel, on note Dx la matrice xI + D, et x le
dterminant obtenu en remplaant D par Dx dans . Montrer que pour tout
x R, x = det(ADx BC). En dduire que = det(AD BC).
6. Montrer que si A et C commutent, alors = det(AD CB).
7. Montrer que si B et D commutent, alors = det(DA BC).
8. Montrer que si A et B commutent, alors = det(DA CB).
9. quelle condition la matrice
A A
A A
I B
B I
1 1
1 1
B=
0
1
1
0
Exercice 14. Soit n un entier > 2. Soit A Mnn (R) une matrice triangulaire. Montrer
que la comatrice Ae est aussi triangulaire.
Exercice 15. Soit n un entier > 2. Soit A Mnn (R). On note Ae la comatrice de A.
31
Dterminants
Maths en Ligne
UJF Grenoble
0 1 0 1
0 1
1
0 1 0 0
0
;
0
1 0 1 0
1
1 0 1 0
0
0
0
1
0
0
0 1
0
0
2
1
0 1
1
1
1 1
0 1
2
1
1 1 1
1
1 2
0 2
0
1
1 1
0
2
4
1
4 2
4
2
4 1
;
;
2
3
1
3 1
2
1
2 0
2 3 1 3
1 2 1 2
1
1
0
0
0
0
1
0
1
0
0
2
0
2 a a a
a 2 a a
a a 2 a
a a a 2
2.3
du pivot
1
0
;
1
0
de Gauss.
0 1 0
a+1
1
a+1
2 a 1
1
a
+
1
a+1
;
a 2 0 a
2a
1
1 0 1
a+1
a
a
1
a
1
1
QCM
32
Dterminants
Maths en Ligne
A
B
C
D
E
1
1
1
3
1
4
1
3
1
3
2
3
2
2
2
5
2
5
2
5
3
2
3
6
3
3
3
2
3
6
4
4
4
1
4
6
4
4
4
2
5
6
5
5
5
2
5
6
5
1
6
5
6
4
6
1
6
1
6
4
UJF Grenoble
!
!
!
!
!
Question 2. Soient v1 , v2 , v3 , v4 4 vecteurs quelconques de R4 . On note det le dterminant dans la base canonique de R4 .
A det(2v1 + 3v2 , v2 , v3 , v4 ) = 6 det(v1 , v2 , v3 , v4 )
B Si v1 + v2 = v3 + v4 alors det(v1 , v2 , v3 , v4 ) = 0
C det(2v1 + 3v2 , v2 , v3 , 2v4 3v3 ) = 4 det(v1 , v2 , v3 , v4 )
D det(v1 + v2 , v2 + v3 , v3 + v4 , v4 + v1 ) = 4 det(v1 , v2 , v3 , v4 )
E det(v1 + v2 , v2 v1 , v3 + v4 , v3 v4 ) = 2 det(v1 , v2 , v3 , v4 )
Question 3. Soit n un entier suprieur ou gal 2. On considre un n-uplet de vecteurs
de Rn .
A Si on remplace le premier vecteur par la somme de tous les autres, le dterminant est inchang.
B Si on soustrait au dernier vecteur la somme de tous les autres, le dterminant
est inchang.
C Si on multiplie par 3 chacun des vecteurs, le dterminant est multipli par 3.
D Si on ajoute au dernier vecteur la somme de tous les vecteurs, le dterminant
est inchang.
E Si on soustrait au premier vecteur la somme de tous les vecteurs, le dterminant
sannule.
Question 4. Soit A une matrice carre de taille n n (n > 2).
A |tA| = (1)n |A|
B Si A est triangulaire par blocs, son dterminant est le produit des coefficients
diagonaux.
C Si on ajoute la premire ligne de A la somme de toutes les autres, le dterminant est inchang.
D Si une des lignes de A est combinaison linaire des autres, alors |A| = 0.
E Si on ajoute la premire ligne le double de la seconde, le dterminant est
doubl.
Question 5. Soient r et n deux entiers tels que 1 6 r < n. Soit A une matrice carre
de taille n n.
33
Dterminants
Maths en Ligne
UJF Grenoble
1 2 1
Question 6. On considre le dterminant D = 0 3 2
1 2 0
3 2 2 1
A En dveloppant selon la premire colonne, D =
2 0 3 2
2 1 1 1
B En dveloppant selon la dernire ligne, D =
3 2 0 2
C En remplaant
la troisime ligne par la premire moins la troisime :
1 2 1
D = 0 3 2
0 0 1
2 1 1
D En permutant les colonnes : D = 3 2 0
2 0 1
E Par la rgle de Sarrus : D = 0 + 0 + 4 3 4 + 0
Question 7. On considre le systme linaire
x+ 2y+ z = 2
3y+ 2z = 3
x+ 2y
= 1
On note D le dterminant
du systme.
2 2 1
1
A x = 3 3 2
D
1 2 0
2 1 1
1
B y= 3 0 2
D
1 1 0
1 2 2
1
C z = 0 3 3
D
1 2 1
2 2 1
1
D x = 0 0 1
D
0 1 0
34
Dterminants
Maths en Ligne
UJF Grenoble
1 2 1
1
0 3 2
E y=
D
0 1 1
Question 8. Soit A = (ai,j )i,j=1,...,n une matrice de taille n n (n > 2). Pour i, j
{1, . . . , n}, on note Ai,j le cofacteur dindices i et j.
A Si i 6= j alors
B
n
X
C Si i 6= j alors
n
X
ai,k Ak,j = 0
k=1
k=1
n
X
n
X
Ai,k aj,k = 0
k=1
k=1
E Si i 6= j alors
n
X
ak,i Ai,k = 0
k=1
a b b
Question 9. Soit a et b deux rels. On considre le dterminant D = b a b .
b b a
A D est un polynme de degr 3 en b
B D est nul si et seulement si a = b
C Si a = 2b, alors D = 0
D D = (a + 2b)(a b)
E D est multiple de (a b)2 .
1 1 1
Question 10. Soient a, b, c trois rels. On considre le dterminant D = a b c
a2 b 2 c 2
A D est un polynme de degr 2 en a
B Si a = b alors D = 0
C Si a = 1 alors D = 0
D a2 b2 divise D
E D = (a b)(b c)(c a)
Rponses : 1AD 2BC 3BE 4CD 5AD 6BE 7AB 2AE 9CD 10AE
2.4
Devoir
Essayez de bien rdiger vos rponses, sans vous reporter ni au cours, ni au corrig. Si
vous souhaitez vous valuer, donnez-vous deux heures ; puis comparez vos rponses avec
35
Dterminants
Maths en Ligne
UJF Grenoble
le corrig et comptez un point pour chaque question laquelle vous aurez correctement
rpondu.
Questions de cours : Soit n un entier et A = (ai,j )i,j=1,...,n une matrice de taille nn.
1. Donner lexpression du dterminant de A en fonction de ses coefficients.
2. Dmontrer que le dterminant de la transpose de A est gal au dterminant de
A.
3. Donner la dfinition des cofacteurs de A.
4. Soit r un entier tel que 1 6 r < n. Dmontrer que si le rang de A est strictement
infrieur r alors tous les mineurs dordre r de A sont nuls.
5. Dmontrer que si le rang de A est suprieur ou gal r alors il existe un mineur
dordre r non nul.
Exercice 1 : Soit n > 2 un entier. Soient a, b, x1 , . . . , xn des rels. On note A la matrice
de taille n n dont la diagonale est (x1 , . . . , xn ), les termes au-dessus sont tous gaux
a, les termes au-dessous tous gaux b.
A=
x1
b
..
.
..
.
b
... ... a
..
.
x2 . .
.
..
.. .. ..
. .
.
.
... ...
a
. . . . . . b xn
bP (a) aP (b)
,
ba
36
Dterminants
Maths en Ligne
UJF Grenoble
Dn =
1
a1 +b1
1
a2 +b1
..
.
1
an1 +b1
1
an +b1
1
a1 +b2
... ...
1
a1 +bn
1
a2 +b2
... ...
1
a2 +bn
..
.
..
.
1
an1 +b2
... ...
1
an1 +bn
1
an +b2
... ...
1
an +bn
1. Montrer que si
i 6= j ,
ai = aj ou bi = bj ,
alors Dn = 0.
2. Montrer que
Dn =
an +b1
a1 +b1
an +b1
a2 +b1
1
..
.
(an + b1 ) (an + bn )
an +b1
an1 +b1
1
an +b2
a1 +b2
... ...
an +bn
a1 +bn
an +b2
a2 +b2
... ...
an +bn
a2 +bn
..
.
..
.
an +b2
an1 +b2
... ...
an +bn
an1 +bn
... ...
an a1
a1 +b2
... ...
an a1
a1 +bn
an a2
a2 +b2
... ...
an a2
a2 +bn
3. Montrer que
an a1
a1 +b1
an a2
a2 +b1
1
..
.
(an + b1 ) (an + bn )
a a
n n1
an1 +b1
1
Dn =
..
.
..
.
an an1
an1 +b2
... ...
an an1
an1 +bn
... ...
4. Montrer que
Dn =
1
a1 +b1
1
a2 +b1
(an a1 ) (an an1 )
..
.
(an + b1 ) (an + bn )
1
an1 +b1
1
37
1
a1 +b2
... ...
1
a1 +bn
1
a2 +b2
... ...
1
a2 +bn
..
.
..
.
1
an1 +b2
... ...
1
an1 +bn
... ...
Dterminants
Maths en Ligne
UJF Grenoble
5. Montrer que
Dn =
bn b1
(a1 +b1 )(a1 +bn )
bn b1
(a2 +b1 )(a2 +bn )
..
.
b b1
(an1 +bn1 )(an1
+bn )
0
(an + b1 ) (an + bn )
bn b2
(a1 +b2 )(a1 +bn )
...
bn bn1
(a1 +bn1 )(a1 +bn )
1
a1 +bn
bn b2
(a2 +b2 )(a2 +bn )
...
bn bn1
(a2 +bn1 )(a2 +bn )
1
a2 +bn
..
.
..
.
bn b2
(an1 +b2 )(an1 +bn )
...
bn bn1
(an1 +bn1 )(an1 +bn )
1
an1 +bn
...
6. Montrer que
Dn =
7. En dduire que
Y
Dn =
(ai aj )(bj bi )
16i<j6n
(ai + bj )
16i,j6n
(ai + bj )
(ai + bk )
(ah + bj )
h6=j
k6=i
(ai ak )
(bj bh )
h6=j
k6=i
2.5
Corrig du devoir
Questions de cours :
1. Lexpression du dterminant de A en fonction de ses coefficients est
|A| =
X
sSn
(s)
n
Y
as(j),j ,
j=1
Dterminants
Maths en Ligne
UJF Grenoble
|A| =
n
Y
(s)
as(j),j .
j=1
sSn
as(j),j =
j=1
n
Y
ai,s1 (i) .
i=1
De plus la signature dune permutation est gale celle de son inverse (car est
un homomorphisme de groupe).
|A| =
(s )
n
Y
ai,s1 (i) .
i=1
sSn
(s)
n
Y
ai,s(i) = |tA| .
i=1
sSn
Dterminants
Maths en Ligne
UJF Grenoble
... ...
..
.
x
.. .. ..
.
.
.
... ...
... ... a
a
D = ...
..
.
a
a
..
.
..
.
a
x
La somme des lments de chaque ligne est gale x + (n 1)a. Ajoutons les
colonnes dindices 2 n la premire, et mettons x + (n 1)a en facteur.
D=
(x + (n 1)a)
1 a . . . . . . a
..
.
1 x ..
.
..
. . . . .. .
. .
.
. a
.. .. . . . .
. a
.
. .
1 a ... a x
D=
(x + (n 1)a)
1
a
0 xa
..
..
.
.
..
.
0 ...
...
0
..
.
..
.
...
...
a
...
0
..
..
.
.
..
.
0
0 xa
n
X
B1,j ,
j=2
o les Bi,j sont des cofacteurs extraits des lignes 2 n, qui ne contiennent donc
pas X. Do le rsultat.
3. Les matrices A aJ et A bJ sont diagonales. Leur dterminant est le produit
des coefficients diagonaux.
det(A aJ) =
n
Y
i=1
n
Y
(xi b) .
i=1
40
Dterminants
Maths en Ligne
UJF Grenoble
n
Y
(xi a) et b + =
i=1
n
Y
(xi b)
i=1
bP (a) aP (b)
,
ba
5. Pour a, x1 , . . . , xn fixs, la fonction qui b associe det(A) est une fonction polynomiale, donc continue. Sa valeur en b = a est la limite de lexpression trouve
question prcdente lorsque b tend vers a.
(b a)P (a) a(P (b) P (a))
bP (a) aP (b)
= lim
= P (a) aP 0 (a) .
ba
ba
ba
ba
lim
Exercice 2 :
1. Si ai = aj , les deux lignes dindices i et j sont identiques, donc le dterminant
est nul. De mme, si bi = bj , les deux colonnes dindices i et j sont identiques
et le dterminant est nul.
2. Si on multiplie la j-ime colonne du dterminant par an + bj , le dterminant est
multipli par an + bj , ce qui donne le rsultat annonc.
3. Le coefficient dindices (i, j) trouv la question prcdente est :
an + b j
an ai + ai + bj
an ai
=
=
+1.
ai + b j
ai + b j
ai + b j
On vrifie donc le rsultat annonc en soustrayant la dernire ligne aux prcdentes.
4. Dans le dterminant de la question prcdente, on peut mettre en facteur (an
ai ) dans tous les termes de la i-ime ligne, ce qui conduit au rsultat demand.
5. Dans le dterminant de la question prcdente, soustrayons la dernire colonne
chacune des prcdentes. Pour i, j = 1, . . . , n 1, le terme dindices (i, j)
devient :
1
ai + b n ai b j
bn bj
1
=
=
,
ai + b j
ai + b n
(ai + bj )(ai + bn )
(ai + bj )(ai + bn )
do le rsultat.
41
Dterminants
Maths en Ligne
UJF Grenoble
1
a1 +b2
... ...
1
a1 +bn
1
a2 +b2
... ...
1
a2 +bn
..
.
..
.
1
an1 +b2
... ...
...
1
an1 +bn
Y
16i<n
Dn = Y
(an ai )(bn bi )
(an + bi )(ai + bn )
16i6n
(ai aj )(bj bi )
16i<j6n1
(ai + bj )
16i,j6n1
soit
Dn =
(ai aj )(bj bi )
16i<j6n
(ai + bj )
16i,j6n
42
Dterminants
Maths en Ligne
UJF Grenoble
H4 =
1
2
1
3
1
4
1
2
1
3
1
4
1
5
1
3
1
4
1
5
1
4
1
5
1
6
1
6
1
7
H41 =
16
120
240
140
120 1200 2700 1680
240 2700 6480 4200
140 1680 4200 2800
43
Maths en Ligne
3
3.1
Dterminants
UJF Grenoble
Complments
Les ttonnements de Leibniz
Sil y a bien un fil directeur dans luvre foisonnante de Leibniz (16461716), cest
son souci constant damliorer l art dinventer . Pour lui, il convient avant tout de
dsencombrer lesprit du savant de tout ce qui peut tre automatis. Do en particulier
les recherches que Leibniz mnera toute sa vie sur les calculateurs mcaniques. En
outre, Leibniz tait parfaitement conscient de limportance dun choix judicieux de
notations, permettant dautomatiser les calculs avec des symboles. Il appelle cela l art
caractristique , (du choix des caractres), lui-mme soumis lart combinatoire (de
combiner ces caractres) 1 . Ce thme tait dj prsent ds sa thse, crite en 1666
lge de 20 ans : il y inventait un alphabet de la pense humaine . Ce souci
dautomatiser les procdures par un choix de notations judicieux la conduit pour le
calcul diffrentiel, dfinir celles que vous utilisez encore. Le mme souci prside encore
ses travaux sur la rsolution de systmes linaires, et la dtermination de solutions
communes aux quations algbriques. Cest ainsi quil est amen au fil des annes
dvelopper les dterminants. Il nest pas lauteur de la thorie complte, mais plutt
dun ensemble de rgles empiriques non dmontres, qui prfigurent nanmoins les
proprits que vous avez apprises dans ce chapitre. Dailleurs il nexiste pas de trait
publi par Leibniz sur les dterminants. Seulement un corpus de manuscrits et de lettres
en latin, adresses quelques uns de ses 1100 correspondants recenss. Pourquoi un
tel intrt pour les systmes linaires ? Leibniz pensait que nimporte quelle rsolution
dquation (algbrique, diffrentielle ou autre) pouvait se ramener la rsolution dun
systme linaire. Au vu des mthodes numriques dveloppes depuis deux sicles,
ctait singulirement prmonitoire !
Dans le cadre de son art caractristique , Leibniz inventa plus cinquante manires
dutiliser des nombres fictifs ; deux seulement furent publies. Voici une de ses faons
dcrire une quation linaire quelconque :
10 + 11x + 12y = 0 .
Comprenez : a1,0 +a1,1 x+a1,2 y = 0, ou bien ax+by = c : que prfrez-vous ? Paradoxalement, ces multiples choix de notations pour les systmes linaires, le fait de ne pas
distinguer premier et second membre, semblent lavoir handicap plutt quaid dans
ses lents ttonnements vers la dfinition du dterminant. Ayant peru assez tt que les
quantits qui apparaissaient dans les solutions de systmes linaires taient des sommes
de produits de coefficients, il a mis trs longtemps dgager la rgle de lalternance de
signe. Il entrevoit cette rgle ds 1678.
Ainsi nous avons une rgle de laquelle la valeur dune inconnue linaire peut
tre crite sans aucun calcul.
1. M. Eberhard Knobloch : Dterminants et limination chez Leibniz, Revue dHistoire des
Sciences, 54(2), pp. 143164 (2001)
44
Maths en Ligne
Dterminants
UJF Grenoble
Ctait trop optimiste. Son heuristique ne se gnralise pas encore. Prudent, il crit :
Ce thorme mritait dtre dmontr exactement, ce qui se ferait par cette
subtile analyse-l qui prescrit les lois au calcul mme sans calcul.
Voici la rgle des signes en 1683.
Soit un terme quelconque positif ou ngatif : les termes qui se distinguent
de ce terme par un nombre pair de coefficients sont affects du signe oppos.
Ceux qui se distinguent par un nombre impair de coefficients sont affects
du mme signe.
Encore une autre, la mme anne :
Les membres qui nont quun seul coefficient commun ou un nombre impair
de tels coefficients ont des signes opposs. Ceux qui ont deux ou un nombre
pair de coefficients communs ont le mme signe.
Ce nest toujours pas a : Leibniz essaie de deviner le rsultat en dcortiquant les
systmes 2 2 et 3 3 quil rsoud, mais la gnralisation nest pas vidente. Petit
petit, il parvient dgager la notion de permutation des indices.
Les permutations des indices droits ont le mme signe si elles rsultent
lune de lautre par un changement cyclique. Les autres permutations ont
un signe oppos.
Enfin en 1684, il tient son succs.
Dans cette tentative, jai rsolu le problme tandis quauparavant javais
toujours essuy un chec. Voici un exemple insigne de lart combinatoire.
La rgle quil nonce alors est bien la bonne :
Deux termes qui se distinguent lun de lautre seulement par un nombre
impair de transpositions des indices gauches ou droits ont des signes opposs. Ceux qui se distinguent lun de lautre par un nombre pair ont le mme
signe.
Sil a fallu autant de temps Leibniz pour comprendre comment dvelopper un dterminant, peut-tre nest-ce pas si vident ?
3.2
Lcole japonaise
Les Neuf Chapitres de lart du Calcul ont jou pour les mathmatiques en extrmeorient, le rle des lments dEuclide pour les mathmatiques occidentales. Ce livre de
problmes crit en Chine dans les premiers sicles de notre re, contient en particulier
des problmes dquations et la rsolution des systmes linaires. Ainsi, des sicles
plus tard, les systmes dquations taient toujours pour les mathmaticiens japonais
une source dinspiration. Il nest donc pas surprenant queux-aussi aient, comme les
mathmaticiens europens, dgag la notion de dterminant des mthodes de rsolution
dquations. Plus surprenant est le fait que les deux dcouvertes ont t quasiment
45
Maths en Ligne
Dterminants
UJF Grenoble
simultanes. Le premier dterminant a t crit au Japon par Seki Takakazu (ou Seki
Kowa) (16421708) 2 3 . Louvrage dans lequel la notion apparat est dat de 1683, mais il
est probable que son auteur travaillait sur les problmes dlimination depuis plusieurs
annes. Ce que dautres ne manquaient pas de lui reprocher.
Il existe aujourdhui dans notre pays, des mathmaticiens qui connaissent
lgalisation mais qui, par got du secret ou par relle ignorance, nul ne
sait, ne la rvlent pas. Si bien que nous ne la trouvons dans aucun livre.
Celle-ci va tre divulgue par lcole de Nakanishi pour apaiser les esprits.
Dsormais les trsors de la rsolution des problmes de mathmatiques se
trouveront runis dans le seul Recueil dgalisations.
Un des lves de Takakazu se charge de riposter.
Ces temps derniers, des mathmaticiens de la capitale et de la province se
sont mis, soit par ignorance de la subtilit des procdures de Seki, soit parce
quils suspectent ce dernier de camoufler son ignorance des procdures, le
mettre lessai en lui soumettant des problmes de mme nature [que ceux
de Sawagushi] ou laccuser de stre tromp dans les procdures, dvoilant
ainsi leur propre incomptence.
Mais la meilleure manire de rpondre est encore de publier.
Dplorant que, parmi le trs grand nombre douvrages chinois et japonais
consacrs aux mathmatiques, il ny en ait aucun qui ait pntr le sens
profond du shakusa, les trois samourai [Seki et les deux frres Takebe]
tinrent conseil, puis, partir de lt de la troisime anne de Tenna [1683],
se mirent rdiger sous la conduite de Katahiro lessentiel des nouveaux
rsultats que chacun avait obtenus, firent le point sur les mthodes lgues,
anciennes et rcentes ; le tout fut rassembl au milieu des annes Genroku
[1688-1703]. Il y avait au total douze livres, auxquels le nom de Sanp taisei
[trait accompli de mathmatiques] fut donn et que [Katahiro] commena
mettre au propre.
Seki Takakazu a t la figure de proue des mathmatiques japonaises de lpoque Edo,
et ses connaissances attiraient de nombreux disciples.
Jeune homme ( lge de seize ans), il [Kataaki] se tourna avec son frre
cadet Katahiro vers les mathmatiques. Ils avaient abord cet art avec une
grande dtermination et staient plongs dans les ouvrages chinois et japonais ; et, bien quils en eussent clairci le contenu, ils ne parvenaient pas
saisir le principe (ri) des rsolutions de problmes (kainan). Ils entendirent
cette poque que les mathmatiques de Seki Shinzuke Takakazu (vassal du seigneur de Kfu, Tsunashige) dpassaient de loin ce qui se faisait
2. A. Horiuchi : Les mathmatiques japonaises lpoque dEdo 1600-1868 Librairie Philosophique
Vrin (1994)
3. Y. Mikami : On the Japanese theory of determinants, Isis, 2(1), pp. 936 (1914)
46
Maths en Ligne
Dterminants
UJF Grenoble
3.3
Il na fallu que trois pages Gabriel Cramer (17041752) pour passer la postrit.
Ces trois pages constituent la premire partie de lAppendice de son livre Introduction
lanalyse des lignes courbes algbriques , qui en comprend prs de 700. Aprs avoir
donn la solution gnrale dun systme linaire de dimensions 1, 2 et 3, il poursuit :
Lexamen de ces Formules fournit cette Rgle gnrale. Le nombre des quations & des inconnues tant n, on trouvera la valeur de chaque inconnue en
formant n fractions dont le dnominateur commun a autant de termes quil
y a de divers arrangements de n choses diffrentes. . .
Pas de doute, ce sont bien les formules de Cramer quil dcrit. Ce nest quune Rgle
marginale dans un ensemble monumental. Voici ce quil en dit dans la prface.
LAppendice contient trois Dmonstrations qui auraient trop interrompu
la suite du Discours si on les avait insres o elles sont cites. Il ny a
proprement que celle du No . 2. qui soit ncessaire.
Pourtant le succs fut quasi immdiat. Gergonne raconte :
Cette mthode fut tellement en faveur, que les examens aux coles des
services publics ne roulaient, pour ainsi dire, que sur elle ; on tait admis
ou rejet suivant quon la possdait bien ou mal.
Cramer aurait t le premier surpris dapprendre do vient sa clbrit. Il nen aura
pas eu le temps : il semble que le travail excessif quil a fourni pour crire ce monument
soit lorigine de la dgradation brutale de sa sant, et son dcs seulement 48 ans.
Quant lampleur de louvrage, il ne vous en fera point dexcuses .
Tel est le plan que je me suis propos dans cet essai. Cest mes Lecteurs
juger si je lai rempli. Jai tant de grces leur demander, que je ne leur
ferai point dexcuses, ni sur le style, o je nai cherch que la clart ; ni
sur certains dtails, que jai cr ncessaires aux jeunes Gomtres en faveur
desquels jcris ; ni sur la longueur de cet Ouvrage, dont je suis moi-mme
surpris. Elle vient principalement du nombre dExemples que japporte pour
illustrer les Rgles que je donne. Je sens fort bien que les Savants en voudraient moins, mais en change les Commenants en dsireraient peut-tre
47
Maths en Ligne
Dterminants
UJF Grenoble
davantage. Je puis dire aux uns, que je ne crois pas avoir plac un seul
Exemple sans quelque raison particulire ; & jose assurer les autres que je
ne pense pas quils trouvent dans les Rgles aucune difficult qui ne soit
claircie par quelque Exemple.
3.4
Dans quel domaine des mathmatiques connues au dbut du xixe sicle Cauchy
(17891857) na-t-il pas laiss sa trace ? Euh. . . je nen connais pas ! Les dterminants,
sont le sujet de lun de ses premiers travaux : Mmoire sur les fonctions qui ne peuvent
obtenir que deux valeurs gales et de signes contraires par suite des transpositions
opres entre les variables quelles renferment . Soixante dix neuf pages magistrales
crites en 1812 et parues au Journal de lcole Polytechnique en 1815. La premire
partie, Fonctions symtriques alternes dbute comme ce chapitre : dcomposition
dune permutation en cycles, en produits de transpositions, etc. Cauchy en vient ensuite
au vif du sujet. Comme il commence par brosser un historique du domaine, tant vaut
en profiter. Remarquez quil ne cite ni Takakazu (nous lexcuserons), ni Leibniz ; mais
Laplace, Vandermonde et Bzout ne semblaient pas non plus conscient de ces travaux,
raliss plus dun sicle auparavant, mais peu diffuss.
Je vais maintenant examiner particulirement une certaine espce de fonctions symtriques alternes qui soffrent delles-mmes dans un grand nombre de recherches analytiques. Cest au moyen de ces fonctions quon exprime les valeurs gnrales des inconnues que renferment plusieurs quations
du premier degr. Elles se reprsentent toutes les fois quon a des quations
de condition former, ainsi que dans la thorie gnrale de llimination.
MM. Laplace et Vandermonde les ont considres sous ce rapport dans les
Mmoires de lAcadmie des Sciences (anne 1772) et M. Bzout les a encore
examines depuis sous le mme point de vue dans sa Thorie des quations.
M. Gauss sen est servi avec avantage dans ses Recherches analytiques pour
dcouvrir les proprits gnrales des formes du second degr, cest--dire
des polynmes du second degr deux ou plusieurs variables, et il a dsign ces mmes fonctions sous le nom de dterminants. Je conserverai cette
dnomination qui fournit un moyen facile dnoncer les rsultats ; jobserverai seulement quon donne aussi quelquefois aux fonctions dont il sagit
le nom de rsultantes deux ou plusieurs lettres. Ainsi les deux expressions suivantes, dterminant et rsultante devront tre regardes comme
synonymes.
3.5
Dterminants
Maths en Ligne
UJF Grenoble
quelconque soit b, &c. & que le produit des deux soit dsign lordinaire
49
Dterminants
Maths en Ligne
UJF Grenoble
=a
+b
+c
b c
c a
a b
=a
b
+c
d
a b c d
b c d
c d a
d a b
a b c
[. . . ]
. . . Inutile den reproduire plus, vous aurez compris dune part que Vandermonde est
bien dcid traiter par sa notation des dterminants tout fait gnraux, dautre part
que ce ne sera pas de la tarte de comprendre ce quil veut dire. De fait, une fois franchi
lobstacle des notations, le mmoire contient bien une dfinition des dterminants par
rcurrence, et lnonc de leurs principales proprits, . . . mais pas le dterminant de
Vandermonde. Du moins en apparence.
Voici comment Cauchy, dans son mmoire de 1815, prsente les dterminants.
Soient a1 , a2 , . . . , an plusieurs quantits diffrentes en nombre gal n. On
a fait voir ci-dessus que, en multipliant le produit de ces quantits ou
a1 a2 a3 . . . an
par le produit de leurs diffrences respectives, ou par
(a2 a1 )(a3 a1 ) . . . (an a1 )(a3 a2 ) . . . (an a2 ) . . . (an an1 )
on obtenait pour rsultat la fonction symtrique alterne
S(a1 a22 . . . ann )
qui, par consquent, se trouve toujours tre gale au produit
a1 a2 . . . an (a2 a1 )(a3 a1 ) . . . (an a1 )(a3 a2 ) . . . (an a2 ) . . . (an an1 ) .
Supposons maintenant que lon dveloppe ce dernier produit et que, dans
chaque terme du dveloppement, on remplace lexposant de chaque lettre
par un second indice gal lexposant dont il sagit : en crivant, par
exemple, ar,i au lieu de air et ai,r au lieu de ari , on obtiendra pour rsultat
une nouvelle fonction symtrique alterne qui, au lieu dtre reprsente par
S(a11 a22 . . . ann ) ,
50
Dterminants
Maths en Ligne
UJF Grenoble
tandis que
a1 a2 a3
b1 b2 b3 = a1 b2 c3 + b1 c2 a3 + c1 a2 b3 c1 b2 a3 a1 c2 b3 b1 a2 a3 .
c1 c2 c3
Cauchy utilise abondamment cette mthode pour dmontrer les proprits des dterminants, et la prconise comme mthode de calcul, dans son cours dAnalyse de lcole
Polytechnique. Lalgbre linaire tant encore inconnue, il fallait bien se dbrouiller
autrement ! Loin dtre un exemple particulier (comme nous vous lavons prsent), le
dterminant de Vandermonde tait donc un moyen commode dcrire les dterminants
gnraux et dtudier leurs proprits. Vandermonde en tait-il conscient ? Voici ce quil
dit dans son mmoire sur llimination (cest nous qui soulignons).
Ceux qui ont connaissance des symboles abrgs que jai nomms types
partiels de combinaison dans mon Mmoire sur la rsolution des quations,
reconnatront ici la formation du type partiel dpendant du second degr,
51
Maths en Ligne
Dterminants
UJF Grenoble
pour un nombre quelconque de lettres ; ils verront sans peine quen prenant
ici nos , , , , &c. par exemple, pour des exposants, tous les termes
de mme signe, dans le dveloppement de lune de nos abrviations ; seront aussi le dveloppement du type partiel dpendant du second degr,
& form dun pareil nombre de lettres ; ce que dmontrent nos oprations
prcdentes.
Le Mmoire sur la rsolution des quations, publi lanne prcdente, a t lu lacadmie en novembre 1770, soit 2 mois seulement avant celui sur llimination. Vandermonde y introduit une classification des fonctions symtriques, quil appelle types
partiels . Or que trouve-t-on la page 4 de ce mmoire, loccasion dun exemple ?
Or (a2 b + b2 c + c2 a a2 c b2 a c2 b), qui gale (a b)(a c)(b c) a pour carr. . . .
Au vu des textes, les conclusions suivantes nous semblent simposer.
1. Il ny aucune mprise due la convention dcriture des indices ; il a au contraire
une mthode reconnue comme telle, consistant changer le rle des indices et
des exposants, afin de tirer parti de la factorisation du dterminant de Vandermonde. Cauchy en fait un usage important, tant dans son mmoire de 1812, que
dans son cours danalyse de lcole Polytechnique de 1821.
2. Vandermonde tait parfaitement conscient de cette mthode, puisquil le dit
explicitement dans le mmoire sur llimination, et quil donne la factorisation
dans le mmoire sur la rsolution des quations.
3. Mme si Cauchy a vritablement dvelopp la thorie, et tir toutes les consquences de la mthode, il est juste de donner le nom de Vandermonde la fois
au dterminant et la mthode.
Pourquoi alors la place de Vandermonde dans lHistoire est-elle si trique ? Il ne semble
pas avoir aim attirer lattention. Lastronome sudois Lexell crivait en 1780 4 :
M. Vandermonde passe pour tre un homme de talent, quoiquil nen a pas
la mine. Sa manire de sexprimer nest pas trop claire. Il est petit et son
front ne passerait jamais pour le front dun mathmaticien.
Comme on dit dans ces cas-l : Napolon aussi tait petit. La modestie de Vandermonde
le conduisait seffacer volontiers, plutt que de rentrer dans ces polmiques qui ont
toujours maill les relations entre savants. Le mmoire sur llimination mentionne :
Ce mmoire a t lu pour la premire fois lAcadmie le 12 janvier 1771.
Il contenait diffrentes choses que jai supprimes ici, parce quelles ont t
publies depuis par dautres gomtres.
Lautre gomtre dont il sagit est Laplace, dont le mmoire, publi dans le mme
volume, nallait pas aussi loin sur le plan thorique que celui de Vandermonde. Mme sil
a t justement reconnu comme le fondateur de la thorie des dterminants, son activit
4. A. Birembaut : LAcadmie royale des Sciences en 1780 vue par lastronome sudois Lexell
(17401784) Revue dHistoire des Sciences et de leurs applications, 10(2), pp. 148166 (1957)
52
Maths en Ligne
Dterminants
UJF Grenoble
3.6
3.7
et Q = b0 + b1 X + + bm X m .
53
Maths en Ligne
Dterminants
UJF Grenoble
Quelle condition doivent satisfaire les coefficients pour que P et Q aient une racine
commune ? Commenons par former la matrice de Sylvester, S(P, Q), en crivant m+n
colonnes obtenues en rptant de faon dcale les deux vecteurs de coefficients. Pour
n = 2 et m = 3 :
a0 0 0 b 0 0 0 0
a1 a0 0 b 1 b 0 0 0
a a a b b b
0
1
0
2
1
0
0 a2 a1 b 3 b 2 b 1 b 0
S(P, Q) =
0
0
a
0
b
b
b
2
3
2
1
0
0 0 0 0 b3 b2
0 0 0 0 0 0 b3
Thorme 4. Le degr du pgcd de P et Q et le rang de la matrice S(P, Q) sont lis
par :
deg pgcd(P, Q) = n + m rang S(P, Q) .
Vous pouvez dmontrer vous-mmes ce rsultat : il suffit de comprendre quel est
le rapport entre larithmtique des polynmes et le noyau de la matrice de Sylvester.
Notons R le pgcd de P et Q et supposons quil soit de degr suprieur ou gal 1.
Notons A et B les quotients de P et Q par R : ils sont tels que P = AR et Q = BR,
donc BP AQ = 0. Les polynmes A et B sont de degrs au plus n 1 et m 1.
crivons :
A = 0 + 1 X + + n1 X n1
et B = 0 + 1 X + + m1 X m1 .
54
Maths en Ligne
Dterminants
UJF Grenoble
him, and when they do so, he will [. . . ] commit some sort of blunder, and
compromise his dignity in some way. I reckon our London cockney knows
about as much about Virginian manners and character as a horse would
about differential calculus.
Effectivement, la provocation des tudiants et la gaffe de Sylvester ne staient pas
faites attendre.
The cause of his sudden abandonment of the University of Virginia is often
related by the Rev. R.L. Dabney, as follows : In Sylvesters class were a
pair of brothers, stupid and excruciatingly pompous. When Sylvester pointed out the blunders made in a recitation by the younger of the pair, this
individual felt his honor and family pride aggrieved, and sent word to Professor Sylvester that he must apologize or be chastised.
Sylvester bought a sword-cane, which he was carrying when way-laid by
the brothers, the younger armed with a heavy bludgeon.
An intimate friend of Dr. Dabneys happened to be approaching at the moment of the encounter. The younger brother stepped up in front of Professor
Sylvester and demanded an instant and humble apology.
Almost immediately he struck at Sylvester, knocking off his hat, and then
delivered with his heavy bludgeon a crushing blow upon Sylvesters bare
head.
Sylvester drew his sword-cane and lunged straight at him, striking him
just over the heart. With a despairing howl, the student fell back into his
brothers arms screaming out, I am killed ! ! He has killed me ! Sylvester
was urged away from the spot by Dr. Dabneys friend, and without even
waiting to collect his books, he left for New York, and took ship back to
England.
Meanwhile, a surgeon was summoned to the student, who was lividly pale,
bathed in cold sweat, in complete collapse, seemingly dying, whispering his
last prayers. The surgeon tore open his vest, cut open his shirt, and at once
declared him not in the least injured. The fine point of the sword-cane had
struck a rib fair, and caught against it, not penetrating.
When assured that the wound was not much more than a mosquito-bite,
the dying man arose, adjusted his shirt, buttoned his vest, and walked off,
though still trembling from the nervous shock.
3.8
La condensation de Dodgson
Maths en Ligne
Dterminants
UJF Grenoble
1. former tous les dterminants 2 2 possibles avec des termes contigus, que lon
place dans un dterminant de taille (n1) (n1),
2. rpter lopration de manire obtenir un dterminant de taille (n2) (n2),
disons C = |ci,j |i,j=1,...,n2 ,
3. diviser chaque terme ci,j par le terme ai+1,j+1 du dterminant initial.
On itre ensuite jusqu atteindre la taille 1 1, et diviser par le terme central du
dterminant 3 3 obtenu antrieurement : le rsultat est le dterminant cherch. Vous
ntes pas convaincu que lalgorithme fait bien ce qui est annonc ? Il nest peut-tre
pas utile de sacharner en savoir plus : il faut bien avouer quil na aucun intrt ni
pour le calcul la main, ni pour limplmentation sur machine. Le nombre doprations,
certes plus rduit que pour le dveloppement par lignes, reste trs suprieur celui de
la mthode du pivot de Gauss.
Charles Dodgson (18321898) a publi cette mthode en 1866 sous le titre Condensation of Determinants, Being a New and Brief Method for Computing their Arithmetical Values . Pas plus que sa mthode, il na laiss de souvenir imprissable, ni comme
enseignant (il tait professeur au Christ Church College dOxford mais avait des problmes dlocution), ni comme mathmaticien.
An inveterate publisher of triffles [who] was forever putting up pamphlets,
papers, broadsheets, and books on mathematical topics [that] earned him no
reputation beyond that of a crochety, if sometimes amusing controversialist,
a compiler of puzzles and curiosities, and a busy yet ineffective reformer on
elementary points of computation and instructional methods. In the higher
reaches of the subject he made no mark at all, and has left none since.
Voil ce qui sappelle habiller quelquun pour lhiver. Ny a-t-il vraiment rien dautre
pour le sauver ? La religion ? Il nalla pas jusqu tre ordonn prtre, mais il fut tout de
mme diacre et il prononait rgulirement des sermons et servait des offices religieux.
Ou bien la photographie ? Il laissa une collection de 3000 clichs. Rien de tout cela
ne suffit expliquer pourquoi Charles L. Dodgson est plus clbre que nimporte quel
autre mathmaticien.
Vous le connaissez sous le pseudonyme de Lewis Carroll : Alice in Wonderland
est paru en 1865, un an avant la mthode de condensation. Profitons en pour tordre
le cou une fois de plus une rumeur tenace, qui a commenc circuler peu aprs. La
voici reprise dans une biographie datant de 1910.
A funny tale is told about Queen Victoria. It seems that Lewis Carroll sent
the second presentation copy of Alice in Wonderland to Princess Beatrice,
the Queens youngest daughter. Her mother was so pleased with the book
that she asked to have the authors other works sent to her, and we can
imagine her surprise when she received a large package of learned treatises
by the mathematical lecturer of Christ Church College.
56
Maths en Ligne
Dterminants
UJF Grenoble
57