Académique Documents
Professionnel Documents
Culture Documents
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
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
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
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.