Vous êtes sur la page 1sur 4

Corrig de lpreuve de math 2 du C.N.C.

M 2007
Lobjectif du sujet est de proposer diverses dmonstrations du thorme de DAlembert-Gauss admis par le
programme.
Premire partie: Mthodes analytiques
A. Rsultats prliminaires
1.(a) Pour tout nombre complexe non nul ., on crit [1(.)[ =

a
d
.
d

a
0
.
d
+a
1
.
1d
+... +a
d1
.
1
+ 1

et comme
lim
jzj!+1

a
0
.
d
+a
1
.
1d
+... +a
d1
.
1
+ 1

= 1, on dduit que: [1(.)[ ~


jzj!+1

a
d
.
d

= [a
d
[ [.[
d
.
(b) De la question prcdente lim
jzj!+1
[1(.)[
[a
d
.
d
[
= 1, on dduit de la dnition de la limite quil existe un rel 1 0
tel que pour tout nombre complexe . vriant [.[ _ 1, on a:

[1(.)[
[a
d
.
d
[
1

_
1
2
et donc
1
2
[a
d
[ [.[
d
_ [1(.)[ _
3
2
[a
d
[ [.[
d
_ 2 [a
d
[ [.[
d
2.(a) Lapplication . [1(.)[ est la compose de la fonction polynomiale complexe continue 1 et de la fonction
module continue sur C, on dduit que . [1(.)[ est continue sur C. Comme C est un c..: de dimension nie tout
disque ferm born est un compact. Or, toute fonction continue sur un compact est borne et y atteint ses bornes. Le
rsultat en dcoule.
(b) [1(.)[ tel que . C est une partie de R non vide minore par 0, elle admet donc une borne infrieure :. Or,
lim
jzj!+1
[1(.)[ = + alors et daprs la dnition de la limite, il existe 1
0
0 tel que pour tout nombre complexe .
vriant [.[ _ 1
0
, on a: [1(.)[ _ :+1. On dduit que : = inf
z2C
[1(.)[ = inf
z2D(0;R
0
)
[1(.)[ . Et en appliquant la question
2.(a) au disque ferm 1(0, 1
0
), on dduit que inf
z2D(0;R
0
)
[1(.)[ est atteinte en un nombre complexe .
0
1(0, 1
0
). Il en
rsulte que : = inf
z2C
[1(.)[ est atteinte en .
0
.
B. Premire mthode analytique
1.(a) En considrant la variable relle t, on dduit de la continuit du polynme Q que lim
t!0
c
k
Q(ct) = 0 (puisque
Q(0) = 0). On dduit alors de la dnition de la limite que pour tout t assez petit on a:

c
k
Q(ct)

_
1
2
par exemple.
Le rsultat en dcoule.
(b) On a: c
k
=
1
/
, Q
1
(ct
0
) = 1t
k
0
+t
k
0
c
k
Q(ct
0
). Comme t
0
]0, 1[ , il sen suit en utilisant lingalit triangulaire
puis 1.(a) que
[Q
1
(ct
0
)[ _ 1 t
k
0
+t
k
0

c
k
Q(ct
0
)

_ 1
t
k
0
2
< 1
2. On considre comme indiqu le polynme Q
1
tel que: pour tout . C, Q
1
(.) =
1( +.)
1()
. le coecient constant
de Q
1
est alors 1. Q
1
scrit alors sous la forme: Q
1
= 1 +/A
k
+A
k
Q, avec Q un polynme vriant Q(0) = 0, o /
est la valuation du polynme Q
1
1 et donc / _ 1. On peut donc appliquer le rsultat de la question prcdente et
dduire lexistence dun complexe c (c = ct
0
, en conservant les mmes notations) tel que: [Q
1
(c)[ < 1. Ce qui entraine
que c vrie: [1(c)[ < [1()[ .
3. Lexistence de .
0
est assure par la question I-A-2.(b). Alors 1(.
0
) = 0, Sinon, et en appliquant la question
prcdente il existerait un complexe .
1
tel que [1(.
1
)[ < [1(.
0
)[ ce qui contredirait la minimalit de [1(.
0
)[ .
C. Deuxime mthode analytique
1. Lapplication r 1(rc
i
) est drivable sur R valeurs dans C

de drive r c
i
1
0
(rc
i
), alors lapplication
partielle r
1
1(rc
i
)
de ) est drivable sur R, do lexistence de la drive partielle de ) par rapport r, avec pour
tout (r, 0) R
2
0)
0r
(r, 0) = c
i
1
0
(rc
i
)
1
2
(rc
i
)
De mme ) admet une drive partielle par rapport 0 avec pour tout (r, 0) R
2
0)
00
(r, 0) = irc
i
1
0
(rc
i
)
1
2
(rc
i
)
= ir
0)
0r
(r, 0)
De plus, et comme 1 et 1
0
sont des polynmes, 1 ne sannulant pas et daprs la continuit de lapplication (r, 0)
rc
i
, on dduit que
0)
0r
et
0)
00
sont continues sur R
2
, par suite ) est de classe C
1
sur R
2
.
2.(a) 1 est une fonction intgrale sur le segment [0, 2] dpendant dun paramtre. On applique donc le thorme
de drivation sous le signe
R
(cas dun segment): ) tant de classe C
1
sur R
2
( valeurs dans C ), elle est en particulier
continue sur R [0, 2] et admet une drive partielle
0)
0r
continue aussi. On dduit que 1 est de classe C
1
et donc
drivable sur R avec pour tout rel r
1
0
(r) =
Z
2
0
0)
0r
(r, 0)d0 =
Z
2
0
c
i
1
0
(rc
i
)
1
2
(rc
i
)
d0
Mais en remarquant que pour r ,= 0,
0)
0r
(r, 0) =
i
r
0)
00
(r, 0), on dduit que
1
0
(r) =
i
r
Z
2
0
d
d0
(0 )(r, 0))d0
Comme la fonction 0 )(r, 0) est continue sur [0, 2], le thorme fondamental dintgration sapplique
1
0
(r) =
i
r
()(r, 2) )(r, 0)) = 0
et comme 1
0
est continue sur R, on dduit que 1
0
est nulle sur R.
(b) Comme 1 nest pas constant alors et daprs la question 1.(b) des prliminaires, il existe 1 0 tel que pour
tout nombre complexe . tel que [.[ _ 1 on a:
1
2
[a
d
[ [.[
d
_ [1(.)[ de sorte que pour r _ 1, [1(r)[ _
4
[a
d
[ r
d
ce qui
entraine que lim
r!+1
1(r) = 0
(c) Daprs son expression 1(0) =
2
1(0)
. Or, 1
0
est nulle sur R valeurs dans C, on dduit, du thorme de
caractrisation dune fonction de classe C
1
constante, que 1 est constante de valeur 1(0) ,= 0, ce qui contredit
lim
r!+1
1(r) = 0. On dduit donc le thorme de DAlembert-Gauss: Tout polynme non constant coecients
complexes possde au moins une racine complexe.
Deuxime partie
A. Premiers rsultats
1.(a) Soit 1 un tel polynme. 1 est donc une fonction continue sur R. Comme 1 est de degr impair, lim
x!+1
1(r)
et lim
x!1
1(r) sont innies de signes opposs. On dduit du thorme des valeurs intermdiaires que 1(R) = R. En
particulier 1 admet une racine relle.
(b) Le polynme caractristique dun tel endomorphisme est rel de degr gal la dimension de lespace donc im-
pair. On dduit de la question prcdente quil admet une racine relle. Les racines relles du polynme caractristique
tant les valeurs propres de lendomorphisme, on dduit que cet endomorphisme admet des valeurs propres.
(c) Supposons quune telle matrice existe et soit ) lendomorphisme de /
3;1
(R) canoniquement associ. Comme
dim/
3;1
(R) = 3, ) admet bien une valeur propre ` et soit A un vecteur propre associ. On dduit alors que
(`
2
+`+1)A = 0 avec A non nul, donc `
2
+`+1 = 0 et ` R, ce qui est absurde. Une matrice /
3
(R) vriant

2
++1
3
= 0 nexiste pas!
2.(a) Lendomorphisme n`id
E
est un polynme en n, il commute en particulier avec n. Dautre part, et comme n
et commutent, n `id
E
commute avec aussi. Or, le noyau et limage de lun de deux endomrphismes commutant
est stable par lautre. On dduit que ker(n `id
E
) et Im(n `id
E
) sont stables par n et par .
(b) Je distingue deux cas: Si n est une homothtie alors tous les sous espaces de 1 sont stables par n. Or, et
daprs la question 1.(b), admet au moins un vecteur propre r. La droite dirige par ce vecteur est bien stable par
et par n aussi.
Sinon, et daprs 1.(b) toujours, n admet une valeur propre `. Daprs 2.(a), ker(n `id
E
) et Im(n `id
E
) sont
stables par n et par et sont distincts de 1 puisque n nest pas une homothtie. Or, et daprs le thorme du rang,
la somme des dimensions de ces deux sous espaces est gale la dimension de 1 laquelle est impaire par hypothse.
On dduit que ker(n `id
E
) ou Im(n `id
E
) est un sous espace strict de 1 de dimension impaire stable par n et .
3. La proprit est vidente si la dimension de lespace est 1. Soit j N

et supposons la proprit acquise pour tout


espace vectoriel rel de dimension impaire strictement infrieure 2j +1. Soit 1 un espace vectoriel rel de dimension
2j+1 et soient n et deux endomorphismes de 1 commutant. On dduit de la question prcdente quil existe un sous
espace 1 strict de 1 de dimension impaire qui soit stable par n et par . Soient n
0
et
0
les endomorphismes induits
sur 1 par n et par respectivement. n
0
et
0
commutent comme n et . Lhypothse de la rcurrence sapplique: n
0
et
0
ont un vecteur propre commun. Ce mme vecteur est un vecteur propre commun de n et de .
B. Endomorphismes dun C.c. de dimension impaire
1. En remarquant que /
n
(C) peut tre considr comme un R.c. (de dimension 2:), il sut donc de montrer
que T est un sous espace vectoriel rel de ce dernier, ce qui est vident.
2. Dabord remarquons que ces :
2
matrices sont des lments de T. Soit ' = (:
k;l
) /
n
(C). Alors on a
' =
P
1k;ln
:
k;l
1
k;l
,
t
' =
P
1k;ln
:
l;k
1
k;l
et ' =
P
1k;ln
:
k;l
1
k;l
et soit :
k;l
= a
k;l
+/
k;l
i lcriture algbrique du
complexe :
k;l
. De sorte que lon ait
' T ==\1 _ /, | _ : :
l;k
= :
k;l
==
(
\1 _ / _ :, :
k;k
= a
k;k
R
\1 _ / < | _ :, a
l;k
= a
k;l
et /
l;k
= /
k;l
==' =
n
P
k=1
a
k;k
1
k;k
+
P
1k<ln
a
k;l
(1
k;l
+1
l;k
) +
P
1k<ln
/
k;l
(i.(1
k;l
1
l;k
))
On dduit que T = cct
R
(1
1;1
, ..., 1
n;n
, 1
k;l
+1
l;k
, i(1
k;l
1
l;k
); 1 _ / < | _ :). Reste vrier que cette famille est
libre dans T. On considre alors une combinaison linaire nulle de cette famille coecients rels:
n
P
k=1
a
k;k
1
k;k
+
P
1k<ln
a
k;l
(1
k;l
+1
l;k
) +
P
1k<ln
/
k;l
(i.(1
k;l
1
l;k
)) = 0, il sen suit, en posant pour tout / < |,
:
k;l
= a
k;l
+/
k;l
i, que
n
P
k=1
a
k;k
1
k;k
+
P
k<l
:
k;l
1
k;l
+
P
k<l
:
k;l
1
l;k
= 0 et comme la famille des (1
k;l
)
1k;ln
est libre dans
le C.c. /
n
(C), on dduit que pour tout 1 _ / _ :, a
k;k
= 0 et pour tout / < |, :
k;l
= 0. Lunicit de lcriture
algbrique dun nombre complexe entraine enn que tous les coecients de la combinaison linaire sont nuls et que la
famille considre est libre. Cest une famille la fois libre et gnratrice de T, cest donc une base de T. On dduit
alors que dim
R
T = :
2
qui est impair comme :.
3.(a) Il faut dabord remarquer que pour tout ' T, n(') T et (') T de sorte que n et appliquent T
dans lui mme. La linarit de n et de dcoulent des proprits des oprations matricielles.
(b) On vrie aussitt que pour tout ' de T, n (') =
1
4i
(
2
' '(
t
)
2
) = n('). Donc n et sont deux
endomorphismes, du R.c. de dimension impaire T, qui commutent, on dduit de la question II-A-3 que n et ont un
vecteur propre commun.
(c) On a donc: '
0
+'
0
t
= 2`'
0
et '
0
'
0
t
= 2ij'
0
, on dduit que '
0
= (` +ij)'
0
. Dautre part,
les colonnes dun produit matriciel ' sobtiennent en multipliant droite de ' par les colonnes correspondantes
de . Comme la matrice '
0
nest pas nulle, '
0
contient au moins une colonne non nulle C, on obtient en particulier:
C = (` +ij)C ce qui justie que (` +ij) est une valeur propre complexe de de vecteur propre associ C.
4.(a) Il sut de considrer une matrice associe cet endomorphisme dans une base. Lordre de tant impair,
on dduit de la question prcdente que admet au moins une valeur propre qui est aussi une valeur propre de
lendomorphisme considr.
(b) On raisonne comme dans la question II-A-3 en dmontrant que le rsultat de la question II-A-2.(b) est encore
valable lorsque K = C
C. Etude du cas gnral
C.I. Etude de lassertion (i)
1. dim
C
( =
:(: 1)
2
.
2.(a) On vrie que pour tout ' (, n(') et (') sont dans (. La linarit de n et de est vidente. De plus,
pour tout ' (, on a: n (') =
2
'
t
+'(
t
)
2
= n(') et donc n et commutent.
(b) Avec : = 2
k
j on obtient dim
C
( =
:(: 1)
2
= 2
k1
j(2
k
j 1) et comme / N

et j est impair on dduit que


dim
C
( = 2
k1
j
0
o j
0
est un entier impair. On applique alors lassertion (ii) de lhypothse de rcurrence T
k1
pour
conclure que n et ont un vecteur propre commun.
(c).i. On a donc:
0
+
0
t
= `
0
et
0
t
= j
0
. En multipliant la premire gauche par , on obtient:

0
+
0
t
= `
0
, on dduit en utilisant la deuxime formule que:

0
+j
0
= `
0
soit que: (
2
`+j1
n
)
0
= 0.
ii. Comme dans la question II-B-3.(c), on a ici: (
2
`+j1
n
)\ = 0. Or, (c1
n
)(,1
n
) =
2
`+j1
n
donc: (c1
n
)(,1
n
)\ = 0.
iii. Si c nest pas une valeur propre de n alors c1
n
est inversible et donc (,1
n
) \ = 0 avec \ vecteur
colonne non nul et donc , est une valeur propre de . Ainsi c ou , est une valeur propre de . On conclut que et
donc ) aussi admettent au moins une valeur propre complexe.
C.II. Etude de lassertion (ii)
1. Daprs ce qui prcde q admet au moins un vecteur propre r et comme ) est une homothtie, r est aussi un
vecteur propre de ).
2.(a) En considrant les endomorphismes )
0
et q
0
induits sur ce sous espace par ) et q respectivement et en
exploitant lassertion (ii) de lhypothse de rcurrence T
l
.
(b) Du thorme du rang, on dduit que: 2
k
( + r) = dim1
1
+ dim1
2
= dim1 = : = 2
k
j et donc + r = j. Or,
r ,= 0 car sinon et comme 1
1
,= 0 on aura 1
2
= 0 et donc dim1
1
= : soit que ) = `id
E
ce qui contredit le fait
que ) ne soit pas une homothtie. On conclut que r N

et que < j. On considre alors les endomorphismes )


0
et
q
0
induits par ) et q sur ce sous espace de dimension 2
k
: Si lun de ces deux endomorphismes est une homothtie
on conclut comme dans la question 1. ci-dessus, les vecteurs propres communs )
0
et q
0
tant des vecteurs propres
communs ) et q, sinon cest quil existe un sous espace stable par ) et q de dimension 2
k

1
tel que
1
est impair
et
1
< < j ainsi de suite. Ce procd sarrte au bout dun nombre ni ditrations (on sarrte lorsquun des
endomorhismes induits obtenus est une homothtie) car sinon, on obtiendra une suite dentiers naturels strictement
dcroissants compris entre 1 et j, ce qui est absurde. Ce qui montre lassertion (ii) de T
k
. Do la rcurrence. On
dduit que tout endomorphisme sur un C.c. de dimension nie non nulle admet au moins une valeur propre et que
deux endomorphismes de cet espace commutant ont au moins un vecteur propre en commun.
D. Retour au thorme fondamental de lalgbre
1. Polynme caractristique dune matrice compagnon: Question classique! Si
A
est le polynme caractristique
de , alors il existe plusieurs faons pour montrer que
A
= (1)
n
1.
2. Les racines de 1 ne sont autres que les valeurs propres de . Or, et daprs ltude de la partie II-C, admet
des valeurs propres et donc 1 admet bien des racines complexes.
3. Soit Q un polynme non constant coecients complexes. Alors Q est de la forme Q = a1 tel que a est
le coecient dominant de Q et 1 est un polynme unitaire pouvant prendre la forme ci-dessus. On dduit de la
question prcdente que 1 aussi bien que Q admet au moins une racine complexe. Ce qui dmontre le thorme de
DAlembert-Gauss.