Probleme 5
Probleme 5
Notations et définitions
• Dans tout le problème, 𝕂 désigne ℝ ou ℂ et 𝑛 est un entier naturel.
• On note 𝕂𝑛 [X] la 𝕂-algèbre des polynômes de degré inférieur ou égal à 𝑛, ℳ𝑛 (𝕂) la 𝕂-algèbre des
matrices carrées de taille 𝑛 à coefficients dans 𝕂 de matrice unité I𝑛 et GL𝑛 (𝕂) le groupe des matrices
inversibles de ℳ𝑛 (𝕂) ; les éléments de ℳ𝑛 (𝕂) sont notés M = (𝑚𝑖,𝑗 ).
• Pour une matrice A de ℳ𝑛 (𝕂), on note A⊤ la transposée de la matrice A, rg(A) son rang, χA = det(XI𝑛 −A)
son polynôme caractéristique et Sp(A) l’ensemble de ses valeurs propres.
⎛ 0 0 ⋯ ⋯ 0 −𝑎0 ⎞
compagnon
⎜1 0 ⋱ . 0 −𝑎1 ⎟
⎜ ⎟
0 1 0 ⋱ ⋮ −𝑎2
CP = ⎜ ⎟ ∈ ℳ𝑛 (𝕂)
⎜0 ⋱ ⋱ ⋱ 0 ⋮ ⎟
⎜⋮ ⋱ 0 1 0 −𝑎𝑛−2 ⎟
⎜ ⎟
⎝0 ⋯ 0 0 1 −𝑎𝑛−1 ⎠
(c’est-à-dire la matrice CP = (𝑐𝑖,𝑗 ) est définie par 𝑐𝑖,𝑗 = 1 pour 𝑖 − 𝑗 = 1, 𝑐𝑖,𝑛 = −𝑎𝑖−1 et 𝑐𝑖,𝑗 = 0 dans les
autres cas).
Les parties II, III et IV utilisent les résultats de la partie I et sont indépendantes entre elles.
I Propriétés générales
Dans cette partie on considère le polynôme P = X𝑛 + 𝑎𝑛−1 X𝑛−1 + ⋯ + 𝑎1 X + 𝑎0 de 𝕂𝑛 [X] et CP sa matrice
compagnon associée.
http://lgarcin.github.io 1
© Laurent Garcin MP Dumont d’Urville
3 Soit Q un polynôme de 𝕂𝑛 [X], déterminer une condition nécessaire et suffisante pour qu’il existe une matrice
A de ℳ𝑛 (𝕂) telle que χA = Q.
P la transposée de la matrice CP .
4 On note C⊤
Justifier la proposition : Sp(CP ) = Sp(C⊤
P ).
Soit λ élément de Sp(CP ), déterminer le sous-espace propre de C⊤ P associé à λ.
4.a
⊤
Montrer que CP est diagonalisable si et seulement si P est scindé sur 𝕂 et a toutes ses racines simples.
4.b
⊤
| |
| λ λ ⋯ ⋯ λ |
| 1 2 𝑛 |
lisable et en déduire que le déterminant de Vandermonde || λ21 λ22 ⋯ ⋯ λ2𝑛 || est non nul.
| |
| ⋮ ⋮ ⋮ |
| 𝑛−1 𝑛−1 |
| λ1 λ2 ⋯ ⋯ λ𝑛−1 𝑛 |
5 Exemples :
5.a Déterminer une matrice A (dont on précisera la taille 𝑛) vérifiant :
A2002 = A2001 + A2000 + 1999I𝑛
5.b Soient E un 𝕂-espace vectoriel de dimension 𝑛 et 𝑓 un endomorphisme de E vérifiant : 𝑓𝑛−1 ≠ 0 et
𝑓𝑛 = 0. Montrer que l’on peut trouver une base de E dans laquelle la matrice de 𝑓 est une matrice
compagnon que l’on déterminera.
⎛ 𝑥1 ⎞
⎜ 𝑥2 ⎟
Pour X = ⎜ ⎟ ∈ ℳ𝑛,1 (ℂ), on note ‖X‖∞ = max |𝑥𝑖 |.
⎜ ⋮ ⎟ 1≤𝑖≤𝑛
⎜ ⎟
⎝ 𝑥𝑛 ⎠
⎛ 𝑥1 ⎞
⎜ 𝑥2 ⎟
6 Soit λ ∈ Sp(A) et X = ⎜ ⎟ un vecteur propre associé à λ.
⎜ ⋮ ⎟
⎜ ⎟
⎝ 𝑥𝑛 ⎠
Montrer que pour tout entier 𝑖 ∈ ⟦1, 𝑛⟧ : |λ𝑥𝑖 | ≤ 𝑟𝑖 ‖X|∞ .
𝑛
7 Démontrer que Sp(A) ⊂ D𝑖 .
⋃
𝑖=1
8 Soit P = X𝑛 + 𝑎𝑛−1 X𝑛−1 + ⋯ + 𝑎1 X + 𝑎0 un polynôme de ℂ[X]. Etablir que toutes les racines de P sont
dans le disque fermé de centre 0 et de rayon R = max{|𝑎0 |, 1 + |𝑎1 |, 1 + |𝑎2 |, … , 1 + |𝑎𝑛−1 |}.
Soit 𝑎, 𝑏, 𝑐 et 𝑑 quatre entiers naturels distincts et non nuls, montrer que l’équation d’inconnue 𝑛 :
9 Application :
𝑛𝑎 + 𝑛 𝑏 = 𝑛 𝑐 + 𝑛 𝑑
n’admet pas de solution sur ℕ ⧵ {0, 1}.
http://lgarcin.github.io 2
© Laurent Garcin MP Dumont d’Urville
11 Soit φ l’application de F vers ℂ𝑝 définie par : 𝑢 ↦ (𝑢(0), 𝑢(1), … , 𝑢(𝑝 − 1)). Montrer que φ est un isomor-
phisme d’espaces vectoriels. Quelle est la dimension de F ?
1 si 𝑗 = 𝑖
∀𝑗 ∈ ⟦0, 𝑝 − 1⟧ , 𝑒𝑖 (𝑗) = {
0 si 𝑗 ≠ 𝑖
14 Si 𝑔 est l’endomorphisme de F induit par 𝑓, montrer que la matrice de 𝑔 dans la base (𝑒0 , 𝑒1 , … , 𝑒𝑝−1 ) est
C⊤
P.
15 On suppose que P admet 𝑝 racines non nulles et deux à deux distinctes : λ0 , λ1 , …, λ𝑝−1 .
Pour tout couple (U, V) de matrices de GL𝑛 (𝕂), on considère les deux propositions suivantes, que l’on
identifie chacune par un symbole :
(*) : rg (U − V) = 1
http://lgarcin.github.io 3
© Laurent Garcin MP Dumont d’Urville
18 Montrer qu’un couple (U, V) de matrices distinctes de GL𝑛 (𝕂) vérifiant (**) vérifie (*).
19 Déterminer un couple (U, V) de matrices de GL2 (𝕂) (𝑛 = 2) vérifiant (*) mais ne vérifiant pas (**) et
déterminer le plus grand commun diviseur des polynômes χU et χV .
Dans la suite de cette partie, (U, V) est un couple de matrices de GL𝑛 (𝕂) vérifiant (*) et tel que χU et χV
𝑢(F) ⊂ F et 𝑣(F) ⊂ F
23.a Montrer qu’il existe une base (𝑒1 , … , 𝑒𝑛 ) de E telle que 𝑢(𝑒𝑖 ) = 𝑣(𝑒𝑖 ) = 𝑒𝑖 pour tout 𝑖 ∈ ⟦1, 𝑛 − 1⟧ et
𝑣(𝑒𝑛 ) = −𝑢(𝑒𝑛 ) = 𝑒1 .
23.b On note G le sous-groupe de GL(E) engendré par 𝑢 et 𝑣. Montrer que card G ≤ (2𝑛)!. On pourra
considérer l’ensemble X = {±𝑒1 , … , ±𝑒𝑛 }.
http://lgarcin.github.io 4