CHAPITRE 15 GROUPE SYMETRIQUE – DETERMINANT

Dans tout ce chapitre ॶ désigne l’un des corps commutatif ℝ ou ℂ .

݊ et ‫ ݌‬sont deux entiers naturels non nuls (sauf mention du contraire).
I. Groupe symétrique
1- Permutation de
1, ݊ 
a-Définition 1
On appelle permutation de
1, ݊  toute bijection de
1, ݊  dans
1, ݊ .

L’ensemble des permutations de
1, ݊  est noté : ࣭݊ ou ्݊

b-Proposition 1
Muni de la loi de composition des applications, (࣭௡ , ‫ )݋‬est un groupe, de cardinal ݊ !

Son élément neutre est ‫
݀ܫ‬1,݊  , noté tout simplement : id

Preuve

Généralement , d’après le cours (chap. Structures algébriques ) ,

Si ‫ ܧ‬est un ensemble fini non vide, alors l’ensemble ࣭‫ ܧ‬des permutations de ‫ܧ‬

est un groupe pour la L.C.I notée o .

Donc , en particulier pour, ‫
= ܧ‬1, ݊  , on a : (࣭௡ , ‫ )݋‬est un groupe.

Et d’après le cours , (chap. Dénombrement ) , on a : ܿܽ‫࣭(݀ݎ‬௡ ) = ݊!

c - Notations
i) Soit ߪ ∈ ࣭௡ , la permutation ߪ est souvent notée de la façon suivante :
1 2 3 ⋯ ݊
ߪ = ቆ ቇ
ߪ(1) ߪ(2) ߪ(3) ⋯ ߪ(݊)

ii) Si ߪଵ ,ߪ2 ∈ ࣭݊ , alors le composé ߪ1 o ߪ2 est noté multiplicativement en écrivant :

ߪ1 o ߪ2 = ߪ1 ߪ2

Pour ݊ = 1 , ࣭1 = {݅݀}
d- Remarque

1 2

Pour ݊ = 2 , ࣭2 = { ݅݀ , ߬} , où ߬ = ቀ ቁ
2 1

Pour ݊ ≥ 3 , ࣭݊ n’est pas abélien. En effet :

1 CPGE DE TAZA MPSI1 2019 /2020 PROF : M. HOUBBAN

Soient ߪ1 , ߪ2 ∈ ࣭݊ , telles que :
1 2 3 4 ⋯ ݊ 1 2 3 4 ⋯ ݊
ߪ1 = ( ) et ߪ2 = ( )
2 3 1 4 ⋯ ݊ 2 1 3 4 ⋯ ݊
1 2 3 4 ⋯ ݊ 1 2 3 4 ⋯ ݊
ߪଵ ߪଶ = ൬ ൰ ߪ2 ߪ1 = ( )
3 2 1 4 ⋯ ݊ 1 3 2 4 ⋯ ݊
on a : et

On constate que : ߪଵ ߪଶ ≠ ߪଶ ߪଵ

Donc , le groupe (࣭௡ , ‫ )݋‬n’est pas abélien dès que ݊ ≥ 3.

Au fait , (࣭௡ , ‫ )݋‬est abélien pour ݊ ∈ { 1 , 2} .

2- Support d’une permutation

a-Définition 2
Soit ݊ ≥ 2 et Soit ߪ ∈ ࣭௡ .

On appelle support de ߪ, l’ensemble noté ‫ )ߪ(݌݌ݑݏ‬, et défini par :

‫
∈ ݇{ = )ߪ(݌݌ݑݏ‬1, ݊  , ߪ(݇) ≠ ݇} .

Dans la pratique , on utilise la caractérisation suivante :

∀݇ ∈
1, ݊  , ݇ ∉ ‫݇ = )݇(ߪ ⟺ )ߪ(݌݌ݑݏ‬

b-Exemples
 ‫∅ = )݀݅(݌݌ݑݏ‬
1 2 3 4 5 6 7
 Soit ߪ ∈ ࣭଻ , telle que : ߪ = ൬ ൰
2 4 3 6 5 7 1
On a : ‫{ = )ߪ(݌݌ݑݏ‬1 ,2 ,4 ,6 ,7}
c- Proposition 2
Soit ߪ ∈ ࣭௡ . On a :
∀݇ ∈
1, ݊  , ݇ ∈ ‫)ߪ(݌݌ݑݏ ∈ )݇(ߪ ⟺ )ߪ(݌݌ݑݏ‬

Soit ߪ ∈ ࣭௡ , et soit ݇ ∈
1, ݊  . On a :

Preuve

݇ ∉ ‫݇ = )݇(ߪ ⟺ )ߪ(݌݌ݑݏ‬
⟺ ߪ(ߪ(݇)) = ߪ(݇)
⟺ ߪ(݇) ∉ ‫)ߪ(݌݌ݑݏ‬
D’où , par négation : ݇ ∈ ‫)ߪ(݌݌ݑݏ ∈ )݇(ߪ ⟺ )ߪ(݌݌ݑݏ‬

d- Proposition 3
Soit ݊ ≥ 2 et Soient ߪ1 , ߪ2 ∈ ࣭݊ ,. On a :
‫ߪ(݌݌ݑݏ‬ଵ ) ∩ ‫ߪ(݌݌ݑݏ‬ଶ ) = ∅ ⇒ ߪଵ ߪଶ = ߪଶ ߪଵ
Preuve

2 CPGE DE TAZA MPSI1 2019 /2020 PROF : M. HOUBBAN

On suppose que : ‫ߪ(݌݌ݑݏ‬ଵ ) ∩ ‫ߪ(݌݌ݑݏ‬ଶ ) = ∅

Montrons que : ∀݇ ∈
1, ݊  , ߪ1 ߪ2 (݇) = ߪ2 ߪ1 (݇)

1er cas : Si ‫ߪ(݌݌ݑݏ‬ଵ ) = ∅ ou ‫ߪ(݌݌ݑݏ‬ଶ ) = ∅

Supposons par exemple que : ‫ߪ(݌݌ݑݏ‬ଵ ) = ∅

⇒ ∀݇ ∈
1, ݊  , ߪ(݇) = ݇
⇒ ߪ1 = ݅݀
⇒ ߪଵ ߪଶ = ߪଶ ߪଵ

2ème cas : ∗) Si ݇ ∈ ‫ߪ(݌݌ݑݏ‬ଵ ) , alors ݇ ∉ ‫ߪ(݌݌ݑݏ‬ଶ )

On a : ߪ1 ߪ2 (݇) = ߪ1 (ߪ2 (݇))

= ߪ1 (݇) , ( car ݇ ∉ ‫ߪ(݌݌ݑݏ‬ଶ ) ⟺ ߪ2 (݇) = ݇ )

Et : ߪ2 ߪ1 (݇) = ߪଶ (ߪଵ (݇))

= ߪ1 (݇) , ( car ݇ ∈ ‫ߪ(݌݌ݑݏ‬ଵ ) ⟺ ߪ1 (݇) ∈ ‫ߪ(݌݌ݑݏ‬ଵ )

⇒ ߪ1 (݇) ∉ ‫ߪ(݌݌ݑݏ‬2 )
⇒ ߪ2 (ߪ1(݇)) = ߪ1 (݇) )

Ainsi , ߪ1 ߪ2 = ߪ2 ߪ1

∗) Si ݇ ∈ ‫ߪ(݌݌ݑݏ‬ଶ ) , alors ݇ ∉ ‫ߪ(݌݌ݑݏ‬ଵ ) , (analogue au passage précédent)

3ème cas : Si ݇ ∉ ‫ߪ(݌݌ݑݏ‬ଵ ) ∪ ‫ߪ(݌݌ݑݏ‬ଶ )

On a : ߪ1 ߪ2 (݇) = ߪ1 (ߪ2 (݇))

= ߪ1 (݇) , ( car ݇ ∉ ‫ߪ(݌݌ݑݏ‬ଶ ) ⟺ ߪ2 (݇) = ݇)

= ݇ , ( car ݇ ∉ ‫ߪ(݌݌ݑݏ‬ଵ ) ⟺ ߪ1 (݇) = ݇)

Et : ߪ2 ߪ1 (݇) = ߪଶ (ߪଵ (݇))

= ߪ2 (݇)
= ݇

Ainsi , ߪ1 ߪ2 = ߪ2 ߪ1

Conclusion : Dans les trois cas , on a :

‫ߪ(݌݌ݑݏ‬ଵ ) ∩ ‫ߪ(݌݌ݑݏ‬ଶ ) = ∅ ⇒ ߪଵ ߪଶ = ߪଶ ߪଵ

3- Cycles de ࣭݊

3 CPGE DE TAZA MPSI1 2019 /2020 PROF : M. HOUBBAN

a-Définition 3
Soit ߪ ∈ ࣭௡ , et Soit ‫
∈ ݌‬1, ݊  .

On dit que ߪ , est un ‫ ݌‬−cycle (ou cycle de longueur ‫ )݌‬de ࣭݊ ,

S’il existe des entiers ܽ1 , ܽ2 , … , ܽ‫݌‬ ∈
1, ݊  , tels que :

∀݅ ∈
1, ‫ ݌‬− 1  , ߪ(ܽ௜ ) = ܽ௜ାଵ

ߪ൫ܽ௣ ൯ = ܽଵ

∀݇ ∈
1, ݊  \ {ܽ1 , ܽ2 , … , ܽ‫ } ݌‬, ߪ(݇) = ݇

Un tel cycle est noté : ߪ = (ܽ1 , ܽ2 , … , ܽ‫) ݌‬

Si ߪ = (ܽ1 , ܽ2 , … , ܽ‫ ) ݌‬est un ‫ ݌‬−cycle de ࣭݊ , alors :

b- Remarques

 ‫ܽ{ = )ߪ(݌݌ݑݏ‬ଵ , ܽ2 , … , ܽ‫} ݌‬

 Le ‫ ݌‬−cycle de ࣭݊ , ߪ = (ܽ1 , ܽ2 , … , ܽ‫ ) ݌‬est également noté :

ߪ = (ܽ2 , ܽ3 , … , ܽ௣ , ܽ1 ) ܽ1

=⋯ ܽ‫݌‬ ܽ2

= (ܽ‫ ݌‬, ܽ1 , … , ܽ௣ିଶ , ܽ‫݌‬−1 ) ܽ‫݌‬−1 ܽ3

 Un cycle de longueur 1 est égal à ݅݀ ܽସ

c- Exemple
1 2 3 4 5 6 7 8
Soit ߪ ∈ ଼࣭ , telle que : ߪ = ൬ ൰
5 2 8 4 3 6 7 1
1 5 3 8 2 4 6 7
On a : ߪ = ൭ ൱
5 3 8 1 2 4 6 7
Donc , ߪ = (1 , 5 , 3 , 8) , ߪ est un cycle de longueur 4

Si ߪ est un ‫ ݌‬−cycle de ࣭݊ , alors : ߪ‫݀݅ = ݌‬

d- Remarque

où : ߪ‫ߪ = ݌‬. ߪ….ߪ = ߪ

⏟⎵⏟⎵⏟ ⏟⎵‫⎵⏟⎵⎵݋‬
ߪ ‫⏟⎵⎵… ݋‬
‫ ߪ ݋‬, en effet :
‫ݏ݅݋݂ ݌‬ ‫ݏ݅݋݂ ݌‬

Notons : ߪ = (ܽ1 , ܽ2 , … , ܽ‫ ) ݌‬, On a :

ߪ1 (ܽ1 ) = ܽ2

ߪ2 (ܽ1 ) = ߪ(ܽ2 ) = ܽ3

ߪ3 (ܽ1 ) = ߪ2 (ܽ2 ) = ߪ(ܽ3 ) = ܽ4 , ainsi de suite ,

4 CPGE DE TAZA MPSI1 2019 /2020 PROF : M. HOUBBAN

ߪ‫݌‬−1 (ܽ1 ) = ܽ‫݌‬

ߪ‫ܽ( ݌‬1 ) = ߪ(ߪ‫݌‬−1 (ܽ1 )) = ߪ(ܽ‫ܽ = ) ݌‬1

On vient de vérifier que : ߪ‫ܽ( ݌‬1 ) = ܽ1

De la même façon on vérifie que : ߪ(ܽ௞ ) = ܽ௞ , pour tout ܽ݇ ∈ ‫)ߪ(݌݌ݑݏ‬

Et comme : ∀݇ ∈
1, ݊  \ {ܽ1 , ܽ2 , … , ܽ‫ } ݌‬, ߪ(݇) = ݇ ⇒ ߪ‫݇ = )݇( ݌‬

On conclut que : ∀݇ ∈
1, ݊  , ߪ‫݇ = )݇( ݌‬

Ainsi : ߪ ௣ = ݅݀

Soit ݊ ≥ 2 ,
e- Théorème 1

Toute permutation ߪ de ࣭݊ , se décompose en un produit fini de cycles à supports disjoints ,

(donc qui commutent). De plus, cette décomposition est unique à ordre prés de facteurs. On a:

∀ߪ ∈ ࣭௡ , ∃ ܿ1 , ܿ2 , … , ܿ݇ des cycles de ࣭݊ , tels que : ߪ = ܿ1 ܿ2 … ܿ݇

On dit que les cycles engendrent ࣭௡ .

1 2 3 4 5 6 7 8 9 10 11
f - Exemple
Soit ߪ ∈ ࣭ଵଵ , telle que : ߪ = ൬ ൰
5 1 6 4 2 8 7 9 3 11 10
1 5 2 3 6 8 9 10 11 4 7
On a : ߪ = ൭ ൱
5 2 1 6 8 9 3 11 10 4 7
Donc , ߪ = (1 , 5 , 2 ). (3 , 6 , 8 , 9). (10 , 11 )

ߪ se décompose en produit de trois cycles à supports disjoints qui sont :

ܿ1 = (1 , 5 , 2 ) , ܿ2 = (3 , 6 , 8 , 9) et ܿ3 = (10 , 11 )

Les cycles de longueur 1 ne sont pas comptés dans cette décomposition.

On a : ߪ = ܿଵ . ܿଶ . ܿଷ = ܿଶ . ܿଵ . ܿଷ = ܿଷ . ܿଵ . ܿଶ = ⋯ (voir Proposition 3)

4- Transpositions de ࣭݊

Soit ߪ ∈ ࣭௡ , Soit (݅ , ݆) ∈
1, ݊  , tels que : ݅ ≠ ݆

a-Définition 4
ଶ

ߪ(݅) = ݆
La permutation ߪ de ࣭݊ , définie par : { ߪ(݆) = ݅
∀݇ ∈
1, ݊  \ {݅ , ݆} ∶ ߪ(݇) = ݇
est appelée transposition ( elle permute les éléments ݅ et ݆ de
1, ݊ ).

ߪ est notée : ࣮݅,݆ ou (݅ , ݆).

5 CPGE DE TAZA MPSI1 2019 /2020 PROF : M. HOUBBAN

b- Remarques
 Soit ࣮݅,݆ transposition de
1, ݊  qui permute les éléments ݅ et ݆ , on a alors :

࣮݅,݆ = ࣮݆,݅

࣮݅,݆ −1 = ࣮݅,݆

࣮݅,݆ 2 = ࣮݅,݆

‫݌݌ݑݏ‬൫࣮௜,௝ ൯ = {݅ , ݆ }

 Toute transposition ࣮௜,௝ de
1, ݊  qui permute les éléments ݅ et ݆ est un 2−cycle de ࣭݊ ,

ce qui explique la notation (݅ , ݆).

c- Proposition 4
Soit ݊ ≥ 2 ,

Tout cycle de ࣭݊ , se décompose en un produit fini de transpositions

Preuve

Soit ܿ = (ܽ1 , ܽ2 , … , ܽ‫ ) ݌‬est un ‫ ݌‬−cycle de ࣭݊ , on a , alors :

ܿ = (ܽ1 , ܽ2 ). (ܽ2 , ܽ3 ). (ܽ3 , ܽ4 ). …. (ܽ‫݌‬−1 , ܽ‫ ) ݌‬est une décomposition de c en un produit fini

de transpositions.

Posons : ߛ = (ܽଵ , ܽ2 ). (ܽ2 , ܽ3 ). (ܽ3 , ܽ4 ). …. (ܽ‫݌‬−1 , ܽ‫) ݌‬.

Pour montrer que : ܿ = ߛ , on doit vérifier que : ∀݇ ∈
1, ݊  , ܿ(݇) = ߛ(݇)

On a : ܿ(ܽଵ ) = ܽଶ

Et , ߛ(ܽଵ ) = (ܽଵ , ܽ2 ). (ܽ2 , ܽ3 ). (ܽ3 , ܽ4 ). …. (ܽ‫݌‬−1 , ܽ‫ܽ() ݌‬1 )

= (ܽଵ , ܽ2 ). (ܽ2 , ܽ3 ). (ܽ3 , ܽ4 ). …. (ܽ‫݌‬−2 , ܽ‫݌‬−1 )(ܽ1 )

⋮
= (ܽଵ , ܽ2 ). (ܽ2 , ܽ3 )(ܽ1 )

= (ܽଵ , ܽ2 )(ܽ1 )
= ܽଶ
Ainsi , ܿ(ܽଵ ) = ߛ(ܽଵ )

De même : ܿ(ܽଶ ) = ܽଷ

Et , ߛ(ܽଶ ) = (ܽଵ , ܽ2 ). (ܽ2 , ܽ3 ). (ܽ3 , ܽ4 ). …. (ܽ‫݌‬−1 , ܽ‫ܽ() ݌‬2)

= (ܽଵ , ܽ2 ). (ܽ2 , ܽ3 ). (ܽ3 , ܽ4 ). …. (ܽ‫݌‬−2 , ܽ‫݌‬−1 )(ܽ2 )

⋮
= (ܽଵ , ܽ2 ). (ܽ2 , ܽ3 )(ܽ2 )

6 CPGE DE TAZA MPSI1 2019 /2020 PROF : M. HOUBBAN

 = (ܽଵ , ܽ2 ) (ܽ3 )
= ܽଷ
Ainsi , ܿ(ܽଶ ) = ߛ(ܽଶ )

Plus généralement :
∀݇ ∈
1, ‫ ݌‬− 1  , ߪ(ܽ௞ ) = ܽ௞ାଵ
ߛ(ܽ௞ ) = (ܽଵ , ܽ2 ). (ܽ2 , ܽ3 ) … . (ܽ݇ , ܽ݇+1 ) …. (ܽ‫݌‬−1 , ܽ‫) ݇ܽ() ݌‬
⋮
Et ,

= (ܽଵ , ܽ2 ). (ܽ2 , ܽ3 ) … . (ܽ݇ , ܽ݇+1 ) (ܽ݇ )

= (ܽଵ , ܽ2 ). (ܽ2 , ܽ3 ) …. (ܽ݇−1 , ܽ݇ ) (ܽ݇+1 )

⋮
= (ܽଵ , ܽ2 ). (ܽ݇+1 )
= ܽ௞ାଵ
Ainsi , ∀݇ ∈
1, ‫ ݌‬− 1  , ߪ(ܽ௞ ) = ߛ(ܽ௞ )

Pour , ݇ = ‫ ݌‬, On a : ܿ൫ܽ௣ ൯ = ܽଵ

Et , ߛ൫ܽ௣ ൯ = (ܽଵ , ܽ2 ). (ܽ2 , ܽ3 ) …. (ܽ‫݌‬−2 , ܽ‫݌‬−1 ) (ܽ‫݌‬−1 , ܽ‫) ݌ܽ() ݌‬

= (ܽଵ , ܽ2 ). (ܽ2 , ܽ3 ) …. (ܽ‫݌‬−2 , ܽ‫݌‬−1 )(ܽ‫݌‬−1 )

⋮
= (ܽଵ , ܽ2 ). (ܽ2 , ܽ3 ) (ܽ3 )

= (ܽଵ , ܽ2 ) (ܽ2)
= ܽଵ

En fin, pour ݇ ∈
1, ݊  \ {ܽ1 , ܽ2 , … , ܽ‫ } ݌‬,

On a : ܿ(݇) = ݇

Et , ߛ(݇) = (ܽଵ , ܽ2 ). (ܽ2 , ܽ3 ). (ܽ3 , ܽ4 ). …. (ܽ‫݌‬−1 , ܽ‫݇ = )݇() ݌‬

Conclusion : ∀݇ ∈
1, ݊  , ܿ(݇) = ߛ(݇)

Ainsi , tout cycle de ࣭݊ est décomposable en un produit fini de transpositions.

d- Théorème 2
Soit ݊ ≥ 2 ,

Toute permutation ߪ de ࣭݊ , se décompose en un produit fini de transpositions , cette

décomposition n’est pas unique , toute fois la parité du nombre de transpositions qui figure

dans une telle décomposition reste in changée . On a:

∀ߪ ∈ ࣭௡ , ∃ ‫ݐ‬1 , ‫ݐ‬2 , … , ‫ ݇ݐ‬des transpositions de ࣭݊ , tels que : ߪ = ‫ݐ‬1 ‫ݐ‬2 … ‫݇ݐ‬

On dit que les transpositions engendrent ࣭௡ .

7 CPGE DE TAZA MPSI1 2019 /2020 PROF : M. HOUBBAN

Soit ߪ ∈ ࣭௡ ,
Preuve

Vu que toute permutation ߪ de ࣭݊ , est décomposable en un produit fini de cycles à supports

disjoints , c.à.d : ∃ ܿ1 , ܿ2 , … , ݈ܿ des cycles de ࣭݊ , tels que : ߪ = ܿ1 ܿ2 … ݈ܿ , (Théorème1).

Et puis, chaque cycle de ࣭݊ se décompose en un produit fini de transpositions, (Proposition4).

On en déduit alors que , la permutation ߪ se décompose en un produit fini de transpositions,

Soit ߪ ∈ ࣭௡ ,
e- Remarque

La décomposition de ߪ en un produit fini de transpositions, n’est en aucun cas unique.

Par exemple : (1 , 2 , 3) = (1 , 2) (2 , 3) = (1 , 3) (1 , 2)

Montrer le résultat du théorème 2 en faisant une preuve par récurrence sur ݊

f- Exercice

5- Signature d’une permutation

Soit ߪ ∈ ࣭௡ ,
a-Définition 5

ߪ est dite permutation paire si elle se décompose en un nombre pair de transpositions

ߪ est dite permutation impaire si elle se décompose en un nombre impair de transpositions

 Une transposition ࣮݅,݆ est toujours impaire, car :

b-Exemples

࣮݅,݆ = ࣮݅,݆ = (݅ , ݆) , ( Il ya une seule transposition dans la décomposition)

 ݅݀ , est toujours une permutation paire, car :

݅݀ = ࣮݅,݆ . ࣮݅,݆ , ( Il ya deux transpositions dans la décomposition)

 Le 4- cycle de ࣭10 , ܿ = (ܽ1 , ܽ2 , ܽ3 , ܽ4 ) est une permutation impaire, car : ܿ = (ܽ1 ,

ܽ2 ). (ܽ2 , ܽ3 ). (ܽ3 , ܽ4 ) , ( Il ya trois transpositions dans la décomposition)

Soit ߪ ∈ ࣭௡ ,
b-Définition 6

On appelle signature de la permutation ߪ, l’entier noté ߝ(ߪ) et qui est défini par :

ߝ(ߪ) = (−1)௞ , où ݇ désigne le nombre de transpositions figurant dans la décomposition de ߪ.

Soit ߪ ∈ ࣭௡ ,
b- Remarques

 Si ߪ est une transposition de
1, ݊  , alors : ߝ(ߪ) = −1

8 CPGE DE TAZA MPSI1 2019 /2020 PROF : M. HOUBBAN

 Si ߪ est paire , alors : ߝ(ߪ) = 1 , en particulier Si ߪ = ݅݀ , alors : ߝ(ߪ) = 1

 Si ߪ est impaire, alors : ߝ(ߪ) = −1

ii) une autre façon de définir la signature d’une permutation ߪ , est de compter le nombre de

ߝ(ߪ) = =
ఙ(௝)ିఙ(௜) ఙ(௝)ିఙ(௜)
௝ି௜ ௝ି௜
ses inversions : ∏ ∏
(i , j )∈

P 2( n ) 1≤i < j ≤ n

Où, ࣪2 (݊) est l’ensemble des paires de
1, ݊  .

ߝ ∶ ࣭௡ ⟶ {−1 , 1 } ,
ߪ ⟼ ߝ(ߪ) = (−1)௞
iii) L’application ,

est un homomorphisme surjectif de groupes de (࣭௡ , ‫ )݋‬dans ({−1 , 1 } , ×) , c.à.d :

∀(ߪ, ߪ′) ∈ ࣭௡ ଶ , ߝ(ߪߪ′) = ߝ(ߪ)ߝ(ߪ′)

L’application , ߝ est surjective.

d – Signature d’un p-cycle

d 1 – Proposition 5
Si ܿ = (ܽ1 , ܽ2 , … , ܽ‫ ) ݌‬est un ‫ ݌‬−cycle de ࣭݊ , alors ߝ(ܿ) = (−1)௣ିଵ

Preuve

Si ‫ = ݌‬1 , alors : ܿ = ݅݀ , donc : ߝ(ܿ) = ߝ(݅݀) = 1 = 1ଵିଵ

Si ‫ ≥ ݌‬2 , alors , d’après la proposition 4 :

ܿ = (ܽ1 , ܽ2 , … , ܽ‫ܽ( = ) ݌‬1 , ܽ2 ). (ܽ2 , ܽ3 ). (ܽ3 , ܽ4 ). …. (ܽ‫݌‬−1 , ܽ‫) ݌‬.

D’où : ߝ(ܿ) = ߝ൫ (ܽଵ , ܽଶ ). (ܽଶ , ܽଷ ). (ܽଷ , ܽସ ). …. (ܽ௣ିଵ , ܽ௣ )൯

= ߝ( (ܽଵ , ܽଶ ))ߝ( (ܽଶ , ܽଷ )) … . ߝ൫(ܽ௣ିଵ , ܽ௣ )൯

= (−1) × (−1) × … × (−1)
ᇣᇧᇧᇧᇧᇧᇧᇧᇤᇧᇧᇧᇧᇧᇧᇧᇥ
(௣ିଵ) ௙௢௜௦

= (−1)௣ିଵ

1 3 5 7 4 2 6 8 9 10 11 12
d 2 – Exemple
Soit ߪ ∈ ࣭ଵଵ , telle que : ߪ = ൬ ൰
3 5 7 1 2 6 4 9 8 11 12 10
1 3 5 7 4 2 6 8 9 10 11 12
On a : ߪ = ൭ ൱
3 5 7 1 2 6 4 9 8 11 12 10
Donc , ߪ = (1 , 3 , 5 , 7). (4 , 2 , 6 ). (8 , 9 ). (10 , 11 , 12 )

Ainsi , ߝ(ߪ) = ߝ((1 , 3 , 5 , 7). (4 , 2 , 6 ). (8 , 9 ). (10 , 11 , 12 ))

= ߝ((1 , 3 , 5 , 7)) ߝ((2 , 4 , 6 )) ߝ((8 , 9 )) ߝ((10 , 11 , 12 ))
= (−1)ସିଵ × (−1)ଷିଵ × (−1)ଶିଵ × (−1)ଷିଵ
= 1

9 CPGE DE TAZA MPSI1 2019 /2020 PROF : M. HOUBBAN

II. Forme multilinéaire - Forme multilinéaire alternée
1- Application multilinéaire - Forme multilinéaire

Soit ‫ ∈ ݌‬ℕ∗ , et soient ‫ܧ‬1 , ‫ܧ‬2 , … , ‫ ݌ܧ‬, et ‫ܨ‬ des ॶ - e.v.

a-Définition 7

Une application ߮∶ ‫ܧ‬ଵ × ‫ܧ‬ଶ × … × ‫ܧ‬௣ ⟶ ‫ ܨ‬, est dite ‫ ݌‬- linéaire , si :

∀݅ ∈
1, ‫ ݌‬, ∀ (‫ݔ‬1 , ‫ݔ‬2 , …, ‫݅ݔ‬−1 , ‫ݔ‬௜ାଵ , … , ‫ܧ ∈ ) ݌ݔ‬ଵ × ‫ܧ‬ଶ × … × ‫ܧ‬௜ିଵ × ‫ܧ‬௜ାଵ × … × ‫ܧ‬௣ ,

߮݅ ∶ ‫݅ܧ‬ ⟶ ‫ܨ‬
‫߮ ⟼ ݔ‬௜ (‫ݔ(߮ = )ݔ‬ଵ , ‫ݔ‬2 , …, ‫݅ݔ‬−1 , ‫ ݔ‬, ‫ݔ‬௜ାଵ , … , ‫) ݌ݔ‬
L’application ,

Autrement dit , l’ application ߮ est linéaire , par rapport à chacune de ses variables.
est linéaire .

- Si ‫ = ݌‬2 , ߮ est dite bilinéaire .

- Si ‫ = ݌‬3 , ߮ est dite trilinéaire .

 Soit ߮ ∶ ‫ܧ‬ଵ × ‫ܧ‬ଶ × … × ‫ܧ‬௣ ⟶ ‫ ܨ‬, une application ‫ ݌‬- linéaire , on a alors :
b- Remarques et notations

∀݅ ∈
1, ‫ ݌‬, ∀ (‫ݔ‬1 , ‫ݔ‬2 , …, ‫݅ݔ‬−1 , ‫ݔ‬௜ାଵ, … , ‫ܧ ∈ ) ݌ݔ‬ଵ × ‫ܧ‬ଶ × … × ‫ܧ‬௜ିଵ × ‫ܧ‬௜ାଵ × … × ‫ܧ‬௣ ,

߮(‫ݔ‬ଵ , ‫ݔ‬2 , …, ‫݅ݔ‬−1 , 0ா೔ , ‫ݔ‬௜ାଵ , … , ‫ = ) ݌ݔ‬0‫ܨ‬ , car :

߮(‫ݔ‬ଵ , ‫ݔ‬2 , …, ‫݅ݔ‬−1 , 0ா೔ , ‫ݔ‬௜ାଵ , … , ‫( ݅߮ = ) ݌ݔ‬0‫ = ) ݅ܧ‬0‫ܨ‬

 L’ensemble des applications ‫ ݌‬- linéaires , de ‫ܧ‬1 × ‫ܧ‬2 × … × ‫ ݌ܧ‬dans ‫ ܨ‬, est noté :

L ‫ܧ( ݌‬1 , ‫ܧ‬2 , … , ‫ ݌ܧ‬, ‫ )ܨ‬.

Cet ensemble est muni canoniquement d’une structure de ॶ - e.v.

Si de plus , ‫ܧ‬1 = ‫ܧ‬2 = ⋯ = ‫ ܧ = ݌ܧ‬, Cet ensemble est noté : L ‫ ܧ( ݌‬, ‫ )ܨ‬, et est dit :

Ensemble des applications ‫ ݌‬- linéaires , de ‫ ܧ‬dans ‫ܨ‬

 Si ‫ ॶ = ܨ‬, alors : ݀݅݉ L ‫ ܧ( ݌‬, ‫ܧ‬2 , … , ‫ ݌ܧ‬, ॶ) = ݀݅݉ ‫ܧ‬௜

n

1 ∏
݀݅݉ ‫ ݊ = ܧ‬, alors : ݀݅݉ L ‫ܧ( ݌‬, ॶ) = ݊௣
i =1

Et particulièrement, si

 Dans la suite de ce cours , on s’intéressera au cas suivant :

‫ܧ‬1 = ‫ܧ‬2 = ⋯ = ‫ ܧ = ݌ܧ‬, et ‫ॶ =ܨ‬

2- Forme ‫ ݌‬- linéaire

Soit ‫ ∈ ݌‬ℕ∗ , ‫ ܧ‬un ॶ - e.v.

a-Définition 8
et soit

On appelle forme ‫ – ݌‬linéaire sur ‫ܧ‬, toute application ߮ , ‫ ݌‬- linéaire de ‫ ݌ܧ‬dans ॶ.

L’ensemble L ‫ܧ( ݌‬, ॶ ) , des formes ‫ – ݌‬linéaires sur ‫ ܧ‬, est noté tout simplement L ‫) ܧ( ݌‬

10 CPGE DE TAZA MPSI1 2019 /2020 PROF : M. HOUBBAN

 b – Exemples
 Si ‫ = ܧ‬ℝ௡ , alors : L’application ,
߮∶ ‫ܧ‬ଶ ⟶ ℝ ‫ݔ‬ଵ ‫ݕ‬ଵ
‫ݔ‬ଶ ‫ݕ‬ଶ
(‫ ݔ‬, ‫ݔ(߮ ⟼ ) ݕ‬, ‫= ) ݕ‬ ‫ݔ‬௜ ‫ݕ‬௜ avec : ‫ = ݔ‬൮ ⋮ ൲ et ‫ = ݕ‬൮ ⋮ ൲
n

∑ ,
‫ݔ‬௡ ‫ݕ‬௡
i =1

est une forme bilinéaire sur ‫ ∈ ߮ ; ܧ‬L 2 (‫) ܧ‬

 Si ‫ = ܧ‬ℳ௡ (ℝ) , alors : L’application ,

߰∶ ‫ܧ‬ଶ ⟶ ℝ
(‫ ܣ‬, ‫ܣ(߰ ⟼ ) ܤ‬, ‫ (ݎܶ = ) ܤ‬௧ ‫)ܤ ܣ‬
est une forme bilinéaire sur ‫; ܧ‬ ߰ ∈ L 2 (‫) ܧ‬

Il en est de même pour les applications :

߰ଵ ∶ ‫ ܧ‬ଶ ⟶ ℝ ߰2 ∶ ‫ܧ‬2 ⟶ ℝ
(‫ ܣ‬, ‫)ܤ ܣ(ݎܶ ⟼ ) ܤ‬ (‫ ܣ‬, ‫)ܣ(ݎܶ ⟼ ) ܤ‬. ܶ‫)ܤ(ݎ‬
et

On a : ߰1 ∈ L 2 (‫) ܧ‬ et ߰2 ∈ L 2 (‫) ܧ‬

 Soient ‫ ܧ‬un ℝ - e.v donné , et ߮1 , ߮2 , … , ߮‫( ∗ܧ ∈ ݌‬c.à.d : des formes linéaires sur ‫)ܧ‬

߮ ∶ ‫ܧ‬௣ ⟶ ℝ
alors : L’application ,

(‫ݔ‬1 , ‫ݔ‬2 , … , ‫߮ ⟼ ) ݌ݔ‬ଵ (‫ݔ‬ଵ )߮ଶ ( ‫ݔ‬2 ) … ߮‫) ݌ݔ( ݌‬

est une forme ‫ ݌‬- linéaire sur ‫ ∈ ߮ ; ܧ‬L ‫) ܧ( ݌‬.

 Si ‫[( ࣝ = ܧ‬0 , 1] , ℝ) , alors : L’application ,

ܶ∶ ‫ܧ‬ଶ ⟶ ℝ

(݂, ݃ ) ⟼ ‫׬‬଴ ݂(‫ݐ݀)ݐ(݃)ݐ‬

ଵ

est une forme bilinéaire sur ‫; ܧ‬ ܶ ∈ L 2 (‫) ܧ‬

3- Forme ‫ – ݌‬linéaire alternée

a - Définition 9
Soit ‫ ܧ‬un ॶ - e.v de dimension finie ݊

Une forme ‫ – ݌‬linéaire ߮ sur ‫ܧ‬, est dite alternée si :

∀(‫ݔ‬1 , ‫ݔ‬2 , … , ‫ ݌ܧ ∈ ) ݌ݔ‬, s’il existe (݅, ݆) ∈
1, ‫  ݌‬, avec ݅ ≠ ݆ , et ‫ ݆ݔ = ݅ݔ‬,
ଶ

Alors : ߮ (‫ݔ‬1 , ‫ݔ‬2 , … , ‫ = ) ݌ݔ‬0 , c.à.d :

Du moment qu’il ya répétition d’un même vecteur dans l’expression ߮ (‫ݔ‬1 , ‫ݔ‬2 , … , ‫ ) ݌ݔ‬,

celle –ci vaut 0

11 CPGE DE TAZA MPSI1 2019 /2020 PROF : M. HOUBBAN

 Si ߮ est une forme ‫ – ݌‬linéaire alternée sur ‫ܧ‬, alors :
b – Remarque

∀‫ ܧ ∈ ݔ‬, ߮(‫ݔ‬ଵ , ‫ݔ‬2 , …, ‫ ݔ‬, … , ‫ ݔ‬, … , ‫ = ) ݌ݔ‬0

ième place jème place avec ݅ ≠ ݆

(Répétition du même vecteur ‫ ݔ‬dans deux places différentes)

4- Propriétés des formes ‫ – ݌‬linéaires alternées

a- Proposition 6
L’ensemble des formes ‫ – ݌‬linéaires alternées sur ‫ ܧ‬, est un ॶ - e.v , on le note A ‫)ܧ( ݌‬

A rédiger comme exercice : (Vérifier que A ‫ )ܧ( ݌‬est un s.e.v de L ‫)) ܧ( ݌‬

Preuve

b- Proposition 7
Soit ߮ ∈ A ‫ )ܧ( ݌‬une forme ‫ – ݌‬linéaire alternée sur ‫ ܧ‬, on a alors :

Pour tout (‫ݔ‬1 , ‫ݔ‬2 , … , ‫ ݌ܧ ∈ ) ݌ݔ‬, et pour toute transposition ߪ ∈ ࣭௡ ,

߮ (‫(ߪݔ‬1) , ‫(ߪݔ‬2) , … , ‫= ) )݌(ߪݔ‬ − ߮ (‫ݔ‬1 , ‫ݔ‬2 , … , ‫ ) ݌ݔ‬, ߮ est dite antisymétrique.

Soit (‫ݔ‬1 , ‫ݔ‬2 , … , ‫ ݌ܧ ∈ ) ݌ݔ‬.

Preuve

Notons ߪ la transposition ࣮݅,݆ = (݅, ݆) , qui permute ݅ et ݆. (On suppose que : ݅ < ݆ )

Comme ߮ est une forme ‫ – ݌‬linéaire alternée sur ‫ ܧ‬, on a :

߮(‫ݔ‬ଵ , ‫ݔ‬2 , …, ‫݅ݔ‬−1 , ‫ݔ‬௜ + ‫ݔ‬௝ , ‫ݔ‬௜ାଵ , … , ‫݆ݔ‬−1 , ‫ݔ‬௜ + ‫ݔ‬௝ , ‫ݔ‬௝ାଵ , … , ‫ = ) ݌ݔ‬0
߮(‫ݔ‬1 , ‫ݔ‬2 , …, ‫݅ݔ‬−1 , ‫ݔ‬௜ , ‫ݔ‬௜ାଵ , … , ‫݆ݔ‬−1 , ‫ݔ‬௜ , ‫ݔ‬௝ାଵ , … , ‫) ݌ݔ‬ +
= 0
⇒

߮(‫ݔ‬ଵ , ‫ݔ‬2 , …, ‫݅ݔ‬−1 , ‫ݔ‬௜ , ‫ݔ‬௜ାଵ , … , ‫݆ݔ‬−1 , ‫ݔ‬௝ , ‫ݔ‬௝ାଵ , … , ‫) ݌ݔ‬ +

߮(‫ݔ‬ଵ , ‫ݔ‬2 , …, ‫݅ݔ‬−1 , ‫ݔ‬௝ , ‫ݔ‬௜ାଵ , … , ‫݆ݔ‬−1 , ‫ݔ‬௜ , ‫ݔ‬௝ାଵ , … , ‫) ݌ݔ‬ +

߮(‫ݔ‬ଵ , ‫ݔ‬2 , …, ‫݅ݔ‬−1 , ‫ݔ‬௝ , ‫ݔ‬௜ାଵ , … , ‫݆ݔ‬−1 , ‫ݔ‬௝ , ‫ݔ‬௝ାଵ , … , ‫ = ) ݌ݔ‬0
= 0
⇒ ߮(‫ݔ‬ଵ , ‫ݔ‬2 , …, ‫݅ݔ‬−1 , ‫ݔ‬௜ , ‫ݔ‬௜ାଵ , … , ‫݆ݔ‬−1 , ‫ݔ‬௝ , ‫ݔ‬௝ାଵ , … , ‫ ) ݌ݔ‬+
߮(‫ݔ‬ଵ , ‫ݔ‬2 , …, ‫݅ݔ‬−1 , ‫ݔ‬௝ , ‫ݔ‬௜ାଵ , … , ‫݆ݔ‬−1 , ‫ݔ‬௜ , ‫ݔ‬௝ାଵ , … , ‫) ݌ݔ‬ =0
⇒ ߮(‫ݔ‬ଵ , ‫ݔ‬2 , …, ‫݅ݔ‬−1 , ‫ݔ‬௝ , ‫ݔ‬௜ାଵ , … , ‫݆ݔ‬−1 , ‫ݔ‬௜ , ‫ݔ‬௝ାଵ , … , ‫) ݌ݔ‬

= − ߮(‫ݔ‬ଵ , ‫ݔ‬2 , …, ‫݅ݔ‬−1 , ‫ݔ‬௜ , ‫ݔ‬௜ାଵ , … , ‫݆ݔ‬−1 , ‫ݔ‬௝ , ‫ݔ‬௝ାଵ , … , ‫) ݌ݔ‬

⇒ ߮(‫ݔ‬ఙ(ଵ) , ‫(ߪݔ‬2) ,…,‫݅(ߪݔ‬−1) , ‫ݔ‬ఙ(௜) ,‫݅(ߪݔ‬+1) ,… ,‫݆(ߪݔ‬−1), ‫ݔ‬ఙ(௝) , ‫ݔ‬௫഑(ೕశభ) , … , ‫) )݌(ߪݔ‬

= − ߮(‫ݔ‬ଵ , ‫ݔ‬2 , …, ‫݅ݔ‬−1 , ‫ݔ‬௜ , ‫ݔ‬௜ାଵ , … , ‫݆ݔ‬−1 , ‫ݔ‬௝ , ‫ݔ‬௝ାଵ , … , ‫) ݌ݔ‬

D’où le résultat voulu.

12 CPGE DE TAZA MPSI1 2019 /2020 PROF : M. HOUBBAN

 La réciproque de la proposition 7 est vraie pour ॶ = ℝ ou ℂ , c.à.d :
c– Remarques

Si ߮ ∈ L ‫ ) ܧ( ݌‬est une forme ‫ – ݌‬linéaire sur ‫ܧ‬, vérifiant :

Pour tout (‫ݔ‬1 , ‫ݔ‬2 , … , ‫ ݌ܧ ∈ ) ݌ݔ‬, et pour toute transposition ߪ ∈ ࣭௡ ,

߮ (‫(ߪݔ‬1) , ‫(ߪݔ‬2) , … , ‫= ) )݌(ߪݔ‬ − ߮ (‫ݔ‬1 , ‫ݔ‬2 , … , ‫) ݌ݔ‬

alors : ߮ ∈ A ‫ )ܧ( ݌‬, en effet : Soit (‫ݔ‬1 , ‫ݔ‬2 , … , ‫ ܧ ∈ ) ݌ݔ‬௣ , on a alors :

߮(‫ݔ‬ଵ , … , ‫ ݅ݔ‬, … , ‫ݔ‬௝ , … , ‫ = ) ݌ݔ‬− ߮(‫ݔ‬ଵ , … , ‫ ݆ݔ‬, … , ‫ݔ‬௜ , … , ‫) ݌ݔ‬

En particulier , pour ‫ݔ = ݅ݔ‬௝ = ‫ ܧ ∈ ݔ‬, On a :

߮(‫ݔ‬ଵ , … , ‫ ݔ‬, … , ‫ ݔ‬, … , ‫ = ) ݌ݔ‬− ߮(‫ݔ‬ଵ , … , ‫ ݔ‬, … , ‫ݔ‬, … , ‫) ݌ݔ‬

⇒ 2 ߮(‫ݔ‬1 , … , ‫ ݔ‬, … , ‫ ݔ‬, … , ‫ = ) ݌ݔ‬0
⇒ ߮(‫ݔ‬1 , … , ‫ ݔ‬, … , ‫ ݔ‬, … , ‫) ݌ݔ‬ = 0

Ainsi , ; ߮ est alternée sur ‫ܧ‬, c.à.d : ߮ ∈ A ‫)ܧ( ݌‬

 Mais cette réciproque est fausse en général pour des corps commutatifs ॶ de caractéristique

2 , c.à.d : où l’on a : 2 × 1ॶ = 0ॶ , (par exemple pour ॶ = ℤൗ2ℤ )

Cette remarque est hors programme, on signale ceci à titre culturel.

d- Théorème 3
Soit ߮ ∈ A ‫ )ܧ( ݌‬une forme ‫ – ݌‬linéaire alternée sur ‫ ܧ‬, on a alors :

∀(‫ݔ‬1 , ‫ݔ‬2 , … , ‫ ݌ܧ ∈ ) ݌ݔ‬, ∀ ߪ ∈ ࣭௡ ,

߮ (‫(ߪݔ‬1) , ‫(ߪݔ‬2) , … , ‫= ) )݌(ߪݔ‬ ߝ(ߪ) ߮ (‫ݔ‬1 , ‫ݔ‬2 , … , ‫) ݌ݔ‬

où ߝ(ߪ) est la signature de la permutation ߪ

Soit ߪ ∈ ࣭௡ ,
Preuve

D’après le théorème 2 , la permutation ߪ de ࣭݊ , est décomposable en un produit fini de

transpositions , c.à.d : ∃ ‫ݐ‬1 , ‫ݐ‬2 , … , ‫ ݇ݐ‬des transpositions de ࣭݊ , tels que : ߪ = ‫ݐ‬1 ‫ݐ‬2 … ‫ ݇ݐ‬.

Ainsi , ∀(‫ݔ‬1 , ‫ݔ‬2 , … , ‫ ݌ܧ ∈ ) ݌ݔ‬, on a :

߮ (‫(ߪݔ‬1) , ‫(ߪݔ‬2) , … , ‫= ) )݌(ߪݔ‬ ߮ (‫ݐݔ‬ ‫ݐ‬2 … ‫( ݇ݐ‬1)

, ‫ݐݔ‬1 ‫ݐ‬2 … ‫( ݇ݐ‬2) , … , ‫ݐݔ‬1 ‫ݐ‬2 … ‫) )݌( ݇ݐ‬
1

= − ߮ (‫ݐݔ‬ ‫ݐ‬2 … ‫݇ݐ‬−1 (1)

, ‫ݐݔ‬1 ‫ݐ‬2 … ‫݇ݐ‬−1 (2) , … , ‫ݐݔ‬1 ‫ݐ‬2 … ‫݇ݐ‬−1 (‫) )݌‬
1
, ( D’après la proposition 7 )

= ( −1)ଶ ߮ (‫ݐݔ‬ ‫ݐ‬2 … ‫݇ݐ‬−2 (1)

, ‫ݐݔ‬1 ‫ݐ‬2 … ‫݇ݐ‬−2 (2) , … , ‫ݐݔ‬1 ‫ݐ‬2 … ‫݇ݐ‬−2 (‫) )݌‬
1

⋮
= ( −1)௞ ߮ (‫ݔ‬1 , ‫ݔ‬2 , … , ‫) ݌ݔ‬
= ߝ(ߪ) ߮ (‫ݔ‬1 , ‫ݔ‬2 , … , ‫) ݌ݔ‬

13 CPGE DE TAZA MPSI1 2019 /2020 PROF : M. HOUBBAN

e- Proposition 8
Soit ߮ ∈A ‫ )ܧ( ݌‬une forme ‫–݌‬linéaire alternée sur ‫ ܧ‬, et soit (‫ݔ‬1 , ‫ݔ‬2 , … , ‫ ݌ܧ ∈ ) ݌ݔ‬, on a :

Si la famille (‫ݔ‬1 , ‫ݔ‬2 , … , ‫) ݌ݔ‬ est liée dans ‫ ܧ‬, alors : ߮ (‫ݔ‬1 , ‫ݔ‬2 , … , ‫ = ) ݌ݔ‬0

Preuve

Soit (‫ݔ‬1 , ‫ݔ‬2 , … , ‫ ݌ܧ ∈ ) ݌ݔ‬,

Supposons que : La famille (‫ݔ‬1 , ‫ݔ‬2 , … , ‫) ݌ݔ‬ est liée dans ‫ ܧ‬,

Donc , ∃ ݅ ∈
1, ‫ ݌‬, tels que : ‫ݔ‬௜ s’écrit comme combinaison linéaires des autres vecteurs,

c.à.d : ‫= ݅ݔ‬ ߣ݆ ‫ݔ‬ avec ߣ݆ ∈ ॶ , pour ݆ ∈
1, ‫}݅{\ ݌‬.

p

∑ ݆
j =1
j ≠i

On a alors :
߮ (‫ݔ‬1 , ‫ݔ‬2 , … , ‫ݔ(߮ = ) ݌ݔ‬1 , ‫ݔ‬2 , …, ‫݅ݔ‬−1 , ‫ݔ‬௜ , ‫ݔ‬௜ାଵ , … , ‫) ݌ݔ‬

= ߮(‫ݔ‬ଵ , ‫ݔ‬2 , …, ‫݅ݔ‬−1 , ߣ௝ ‫ݔ‬௝ , ‫ݔ‬௜ାଵ , … , ‫) ݌ݔ‬

p

∑j =1
j ≠i

= ߣ௝ ߮(‫ݔ‬ଵ, ‫ݔ‬2 , …,‫݅ݔ‬−1 , ‫ݔ‬௝ , ‫ݔ‬௜ାଵ , … , ‫ ) ݌ݔ‬, (car ߮ est multilinéaire)

p

∑
j =1

= 0 (car ߮ est alternée)

j ≠i

ߣ௝ ߮(‫ݔ‬ଵ, ‫ݔ‬2 , …,‫݅ݔ‬−1 , ‫ݔ‬௝ , ‫ݔ‬௜ାଵ , … , ‫ ) ݌ݔ‬sont nuls, puis

p
Au fait, tous les termes de la somme ∑
j =1

que le vecteur ‫ ݆ݔ‬se répète dans chacun de ces termes ; ‫ ݆ݔ‬occupe la i-ème place
j ≠i

et occupe sa propre place la jème position. D’une façon plus précise , on a :

ߣ௝ ߮(‫ݔ‬ଵ, ‫ݔ‬2 , …,‫݅ݔ‬−1 , ‫ݔ‬௝ , ‫ݔ‬௜ାଵ , … , ‫ߣ = ) ݌ݔ‬1 ߮(‫ݔ‬1, ‫ݔ‬2 , …,‫݅ݔ‬−1 , ‫ݔ‬ଵ , ‫ݔ‬௜ାଵ , … , ‫ ) ݌ݔ‬+
p

∑j =1

ߣ2 ߮(‫ݔ‬1, ‫ݔ‬2 ,…,‫݅ݔ‬−1 , ‫ݔ‬ଶ , ‫ݔ‬௜ାଵ ,… ,‫ ) ݌ݔ‬+ ⋯ + ߣ௝ ߮(‫ݔ‬ଵ , ‫ݔ‬2 ,…,‫݅ݔ‬−1, ‫ݔ‬௝ , ‫ݔ‬௜ାଵ, …, ‫ ݆ݔ‬,…, ‫ ) ݌ݔ‬+ ⋯ +
j ≠i

ߣ‫ݔ(߮ ݌‬1, ‫ݔ‬2 , …,‫݅ݔ‬−1 , ‫ݔ‬௣ , ‫ݔ‬௜ାଵ , … , ‫) ݌ݔ‬

En conclusion, on a :

߮ (‫ݔ‬1 , ‫ݔ‬2 , … , ‫ = ) ݌ݔ‬0 , dès que la famille (‫ݔ‬1 , ‫ݔ‬2 , … , ‫ ) ݌ݔ‬est liée dans ‫ܧ‬

f- Conséquences
Supposons que : dim ‫ ݊ = ܧ‬, avec ݊ ≥ 1.

Soit ‫ ∈ ݌‬ℕ∗ ,

1er cas : si ‫ ݊ > ݌‬,

On a alors toute famille de ‫ ݌‬vecteurs de ‫ ܧ‬est liée

14 CPGE DE TAZA MPSI1 2019 /2020 PROF : M. HOUBBAN

Soit ߮ ∈A ‫ )ܧ( ݌‬une forme ‫–݌‬linéaire alternée sur ‫ ܧ‬, on a :

∀(‫ݔ‬ଵ , ‫ݔ‬2 , … , ‫ ݌ܧ ∈ ) ݌ݔ‬, ߮ (‫ݔ‬1 , ‫ݔ‬2 , … , ‫ = ) ݌ݔ‬0 , car (‫ݔ‬1 , ‫ݔ‬2 , … , ‫ ) ݌ݔ‬est liée dans ‫ܧ‬

D’où , ߮ = 0A p ( E ) , ( forme ‫–݌‬linéaire alternée nulle sur ‫ )ܧ‬, et ceci ∀߮ ∈A ‫)ܧ( ݌‬

Ainsi , A ‫ { = )ܧ( ݌‬0A p ( E ) } .

2ème cas : si ‫ ݊ ≤ ݌‬,

Dans ce cas on le résultat suivant :

g- Théorème 4
Soit ‫ ܧ‬un ॶ - e.v tel que : dim ‫ ݊ = ܧ‬, avec ݊ ≥ 1 , et Soit ‫ ∈ ݌‬ℕ∗ , tel que : ‫ ݊ ≤ ݌‬,

On a alors :

i) A ‫ { ≠ )ܧ( ݌‬0A p ( E ) } .

ii) En particulier si , ݊=‫ ݌‬, A ݊ (‫ { ≠ )ܧ‬0A n ( E ) } .

c.à.d : Il existe au moins une forme ݊- linéaire alternée non nulle sur ‫ܧ‬.

Preuve
La démonstration de ce théorème reste d’un intérêt théorique , en voici quelques indications :

Pour i) faire une récurrence sur ‫݌‬

Pour ii) On suppose que ‫ ܧ‬est muni d’une base ℬ = (݁ଵ , ݁2 , …, ݁݊ ).

Considérer l’application, ߂∶ ‫ܧ‬௡ ⟶ ॶ

(‫ݒ‬1 , ‫ݒ‬2 , … , ‫⟼ ) ݊ݒ‬ ∑ ߝ(ߪ) ‫ݔ‬ఙ(ଵ),ଵ ‫ݔ‬ఙ(ଶ),ଶ … ‫ݔ‬ఙ(௡),௡

σ ∈S n

∀݆ ∈
1, ݊ , ‫= ݆ݒ‬ ‫ ݅ݔ‬,݆ ݁

n

∑ ݅
où ,
i =1

Vérifier que :

߂ est une forme ݊- linéaire sur ‫ܧ‬.

߂ est alternée sur ‫ܧ‬.

߂ est non nulle sur ‫ܧ‬, vérifier que : ∆(݁1 , ݁2 , … , ݁݊ ) = 1 en écrivant :

∆(݁1 , ݁2 , … , ݁݊ ) = ߝ(݅݀) ‫ݔ‬௜ௗ(ଵ),ଵ ‫ݔ‬௜ௗ(ଶ),ଶ … ‫ݔ‬௜ௗ(௡),௡ + ∑ ߝ(ߪ) ‫ݔ‬ఙ(ଵ),ଵ ‫ݔ‬ఙ(ଶ),ଶ … ‫ݔ‬ఙ(௡),௡

σ ∈S n

= 1 × ‫ݔ‬ଵ,ଵ ‫ݔ‬ଶ,ଶ … ‫ݔ‬௡,௡

σ ≠ id

+ 0 = 0
= 1× 1 × 1 × …× 1
= 1

15 CPGE DE TAZA MPSI1 2019 /2020 PROF : M. HOUBBAN

III. Déterminant
1 - Déterminant d’une famille de vecteurs dans une base
a- Théorème 5
Soit ‫ ܧ‬un ॶ - e.v tel que : dim ‫ ݊ = ܧ‬, avec ݊ ∈ ℕ∗ ,

On a alors : dim A ݊ (‫ = )ܧ‬1

c.à.d : A ݊ (‫ )ܧ‬est une droite vectorielle .

Preuve

On suppose que ‫ ܧ‬est muni d’une base ℬ = (݁ଵ , ݁2 , …, ݁݊ ).

D’après le théorème 4 , on a : A ݊ (‫ { ≠ )ܧ‬0A n ( E ) } .

Soit ߮ un élément non nul de A ݊ (‫)ܧ‬

Et soit (‫ݒ‬1 , ‫ݒ‬2 , … , ‫݊ܧ ∈ ) ݊ݒ‬ ∀݆ ∈
1, ݊ , ‫= ݆ݒ‬ ‫ ݅ݔ‬,݆ ݁

n

∑ ݅
avec,
i =1

߮(‫ݒ‬ଵ , ‫ݒ‬2 , … , ‫݅ ݔ ∑ (߮ = ) ݊ݒ‬1 ,1 ݁ , ‫ ݔ‬௜మ ,ଶ ݁௜మ , … , ‫ ݔ‬௜೙ ,௡ ݁௜೙ )

n n n

݅1 ∑ ∑
On a :
i 1=1 i 2 =1 i n =1

= … ‫ ݔ‬௜భ ,ଵ ‫ ݔ‬௜మ ,ଶ ‫ ݔ‬௜೙ ,௡ ߮(݁௜భ , ݁௜మ , … , ݁݅݊ ) , par multi linéarité de ߮

n n n

∑ ∑ ∑
i 1=1 i 2 =1 i n =1

= ∑ ‫ ݔ‬௜భ ,ଵ ‫ ݔ‬௜మ,ଶ ‫ ݔ‬௜೙ ,௡ ߮(݁௜భ , ݁௜మ , … , ݁݅݊ ) 

(i 1,i 2,...,i n )∈
1,n 
n

Comme ߮ est alternée sur ‫ ܧ‬, alors dans la somme  ne subsiste que les termes pour les quels

݅1 , ݅ଶ , … , et ݅݊ sont deux à deux distincts.

߮(݁௜భ , ݁௜మ , … , ݁݅݊ ) = 0 sauf si l’application , ߪ ∶
1, ݊ ⟶
1, ݊

݇ ⟼ ݅௞
c.à.d :

est bijective , au quel cas on a :

߮(‫ݒ‬ଵ , ‫ݒ‬2 , … , ‫= ) ݊ݒ‬ ∑ ‫(ߪݔ‬1),1 ‫(ߪݔ‬2),2 … ‫ݔ‬ఙ(௡),௡ ߮(݁ఙ(ଵ) , ݁ఙ(ଶ) , … , ݁ߪ(݊) )

σ ∈S n

= ∑ ߝ(ߪ) ‫ݔ‬ఙ(ଵ),ଵ ‫ݔ‬ఙ(ଶ),ଶ … ‫ݔ‬ఙ(௡),௡ ߮(݁ଵ , ݁ଶ , … , ݁2 ) 

σ ∈S n

= ߮(݁ଵ , ݁ଶ , … , ݁2 ) ∑ ߝ(ߪ) ‫(ߪݔ‬1),1 ‫(ߪݔ‬2),2 … ‫ݔ‬ఙ(௡),௡ 

σ ∈S n

 s’obtient en appliquant le théorème 3 , (߮ est antisymétrique)

Notons provisoirement , ∆(‫ݒ‬1 , ‫ݒ‬2 , … , ‫= ) ݊ݒ‬ ∑ ߝ(ߪ) ‫ݔ‬ఙ(ଵ),ଵ ‫ݔ‬ఙ(ଶ),ଶ … ‫ݔ‬ఙ(௡),௡

σ ∈S n

16 CPGE DE TAZA MPSI1 2019 /2020 PROF : M. HOUBBAN

On a , (d’après la preuve du théorème 4) :

߂ ∈ A ݊ (‫ )ܧ‬,

∆(݁1 , ݁2 , … , ݁݊ ) = 1 , donc : ∆ ≠ 0A ( E )
n

D’après  , on a , pour tout ߮ ∈ A ݊ (‫ )ܧ‬,

∀(‫ݒ‬1 , ‫ݒ‬2 , … , ‫ ݊ܧ ∈ ) ݊ݒ‬, ߮(‫ݒ‬ଵ , ‫ݒ‬2 , … , ‫݁(߮ = ) ݊ݒ‬ଵ , ݁ଶ , … , ݁2 ) ∆(‫ݒ‬1 , ‫ݒ‬2 , … , ‫) ݊ݒ‬

Autrement dit : ∀߮ ∈ A ݊ (‫ )ܧ‬, ߮ = ߮(݁ଵ , ݁ଶ , … , ݁2 ). ∆

Avec ߮(݁ଵ , ݁ଶ , … , ݁2 ) ≠ 0 , (si non ߮ serait nulle sur ‫)ܧ‬.

D’où , A ݊ (‫ )∆(ݐܿ݁ݒ = )ܧ‬avec: ∆ ≠ 0A ( E )

n

Et par conséquent : dim A ݊ (‫ = )ܧ‬1

Soit ‫ ܧ‬un ॶ - e.v de dimension finie , ݊ ≥ 1 , muni d’une base ℬ = (݁ଵ , ݁2 , …, ݁݊ ) , et

b- Définition 10

soit (‫ݒ‬1 , ‫ݒ‬2 , … , ‫ ) ݊ݒ‬une famille de vecteurs de ‫ܧ‬, avec, ∀݆ ∈
1, ݊ , ‫= ݆ݒ‬ ‫݁ ݆݅ݔ‬
n

∑ ݅

On appelle déterminant des n vecteurs (‫ݒ‬1 , ‫ݒ‬2 , … , ‫) ݊ݒ‬ dans la base ℬ , le scalaire :
i =1

݀é‫ݐ‬ℬ (‫ݒ‬1 , ‫ݒ‬2 , … , ‫= ) ݊ݒ‬ ∑ ߝ(ߪ) ‫(ߪݔ‬1)1 ‫(ߪݔ‬2)2 … ‫ݔ‬ఙ(௡)௡

ܸ1 ܸ2 ⋯ ܸ݆ ⋯ ܸ݊
σ ∈S n

On note :

‫ݔ‬ଵଵ ‫ݔ‬ଵଶ ⋯ ‫ݔ‬ଵ௝ ⋯ ‫ݔ‬ଵ௡

ተ ‫ݔ‬ଶଵ ‫ݔ‬ଶଶ ⋯ ‫ݔ‬ଶ௝ ⋯ ‫ݔ‬ଶ௡ ተ

⋮ ⋮ ⋮ ⋮
݀é‫ݐ‬ℬ (‫ݒ‬ଵ , ‫ݒ‬ଶ , … , ‫ݒ‬௡ ) = ተ ተ
‫ݔ‬௜ଵ ‫ݔ‬௜ଶ ⋯ ‫ݔ‬௜௝ ⋯ ‫ݔ‬௜௡

ተ ⋮ ⋮ ⋮ ⋮ ተ

‫ݔ‬௡ଵ ‫ݔ‬௡ଶ ⋯ ‫ݔ‬௡௝ ⋯ ‫ݔ‬௡௡

 Noter bien que ݀é‫ݐ‬ℬ (‫ݒ‬1 , ‫ݒ‬2 , … , ‫ ) ݊ݒ‬est défini à partir des coordonnées des vecteurs
c– Remarques

‫ݒ‬1 , ‫ݒ‬2 , … , et ‫ ݊ݒ‬dans la base considérée , la référence à cette base est donc indispensable

 De la preuve du le théorème 5 , on déduit que :

݀é‫ݐ‬ℬ (ℬ) = 1

∀߮ ∈ A ݊ (‫ )ܧ‬, ߮ = ߮(ℬ). ݀é‫ݐ‬ℬ
Donc , toute forme ݊- linéaire alternée non nulle sur ‫ܧ‬, est proportionnelle à ݀é‫ݐ‬ℬ .

17 CPGE DE TAZA MPSI1 2019 /2020 PROF : M. HOUBBAN

d – Exemples
 Pour ݊ = 1 , ࣭1 = {݅݀} , on a :

|‫ݔ‬11 | = ∑ ߝ(ߪ) ‫(ߪݔ‬1)1 = ߝ(݅݀) ‫(݀݅ݔ‬1)1 = ‫ݔ‬11

σ ∈S1

Commentaire : Si dim ‫ = ܧ‬1 , ‫ݑ(ݐܿ݁ݒ = ܧ‬

ሬԦ) avec ‫ ≠ ⃗ݑ‬0‫ ܧ‬, ℬ = {‫ݑ‬
ሬԦ} , alors :

∀‫ܧ ∈ ݒ‬, avec ‫ݔ = ݒ‬ଵଵ ‫ݑ‬

ሬԦ , on a : ݀é‫ݐ‬ℬ (‫ݔ| = )ݒ‬11 | = ‫ݔ‬11

࣭2 = { ݅݀ , ߬} , où ߬ = ࣮1,2 = (1 , 2) , on a :
C’est très utile pour initialiser des récurrences

 Pour ݊ = 2 ,

|‫ݔ‬11 ‫ݔ‬12 |
‫ݔ‬22 | =
|‫ݔ‬21 ∑ ߝ(ߪ) ‫(ߪݔ‬1)1 ‫(ߪݔ‬2)2

= ߝ(݅݀) ‫ݔ‬௜ௗ(ଵ)ଵ ‫ݔ‬௜ௗ(ଶ)ଶ + ߝ(߬) ‫(߬ݔ‬ଵ)ଵ ‫(߬ݔ‬ଶ)ଶ

σ ∈S 2

= 1 × ‫ݔ‬ଵଵ ‫ݔ‬ଶଶ + (−1) × ‫ݔ‬2ଵ ‫ݔ‬1ଶ

= ‫ݔ‬ଵଵ ‫ݔ‬ଶଶ − ‫ݔ‬2ଵ ‫ݔ‬1ଶ
Commentaire : on retrouve ainsi le résultat usuel concernant le déterminant d’ordre 2

 Pour ݊ = 3 , ࣭݊ = {݅݀, (1, 3, 3 ) , (1, 3, 2) , (1, 2), (2, 3), (1, 3)} ,

Pour visualiser les signatures on se sert du tableau suivant,

ߪ ݅݀ (1, 2, 3 ) (1, 3, 2) (1, 2 ) (2, 3) (1, 3)
ߝ(ߪ) 1 1 1 −1 −1 −1

| ‫ݔ‬11 ‫ݔ‬12 ‫ݔ‬13 |

on a :

| |
| ‫ݔ‬21 ‫ݔ‬22 ‫ݔ‬23 | = ∑ ߝ(ߪ) ‫(ߪݔ‬1)1 ‫(ߪݔ‬2)2 ‫(ߪݔ‬3)3
| |
| ‫ݔ‬31 ‫ݔ‬32 ‫ݔ‬33 |
σ ∈S 3

= ‫ݔ‬ଵଵ ‫ݔ‬ଶଶ ‫ݔ‬ଷଷ , cette ligne correspond à ߪ = ݅݀

+ ‫ݔ‬ଶଵ ‫ݔ‬ଷଶ ‫ݔ‬ଵଷ , cette ligne correspond à ߪ = (1, 2, 3)

+ ‫ݔ‬ଷଵ ‫ݔ‬ଵଶ ‫ݔ‬ଶଷ , cette ligne correspond à ߪ = (1, 3, 2)

− ‫ݔ‬ଶଵ ‫ݔ‬ଵଶ ‫ݔ‬ଷଷ , cette ligne correspond à ߪ = (1, 2)

− ‫ݔ‬ଵଵ ‫ݔ‬ଷଶ ‫ݔ‬ଶଷ , cette ligne correspond à ߪ = (2, 3)

− ‫ݔ‬ଷଵ ‫ݔ‬ଶଶ ‫ݔ‬ଵଷ , cette ligne correspond à ߪ = (1, 3)

Commentaire : le calcul d’un déterminant en employant la définition n’est pas toujours aisé,

c’est pourquoi on préfère utiliser les propriétés du déterminant pour faciliter les calculs.

Exclusivement pour ݊ = 3 , on peut bénéficier d’une règle pratique , dite règle de Sarrus ,

18 CPGE DE TAZA MPSI1 2019 /2020 PROF : M. HOUBBAN

 elle est décrite dans la méthode suivante.

|‫ݔ‬11 ‫ݔ‬12 ‫ݔ‬13 | 

| |
|‫ݔ‬11 ‫ݔ‬12 ‫ݔ‬13 | |‫ݔ‬21 ‫ݔ‬22 ‫ݔ‬23 |

| | | |
|‫ݔ‬21 ‫ݔ‬22 ‫ݔ‬23 | = | ‫ݔ‬31 ‫ݔ‬32 ‫ݔ‬33 |


| | | |
| ‫ݔ‬31 | |
‫ݔ‬32 ‫ݔ‬33 | | ‫ݔ‬11 ‫ݔ‬12 ‫ݔ‬13 | ⊕
| |
| ‫ݔ‬21 ‫ݔ‬22 ‫ݔ‬23 |
⊕

= ‫ݔ‬ଵଵ ‫ݔ‬ଶଶ ‫ݔ‬ଷଷ + ‫ݔ‬ଶଵ ‫ݔ‬ଷଶ ‫ݔ‬ଵଷ + ‫ݔ‬ଷଵ ‫ݔ‬ଵଶ ‫ݔ‬ଶଷ − ‫ݔ‬ଶଵ ‫ݔ‬ଵଶ ‫ݔ‬ଷଷ − ‫ݔ‬ଵଵ ‫ݔ‬ଷଶ ‫ݔ‬ଶଷ − ‫ݔ‬ଷଵ ‫ݔ‬ଶଶ ‫ݔ‬ଵଷ
⊕

Méthode : Au déterminant voulu , on ajoute les deux premières lignes en bas , puis on calcule

les produits diagonaux dans le sens indiqué par les flèches.

Les produits diagonaux correspondants aux flèches descendantes sont dotés d’un signe ⊕

Les produits diagonaux correspondants aux flèches ascendantes sont dotés d’un signe 

2 - Propriétés du déterminant
a- Proposition 9
Soient ‫ݒ‬1 , ‫ݒ‬2 , … , ‫ ݊ݒ‬des vecteurs donnés d’un ॶ - e.v ‫ ܧ‬, dont ℬ = (݁ଵ , ݁2 , …, ݁݊ ) est

une base. On a :

i) ∀ߣ ∈ ॶ , ݀é‫ݐ‬ℬ (‫ݒ‬1, … , ‫݅ݒ‬−1 , ߣ‫ݒ‬௜ , ‫݅ݒ‬+1, … , ‫݀ ߣ = ) ݊ݒ‬é‫ݐ‬ℬ (‫ݒ‬1 , … , ‫݅ݒ‬−1 , ‫ ݅ݒ‬, ‫݅ݒ‬+1, … , ‫) ݊ݒ‬

ii) Pour tout (ߣ1, … , ߣ݅−1 , ߣ݅+1 , … , ߣ݊ ) ∈ ॶ௡ିଵ ,

݀é‫ݐ‬ℬ (‫ݒ‬1 , … , ‫݅ݒ‬−1 , ‫ ݅ݒ‬+ ߣ݆ ‫ݒ‬ , ‫݅ݒ‬+1, … , ‫݀ = ) ݊ݒ‬é‫ݐ‬ℬ (‫ݒ‬1 , … , ‫݅ݒ‬−1 , ‫ ݅ݒ‬, ‫݅ݒ‬+1, … , ‫) ݊ݒ‬
n

∑ ݆
j =1

iii) ݀é‫ݐ‬ℬ (‫ ݅ݒ‬, ‫ݒ‬1 , … , ‫݅ݒ‬−1 , ‫݅ݒ‬+1 , … , ‫( = ) ݊ݒ‬−1)݅−1 ݀é‫ݐ‬ℬ (‫ݒ‬1 , … , ‫݅ݒ‬−1 , ‫ ݅ݒ‬, ‫݅ݒ‬+1 , … , ‫) ݊ݒ‬
j ≠i

i) S’obtient par multilinéarité du ݀é‫ ݐ‬ℬ ,

Preuve

à signaler que : ∀ߣ ∈ ॶ , ݀é‫ݐ‬ℬ (ߣ‫ݒ‬1 , ߣ‫ݒ‬ଶ , … , ߣ‫ݒ‬௡ ) = ߣ݊ ݀é‫ݐ‬ℬ (‫ݒ‬1 , ‫ݒ‬2 , … , ‫) ݊ݒ‬

ii) Découle du fait ݀é‫ݐ‬ℬ une forme ݊- linéaire alternée sur ‫ ܧ‬, ce passage a été déjà rencontré

dans la preuve de la proposition8.

iii) On rappelle le résultat issu du théorème 3 :

∀ ߪ ∈ ࣭௡ , ݀é‫ݐ‬ℬ (‫(ߪݒ‬1) , ‫(ߪݒ‬2) , … , ‫= ) )݊(ߪݒ‬ ߝ(ߪ) ݀é‫ ݐ‬ℬ (‫ݒ‬1 , ‫ݒ‬2 , … , ‫) ݊ݒ‬

où ߝ(ߪ) est la signature de la permutation ߪ

On considère le i-cycle de ࣭݊ : ߪ = (1 , ݅ , ݅ − 1 , … , 3 , 2)

On a :

19 CPGE DE TAZA MPSI1 2019 /2020 PROF : M. HOUBBAN

ߪ(1) = ݅
ߪ(݅) = ݅ − 1
ߪ(݅ − 1) = ݅ − 2
⋮
ߪ(3) = 2
ߪ(2) = 1
On a : ߝ(ߪ) = (−1)௜ିଵ , (d’après la proposition 5).
݀é‫ݐ‬ℬ (‫ ݅ݒ‬, ‫ݒ‬1 , … , ‫݅ݒ‬−1 , ‫݅ݒ‬+1, … , ‫݀ = ) ݊ݒ‬é‫ݐ‬ℬ (‫(ߪݒ‬1) , ‫(ߪݒ‬2) , … , ‫ )݅(ߪݒ‬, ‫ݒ‬ఙ(௜ାଵ) , … , ‫) )݊(ߪݒ‬

= ߝ(ߪ) ݀é‫ݐ‬ℬ (‫ݒ‬ଵ , ‫ݒ‬2 , … , ‫ ݅ݒ‬, ‫ݒ‬௜ାଵ , … , ‫) ݊ݒ‬

= (−1)௜ିଵ ݀é‫ݐ‬ℬ (‫ݒ‬ଵ , ‫ݒ‬2 , … , ‫ ݅ݒ‬, ‫ݒ‬௜ାଵ , … , ‫) ݊ݒ‬
b– Remarques
 Dans la preuve précédente, ramener ‫ ݅ݒ‬à la place de ‫ݒ‬1 puis faire glisser ‫ݒ‬1 , … , ‫݅ݒ‬−1 d’un

pas , c’est exactement l’effet d’un cycle de longueur i sur les indice 1 , ݅ , ݅ − 1 , … , 3 , 2

 Une autre façon de voir la permutation ߪ est de la considérer comme un processus

de transpositions successives ; (voir proposition 4)

c- Exercice
Notons ‫݀ = ܦ‬é‫ݐ‬ℬ (‫ݒ‬1 , ‫ݒ‬2 , … , ‫ ) ݊ݒ‬. Exprimer les déterminants suivants en fonction de ‫ܦ‬.

i) ݀é‫ݐ‬ℬ (‫ ݊ݒ‬, ‫݊ݒ‬−1 , … , ‫ݒ‬ଶ , ‫ݒ‬1 )

ii) ݀é‫ݐ‬ℬ (‫ݒ‬2 , ‫ݒ‬3 , … , ‫ݒ‬௡ , ‫ݒ‬1 )

d- Théorème 6 (Théorème de changement de bases)

Soit ‫ ܧ‬un ॶ - e.v tel que : dim ‫ ݊ = ܧ‬, avec ݊ ∈ ℕ∗ ,

Si ℬ et ℬ′ sont deux bases de ‫ ܧ‬, alors : ݀é‫ݐ‬ℬ′ = ݀é‫ݐ‬ℬ′ (ℬ) × ݀é‫ݐ‬ℬ , c.à.d :

∀(‫ݒ‬1 , ‫ݒ‬2 , … , ‫ ݊ܧ ∈ ) ݊ݒ‬, ݀é‫ݐ‬ℬ′ (‫ݒ‬1 , ‫ݒ‬2 , … , ‫݀ = ) ݊ݒ‬é‫ݐ‬ℬ′ (ℬ) × ݀é‫ݐ‬ℬ (‫ݒ‬1 , ‫ݒ‬2 , … , ‫) ݊ݒ‬

∀߮ ∈ A ݊ (‫ )ܧ‬, ߮ = ߮(ℬ). ݀é‫ݐ‬ℬ

Preuve
D’après la remarque II. 5 .c , on a :

En particulier , pour ߮ = ݀é‫ݐ‬ℬ′ ∈ A ݊ (‫ )ܧ‬, on a :

݀é‫ݐ‬ℬ′ = ݀é‫ݐ‬ℬ′ (ℬ) × ݀é‫ݐ‬ℬ

e- Théorème 7 (Caractérisation des bases)

Soit ‫ ܧ‬un ॶ - e.v tel que : dim ‫ ݊ = ܧ‬, avec ݊ ∈ ℕ∗ , dont ℬ une base ,
et soit ܵ = (‫ݒ‬1 , ‫ݒ‬2 , … , ‫ ) ݊ݒ‬un système de ݊ vecteurs de ‫ܧ‬. Alors :

ܵ est une base de ‫ܧ‬ ⟺ ݀é‫ݐ‬ℬ (‫ݒ‬1 , ‫ݒ‬2 , … , ‫ ≠ ) ݊ݒ‬0

20 CPGE DE TAZA MPSI1 2019 /2020 PROF : M. HOUBBAN

Preuve

⇒ Supposons que ܵ est une base de ‫ܧ‬

En appliquant la formule de changement de bases précédente, on a :
݀é‫݀ = ܵݐ‬é‫( ܵݐ‬ℬ) × ݀é‫ݐ‬ℬ
⇒ ݀é‫ݒ( ܵݐ‬1 , ‫ݒ‬2 , … , ‫݀ = ) ݊ݒ‬é‫( ܵݐ‬ℬ) × ݀é‫ݐ‬ℬ (‫ݒ‬1 , ‫ݒ‬2 , … , ‫) ݊ݒ‬

⇒ 1 = ݀é‫݀ = )ܵ ( ܵݐ‬é‫ݐ‬ௌ (ℬ) × ݀é‫ݐ‬ℬ (‫ݒ‬1 , ‫ݒ‬2 , … , ‫) ݊ݒ‬

⇒ ݀é‫ݐ‬ℬ (‫ݒ‬1 , ‫ݒ‬2 , … , ‫ ≠ ) ݊ݒ‬0

⇐
Par contraposée, on va prouver que : ܵ n’est pas une base de ‫݀ ⇒ ܧ‬é‫ݐ‬ℬ (‫ݒ‬1 , ‫ݒ‬2 , … , ‫ = ) ݊ݒ‬0

Supposons que ܵ = (‫ݒ‬1 , ‫ݒ‬2 , … , ‫ ) ݊ݒ‬n’est pas une base de ‫ܧ‬.

⇒ La famille (‫ݒ‬1 , ‫ݒ‬2 , … , ‫ ) ݊ݒ‬est liée dans ‫ ( ; ܧ‬Vu que ܿܽ‫)ܧ݉݅݀ = ݊ = )ܵ(݀ݎ‬

⇒ ݀é‫ݐ‬ℬ (‫ݒ‬1 , ‫ݒ‬2 , … , ‫ = ) ݊ݒ‬0 ; ( Car ݀é‫ݐ‬ℬ ∈ A ݊ (‫)ܧ‬, voir proposition8)

e- Théorème 8 (Caractérisation des familles liées)

Soit ‫ ܧ‬un ॶ - e.v tel que : dim ‫ ݊ = ܧ‬, avec ݊ ∈ ℕ∗ , muni d’une base ℬ quelconque, on a :

La famille (‫ݒ‬1 , ‫ݒ‬2 , … , ‫ ) ݊ݒ‬de ‫ ܧ‬est liée ⟺ ݀é‫ݐ‬ℬ (‫ݒ‬1 , ‫ݒ‬2 , … , ‫ = ) ݊ݒ‬0

⇒ (Voir proposition8) ; Cette implication a été déjà établie pour une forme ‫݌‬- linéaire
Preuve

alternée quelconque sur ‫ܧ‬, en particulier elle est vraie pour ݀é‫ݐ‬ℬ ∈ A ݊ (‫)ܧ‬.

⇐ Soit (‫ݒ‬1 , ‫ݒ‬2 , … , ‫ ݊ܧ ∈ ) ݊ݒ‬, tel que : ݀é‫ݐ‬ℬ (‫ݒ‬1 , ‫ݒ‬2 , … , ‫ = ) ݊ݒ‬0.

On procède par l’absurde , supposons que la famille ℬ′ = (‫ݒ‬1, ‫ݒ‬2 , … , ‫ ) ݊ݒ‬est libre dans ‫ܧ‬

Et comme ܿܽ‫(݀ݎ‬ℬ′ ) = ݊ = ݀݅݉‫ ܧ‬, alors ℬ′ est une base de ‫ܧ‬.

D’où, en écrivant la formule de changement de bases pour les déterminants, on a :

݀é‫ݐ‬ℬ′ = ݀é‫ݐ‬ℬ′ (ℬ) × ݀é‫ݐ‬ℬ , (théorème 6)

Ainsi en appliquant cette formule à ℬ′ , on obtient :

1 = ݀é‫ݐ‬ℬᇲ (ℬ ᇱ ) = ݀é‫ݐ‬ℬᇲ (ℬ) × ݀é‫ݐ‬ℬ (ℬ ᇱ ) = 0

݀é‫ݐ‬ℬ (‫ݒ‬1 , ‫ݒ‬2 , … , ‫ = ) ݊ݒ‬0 La famille (‫ݒ‬1 , ‫ݒ‬2 , … , ‫ ) ݊ݒ‬est liée dans ‫ܧ‬
Ce qui est absurde. D’où, la conclusion :
⇒
3 - Déterminant d’un endomorphisme

21 CPGE DE TAZA MPSI1 2019 /2020 PROF : M. HOUBBAN

a- Théorème 9 et définition 11
Soit ‫ ܧ‬un ॶ - e.v tel que : dim ‫ ݊ = ܧ‬, avec ݊ ∈ ℕ∗ , et soit ݂ ∈ L (‫)ܧ‬

On a alors : Il existe un unique scalaire ߣ ∈ ॶ , tel que , pour toute base ℬ de ‫ ܧ‬, on ait :
∀(‫ݒ‬1 , ‫ݒ‬2 , … , ‫ ݊ܧ ∈ ) ݊ݒ‬, ݀é‫ݐ‬ℬ (݂(‫ݒ‬1 ) , ݂(‫ݒ‬ଶ ) , … , ݂(‫݀ ߣ = )) ݊ݒ‬é‫ݐ‬ℬ (‫ݒ‬1 , ‫ݒ‬2 , … , ‫) ݊ݒ‬.

Le scalaire ߣ , ainsi défini , s’appelle déterminant de l’endomorphisme ݂ , on le note : ݀é‫)݂(ݐ‬

Soit ℬ une base de ‫ ܧ‬. Considérons l’application,

Preuve

߮ ∶ ‫ܧ‬௡ ⟶ ॶ
(‫ݒ‬1 , ‫ݒ‬2 , … , ‫ݒ(߮ ⟼ ) ݊ݒ‬1 , ‫ݒ‬2 , … , ‫݀ = ) ݊ݒ‬é‫ݐ‬ℬ (݂(‫ݒ‬1 ) , ݂(‫ݒ‬ଶ ) , … , ݂(‫)) ݊ݒ‬

߮ est forme ݊- linéaire sur ‫ܧ‬, car , ݂ est linéaire et ݀é‫ݐ‬ℬ est forme ݊- linéaire sur ‫ܧ‬

߮ est alternée sur ‫ܧ‬, en effet ,

‫݆ݒ = ݅ݒ‬ ⇒ ݂(‫) ݆ݒ(݂ = ) ݅ݒ‬ car , ݂ est une application

⇒ ݀é‫ݐ‬ℬ (݂(‫ݒ‬1 ) , ݂(‫ݒ‬ଶ ) , … , ݂(‫ = )) ݊ݒ‬0 car , ݀é‫ݐ‬ℬ ∈ A ݊ (‫)ܧ‬.

⇒ ߮(‫ݒ‬1 , ‫ݒ‬2 , … , ‫ݒ‬௜ , … , ‫ ݆ݒ‬, … , ‫ = ) ݊ݒ‬0

⇒ ߮ est alternée sur ‫ܧ‬

Comme ߮ est forme ݊- linéaire alternée sur ‫ܧ‬, on a : ߮ ∈ A ݊ (‫)ܧ‬.

Et comme en plus , ݀݅݉A ݊ (‫ = )ܧ‬1 et {݀é‫ݐ‬ℬ } est une base de A ݊ (‫ )ܧ‬,

Alors : ∃! ߣ ∈ ॶ , ߮ = ߣ ݀é‫ݐ‬ℬ .

Ainsi , ∀(‫ݒ‬1 , ‫ݒ‬2 , … , ‫ ݊ܧ ∈ ) ݊ݒ‬, ߮(‫ݒ‬1 , ‫ݒ‬2 , … , ‫݀ ߣ = ) ݊ݒ‬é‫ݐ‬ℬ (‫ݒ‬ଵ , ‫ݒ‬2 , … , ‫) ݊ݒ‬

c.à.d: ∀(‫ݒ‬ଵ , ‫ݒ‬2 , … , ‫ ݊ܧ ∈ ) ݊ݒ‬, ݀é‫ݐ‬ℬ (݂(‫ݒ‬1 ) , ݂(‫ݒ‬ଶ ) , … , ݂(‫݀ ߣ = )) ݊ݒ‬é‫ݐ‬ℬ (‫ݒ‬1, ‫ݒ‬2 , … , ‫) ݊ݒ‬

Montrons que le scalaire ߣ , ainsi trouvé , est indépendant de la base choisie dans ‫ܧ‬.

Choisissons une autre base ℬ′ de ‫ܧ‬.

On a : ݀é‫ݐ‬ℬ′ = ݀é‫ݐ‬ℬ′ (ℬ) × ݀é‫ݐ‬ℬ

Donc , ݀é‫ݐ‬ℬ′ (݂(‫ݒ‬1 ) , ݂(‫ݒ‬ଶ ) , … , ݂(‫݀ = )) ݊ݒ‬é‫ݐ‬ℬ′ (ℬ) × ݀é‫ݐ‬ℬ (݂(‫ݒ‬1 ) , ݂(‫ݒ‬ଶ ) , … , ݂(‫)) ݊ݒ‬

= ݀é‫ݐ‬ℬᇲ (ℬ) × ߣ ݀é‫ݐ‬ℬ (‫ݒ‬ଵ, ‫ݒ‬2 , … , ‫) ݊ݒ‬

= ߣ ݀é‫ݐ‬ℬᇲ (ℬ) ݀é‫ݐ‬ℬ (‫ݒ‬ଵ, ‫ݒ‬2 , … , ‫) ݊ݒ‬
= ߣ ݀é‫ݐ‬ℬᇲ (‫ݒ‬ଵ, ‫ݒ‬2 , … , ‫) ݊ݒ‬
D’où , ߣ ne dépend pas de la base choisie dans ‫ܧ‬.
b- Calcul du déterminant d’un endomorphisme
Notons ℬ = (݁ଵ , ݁2 , …, ݁݊ ) une base de ‫ܧ‬.

22 CPGE DE TAZA MPSI1 2019 /2020 PROF : M. HOUBBAN

En gardant les mêmes notations de la définition 11 , on a :
∀(‫ݒ‬1 , ‫ݒ‬2 , … , ‫ ݊ܧ ∈ ) ݊ݒ‬, ݀é‫ݐ‬ℬ (݂(‫ݒ‬1 ) , ݂(‫ݒ‬ଶ ) , … , ݂(‫݀ = )) ݊ݒ‬é‫݀ )݂(ݐ‬é‫ݐ‬ℬ (‫ݒ‬1, ‫ݒ‬2 , … , ‫) ݊ݒ‬

En particulier pour (‫ݒ‬1 , ‫ݒ‬2 , … , ‫݁( = ) ݊ݒ‬1 , ݁2 , …, ݁݊ ) = ℬ , on a :

݀é‫ݐ‬ℬ (݂(݁1 ) , ݂(݁ଶ ) , … , ݂(݁݊ )) = ݀é‫݀ )݂(ݐ‬é‫ݐ‬ℬ (݁1, ݁2 , … , ݁݊ )

Ou encore , ݀é‫ݐ‬ℬ (݂(ℬ )) = ݀é‫݀ )݂(ݐ‬é‫ݐ‬ℬ (ℬ ) , et vu que , ݀é‫ݐ‬ℬ (ℬ ) = 1

On conclut que : ݀é‫݀ = )݂(ݐ‬é‫ݐ‬ℬ (݂(ℬ )) , où est une base quelconque de ‫ܧ‬.

c- Propriétés du déterminant d’un endomorphisme

c 1- Proposition 10

Soit ‫ ܧ‬un ॶ - e.v, tel que : dim ‫ ݊ = ܧ‬, avec ݊ ∈ ℕ∗ , et soient ݂, ݃ ∈ L (‫ )ܧ‬, on a :

i) ݀é‫݀݅(ݐ‬ா ) = 1

ii) Pour tout ߣ ∈ ॶ , ݀é‫ߣ = )݂ߣ (ݐ‬௡ ݀é‫)݂(ݐ‬

iii) ݀é‫݀ = )݂݋݃ (ݐ‬é‫݀ × )݃(ݐ‬é‫ )݂(ݐ‬, en particulier : ݀é‫݀ = )݂݋݃ (ݐ‬é‫)݃݋݂ (ݐ‬

iv) ݂ ∈ ‫)ܧ(ܮܩ‬ ⟺ ݀é‫ ≠ )݂(ݐ‬0

݂ ∈ ‫)ܧ(ܮܩ‬ ⟺ ݀é‫ି ݂(ݐ‬ଵ ) =

ଵ
ௗé௧(௙)
v)

Notons ℬ = (݁ଵ , ݁2 , …, ݁݊ ) une base quelconque de ‫ܧ‬.

Preuve

On rappelle que si : ݂ ∈ L (‫ )ܧ‬alors , ݀é‫ )݂(ݐ‬est indépendant de la base choisie dans ‫ܧ‬.

et on a : ݀é‫݀ = )݂(ݐ‬é‫ݐ‬ℬ (݂(ℬ )).

i) ݀é‫݀݅(ݐ‬ா ) = ݀é‫ݐ‬ℬ (݅݀‫( ܧ‬ℬ )) = ݀é‫ݐ‬ℬ (ℬ) = 1

ii) Soit ߣ ∈ ॶ ,
On a : ݀é‫݀ = )݂ߣ (ݐ‬é‫ݐ‬ℬ ( ߣ݂(ℬ )).

= ݀é‫ݐ‬ℬ ( ߣ݂(݁1 ) , ߣ݂(݁ଶ ) , … , ߣ݂(݁݊ ))

= ߣ௡ ݀é‫ݐ‬ℬ (݂(݁1 ) , ݂(݁ଶ ) , … , ݂(݁݊ )) , (voir proposition 9)

= ߣ௡ ݀é‫ݐ‬ℬ (݂(ℬ ))
= ߣ௡ ݀é‫)݂(ݐ‬
iii) soient ݂, ݃ ∈ L (‫ )ܧ‬,

On a : ݀é‫݀ = )݂݋݃ (ݐ‬é‫ݐ‬ℬ ( ݃‫(݂݋‬ℬ )).

= ݀é‫ݐ‬ℬ ( ݃‫݁(݂݋‬1 ) , ݃‫݁(݂݋‬ଶ ) , … , ݃‫)) ݊݁(݂݋‬

= ݀é‫ݐ‬ℬ ( ݃(݂(݁1 )) , ݃(݂(݁ଶ )) , … , ݃(݂(݁݊ )))

= ݀é‫݀ )݃(ݐ‬é‫ݐ‬ℬ (݂(݁1 ) , ݂(݁ଶ ) , … , ݂(݁݊ )) , (voir Définition 11)

23 CPGE DE TAZA MPSI1 2019 /2020 PROF : M. HOUBBAN

 = ݀é‫݀ × )݃(ݐ‬é‫)݂(ݐ‬
iv) soit ݂ ∈ L (‫ )ܧ‬, on a :

݂ ∈ ‫)ܧ(ܮܩ‬ ⟺ ݂ est inversible dans L (‫)ܧ‬

⟺ ݂(ℬ ) est une base de ‫ܧ‬.

⟺ ݀é‫ݐ‬ℬ (݂(ℬ )) ≠ 0 , (voir théorème 7 )

⟺ ݀é‫ ≠ )݂(ݐ‬0
v) soit ݂ ∈ L (‫ )ܧ‬,
⇒ On a : ݂ ∈ ‫)ܧ(ܮܩ‬ ⇒ ݂‫ି ݂݋‬ଵ = ݅݀ா
⇒ ݀é‫݂݋݂(ݐ‬−1 ) = ݀é‫) ܧ݀݅(ݐ‬
⇒ ݀é‫݀ )݂(ݐ‬é‫݂(ݐ‬−1 ) = 1

⇒ ݀é‫݂(ݐ‬−1 ) =
1
݀é‫)݂(ݐ‬

݀é‫݂(ݐ‬ ) = ݀é‫݀ )݂(ݐ‬é‫݂(ݐ‬ ) = 1

ିଵ ଵ ିଵ
ௗé௧(௙)
⇐ On a : ⇒
⇒ ݀é‫ ≠ )݂(ݐ‬0
⇒ ݂ ∈ ‫ )ܧ(ܮܩ‬, ( D’après iv) )

4- Déterminant d’une matrice carrée

a- Définition 12
Soit ‫ܽ( = ܣ‬௜ ௝ )ଵஸ௜ ,௝ஸ௡ une matrice de ℳ݊ (ॶ)

On appelle déterminant de ‫ ܣ‬, le scalaire :

݀é‫= )ܣ(ݐ‬ ∑ ߝ(ߪ) ܽఙ(ଵ)ଵ ܽఙ(ଶ)ଶ … ܽఙ(௡)௡

‫ܥ‬1 ‫ܥ‬2 ⋯ ‫݆ܥ‬ ⋯ ‫݊ܥ‬

σ ∈S n

On note :

ܽଵଵ ܽଵଶ ⋯ ܽଵ௝ ⋯ ܽଵ௡

ተ ܽଶଵ ܽଶଶ ⋯ ܽଶ௝ ⋯ ܽଶ௡ ተ

⋮ ⋮ ⋮ ⋮
݀é‫)ܣ(ݐ‬ = ተ ተ
ܽ௜ଵ ܽ௜ଶ ⋯ ܽ௜௝ ⋯ ܽ௜௡

ተ ⋮ ⋮ ⋮ ⋮ ተ
ܽ௡ଵ ܽ௡ଶ ⋯ ܽ௡௝ ⋯ ܽ௡௡
Autrement dit :
݀é‫݀ = )ܣ(ݐ‬é‫ݐ‬ℬ (‫ܥ‬ଵ , ‫ܥ‬2 , … , ‫) ݊ܥ‬
Avec ℬ est la base canonique de ॶ௡ , et ‫ܥ‬1 , ‫ܥ‬2 , … , ‫ ݊ܥ‬sont les vecteurs colonnes de ‫ ܣ‬,

exprimés dans cette base.

24 CPGE DE TAZA MPSI1 2019 /2020 PROF : M. HOUBBAN

Soit ‫ ܧ‬un ॶ - e.v tel que : dim ‫ ݊ = ܧ‬, avec ݊ ∈ ℕ∗ , muni d’une base ℬ,
b- Théorème 10

et soit ݂ ∈ L (‫ )ܧ‬, on note : ‫ = ܣ‬Mܽ‫ ݐ‬ℬ (݂) .

On a alors : ݀é‫݀ = )ܣ(ݐ‬é‫)݂(ݐ‬

Supposons que : ℬ = (݁ଵ , ݁2 , …, ݁݊ ) est une base donnée de ‫ܧ‬.

Preuve

∀݆ ∈
1, ݊ , ݂(݁௝ ) = ܽ௜௝ ݁௜
n
on a : ∑
i =1

D’où , ݀é‫= )ܣ(ݐ‬ ∑ ߝ(ߪ) ܽఙ(ଵ)ଵ ܽఙ(ଶ)ଶ … ܽఙ(௡)௡

= ݀é‫ݐ‬ℬ (݂(݁1) , ݂(݁ଶ ) , … , ݂(݁݊ ))

σ ∈S n

= ݀é‫)݂(ݐ‬
c- Propriétés du déterminant d’une matrice
c 1- Proposition 11
Soient ‫ ܣ‬, ‫ ∈ ܤ‬ℳ௡ (ॶ) , et soit ߣ ∈ ॶ , on a :

i) ݀é‫ܫ(ݐ‬௡ ) = 1

ii) ݀é‫ߣ = )ܣߣ (ݐ‬௡ ݀é‫ )ܣ(ݐ‬, en particulier : ݀é‫ܫߣ(ݐ‬௡ ) = ߣ௡

iii) ݀é‫݀ = )ܤܣ(ݐ‬é‫݀ × )ܣ(ݐ‬é‫ )ܤ(ݐ‬, en particulier : ݀é‫݀ = )ܤܣ(ݐ‬é‫)ܣܤ(ݐ‬

iv) ‫)ॶ( ݊ܮܩ ∈ ܣ‬ ⟺ ݀é‫ ≠ )ܣ(ݐ‬0

‫)ॶ( ݊ܮܩ ∈ ܣ‬ ⟺ ݀é‫ିܣ(ݐ‬ଵ ) =

ଵ
ௗé௧(஺)
v)

Preuve
On applique le théorème10 et la proposition 10.

Soient ‫ ܣ‬, ‫ ∈ ܤ‬ℳ௡ (ॶ) .

c 2- Exercice

Montrer que si ‫ ܣ‬et ‫ ܤ‬sont semblables alors : ݀é‫݀ = )ܣ(ݐ‬é‫)ܤ(ݐ‬. Que dire de la réciproque ?

Pour toute matrice ‫ ∈ ܣ‬ℳ௡ (ॶ) ,

c 3- Proposition 12
on a :
݀é‫(ݐ‬௧ ‫݀ = )ܣ‬é‫ )ܣ(ݐ‬.

Soit ‫ ∈ ܣ‬ℳ௡ (ॶ). Notons :

Preuve

‫ܽ( = ܣ‬௜ ௝ )ଵஸ௜ ,௝ஸ௡

‫ݐ‬
‫) ݆ ܾ݅( = ܣ‬1≤݅ ,݆≤݊ , avec ܾ݅ ݆ = ݆ܽ݅ , ∀݅, ݆ ∈
1 , ݊ 
On a :

25 CPGE DE TAZA MPSI1 2019 /2020 PROF : M. HOUBBAN

݀é‫(ݐ‬௧ ‫= )ܣ‬ ∑ ߝ(ߪ) ܾఙ(ଵ)ଵ ܾఙ(ଶ)ଶ … ܾఙ(௡)௡

 Si ߪ ∈ ࣭௡ , alors : ߝ(ߪ) = ߝ(ߪ ିଵ )

σ ∈S n Rappels

ିଵ )
= ∑ ߝ(ߪ ܾଵఙషభ (ଵ) ܾଶఙషభ (ଶ) … ܾ௡ఙషభ (௡) ߝ(ߪߪ ିଵ ) = ߝ(݅݀)
⇒ ߝ(ߪ) ߝ(ߪ ିଵ ) = 1
En effet :
σ ∈S n

⇒ ߝ(ߪ) = ߝ(ߪ ିଵ )
= ߝ(ߪ ିଵ ) ܽఙషభ (ଵ)ଵ ܽఙషభ (ଶ)ଶ … ܽఙషభ (௡)௡
 L’application, h : ࣭௡ ⟶ ࣭௡
∑
ߪ ⟼ ߪ ିଵ
σ ∈S n

= ߝ(ߪ ିଵ ) ܽఙషభ (ଵ)ଵ ܽఙషభ (ଶ)ଶ … ܽఙషభ (௡)௡ est bijective et ࣭݊ est un groupe :
{ߪ , ߪ ∈ ࣭௡ } = {ߪ ିଵ , ߪ ∈ ࣭௡ }
σ
∑ ∈S n

= ∑ ߝ(ߪ ିଵ ) ܽఙషభ (ଵ)ଵ ܽఙషభ (ଶ)ଶ … ܽఙషభ (௡)௡ et ∑ … = ∑ …

σ ∈
−1
Sn σ −1∈S n σ ∈S n

= ∑ ߝ(ߪ) ܽఙ(ଵ)ଵ ܽఙ(ଶ)ଶ … ܽఙ(௡)௡

= ݀é‫)ܣ(ݐ‬
σ ∈S n

IV. Développement et calcul d’un déterminant

1 - Mineurs – Cofacteurs d’une matrice
a- Définition 13
Soit ݊ ∈ ℕ∗ avec ݊ ≥ 2 , et soit ‫ܽ( = ܣ‬௜௝ )ଵஸ௜ ,௝ஸ௡ une matrice de ℳ݊ (ॶ) .

On note ‫ ݆݅ܣ‬la matrice extraite de ‫ ܣ‬, obtenue en supprimant la ligne d’indice ݅ et

la colonne d’indice ݆ .

Le scalaire ݆݉݅ = ݀é‫ ) ݆݅ܣ(ݐ‬, est appelé mineur d’indices ݅ et ݆ de ‫ܣ‬.

Le scalaire ∆݆݅ = (−1)݅+݆ ݀é‫ ) ݆݅ܣ(ݐ‬, est appelé cofacteur d’indices ݅ et ݆ de ‫ܣ‬.

(On le note aussi : ‫݆݅ܥ‬ ∆݅ )

݆
ou

1 3 0 2
b- Exemple

2 4 2 −1
Soit ‫ ∈ ܣ‬ℳସ (ℝ ), telle que : ‫ = ܣ‬൮ ൲
3 −2 1 0
4 1 −5 3
1 3 0 2
⎛2 4 2 −1⎞
‫ܣ‬23 =⎜ ⎟
⎜3 −2 1 0⎟
D’après la définition 13 , on a :
⎝4 1 −5 3⎠
1 3 2
c.à .d : ‫ܣ‬23 = (3 −2 0)
4 1 3
|1 3 2|
Le mineur d’indices 2 et 3 de ‫ ܣ‬est , ݉23 = ݀é‫ܣ(ݐ‬23 ) = ||3 −2 0|| = −11
|4 1 3|

Le cofacteur d’indices 2 et 3 de ‫ ܣ‬est , ∆23 = (−1)2+3 ݀é‫ܣ(ݐ‬23 ) = (−1) × (−11) = 11

26 CPGE DE TAZA MPSI1 2019 /2020 PROF : M. HOUBBAN

2- Développement d’un déterminant suivant une rangée
a- Lemme
Soit ݊ ∈ ℕ∗ , tel que ݊ ≥ 2 . On a :
1 ܽଵଶ ⋯ ܽଵ௝ ⋯ ܽଵ௡
ܽଶଶ ⋯ ܽଶ௝ ⋯ ܽଶ௡
0 ܽଶଶ ⋯ ܽଶ௝ ⋯ ܽଶ௡
ተ ተ ⋮ ⋮ ⋮
⋮ ⋮ ⋮ ⋮ ተܽ ⋯ ܽ௜௝ ⋯ ܽ௜௡ ተ
=
0 ܽ௜ଶ ⋯ ܽ௜௝ ⋯ ܽ௜௡ ተ ተ
௜ଶ
ተ ተ ⋮ ⋮ ⋮
Déterminant

⋮ ⋮ ⋮ ⋮ ܽ௡ଶ ⋯ ܽ௡௝ ⋯ ܽ௡௡

0 ܽ௡ଶ ⋯ ܽ௡௝ ⋯ ܽ௡௡
d’une matrice de taille (݊, ݊) Déterminant d’une matrice de taille (݊ − 1, ݊ − 1)

Notons : ∆݊ le premier déterminant et ∆݊−1 le second .

Preuve

On a : ∆݊ = ∑ ߝ(ߪ) ܽߪ(1)1 ܽߪ(2)2 … ܽఙ(௡)௡ 

= ߝ(ߪ) ܽఙ(ଵ)ଵ ܽఙ(ଶ)ଶ … ܽఙ(௡)௡

σ ∈S n

∑
σ ∈S n

σ (1) =1

= ∑ ߝ(ߪ) ܽఙ(ଶ)ଶ … ܽఙ(௡)௡ 

= ∆݊−1
σ∈ S
2,n 


Explication :

 C’est exactement la définition de ∆݊

on mentionne que : ܽ11 = 1 , et ܽ݅1 = 0 pour 2 ≤ ݅ ≤ ݊.

 Les valeurs prises par ܽߪ(1)1 sont :
ܽ11 = 1
ܽ21 = 0
⋮
ܽ݊1 = 0

Il en résulte : ∑ ߝ(ߪ) ܽఙ(ଵ)ଵ ܽఙ(ଶ)ଶ … ܽఙ(௡)௡ = 0 ; ( ∑ ... = σ∑ …+ ∑ … )

σ ∈S n σ ∈S n ∈S n σ ∈S n

=0
σ (1) ≠1 σ (1) =1 σ (1) ≠1

 Une permutation de
1, ݊  qui laisse fixe l’élément 1 peut être regardée comme une

permutation de
2, ݊  , sa signature n’est pas affectée, (Le nombre d’inversions reste

inchangeable)

 C’est exactement la définition de ∆݊−1

27 CPGE DE TAZA MPSI1 2019 /2020 PROF : M. HOUBBAN

b- Théorème 11
Soit ݊ ∈ ℕ∗ , tel que ݊ ≥ 2 et soit ‫ܽ( = ܣ‬௜௝ )ଵஸ௜ ,௝ஸ௡ une matrice de ℳ݊ (ॶ) . On a alors :

i) ∀݆ ∈
1 , ݊  , ݀é‫= )ܣ(ݐ‬ (−1)௜ା௝ ܽ௜௝ ݀é‫ݐ‬൫‫ܣ‬௜௝ ൯ = ܽ௜௝ ∆௜௝

n n

∑ i =1
∑
i =1

ii) ∀݅ ∈
1 , ݊  , ݀é‫= )ܣ(ݐ‬ (−1)௜ା௝ ܽ௜௝ ݀é‫ݐ‬൫‫ܣ‬௜௝ ൯ = ܽ௜௝ ∆௜௝

n n

∑ ∑
i) est la formule qui donne le développement du ݀é‫ )ܣ(ݐ‬suivant la colonne ݆
j =1 j =1

ii) est la formule qui donne le développement du ݀é‫ )ܣ(ݐ‬suivant la ligne ݅

i) Soit ݆ ∈
1 , ݊  . Montrons formule de développement du ݀é‫ )ܣ(ݐ‬suivant la colonne ݆ :

Preuve

݀é‫= )ܣ(ݐ‬ (−1)௜ା௝ ܽ௜௝ ݀é‫ݐ‬൫‫ܣ‬௜௝ ൯ = ܽ௜௝ ∆௜௝

n n

∑
i =1
∑
i =1

On a :
‫ܥ‬1 ‫ܥ‬2 ⋯ ‫݆ܥ‬ ⋯ ‫݊ܥ‬
ܽଵଵ ܽଵଶ ⋯ ܽଵ௝ ⋯ ܽଵ௡ ‫ܮ‬ଵ
ተܽଶଵ ܽଶଶ ⋯ ܽଶ௝ ⋯ ܽଶ௡ ተ ‫ܮ‬ଶ
⋮ ⋮ ⋮ ⋮ ⋮
݀é‫)ܣ(ݐ‬ = ተ ተ
ܽ௜ଵ ܽ௜ଶ ⋯ ܽ௜௝ ⋯ ܽ௜௡ ‫ܮ‬௜

ተ ⋮ ⋮ ⋮ ⋮ ተ ⋮
ܽ௡ଵ ܽ௡ଶ ⋯ ܽ௡௝ ⋯ ܽ௡௡ ‫ܮ‬௡

‫݆ܥ‬ ‫ܥ‬1 ‫ܥ‬2 ⋯ ‫݊ܥ‬

ܽଵ௝ ܽଵଵ ܽଵଶ ⋯ ܽଵ௡ ‫ܮ‬ଵ
ተܽଶ௝ ܽଶଵ ܽଶଶ ⋯ ܽଶ௡ ተ ‫ܮ‬ଶ
⋮ ⋮ ⋮ ⋮
= (−1) ௝ିଵ ተ ተ
ܽ௜௝ ܽ௜ଵ ܽ௜ଶ ⋯ ܽ௜௡ ‫ܮ‬௜

ተ ⋮ ⋮ ⋮ ተ ⋮
ܽ௡௝ ܽ௡ଵ ܽ௡ଶ ⋯ ܽ௡௡ ‫ܮ‬௡
Pour ramener ‫ ݆ܥ‬à la place de ‫ܥ‬1 puis faire glisser ‫ܥ‬1 , … , ‫݅ܥ‬−1 d’un pas , c’est exactement

l’effet du ݆-cycle ߪ = (1 , ݆ , ݆ − 1 , … , 3 , 2) , on a ߝ(ߪ) = (−1) ݆−1 , (voir proposition9)

Une autre façon de réaliser la permutation ߪ est d’effectuer ݆ − 1 transpositions successives ;

(voir Remarque III.2.b)

28 CPGE DE TAZA MPSI1 2019 /2020 PROF : M. HOUBBAN

 ܽଵ௝
Et comme,
ܽଵ௝ 0 0 0
ܽଶ௝ 0 ‫ ۇ‬0 ‫ۊ‬
‫ۊ ۇ‬ ‫ۇ‬ ‫ۊ‬ ‫ۇ‬0‫ۊ‬ ‫ۇ‬0‫ۊ‬
‫ۋ ⋮ ۈ‬ ‫⋮ ۈ‬ ‫ۋ ⋮ ۈ‬
‫ܥ‬௝ = ‫
ۈ = ۋ

ۈ‬
+ ⋯ + ‫ۋ ⋮
ۈ‬
‫ۋ‬
+ ⋯ + ‫= ۋ

ۈ‬ ‫ۋ ⋮
ۈ‬


‫ܽ ۈ‬௜௝ ‫ۋ‬ 0 ‫ۋ‬ ‫ۋ ܽۈ‬ ‫ ۈ‬0 ‫ۋ‬ ‫ۋ ܽۈ‬
n

‫ۋ ۈ‬ ‫ۈ‬ ‫ۋ‬ ‫ ۈ‬௜௝ ‫ۋ‬ ‫ۋ ۈ‬ ‫ ۈ‬௜௝ ‫ۋ‬

∑
⋮ ⋮ ⋮ ⋮ ⋮
i =1

‫ܽۉ‬௡௝ ‫ی‬ ‫ۉ‬ 0 ‫ی‬ ‫ۉ‬0‫ی‬ ‫ܽۉ‬௡௝ ‫ی‬ ‫ۉ‬0‫ی‬

On a, par multilinéarité du déterminant :

0 ܽଵଵ ܽଵଶ ⋯ ܽଵ௡ ‫ܮ‬ଵ
ተ0 ܽଶଵ ܽଶଶ ⋯ ܽଶ௡ ተ ‫ܮ‬ଶ

⋮ ⋮ ⋮ ⋮
݀é‫( = )ܣ(ݐ‬−1) ௝ିଵ ተ ተ
ܽ௜௝ ܽ௜ଵ ܽ௜ଶ ⋯ ܽ௜௡ ‫ܮ‬௜
n

∑i =1

ተ ⋮ ⋮ ⋮ ተ ⋮

0 ܽ௡ଵ ܽ௡ଶ ⋯ ܽ௡௡ ‫ܮ‬௡

Puisque ݀é‫݀ = )ܯ(ݐ‬é‫(ݐ‬௧ ‫ )ܯ‬donc , en ramenant ‫ ݅ܮ‬à la place de ‫ܮ‬1 puis en faisant glisser

‫ܮ‬1 , … , ‫݅ܮ‬−1 d’un pas , on a :

ܽ௜௝ ܽ௜ଵ ܽ௜ଶ ⋯ ܽ௜௡ ‫ܮ‬௜

ተ0 ܽଵଵ ܽଵଶ ⋯ ܽଵ௡ ተ ‫ܮ‬ଵ

݀é‫( = )ܣ(ݐ‬−1) ௝ିଵ (−1) ௜ିଵ 0 ܽଶଵ ܽଶଶ ܽଶ௡ ‫ܮ‬ଶ

n

∑
ተ ⋮ ⋮ ⋮ ተ ⋮
i =1

0 ܽ௡ଵ ܽ௡ଶ ⋯ ܽ௡௡ ‫ܮ‬௡

D'ou ,
1 ܽ௜ଵ ܽ௜ଶ ⋯ ܽ௜௡
ተ0 ܽଵଵ ܽଵଶ ⋯ ܽଵ௡ ተ

݀é‫= )ܣ(ݐ‬ (−1) ௜ିଵ (−1) ௝ିଵ ܽ௜௝ ተ0 ܽଶଵ ܽଶଶ ܽଶ௡ ተ
n

∑
ተ⋮ ⋮ ⋮ ተ
i =1

0 ܽ௡ଵ ܽ௡ଶ ⋯ ܽ௡௡

ܽଵଵ ܽଵଶ ⋯ ܽଵ௡

Ainsi en appliquant le lemme précédent :

ተ ܽଶଵ ܽଶଶ ܽଶ௡ ተ

݀é‫= )ܣ(ݐ‬ (−1) ௜ିଵ
(−1) ௝ିଵ
ܽ௜௝
ተ ⋮ ⋮ ተ
n

∑ i =1

ܽ௡ଵ ܽ௡ଶ ⋯ ܽ௡௡

29 CPGE DE TAZA MPSI1 2019 /2020 PROF : M. HOUBBAN

 La colonne ‫ ݆ܥ‬et la ligne ‫ ݅ܮ‬ont été retirées, on a :

| ܽ11 ⋯ ܽ1,݆−1 ܽ1,݆+1 ⋯ ܽ1݊ |

| |
|ܽ11 ܽ12 ⋯ ܽ1݊ | | ⋮ ⋯ ⋮ ⋮ ⋯ ⋮ |
| | | |
| ܽ21 ܽ22 ܽ2݊ | |ܽ ⋯ ܽ݅−1,݆−1 ܽ݅−1,݆+1 ⋯ ܽ݅−1,݊ ||
| | | ݅−1,1
| | = | | = ‫݆݅ܣ‬
| ⋮ ⋮ | |ܽ݅+1,1 ⋯ ܽ݅+1,݆−1 ܽ݅+1,݆+1 ⋯ ܽ݅+1,݊ |
| | | |
| ܽ݊1 | ⋮ ⋯ ⋮ ⋮ ⋯ ⋮ ||
ܽ݊2 ⋯ ܽ݊݊ | |
| |
| ܽ݊1 ⋯ ܽ݊,݆−1 ⋯ ܽ݊,݆+1 ⋯ ܽ݊݊ |

݀é‫= )ܣ(ݐ‬ (−1)௜ା௝ ܽ௜௝ ݀é‫ݐ‬൫‫ܣ‬௜௝ ൯ = ܽ௜௝ ∆௜௝

n n
D’où , enfin : ∑i =1
∑
i =1

ii) Pour démontrer la formule qui donne le développement du ݀é‫ )ܣ(ݐ‬suivant la ligne ݅ :

∀݅ ∈
1 , ݊  , ݀é‫= )ܣ(ݐ‬ (−1)௜ା௝ ܽ௜௝ ݀é‫ݐ‬൫‫ܣ‬௜௝ ൯ = ܽ௜௝ ∆௜௝

n n

∑
j =1
∑
j =1

- On peut reproduire la même démarche précédente faite dans le cas i) .

- On peut également utiliser la relation , ݀é‫݀ = )ܣ(ݐ‬é‫(ݐ‬௧ ‫ )ܣ‬pour se ramener au premier cas

3- Déterminant de quelques matrices remarquables

a- Déterminant d’une matrice diagonale
a 1 –Proposition 13
ߣଵ 0 ⋯ ⋯ 0
‫ۇ‬0 ߣଶ ⋱ ⋮‫ۊ‬
‫ۈ‬ ‫ۋ‬
Si ‫⋮ ۈ = ܣ‬ ⋱ ⋱ ⋱ ⋮‫ۋ‬ ߣ݅ ∈ ॶ pour 1 ≤ ݅ ≤ ݊ , alors :
‫⋮ۈ‬ ⋱ ⋱ 0‫ۋ‬
avec,

‫ۉ‬0 ⋯ ⋯ 0 ߣ௡ ‫ی‬

݀é‫= )ܣ(ݐ‬ ߣ௜
n
∏
i =1

Preuve

Soit ݊ ∈ ℕ∗ ,

ߣଵ 0 ⋯ ⋯ 0 ߣଵ 0 ⋯ ⋯ 0
et soit :

‫ۇ‬0 ߣଶ ⋱ ⋮‫ۊ‬ ተ0 ߣଶ ⋱ ⋮ተ
‫ۈ‬ ‫ۋ‬
‫⋮ۈ= ܣ‬ ⋱ ⋱ ⋱ ⋮‫ۋ‬ , On pose : ∆݊ = ተ ⋮ ⋱ ⋱ ⋱ ⋮ተ = ߣ௜
‫ۈ‬ ‫ۋ‬
n
∏
‫⋮ۈ‬ ⋱ ⋱ 0‫ۋ‬ ተ⋮ ⋱ ⋱ 0ተ
i =1

‫ۉ‬0 ⋯ ⋯ 0 ߣ௡ ‫ی‬ 0 ⋯ ⋯ 0 ߣ௡

30 CPGE DE TAZA MPSI1 2019 /2020 PROF : M. HOUBBAN

On procède par récurrence sur l’entier ݊

Pour ݊ = 1

On a , ‫ߣ( = ܣ‬ଵ )

݀é‫ߣ = )ܣ(ݐ‬ଵ = ߣ௜ Le résultat est vrai pour ݊ = 1

1
Et , ∏ ;
i =1

Supposons que le résultat est vrai à l’ordre ݊ − 1

ߣଵ 0 ⋯ ⋯ 0

ተ0 ߣଶ ⋱ ⋮ ተ

∆݊−1 = ተ⋮ ⋱ ⋱ ⋱ ⋮ ተ = ߣ௜ , (HR )
n −1
∏
ተ⋮ ⋱ ⋱ 0 ተ
i =1

0 ⋯ ⋯ 0 ߣ௡ିଵ
Montrons que le résultat est vrai à l’ordre ݊
ߣଵ 0 ⋯ ⋯ 0

ተ0 ߣଶ ⋱ ⋮ተ

Soit , ∆݊ = ተ ⋮ ⋱ ⋱ ⋱ ⋮ተ

ተ⋮ ⋱ ⋱ 0ተ

0 ⋯ ⋯ 0 ߣ௡
On développe ∆݊ suivant la dernière ligne, on obtient :
ߣଵ 0 ⋯ ⋯ 0
ተ0 ߣଶ ⋱ ⋮ ተ

∆݊ = (−1)௡ା௡ ߣ௡ ተ ⋮ ⋱ ⋱ ⋱ ⋮ ተ

ተ⋮ ⋱ ⋱ 0 ተ
0 ⋯ ⋯ 0 ߣ௡ିଵ

∆݊ = ߣ௡ ∆௡ିଵ = ߣ௡ ∏ ߣ௜ ( d’après (HR ) )

n −1
D’où , ,
i =1

∆݊ = ߣ݅ Le résultat est vrai pour l’ordre ݊.

n
Ainsi , ∏ ;
i =1

b- Déterminant d’une matrice triangulaire supérieure (resp.inférieure)

31 CPGE DE TAZA MPSI1 2019 /2020 PROF : M. HOUBBAN

b 1 –Proposition 14
i) Soit ‫ܽ( = ܣ‬௜ ௝ )ଵஸ௜ ,௝ஸ௡ , une matrice triangulaire supérieure de ℳ݊ (ॶ), telle que :
ܽଵଵ ܽଵଶ ܽଵଷ … ܽଵ௡

‫ ۇ‬0 ܽଶଶ ܽଶଷ … ܽଶ௡ ‫ۊ‬

‫ۈ‬ ⋮ ‫ۋ‬
‫⋮ ۈ = ܣ‬ ⋱ ܽଷଷ ⋱ ‫ ۋ‬, on a alors : ݀é‫= )ܣ(ݐ‬ ܽ௞௞
n

‫⋮ ۈ‬ ⋱ ܽ௡ିଵ,௡ ‫ۋ‬
∏
⋱
k =1

‫ ۉ‬0 … … 0 ܽ௡௡ ‫ی‬

ii) Soit ‫ܽ( = ܣ‬௜ ௝ )ଵஸ௜ ,௝ஸ௡ , une matrice triangulaire inferieure de ℳ݊ (ॶ), telle que :
ܽଵଵ 0 0 … 0
‫ܽۇ‬ଶଵ ܽଶଶ 0 … 0 ‫ۊ‬
‫ۈ‬ ‫ۋ‬
‫ܽۈ = ܣ‬ଷଵ ܽଷଶ ܽଷଷ ⋱ ⋮ ‫ۋ‬ on a alors : ݀é‫= )ܣ(ݐ‬ ܽ௞௞
n
∏
‫⋮ ۈ‬ ⋱ ⋱ 0 ‫ۋ‬
,
k =1

‫ܽۉ‬௡ଵ … … ܽ೙,೙షభ ܽ௡௡ ‫ی‬

i) On procède par récurrence sur l’entier ݊ , la preuve est analogue à celle de la proposition13
Preuve

ii) On passe au transposé , puis on applique i)

c- Déterminant d’une matrice triangulaire par blocs

c 1 –Proposition 15
Soit ‫ ∈ ܣ‬ℳ௡భ ା௡మ (ॶ) , une matrice triangulaire supérieure par blocs , telle que :

‫ۇ‬ B D ‫ۊ‬ ݊ଵ
‫ۈ‬ ‫ۋ‬
‫ۈ‬ ‫ۋ‬
‫ܣ‬ = ‫ۈ‬ ‫ۋ‬
‫ۈ‬ ‫ۋ‬
‫ۈ‬ ‫ۋ‬
‫ۈ‬ 0 C ‫ۋ‬ ݊ଶ

‫ۉ‬ ‫ی‬
݊ଵ ݊2
Avec ‫ ∈ ܤ‬ℳ௡భ (ॶ) , ‫ ∈ ܥ‬ℳ௡మ (ॶ), et ‫ ∈ ܦ‬ℳ௡మ ,௡భ (ॶ), on a alors :
݀é‫݀ = )ܣ(ݐ‬é‫݀ × )ܤ(ݐ‬é‫)ܥ(ݐ‬
Preuve

On pose :

32 CPGE DE TAZA MPSI1 2019 /2020 PROF : M. HOUBBAN

 ‫݊ܫ‬1 ‫ܦ‬ ‫ܤ‬ 0
‫ܣ‬1 = ( ) ‫ܣ‬2 = ( )
0 ‫ܥ‬ 0 ‫݊ܫ‬2
et

Montrons que ݀é‫݀ = )ܣ(ݐ‬é‫ܣ(ݐ‬ଵ ) × ݀é‫ܣ(ݐ‬ଶ )

‫ܤ‬ 0

‫ܫ‬௡భ ‫ܦ‬ ‫ܤ‬ ‫ܦ‬

‫ܣ‬ଵ × ‫ܣ‬ଶ = ൭ ൱ × ൭ ൱ = ൭ ൱
0 ‫ܥ‬ 0 ‫ܫ‬௡మ 0 ‫ܥ‬
On a :

D’où : ‫ܣ‬ଵ × ‫ܣ‬ଶ = ‫ܣ‬

Et par conséquent ݀é‫݀ = )ܣ(ݐ‬é‫ܣ(ݐ‬ଵ ) × ݀é‫ܣ(ݐ‬ଶ )

Pour calculer ݀é‫ܣ(ݐ‬ଵ ), on développe ce déterminant par rapport à la première colonne en

appliquant le lemme ( IV.2.a ) de proche en proche, jusqu’à ce qu’on épuise la diagonale

de ‫ܫ‬௡భ . On obtient ainsi : ݀é‫ܣ(ݐ‬ଵ ) = ݀é‫)ܥ(ݐ‬

Pour calculer ݀é‫ܣ(ݐ‬ଶ ) on développe ce déterminant par rapport à la dernière colonne (ou

ligne) de proche en proche jusqu’à l’épuisement de la diagonale de ‫ܫ‬௡మ

On obtient ainsi : ݀é‫ܣ(ݐ‬ଶ ) = ݀é‫)ܤ(ݐ‬

D’où enfin : ݀é‫݀ = )ܣ(ݐ‬é‫ܣ(ݐ‬ଶ ) × ݀é‫ܣ(ݐ‬ଵ ) = ݀é‫݀ × )ܤ(ݐ‬é‫)ܥ(ݐ‬

c 2 – Remarques
 En effectuant une récurrence sur le nombre de blocs , on peut généraliser le résultat précédent

par pour une matrice définie par blocs diagonaux (resp . pour une matrice triangulaire

supérieure par blocs ) , bien sûr les blocs , ‫ܣ‬1 ,‫ܣ‬2 ,… et ‫ ݌ܣ‬doivent être des matrices

carrées.
‫ܣ‬ଵ ∗ ∗ ∗
‫ۇ‬0 ‫ܣ‬ଶ ∗ ∗ ‫ۊ‬
݀é‫ۈ ݐ‬ ‫݀ = ۋ‬é‫ܣ(ݐ‬ଵ )݀é‫ܣ(ݐ‬ଶ ) … ݀é‫ݐ‬൫‫ܣ‬௣ ൯ = ∏ ݀é‫ܣ(ݐ‬௞ )
p

‫ۈ‬0 0 ⋱ ∗ ‫ۋ‬ k =1

‫ۉ‬0 0 0 ‫ܣ‬௣ ‫ی‬

 Pour une matrice triangulaire inférieure par blocs , le résultat est encore vrai ,il suffit de

passer au transposé.

c- Exercice
0 ‫ܥ‬
อ อ où Les blocs ‫ ܤ‬et ‫ ܥ‬sont carrés d’ordre quelconque
‫ܤ‬ ‫ܦ‬
Calculer le déterminant :

33 CPGE DE TAZA MPSI1 2019 /2020 PROF : M. HOUBBAN

4- Un exemple fondamental : Déterminant de Vandermonde
a- Théorème 12
Soit(‫ݔ‬ଵ , ‫ݔ‬2 ,…,‫ ݊ॶ ∈ ) ݊ݔ‬, on a pose :

|1 1 ⋯ 1 ⋯ 1 |
| |
|‫ݔ‬1 ‫ݔ‬2 ⋯ ‫݆ݔ‬ ⋯ ‫| ݊ݔ‬
| |
| 2 |
ܸ௡ (‫ݔ‬ଵ, ‫ݔ‬2 ,…,‫) ݊ݔ‬ = |‫ݔ‬1 ‫ݔ‬22 ⋯ ‫ݔ‬2݆ ⋯ ‫| ݊ݔ‬
2
| |
|⋮ ⋮ ⋮ ⋮ |
| |
| ݊−1 |
|‫ݔ‬1 ‫݊ݔ‬−1
2 ⋯ ‫݊ݔ‬−1
݆ ⋯ ‫݊ݔ‬݊−1 |

Ce déterminant s’appelle déterminant de Vandermonde. On a alors :

ܸ݊ (‫ݔ‬1, ‫ݔ‬2 ,…,‫) ݊ݔ‬ = (‫ ݅ݔ‬− ‫) ݆ݔ‬

n
∏
i =1
j =1
i>j

= (‫ݔ‬ଶ − ‫ݔ‬ଵ )(‫ݔ‬ଷ − ‫ݔ‬ଵ ) (‫ݔ‬ସ − ‫ݔ‬ଵ ) … (‫ݔ‬௡ − ‫ݔ‬ଵ )

× (‫ݔ‬ଷ − ‫ݔ‬ଶ ) (‫ݔ‬ସ − ‫ݔ‬ଶ ) … (‫ݔ‬௡ − ‫ݔ‬ଶ )
× (‫ݔ‬ସ − ‫ݔ‬ଷ ) … (‫ݔ‬௡ − ‫ݔ‬ଷ )
⋮ ⋯⋯ ⋯ ⋯⋯
× (‫ݔ‬௡ − ‫ݔ‬௡ିଵ )
Preuve

On procède par récurrence sur ݊

Pour ݊ = 1

On a , ܸ1 (‫ݔ‬1 ) = 1

(‫ݔ‬௜ − ‫ݔ‬௝ ) = (‫ݔ‬௜ − ‫ݔ‬௝ ) = 1 ; Le résultat est vrai pour ݊ = 1

1
Et , ∏ ∏
i =1 i , j ∈∅
j =1
i>j

Pour ݊ = 2 ( Juste pour voir la formule )

1 1|
ܸ2 (‫ݔ‬1, ‫ݔ‬2 ) = || = ‫ݔ‬2 − ‫ݔ‬1 = (‫ ݅ݔ‬− ‫) ݆ݔ‬
‫ݔ‬1 ‫ݔ‬2 |
2
On a , ∏
i =1
j =1

Supposons que le résultat est à l’ordre ݊ ,

i>j

c.à.d : ܸ݊ (‫ݔ‬1, ‫ݔ‬2 ,…,‫) ݊ݔ‬ = (‫ ݅ݔ‬− ‫) ݆ݔ‬ , (HR )

n
∏
i =1
j =1
i>j

34 CPGE DE TAZA MPSI1 2019 /2020 PROF : M. HOUBBAN


Montrons que le résultat est à l’ordre ݊ + 1 , on a :
‫ܥ‬1 ‫ܥ‬2 ⋯ ‫݆ܥ‬ ⋯ ‫݊ܥ‬ ‫݊ܥ‬+1

|1 1 ⋯ 1 ⋯ 1 1 |
| |
|‫ݔ‬1 ‫ݔ‬2 ⋯ ‫݆ݔ‬ ⋯ ‫݊ݔ‬ ‫݊ݔ‬+1 |
| |
| 2 2 |
|‫ݔ‬1 ‫ݔ‬22 ⋯ ‫ݔ‬2݆ ⋯ ‫ݔ‬2݊ ‫݊ݔ‬+1 |
ܸ݊+1 (‫ݔ‬1, ‫ݔ‬2 ,… , ‫ ݊ݔ‬,‫݊ݔ‬+1 ) = | |
|⋮ ⋮ ⋮ ⋮ ⋮ |
| |
| ݊−1 ݊−1 |
|‫ݔ‬1 ‫݊ݔ‬−1
2 ⋯ ‫݊ݔ‬−1
݆ ⋯ ‫݊ݔ‬−1
݊ ‫݊ݔ‬+1 |
| |
|‫݊ݔ‬1 ‫݊ݔ‬2 ⋯ ‫݆݊ݔ‬ ⋯ ‫݊݊ݔ‬ ‫݊݊ݔ‬+1 |

En retranchant ‫ܥ‬1 de chaque colonne ‫ ݆ܥ‬, 2 ≤ ݆ ≤ ݊ + 1 , on obtient :

‫ܥ‬1 ‫ܥ‬2 − ‫ܥ‬1 ⋯ ‫ ݆ܥ‬− ‫ܥ‬1 ⋯ ‫ ݊ܥ‬− ‫ܥ‬1 ‫݊ܥ‬+1 − ‫ܥ‬1

|1 0 ⋯ 0 ⋯ 0 0 |
| |
| |
|‫ݔ‬1 ‫ݔ‬2 − ‫ݔ‬1 ⋯ ‫ ݆ݔ‬− ‫ݔ‬1 ⋯ ‫ ݊ݔ‬− ‫ݔ‬1 ‫݊ݔ‬+1 − ‫ݔ‬1 |
| |
|‫ݔ‬2 ‫ݔ‬22 − ‫ݔ‬21 ⋯ ‫ݔ‬2݆ − ‫ݔ‬21 ⋯ ‫ݔ‬2݊ − ‫ݔ‬21 ‫ݔ‬2݊+1 − ‫ݔ‬21 ||
| 1
ܸ݊+1 (‫ݔ‬1 , ‫ݔ‬2 ,… , ‫ ݊ݔ‬,‫݊ݔ‬+1 ) = | |
|⋮ ⋮ ⋮ ⋮ ⋮ |
| |
| |
|‫݊ݔ‬−1 ‫݊ݔ‬−1 − ‫݊ݔ‬−1 ⋯ ‫݊ݔ‬−1 − ‫݊ݔ‬−1 ⋯ ‫݊ݔ‬−1
݊ − ‫݊ݔ‬−1 ‫݊ݔ‬−1
݊+1 − ‫ݔ‬1
݊−1 |
| 1 2 1 ݆ 1 1
|
| |
|‫݊ݔ‬1 ‫݊ݔ‬2 − ‫݊ݔ‬1 ⋯ ‫ ݆݊ݔ‬− ‫݊ݔ‬1 ⋯ ‫ ݊݊ݔ‬− ‫݊ݔ‬1 ‫݊݊ݔ‬+1 − ‫݊ݔ‬1 |

D’où en appliquant le lemme ( IV.2.a ) , (ou en développant par rapport à la première ligne)

|‫ݔ‬2 − ‫ݔ‬1 ⋯ ‫ ݆ݔ‬− ‫ݔ‬1 ⋯ ‫ ݊ݔ‬− ‫ݔ‬1 ‫݊ݔ‬+1 − ‫ݔ‬1 |

On obtient :

| 2 |
|‫ݔ‬2 − ‫ݔ‬21 ⋯ ‫ݔ‬2݆ − ‫ݔ‬21 ⋯ ‫ݔ‬2݊ − ‫ݔ‬21 ‫ݔ‬2݊+1 − ‫ݔ‬21 |
| |
| |
ܸ݊+1 (‫ݔ‬1 , ‫ݔ‬2 ,… , ‫ ݊ݔ‬,‫݊ݔ‬+1 ) = |⋮ ⋮ ⋮ ⋮ |
| |
|‫݊ݔ‬−1 − ‫݊ݔ‬−1 ⋯ ‫݊ݔ‬−1 − ‫݊ݔ‬−1 ⋯ ‫݊ݔ‬−1 − ‫݊ݔ‬−1 ‫݊ݔ‬−1 − ‫ݔ‬݊−1 |
| 2 1 ݆ 1 ݊ 1 ݊+1 1 |
| ݊ |
|‫ݔ‬2 − ‫݊ݔ‬1 ⋯ ‫ ݆݊ݔ‬− ‫݊ݔ‬1 ⋯ ‫ ݊݊ݔ‬− ‫݊ݔ‬1 ‫݊݊ݔ‬+1 − ‫݊ݔ‬1 |

En remplaçant chaque ligne ‫ܮ‬௞ de ce dernier déterminant par la ligne ‫ ݇ܮ‬− ‫ݔ‬1 ‫݇ܮ‬−1

En commençant du bas vers le haut, on obtient :

|‫ݔ‬2 − ‫ݔ‬1 ⋯ ‫ ݆ݔ‬− ‫ݔ‬1 ⋯ ‫ ݊ݔ‬− ‫ݔ‬1 ‫݊ݔ‬+1 − ‫ݔ‬1 |
| |
|(‫ ݔ‬− ‫ݔ) ݔ‬ ⋯ (‫ ݆ݔ‬− ‫ݔ‬1 )‫݆ݔ‬ ⋯ (‫ ݊ݔ‬− ‫ݔ‬1 )‫݊ݔ‬ (‫݊ݔ‬+1 − ‫ݔ‬1 )‫݊ݔ‬+1 ||
| 2 1 2
| |
ܸ݊+1 (‫ݔ‬1 , ‫ݔ‬2 ,… , ‫ ݊ݔ‬,‫݊ݔ‬+1 ) = |⋮ ⋮ ⋮ ⋮
| |
|
| |
|(‫ ݔ‬− ‫݊ݔ) ݔ‬−2 ⋯ (‫ ݆ݔ‬− ‫ݔ‬1 )‫݊ݔ‬−2 ⋯ (‫ ݊ݔ‬− ‫ݔ‬1 )‫݊ݔ‬−2 (‫݊ݔ‬+1 − ‫ݔ‬1 )‫݊ݔ‬−2 ||
| 2 1 2
݆ ݊ ݊+1
| |
|(‫ ݔ‬− ‫݊ݔ) ݔ‬−1 ⋯ (‫ ݆ݔ‬− ‫ݔ‬1 )‫݊ݔ‬−1 ⋯ (‫ ݊ݔ‬− ‫ݔ‬1 )‫݊ݔ‬−1 (‫݊ݔ‬+1 − ‫ݔ‬1 )‫݊ݔ‬−1 ||
| 2 1 2 ݆ ݊ ݊+1

35 CPGE DE TAZA MPSI1 2019 /2020 PROF : M. HOUBBAN

Ainsi en factorisant par (‫݆ݔ‬+1 − ‫ݔ‬1 ) dans chaque colonne ‫ ݆ܥ‬de ce dernier déterminant,

On récupère :
ܸ݊+1 (‫ݔ‬1, ‫ݔ‬2 ,… , ‫ ݊ݔ‬,‫݊ݔ‬+1 ) =
1 ⋯ 1 ⋯ 1
ተ‫ݔ‬ଶ ⋯ ‫ݔ‬௝ ⋯ ‫ݔ‬௡ାଵ ተ

(‫ݔ‬ଶ − ‫ݔ‬ଵ )(‫ݔ‬ଷ − ‫ݔ‬ଵ ) … (‫ݔ‬௡ − ‫ݔ‬ଵ )(‫ݔ‬௡ାଵ − ‫ݔ‬ଵ ) ተ‫ݔ‬ଶ ⋯ ‫ݔ‬௝ଶ ⋯ ‫ݔ‬௡ାଵ ተ
ଶ ଶ

ተ⋮ ⋮ ⋮ ተ
‫ݔ‬ଶ௡ିଵ ⋯ ‫ݔ‬௝௡ିଵ ⋯ ‫ݔ‬௡ାଵ
௡ିଵ

Donc,

ܸ݊+1 (‫ݔ‬1, ‫ݔ‬2 ,… , ‫ ݊ݔ‬,‫݊ݔ‬+1 ) = (‫ݔ‬௜ − ‫ݔ‬ଵ ) ܸ௡ (‫ݔ‬ଶ, ‫ݔ‬3 ,… , ‫ ݊ݔ‬,‫݊ݔ‬+1 )

n +1
∏
i =2

= (‫ݔ‬௜ − ‫ݔ‬ଵ ) (‫ݔ‬௜ − ‫ݔ‬௝ ) , (HR )

n +1 n +1
∏ ∏
i =2 i =2
j =2
i>j

= (‫ݔ‬௜ − ‫ݔ‬௝ )
n +1
∏ 
i =1
j =1
i>j
D’où, le résultat voulu.

Pour comprendre  on écrit :

(‫ݔ‬௜ − ‫ݔ‬ଵ ) (‫ݔ‬௜ − ‫ݔ‬௝ ) = (‫ݔ‬ଶ − ‫ݔ‬ଵ )(‫ݔ‬ଷ − ‫ݔ‬ଵ ) (‫ݔ‬ସ − ‫ݔ‬ଵ ) … (‫ݔ‬௡ − ‫ݔ‬ଵ )(‫ݔ‬௡ାଵ − ‫ݔ‬ଵ )
n +1 n +1
∏ ∏
i =2 i =2
j =2

× (‫ݔ‬ଷ − ‫ݔ‬ଶ ) (‫ݔ‬ସ − ‫ݔ‬ଶ ) … (‫ݔ‬௡ − ‫ݔ‬ଶ )(‫ݔ‬௡ାଵ − ‫ݔ‬ଶ )

i>j

× (‫ݔ‬ସ − ‫ݔ‬ଷ ) … (‫ݔ‬௡ − ‫ݔ‬ଷ ) (‫ݔ‬௡ାଵ − ‫ݔ‬ଷ )

⋮ ⋯⋯ ⋯ ⋯⋯
× (‫ݔ‬௡ − ‫ݔ‬௡ିଵ )(‫ݔ‬௡ାଵ − ‫ݔ‬௡ିଵ )
× (‫ݔ‬௡ାଵ − ‫ݔ‬௡ )
--------------------------------------------------------------------------

= (‫ݔ‬௜ − ‫ݔ‬௝ )
n +1
∏
i =1
j =1
i>j
b – Remarque
Il est intéressant de savoir traiter certains déterminants classiques : Déterminant de la

matrice compagnon - Déterminant circulant - Déterminant de Cauchy - Déterminant de

Hilbert … voir TD , voir aussi les maths en tête .Tome d’algèbre.

36 CPGE DE TAZA MPSI1 2019 /2020 PROF : M. HOUBBAN

VI.Comatrice – Inverse d’une matrice
1 - Comatrice
a- Définition 14
Soit ‫ܽ( = ܣ‬௜௝ )ଵஸ௜ ,௝ஸ௡ une matrice de ℳ݊ (ॶ) .

On appelle comatrice de ‫ ܣ‬, la matrice notée ‫ )ܣ(݉݋ܥ‬, dont le coefficient de la ligne ݅ et la

colonne ݆ est le cofacteur du terme ݆ܽ݅ de ‫ ܣ‬, c.à.d :

‫∆( = )ܣ(݉݋ܥ‬௜௝ )ଵஸ௜ ,௝ஸ௡ où , ∆݆݅ = (−1)݅+݆ ݀é‫) ݆݅ܣ(ݐ‬

La transposée de la comatrice de ‫ ܣ‬, est appelée la matrice complémentaire de ‫ ܣ‬,

‫ܣ‬෩ =

elle est notée : ௧

‫ )ܣ(݉݋ܥ‬,

1 2 0
b- Exemple

Soit : ‫= ܣ‬ ቌ0 5 −2ቍ, on a :
4 −1 1
5 −2 0 −2 0 5
+ቚ ቚ −ቚ ቚ +ቚ ቚ
∆ଵଵ ∆ଵଶ ∆ଵଷ −1 1 4 1 4 −1
‫ۇ‬ 2‫ۊ‬
‫ = )ܣ(݉݋ܥ‬ቌ∆ଶଵ ∆ଶଶ ∆ଶଷ ቍ = ‫ۈ‬− ቚ 2 0ቚ +ቚ
1 0
ቚ −ቚ
1
ቚ
−1 1 4 1 4 −1 ‫ۋ‬
∆ଷଵ ∆ଷଶ ∆ଷଷ 2 0 1 0 1 2
‫ۉ‬+ ቚ5 −2ቚ −ቚ
0 −2
ቚ +ቚ
0
ቚ
5 ‫ی‬

−8 3 −20
D’où :

‫= )ܣ(݉݋ܥ‬ 1 ቌ−2 9ቍ
2 −4 5
3 −2 −4
‫ܣ‬෩ = ‫ = )ܣ(݉݋ܥ‬ቌ −8
௧
1 2ቍ
−20 9 5
Et

Dans l’exemple ci- dessus, calculer les produits : ‫ܣ‬෩ × ‫ ܣ‬et ‫ܣ × ܣ‬෩ .
c- Exercice

Que peut- on remarquer ?

2 - Inverse d’une matrice

∀ ‫ ∈ ܣ‬ℳ݊ (ॶ) . On a :
a- Théorème 13
i)

‫ܣ × ܣ = ܣ × ˜ܣ‬෩ = ݀é‫ )ܣ(ݐ‬. ‫ܫ‬௡ .

ii) En particulier si ‫݀ ; )ॶ( ݊ܮܩ ∈ ܣ‬é‫ ≠ )ܣ(ݐ‬0 , alors :

‫ିܣ‬ଵ = ‫ܣ‬෩ = ௗé௧(஺) ‫)ܣ(݉݋ܥ‬

ଵ ଵ ௧
ௗé௧(஺)

37 CPGE DE TAZA MPSI1 2019 /2020 PROF : M. HOUBBAN

Preuve

i) Soit ‫ܽ( = ܣ‬௜௝ )ଵஸ௜ ,௝ஸ௡ une matrice de ℳ݊ (ॶ) .

On a , ‫∆( = )ܣ(݉݋ܥ‬௜௝ )ଵஸ௜ ,௝ஸ௡

Donc , ‫) ݆ܾ݅( = ˜ܣ‬ ∀(݅ , ݆) ∈
1 , ݊  , ܾ݆݅ = ∆݆݅

ଶ
1≤݅ ,݆≤݊
, avec

Montrons que : ‫ܣ × ܣ‬෩ = ݀é‫ )ܣ(ݐ‬. ‫ܫ‬௡

Supposons que : ‫ܣ × ܣ‬෩ =

(ܿ௜௞ )ଵஸ௜ ,௞ஸ௡ .

∀(݅ , ݇) ∈
1 , ݊  , ܿ݅݇ = ݆ܽ݅ ܾ݆݇ = ݆ܽ݅ ∆݆݇

ଶ
n n
On a, ∑ ∑
1 ‫݇ = ݅ ∶ ݅ݏ‬
,
On va prouver que : ∀(݅ , ݇) ∈
1 , ݊  , ܿ݅݇ = ݀é‫ )ܣ(ݐ‬. ߜ݅݇ , où : ߜ௜௞ = ቄ
j =1 j =1

ଶ
0 ‫݇ ≠ ݅ ∶ ݅ݏ‬
est le symbole de Kronecker.

Si ݅ = ݇ , alors : ܿ݅݅ = ݆ܽ݅ ∆݆݅

n

∑
Cette expression vaut exactement : ݀é‫ )ܣ(ݐ‬, calculé suivant la ligne i , (Voir théorème11)
j =1

Donc , ∀݅ ∈
1 , ݊  , ܿ݅݅ = ݀é‫)ܣ(ݐ‬ 

Si ݅ ≠ ݇ , alors :

ܿ݅݇ = ݆ܽ݅ ∆݆݇ = ܽ݅1 ∆݇1 + ܽ݅2 ∆݇2 + ⋯ + ܽ݅݊ ∆݇݊

n

∑
C’ est l’expression d’un déterminant D développé suivant la ligne ݇ déduit du ݀é‫)ܣ(ݐ‬
j =1

En remplaçant sa ݇݅è݉݁ ligne, par sa ݅݅è݉݁ ligne sans modifier cette dernière .

ܽଵଵ ܽଵଶ ⋯ ܽଵ௝ ⋯ ܽଵ௡ ‫ܮ‬ଵ

ܽଶଵ ܽଶଶ ⋯ ܽଶ௝ ⋯ ܽଶ௡
ተ ⋮ ‫ܮ‬ଶ
⋮ ⋮ ⋮ ተ ⋮
ܽ௜ଵ ܽ௜ଶ ⋯ ܽ௜௝ ⋯ ܽ௜௡ ‫ܮ‬௜
݀é‫)ܣ(ݐ‬ = ተ ⋮ ⋮ ⋮ ⋮ ተ ⋮
ܽ ܽ௞ଶ ܽ௞௝ ܽ௞௡ ‫ܮ‬௞
ተ ௞ଵ ተ
⋮ ⋮ ⋮ ⋮ ⋮
ܽ௡ଵ ܽ௡ଶ ⋯ ܽ௡௝ ⋯ ܽ௡௡ ‫ܮ‬௡

ܽଵଵ ܽଵଶ ⋯ ܽଵ௝ ⋯ ܽଵ௡ ‫ܮ‬ଵ

ܽଶଵ ܽଶଶ ⋯ ܽଶ௝ ⋯ ܽଶ௡ ‫ܮ‬ଶ
ተ ⋮ ⋮ ⋮ ⋮ ተ ⋮
ܽ௜ଵ ܽ௜ଶ ⋯ ܽ௜௝ ⋯ ܽ௜௡ ‫ܮ‬௜
‫= ܦ‬ ተ ተ
⋮ ⋮ ⋮ ⋮ ⋮
ܽ௜ଵ ܽ௜ଶ ⋯ ܽ௜௝ ⋯ ܽ௜௡ ‫ܮ‬௞ ≔ ‫ܮ‬௞ ← ‫ܮ‬௜
ተ ተ
⋮ ⋮ ⋮ ⋮ ⋮
ܽ௡ଵ ܽ௡ଶ ⋯ ܽ௡௝ ⋯ ܽ௡௡ ‫ܮ‬௡

38 CPGE DE TAZA MPSI1 2019 /2020 PROF : M. HOUBBAN

 Pour s’assurer de la formule précédente il suffit tout simplement de développer le déterminant ‫ܦ‬

suivant sa ligne ݇ .

On a, ‫ = ܦ‬0 car ce déterminant possède deux lignes identiques

On en déduit ܿ݅݇ = ‫ = ܦ‬0 

Si ݅ = ݇ , alors : ܿ݅݅ = ݀é‫ )ܣ(ݐ‬,

Bilan
(D’après  )

Si ݅ ≠ ݇ , alors : ܿ݅݇ = 0 , (D’après  )

∀(݅ , ݇) ∈
1 , ݊  , ܿ݅݇ = ݀é‫ )ܣ(ݐ‬. ߜ݅݇

ଶ
D’où :

Ainsi , ‫ܣ × ܣ‬෩ = ݀é‫ )ܣ(ݐ‬. ‫ܫ‬௡

Montrons que : ‫݀ = ܣ × ˜ܣ‬é‫ )ܣ(ݐ‬. ‫݊ܫ‬

On a , ௧
‫ (݉݋ܥ = )ܣ(݉݋ܥ‬௧ ‫= )ܣ(݉݋ܥ ⇒ )ܣ‬ ௧
‫ (݉݋ܥ‬௧ ‫)ܣ‬

Donc , ‫ܣ‬෩ × ‫ܣ‬ = ௧

‫ܣ × )ܣ(݉݋ܥ‬

= ௧
‫ × )ܣ(݉݋ܥ‬௧ (௧ ‫)ܣ‬ , (car ‫ݐ ݐ‬
( ‫) ܣ = )ܣ‬

= ௧ ((௧ ‫))ܣ(݉݋ܥ )ܣ‬ , (car ‫ݐ‬

(‫) )ܯ( ݐ × )ܰ( ݐ = )ܰܯ‬

= ௧ ((௧ ‫ × )ܣ‬௧ ‫ (݉݋ܥ‬௧ ‫))ܣ‬ , (car ‫= )ܣ(݉݋ܥ‬ ௧

‫ (݉݋ܥ‬௧ ‫))ܣ‬

= ௧ ((௧ ‫ × )ܣ‬௧෪
‫)ܣ‬ , ( Par définition )

= ௧
(݀é‫(
ݐ‬௧ ‫ )ܣ‬. ‫ܫ‬௡ ) , ( D’après le cas précédent )

= ௧
(݀é‫ )ܣ(
ݐ‬. ‫ܫ‬௡ ) (car ݀é‫(
ݐ‬௧ ‫݀ = )ܣ‬é‫) )ܣ(
ݐ‬
݀é‫ )ܣ(
ݐ‬. ‫ܫ‬௡
,
=
∗)Une autre façon de prouver ce résultat est d’appliquer i) à ‫ ܣ ݐ‬, on poursuivra la même

démarche précédente , on est amené alors à travailler sur les colonnes de ‫ ܣ‬au lieu de ses lignes.

ii) Supposons que ‫ܮܩ ∈ ܣ‬௡ (ॶ) , on a : ݀é‫ ≠ )ܣ(
ݐ‬0

D’après i) , on a :
‫ܣ × ܣ‬෩ = ‫ܣ‬෩ × ‫݀ = ܣ‬é‫ )ܣ(ݐ‬. ‫ܫ‬௡

⇒ ‫(× ܣ‬ ‫( = ) ˜ܣ‬ ‫݊ܫ = ܣ × ) ˜ܣ‬

1 1
݀é‫)ܣ(ݐ‬ ݀é‫)ܣ(ݐ‬

⇒ ‫ܣ‬−1 = ‫˜ܣ‬ = ‫)ܣ(݉݋ܥ‬

1 1 ‫ݐ‬
݀é‫)ܣ(ݐ‬ ݀é‫)ܣ(ݐ‬

b- Exemple
ܽ ܾ
Soit : ‫= ܣ‬ ൬ ൰ ∈ ℳଶ (ॶ)
ܿ ݀
, on a :

39 CPGE DE TAZA MPSI1 2019 /2020 PROF : M. HOUBBAN

 ݀ −ܾ
Si ݀é‫ ݀ܽ = )ܣ(ݐ‬− ܾܿ ≠ 0 , alors : ‫ିܣ‬ଵ = ൬ ൰ , en effet :
ଵ
௔ௗି௕௖ −ܿ ܽ
∆ଵଵ ∆ଵଶ ݀ −ܿ
‫= )ܣ(݉݋ܥ‬ ൬ ൰ = ൬ ൰
∆ଶଵ ∆ଶଶ −ܾ ܽ
݀ −ܾ
‫ݐ‬
‫= )ܣ(݉݋ܥ‬ ൬ ൰
−ܿ ܽ
D’où :

݀ −ܾ
‫ܣ‬−1 = ‫)ܣ(݉݋ܥ‬ =
1 1
‫ݐ‬
( )
݀é‫)ܣ(ݐ‬ ܽ݀−ܾܿ −ܿ ܽ
Ainsi ,

VII. Quelques applications du déterminant

1 - Calcul du rang d’une matrice
a- Définition 15
Soit ‫ ܣ‬une matrice de ℳ݊,‫ )ॶ( ݌‬, et soit ∆ un déterminant d’ordre ‫ ݎ‬extrait de ‫ܣ‬

On appelle bordant de ∆ , tout déterminant ∆′ d’ordre ‫ ݎ‬+ 1 extrait de ‫ ܣ‬, dont ∆ est

un déterminant d’ordre ‫ ݎ‬extrait.

Soit ‫ ∈ ܣ‬ℳ݊,‫)ॶ( ݌‬.

b- Théorème 14

Pour que ‫ ܣ‬soit de rang ‫ݎ‬, il faut et il suffit que les deux assertions suivantes soient vérifiés :

i) Il existe un déterminant ∆‫ ݎ‬extrait de ‫ ܣ‬, d’ordre ‫ ݎ‬et non nul

ii) Tous les bordants de ∆‫ ݎ‬sont nuls.

Preuve

A faire comme exercice. (Ind : Se servir de la proposition 10. Chap : Calcul matriciel)

2- Orientation d’un espace vectoriel réel de dimension finie

Dans ce paragraphe , on suppose que ॶ = ℝ .

a- Orientation d’un plan vectoriel réel

Soit ‫ ܧ‬un ℝ − ݁. ‫ ݒ‬de dimension 2.

On dit qu’on définit une orientation sur ‫ܧ‬, si on choisit une base ℬ de référence dans ‫ܧ‬

Ainsi , si (‫ ݑ‬, ‫ )ݒ‬est une autre base de ‫ ܧ‬, alors :

(‫ݑ‬ , ‫ )ݒ‬est dite base directe de ‫ܧ‬, si ݀é‫ݐ‬ℬ (‫ ݑ‬, ‫ > )ݒ‬0

(‫ݑ‬ , ‫ )ݒ‬est dit base indirecte de ‫ܧ‬, si si ݀é‫ݐ‬ℬ (‫ ݑ‬, ‫ < )ݒ‬0

b- Orientation d’un ℝ − ݁. ‫ ݒ‬de dimension ݊

Soit ‫ ܧ‬un ℝ − ݁. ‫ ݒ‬de dimension ݊.

40 CPGE DE TAZA MPSI1 2019 /2020 PROF : M. HOUBBAN

 Supposons avoir choisi dans ‫ ܧ‬, une base de référence ℬ0

Ainsi , si ℬ est une autre base de ‫ ܧ‬, alors :

ℬest dite base directe de ‫ܧ‬, si ݀é‫ݐ‬ℬ0 (ℬ) > 0

ℬ est dit base indirecte de ‫ܧ‬, si si ݀é‫ݐ‬ℬ0 (ℬ) < 0

2- Quelques applications du déterminants dans les espaces affines

a- Equation cartésienne de la droite affine ࣞ = ‫ ܣ‬+ ℝ ሬ‫ݑ‬Ԧ

On suppose que le plan affine réel ࣪ est rapporté à un repère cartésien(ܱ , ଓԦ, ݆ ⃗ )

Soient ‫ݔ(ܣ‬଴ , ‫ݕ‬0 ) et ‫ ⃗ ݅ߙ = ⃗ݑ‬+ ߚ ݆ ⃗ avec ‫ ≠ ⃗ݑ‬0⃗

Considérons la droite ࣞ passant par le point ‫ݔ(ܣ‬଴ , ‫ݕ‬0 ) et dirigée par ‫ݑ‬
ሬԦ ; ࣞ = ‫ ܣ‬+ ℝ ‫ݑ‬
ሬԦ .

On a : ‫ ݔ(ܯ‬, ‫ࣞ ∈ )ݕ‬ ⟺ ሬሬሬሬሬሬԦ et ‫⃗ݑ‬

‫ܯܣ‬ sont liés

⟺ ሬሬሬሬሬሬԦ , ‫ = ) ⃗ݑ‬0 ,
݀é‫ݐ‬ℬ (‫ܯܣ‬ où ℬ = (ଓԦ, ݆ ⃗ )
‫ ݔ‬− ‫ݔ‬଴ ߙ
⟺ ቚ‫ ݕ‬− ‫ݕ‬ ߚቚ = 0
଴

⟺ ܽ ‫ ݔ‬+ ܾ‫ ݕ‬+ ܿ = 0 
Les coefficients ܽ , ܾ et ܿ sont déterminés en développant le déterminant ci-dessus .

 s’appelle équation cartésienne de la droite ࣞ = ‫ ܣ‬+ ℝ ‫ݑ‬

ሬԦ

b- Equation cartésienne de la droite affine ࣞ = (‫)ܤܣ‬

Soient ‫ݔ(ܣ‬ଵ , ‫ݕ‬1 ) et ‫ݔ(ܤ‬ଶ , ‫ݕ‬2 ) deux points distincts de ࣪ ,

ሬሬሬሬሬԦ
En remarquant que : ࣞ = (‫ ܣ = )ܤܣ‬+ ℝ ‫ܤܣ‬

Alors , une équation cartésienne de la droite ࣞ est donnée par :

|𝑥 ‫ݔ‬1 ‫ݔ‬2 |
| ‫ ݔ‬− ‫ݔ‬1 ‫ݔ‬2 − ‫ݔ‬1 |
‫ݕ‬1 ‫ݕ‬2 || = 0
‫ݕ‬2 − ‫ݕ‬1 | = 0
|𝑦
|‫ ݕ‬− ‫ݕ‬1 |
|1 1 1|
ou

c- alignement de trois points du plan

Soient ‫ݔ(ܣ‬ଵ , ‫ݕ‬1 ) , ‫ݔ(ܤ‬ଶ , ‫ݕ‬2 ) et ‫ݔ(ܥ‬ଷ , ‫ݕ‬3 ) trois points de ࣪ ,

|‫ݔ‬1 ‫ݔ‬2 ‫ݔ‬3 |

Les points ‫ ܣ‬, ‫ ܤ‬et ‫ ܥ‬sont alignées ⟺ |‫ݕ‬ ‫ݕ‬2 ‫ݕ‬3 || = 0
| 1
|1 1 1|

d – Remarques
 Continuer de la même façon pour déterminer :

- Une équation cartésienne d’un plan affine l’espace

- Une équation cartésienne d’un plan affine passant par trois points deux à deux distincts

41 CPGE DE TAZA MPSI1 2019 /2020 PROF : M. HOUBBAN

- Caractériser quatre points coplanaires

- Caractériser des droites parallèles…

 D’autres résultats de géométrie qui utilisent la notion du déterminant tels :

Produit vectoriel , produit mixte , sinus d’un angle formé par deux vecteurs …

Sont disponibles dans le chapitre : Espaces préhilbertiens.

42 CPGE DE TAZA MPSI1 2019 /2020 PROF : M. HOUBBAN