Vous êtes sur la page 1sur 16

MP* : structure, algbre linaire

EXERCICES

Exercices

Exercice 1.1
degr.

1. Soit K un corps. Montrer que toute matrice A 2 M2 (K) admet un polynme annulateur du second

2. Soient a; b deux rels et n un entier naturel non nul. On pose An (a; b) = I2 +

1
n

a
b

b
a

Calculer [An (a; b)]n et dterminer lim [An (a; b)]n


n!+1

Exercice 1.2 Soit G

L(Rn ) un groupe pour la composition des applications.

1. Montrer que tous les lments de G ont mme rang p:


2. Montrer quil existe une base B dans laquelle tout lment de G est reprsent par une matrice de la forme

A 0
0 0

avec A 2 GLp (R):


3. Montrer lquivalence des trois propositions qui suivent :
(a) u appartient un groupe G du type prcdent.
(b) u et u2 ont mme rang.
(c) Rn est somme directe de Im u et ker u:
Exercice 1.3 Soient a; b; c trois nombres rels distincts et '1 ; '2 ; '3 les formes linaires sur Rn [X] dnies par :
8P 2 Rn [X];

'1 (P ) = P (a);

'2 (P ) = P (b);

'3 (P ) = P (c):

1. Montrer que ('1 ; '2 ; '3 ) est libre ds que n > 2:


2. Dans le cas n = 3; trouver une condition ncessaire et su sante pour que '4 2 Vect('1 ; '2 ; '3 ) o '4 est la forme
Rb
linaire P 7! P (t)dt:
a

Dterminer dans ce cas ( ; ; ) tel que '4 = '1 + '2 + '3 :

3. Que peut-dire de lensemble des polynmes P 2 Rn [X] tels que


'4 (P ) = '1 (P ) + '2 (P ) + '3 (P ) ?
Exercice 1.4 Soit a un endomorphisme de Rn tel que aq
q
1 P
tr(ai ):
Montrer que dim(ker(a In )) =
q i=1

In = 0 (avec q 2 N ):

Exercice 1.5 E = R3 [X] et a est un rel non nul.


1. Soit F : P 7! (P ( a); P 0 ( a); P (a); P 0 (a)): Montrer que F est un isomorphisme de E dans R4 :
2. Soit (e1 ; e2 ; e3 ; e4 ) la base canonique de R4 ; dterminer Pi = F
3. Pour P dans E, on pose g(P ) =

R1

(ei ):

tP (t)dt: Montrer quil existe a1 ; a2 ; a3 ; a4 uniques tels que, pour tout P dans E;

g(P ) = a1 P (a) + a2 P ( a) + a3 P 0 (a) + a4 P 0 ( a):

www.mathematiques.fr.st

1/16

abdellah bechata

MP* : structure, algbre linaire

INDICATIONS

Indications

Indication pour lexercice 1.1 :


x y
, ce qui fournit quatre
z t
quations en a; b; c: Deux possdent des solutions immdiates (on ne demande pas de rsoudre en toute gnralit mais
dobtenir une solution) ce qui donne la troisime inconnue.

1. Soit on connait le rsultat, soit on dveloppe brutalement aA2 + bA + cI avec A =

2. Expliciter le polynme annulateur Pn de An (a; b) ainsi que ses racines. Dterminer le reste Rn de la division euclidienne
de X n par Pn (on value la division euclidienne en les deux racines pour dterminer le reste). On obtient ainsi une
expression de An (a; b) sous la forme
An (a; b) =
o

n (a; b)

et

n (a; b)An (a; b)

n (a; b)I

n (a; b)

sont complexes. Dterminer alors leurs formes polaires (trigonomtriques) respectives (pour
y
3
langle polaire, utiliser que tan = puis dterminer exactement la valeur de en vriant si 2]
; [ ou ] ;
[:
x
2 2
2 2
i'n
Utiliser alors que n e
converge ssi n et 'n converge (si 'n 2 [0; 2 ]): Pour dterminer la limite de n ; passer au
logarithme et eectuer des DL. Pour 'n ; utiliser les logarithmes.
Indication pour lexercice 1.2 :
1. Si e dsigne llment neutre, montrer que les galits ge = eg = g implique que rg g = rg e:
2. Utiliser le fait que e est un projecteur ( justier) pour en donner la rduction, la commutation de g et e implique que
les sous-espaces stables par e sont stables par g: Choisir alors une base quelconque de ces deux espaces et donner la
forme de la matrice de g dans cette base. Conclure en utilsant le rang.
3. (a) ) (b) est immdiat par calcul matriciel.
(b) ) (c) utiliser les inclusions videntes ker(u) ker(u2 ), Im(u2 ) Im(u) et le thorme du rang
(c) ) (a) donner la matrice de u dans une base adapte Im u et ker u:
Indication pour lexercice 1.3 :
Soient a; b; c trois nombres rels distincts et '1 ; '2 ; '3 les formes linaires sur Rn [X]
dnies par :
8P 2 Rn [X]; '1 (P ) = P (a); '2 (P ) = P (b); '3 (P ) = P (c):
1. Si une combinaison linaire de ('1 ; '2 ; '3 ) est nulle, lvaluer en un polynme annulant deux des formes linaires mais
pas la troisime.
2. Si '4 2 Vect('1 ; '2 ; '3 ) alors tout polynme annulant tous les ('i )16i63 annule '4 : Choisir un tel polynme P et
calculer explicitement '4 (P ) (un changement linaire simple permet de simplier un peu le calcul, on nsitera pas
factoriser au mieux avant deectuer les dveloppements naux). Cela fournit une condition sur (a; b; c): Pour la
rciproque, considrer lgalit '4 = '1 + '2 + '3 et lvaluer en trois polynmes, chacun annulant deux et deux
seulement des trois formes linaires ('i )16i63 : Oh une belle formule danalyse numrique, tonnant !
3. Le noyau dune forme linaire est un ......
Indication pour lexercice 1.4 :
Introduire la matrice A de a dans une base xe et diagonaliser A sur C (pour ceux
qui nont pas commencer la rduction des endomorphismes, introduire u un endomorphisme de Cn dont la matrice dans la
base canonique est A puis utiliser le thorme des noyaux, choisir une base de chaque espace ker(A
I); regrouper les bases,
crire la matrice de v dans cette dernire base et utiliser le fait que la trace ne dpend pas de la base).
n
P
En dduire la valeur de tr(Ai ); utiliser ensuite Fubini et se rappeler que
qk =
(attention ne pas diviser par 0)
k=0

Indication pour lexercice 1.5 :

E = R3 [X]:

1. Pour le noyau, on obtient un polynme admettant ....... comme racines, de multiplicit respectives ......... donc P est
divisible par ..... or P est de degr .....Soit F : P 7! (P ( a); P 0 ( a); P (a); P 0 (a)): Montrer que F est un isomorphisme
de E dans R4 :
2. Pour chaque i; rechercher les racines de Pi ainsi que leurs multiplicits, il ne reste alors qu dterminer un facteur
linaire quon obtient laide des deux quations restantes.Soit (e1 ; e2 ; e3 ; e4 ) la base canonique de R4 ; dterminer
Pi = F 1 (ei ):
3. Evaluer la forme en les Pi pour obtenir les ai puis utiliser le fait que les Pi forment une base de R3 [X] (ce que lon
justiera).

www.mathematiques.fr.st

2/16

abdellah bechata

MP* : structure, algbre linaire

CORRECTIONS

Corrections

Correction de lexercice 1.1 :


1. Soit A =

a b
c d

alors on a recherche deux rels


A2 + A + I2

et

tels que

bc + + a + a2
ab + bd + b
0 0
02 ,
=
ac + cd + c
bc + + d + d2
0 0
8
8
2
2
bc + + a + a = 0
a +
= a
bc
>
>
>
>
<
<
ab + bd + b
=0
b
= b(a + d)
,
ac + cd + c
=0
c
= c(a + d)
>
>
>
>
:
:
bc + + d + d2 = 0
d +
= d2 bc

Puisque lon recherche deux valeurs possibles de et , on vite de rsoudre dans sa grande gnralit ce beau systme
(bien di cile en gnral car il dispose de 4 paramtres, joie). On constate que si lon choisit = (a + d) = tr(A)
alors
= a2 bc a( a d) = ad bc = det(A)
Par consquent, toute matrice
ce qui signie que X 2

A 2 M2 (K);

A2

tr(A)A + det(A)I2 = 0;

tr(A)X + det(A) est un polynme annulateur du second degr de A.

2. On se dit pour commencer que lon demande un polynme annulateur de A puis on demande de calculer une puissance
nieme : A mais cest bien sur : en sup et certainement en sp, on a vu que si A est annul par un polynme P; on
peut calculer An de la faon suivante. Si lon eectue la division euclidienne de X n par P , ce qui donne lcriture
X n = P Qn + Rn alors An = Rn (A):
Daprs la question 1), le polynme X 2 (tr(An (a; b))X + det(An (a; b)) annule An (a; b): Or, un calcul direct nous
donne
a
b
1+
2a
a
2a a2 + b2
n
n
tr(An (a; b)) = 2 +
= 2(1 + ) det(An (a; b)) =
+
=
1
+
b
a
n
n
n
n2
1+
n
n
donc
a
2a a2 + b2
Pn (X) = X 2 2(1 + )X + 1 +
+
n
n
n2
2ib 2
4b2
est un polynme annulateur de An (a; b). Le discriminant de ce trinme est n (a; b) =
=(
) donc Pn admet
n2
n
deux racines complexes conjugues donnes par

x(n )

2(1 +
=

a
)
n
2

2ib
n =1+ a

ib
n

Evaluons maintenant le reste Rn de la division euclidien de X n par Pn (X): Puisque Pn est de degr 2; on est assur
que deg Rn 6 1, cest--dire que Rn scrit sous la forme an X + bn et lon a
8n 2 N;

X n = Pn (X)Qn (X) + an X + bn

En valuant cette galit en X = xn ; on obtient


(Sn ) :

+ n
an x+
n + bn = (xn )
,
an xn + bn = (xn )n

(xn

+ n
an x+
n + bn = (xn )
+
n
n
xn )an = (xn )
(x+
n)

L2

L2

L1

+ n
an x+
n + bn = (xn )
2ib
n
an = (xn )n (x+
n)
n

1
a
aI2 = (1 + )I2 ; ce qui implique que
n
n
a
[An (a; b)]n = (1 + )n I2
n
a n
Il reste maintenant valuer lim (1 + ) : Cest une question classique. On constate que lon a aaire une
n!+1
n
suite de la forme (an )bn donc on passe en forme exponentielle :
Si b = 0 alors An (a; b) = I2 +

(1 +
www.mathematiques.fr.st

a n
a
) = exp(n ln(1 + )):
n
n
3/16

abdellah bechata

MP* : structure, algbre linaire

Puisque ln(1 + x)
ln(1 +

x!0

x et que

a
n

n!+1

CORRECTIONS

0, on obtient que

a
a
a
a
a
)
) n ln(1 + )
a ) lim n ln(1 + ) = a ) lim (1 + )n = ea
n!+1
n!+1
n!+1
n!+1
n
n
n
n
n

Nous pouvons ds lors a rmer que


lim [An (a; b)]n = ea I2 :

n!+1

Si b 6= 0 alors
(Sn ) ,
Si lon pose A =

a
b

[An (a; b)]n

8
n
+ n
n
< an =
an x+
[(xn )n (x+
n + bn = (xn )
n) ]
2ib
,
2ib
n
n
n
n
+
: bn = (x+
an = (xn )n (x+
[(xn )n (x+
n)
n) +
n ) ] xn
n
2ib

b
; la matrice An (a; b) scrit alors
a
=
=
=
=
=

n
n
n
n
n
(xn )n (x+
An (a; b) + (x+
(xn )n (x+
x+
n)
n)
n) +
n I2
2ib
2ib
1
n
n
n
n
n
(xn )n (x+
(I2 + A) + (x+
(xn )n (x+
x+
n)
n) +
n)
n I2
2ib
n
2ib
n
(xn )n (x+
n
n)
n
n
(x+
(xn )n (x+
(x+
1) I2
A
n) +
n)
n
2ib
2ib
n
n
(xn )n (x+
n)
n
n a + ib
(x+
(xn )n (x+
I2
A
n) +
n)
2ib
n
2ib
n
a + ib
(xn )n (x+
n)
n
n
(x+
(xn )n (x+
A
n) +
n ) ) I2
2ib
2ib

n
(x+
n)
:
2ib
+
+ n
Comme xn et xn sont deux complexes conjugus, il su t de dterminer la limite de la suite (xn ) : Pour cela,
nous allons dj chercher la forme polaire de x+
n.
r
1=2
a
b
2a a2 + b2
x+
(1 + )2 + ( )2 = 1 +
+
n =
n
n
n
n2
y
Pour son argument, on utilise le fait que si z = x + iy = rei' alors tan ' =
x
(cela vite de rsoudre des quations a reuses en cos et sin; mais si le lecteur nest convaincu, je lui conseille de
tester lui-mme)
a
b
; [; on a
+ i ; avec 'n 2]
. Soit 'n largument de x+
n =1+
n
n
b
b
b
n
tan 'n =
a = n + a ) 'n = arctan( n + a ) mod
1+
n
b
Pour dterminer la valeur prcise de 'n ; on utilise dune part de arctan(
) 2]
; [ (par dnition de
n+a
2 2
b
b
b
larctangente) et que arctan(
) est du signe de b pour n assez grand (car
et arctan x est du
n+a
n + a n!+1 n
b
signe de x): Dautre part = Im(x+
n ) = rn sin 'n donc sin 'n est du signe de b:
n
b
b
Si b > 0 alors sin 'n > 0 donc 'n 2]0; [ et arctan(
) > 0 pour n assez grand donc arctan(
) 2]0; [, ce
n+a
n+a
2
b
b
qui implique que 'n = arctan(
) (car arctan(
)
nappartient pas ]0; [)
n+a
n+a
b
b
Si b < 0 alors sin 'n < 0 donc 'n 2]
; 0[ et arctan(
) < 0 pour n assez grand donc arctan(
) 2]
; 0[;
n+a
n+a
2
b
b
) pour n assez grand (car arctan(
)
nappartient pas ]
; 0[):
ce qui implique que 'n = arctan(
n+a
n+a
b
Par consquent, quel que soit le signe de b; on a montr que, pour n assez grand, arg x+
): Nous
n = arctan(
n+a
+
+ n
obtenons donc lcriture polaire de xn puis celle de (xn )
n
Pour dterminer la limite de [An (a; b)]n nous allons devoir valuer les limites de (x+
n ) et celle de

x+
n =

1+

2a a2 + b2
+
n
n2

www.mathematiques.fr.st

1=2

exp(i arctan(

b
));
n+a
4/16

n
(x+
n) =

1+

2a a2 + b2
+
n
n2

(xn )n

n=2

exp(in arctan(

b
))
n+a

abdellah bechata

MP* : structure, algbre linaire

Ensuite, puisque arctan x


arctan(

x!0

x et que

b
b
)
n + a n!+1 n + a

et dautre part puisque ln(1 + x)

b
n+a

x!0

0, on a :

b
b
b
) n arctan(
)
b ) lim n arctan(
)=b
n!+1
n
n + a n!+1
n+a

n!+1

x et

n!+1

CORRECTIONS

2a a2 + b2
+
n
n

n!+1

0; on a :

2a a2 + b2
2a
n
2a a2 + b2
2a a2 + b2
+
)
+
) ln(1 +
+
)
a
2
2
n!+1 n
n!+1 n
n!+1
n
n
n
2
n
n2
n
2a a2 + b2
n
2a a2 + b2
) lim
ln(1 +
+
) = a ) lim exp( ln(1 +
+
)) = exp(a)
2
n!+o 2
n!+1
n
n
2
n
n2

ln(1 +

2a a2 + b2
1+
+
n
n2

) lim

n!+1

n=2

= exp(a)

On en dduit immdiatement que


+ n
n
lim (xn )n = lim (x+
n ) = lim (xn ) = exp(a) exp(ib) = exp(a) exp( ib);

n
lim (x+
n ) = exp(a) exp(ib) et

n!+1

n!+1

n!+1

n!+1

ce qui nous fournit la limite de (An (a; b))n


lim (An (a; b))n

n!+1

ea eib +

= ea

eib

cos b
sin b
Conclusion : pour tous rels a et b, on a :
On remarque que lorsque b = 0; ea

lim

n!+1

I2 +

ea e ib ea eib
a + ib a ib
e e
aa eib ) I2
A
2ib
2ib
sin b
sin b
cos b
sin b
(a + ib)
I2 +
A = ea
sin b cos b
b
b

sin b
cos b

= ea I2 :

1
n

b
a

a
b

= ea

cos b
sin b

sin b
cos b

Correction de lexercice 1.2 :


1. Rappelons que si u et v sont deux endomorphismes dun mme espace vectoriel de dimension nie E alors
rg(u v) 6 min(rg(u); rg(v))
Cela rsulte simplement des inclusions ensembles suivantes : Im(u v) Im(u) et ker v ker(u v):
Soit e llment neutre de G pour la multiplication (et e 6= Id priori car G est inclu dans L(E) et non dans GL(E);
a 0
penser G = f
; a 2 R } qui est clairement un groupe pour la multiplication des matrices et dont llment
0 0
1 0
neutre est e =
6= I2 )
0 0
Soit g un lment de G (donc g est un endomorphisme de Rn ) alors, par dnition de llment neutre, on a
8g 2 G;

g e=g

ce qui implique que


rg(g) = rg(g e) 6 min(rg(g); rg(e)) 6 rg(e) ) (1) : 8g 2 G;

rg(g) 6 rg(e)

donc tout lment g de G a un rang moindre que le rang de llment neutre e: Dautre part, G tant un groupe, tout
lment g de G admet un inverse g 1 qui appartient G et qui vrie e = g g 1 donc
rg(e) 6 min(rg(g); rg(g

)) 6 rg(g) ) (2) : 8g 2 G;

rg(e) 6 rg(g)

cest--dire que le rang de tout lment g de G est suprieur ou gal au rang de e: Les ingalits (1) et (2) nous donne
lgalit (3)
(3) : 8g 2 G; rg(g) = rg(e);
donc tous les lments de g ont le mme rang : celui de llment neutre e.
www.mathematiques.fr.st

5/16

abdellah bechata

MP* : structure, algbre linaire

CORRECTIONS

2. Nous allons de nouveau utiliser llment neutre e de G (qui est clairement un lment central de notre histoire). Puisque
e est un lment neutre de G; il vrie lgalit remarquable e2 = e: Mais comme e est galement un endomorphisme
de Rn ; lgalit prcdente montre que e est un projecteur de Rn . La caractrisation des projecteur montre que Rn est
la somme directe de ker(e) et Im(e) et que Im(e) = ker(e Id); nous en dduisons lgalit remarquable :
Rn = ker(e)

Im(e) = ker(e)

ker(e

Id)

Ensuite, puisque tout lment g de G commute avec e et puisque g et e sont des endomorphismes, nous obtenons que
les espaces propres de e sont stables par tout lment de g; cest--dire que
g(ker(e))

ker(e) et g(ker(e

Id))

ker(e

Id):

Si lon choisit une base B0 de ker(e) et une base B1 de ker(e Id); le fait que Rn = ker(e) ker(e
B = (B0 ; B1 ) est une base de Rn et la matrice de tout lment g dans la base B est de la forme

Id) implique que

ker(e Id) ker(e)

Ag
0

matB (g) =

0
0

ker(e Id)
;
ker(e)

o Ag est une matrice carre. En particulier, si g est llment neutre e de G; le fait que ejker(e
ejker(e) = 0ker(e) permet dexpliciter la matrice de e dans la base B :
matB (e) =

Idp
0

0
;
0

o p = dim(ker(e

Id)

= Idker(e

Id)

et

Id)) = rg(e)

Montrons pour nir que Ag est une matrice inversible dans Mp (R):
Soit g un lment de G. Puisque G est un groupe, g admet un inverse h dans G; cest--dire que
g h = h g = e:
En passant leurs matrices respectives dans la base B; on obtient
matB (g)
,

Ag
0

matB (h) = matB (h)

0
0

Ah
0

0
0

Ah
0

matB (g) = matB (e)

0
0

Ag
0

0
0

Ip
0

0
0

, Ag Ah = Ah Ag = Ip
ce qui dmontre que Ag 2 GLp (R)
3. Montrons les quivalences en montrant successivement que a) ) b);

b) ) c);

c) ) a)

a) ) b) Puisque u appartient un groupe multiplicatif G inclu dans L(E); les lments u et u2 sont dans G: La
question 1) montre quils ont mme rang.
b) ) c) Nous avons pour commencer les inclusions ensemblistes
(1) : ker(u)

ker(u2 ) et Im(u2 )

Im(u):

En passant au rang et en utilisant le thorme du rang, on obtient que


[n

rg(u) 6 n

rg(u2 ) et rg(u2 ) 6 rg(u)] , [rg(u2 ) 6 rg(u) et rg(u2 ) 6 rg(u)] , rg(u2 ) = rg(u)

(2) : , dim(Im u2 ) = dim(u) , n


Puisque ker(u)

dim(Im(u2 )) = n

dim(Im(u)) , dim ker(u2 ) = dim ker(u)

ker(u2 ) et dim ker(u) = dim ker(u2 ); on en dduit que


ker(u) = ker(u2 )

et par le mme procd, on obtient que


Im(u) = Im(u2 ):
Montrons que ker(u) et Im(u) sont en somme directe. Soit y un lment de ker(u) \ Im(u): Alors u(y) = 0 et il
existe un lment x de E tel que y = u(x); ce qui nous permet dcrire
u(u(x)) = 0 , u2 (x) = 0

www.mathematiques.fr.st

6/16

abdellah bechata

MP* : structure, algbre linaire

CORRECTIONS

donc x 2 ker(u2 ) = ker(u): On en dduit que y = u(x) = 0 donc ker(u) \ Im(u) = f0g et ker(u) et Im(u) sont bien
en somme directe. Dautre part, nous disposons de linclusion
ker(u)
et la dimension de ker(u)

Rn

Im(u)

Im(u) est gale


dim ker(u) + dim Im(u) = n = dim Rn

(daprs le thorme du rang), ce qui nous permet da rmer que


Im(u) = Rn

ker(u)

c) ) a) Fixons une base B0 de ker(u) et une base B1 de Im(u): Le fait que ker(u) et Im(u) sont en somme directe
implique que B = (B0 ; B1 ) est une base de Rn et la matrice de u dans cette base est de la forme
Im(u) ker(u)

A
0

matB (u) =

0
0

Im(u)
ker(u)

Or nous avons les galits


rg(matB (u)) = rg(u) et

rg

A 0
0 0

= rg(A)

) rg(A) = rg(u):

Si lon note p = rg(u); la matrice A est de taille dim Im(u) = rg(u) = p et son rang est p donc A 2 GLp (R): Si
lon note G0 lensemble suivant
B 0
G0 = f
; B 2 GLp (R)g:
0 0
Montrons que G0 est un groupe pour la multiplication de matrices.
Ip 0
2 G0 :
0 0
G0 est stable par produit : Si X1 et X2 sont deux lments de G0 alors il existe deux matrices B1 et B2 de
GLp (R) telles que pour
Bi 0
i = 1; 2; Xi =
0 0
G0 est non vide :

Le calcul matriciel par bloc montre que X1 X2 =

B1 B2
0

0
0

et comme B1 B2 2 GLp (R); on en dduit que

X1 X2 2 G
Le produit est associatif : cela rsulte que le produit des matrices est associatif
Le produit admet un lment neutre : Si lon considre la matrice E =

Ip
0

0
B
; on a 8
0
0

B
0

0
0

Ip
0

0
0

BIp
0

0
0

B
0

0
;
0

Ip
0

0
0

B
0

0
0

Ip B
0

0
0

B
0

0
0

0
0

ce qui montre que E est llment neutre de G0


B 0
Tout lment de G0 admet un inverse : Soit
2 G0 : Par dnition B 2 GLp (R);donc B
0 0
B 1 0
et la matrice
appartient G0 : Pour nir, les galits
0
0
B
0

0
0

B 1
0

0
0

B 1
0

0
0

B
0

0
0

BB
0
B

0
0

Ip
0

0
0

=E

0
0

Ip
0

0
0

=E

B 0
admet un inverse dans G0 qui est la matrice
0 0
est un groupe pour la multiplication des matrices.

montre que

www.mathematiques.fr.st

7/16

B
0

2 G0 ;

2 GLp (R)

0
, ce qui achve la preuve que G0
0

abdellah bechata

MP* : structure, algbre linaire

CORRECTIONS

Si lon note G lensemble


G = fg 2 L(Rn ) tel que matB (g) 2 G0 g;
o rappelons-le B = (B0 ; B1 ) est la base dnitie au dbut de la question, alors G est un groupe pour la composition
des endomorphismes de Rn (la preuve est laisse au soin du lecteur, elle utilise essentiellement le fait que matB (g
h) = matB (g) matB (h)) et par construction matB (u) 2 G0 donc u 2 G:
Correction de lexercice 1.3 :
1. Soient

1;

2;

3
X
i=1

i 'i

trois rels tels que


3
X

= 0 , 8P 2 Rn [X];

i 'i (P )

i=1

= 0 , 8P 2 Rn [X];

1 P (a)

2 P (b)

3 P (c)

=0

(1)

Lidal pour rsoudre ce genre dquation est de choisir des valeurs convenables de P pour deux des trois termes soient
nuls et que le terme restant ne soit pas nu. Par exemple, on cherche P tel que P (a) 6= 0 et P (b) = P (c) = 0: Cette
condition signie que b et c sont des racines de P et comme ces deux rels sont distincts, cela signie que P est divisible
par (X b)(X c). On constat que si n > 2 alors le polynme P1 (X) = (X b)(X c) appartient Rn [X] et que
P1 (a) 6= 0; P1 (b) = P1 (c) = 0: En valuant lgalit (1) en P = P1 ; on obtient
1 (a

b)(a
{z

c) = 0 )
}

6=0

=0

Par le mme procd, on est amen considrer les polynmes P2 (X) = (X


En valuant lgalit (1) en P = P2 puis en P = P3 ; on aboutit aux galits
('i )i2[[1;3]] est libre.

a)(X c) et P3 (X) = (X a)(X c):


= 3 = 0; ce qui implique que la famille

2. Analyse : Supposons que '4 2 Vect('1 ; '2 ; '3 ); cela signie quil existe trois constantes relles
'4

=
,

1 '1

2 '2

8P 2 R3 [X];

3 '3

Zb

, 8P 2 R3 [X];

P (t)dt =

1 P (a)

'4 (P ) =

2 P (b)

1 '1 (P )

3 P (c)

2 '2 (P )

1;

2;

telles

3 '3 (P )

(1)

Existe-til un polynme de R3 [X] sannulant en a; b et c ? Rponse oui, il sagit du polynme P = (X a)(X b)(X
(et tout autre polynme est un multiple de celui ci). Dans ce cas, lgalit (1) value en P = (X a)(X b)(X
nous donne lgalit
Zb
(2)
(t a)(t b)(t c)dt = 0

c)
c)

Rb
a, ce qui nous permet de calculer lintgrale (t

Un changement de variable naturel est u = t

a)(t

b)(t

b)(a

c))dt

c)dt :

Zb

(t

a)(t

b)(t

c)dt

b
Z

b
Z

t(t + a

b)(t + a

c)dt =

b
Z

t(t2 + (2a

c)t + (a

t3 + (2a

c)t2 + (a

b)(a

c)tdt

=
=
=

a)4

(b
4

+ (2a

c)

a)3

(b

a)3
[3(b a) + 4(2a
12
3
(b a)
(2c b a)
12
(b

+ (a

b)(a

c)

6(a

b=0,c=

c)

a)2

(b
2

c)]

Lgalit (2) nous donne alors


(b

www.mathematiques.fr.st

a)3
(2c
12

a) = 0 , 2c
b6=a

8/16

a+b
2
abdellah bechata

MP* : structure, algbre linaire

Par consquent, pour que '4 2 Vect('1 ; '2 ; '3 ), il est indispensable que c =

segment [a; b]:

Synthse : Supposons maintenant que c =

CORRECTIONS

a+b
; cest--dire que c soit le milieu du
2

a+b
et montrons que '4 2 Vect('1 ; '2 ; '3 ); o
2

8P 2 R3 [X];

'3 (P ) = P (

a+b
):
2

a+b
): Les calculs mens dans lanalyse montrent
2
que '4 (R) = 0 et par dnition de R; '1 (R) = '2 (R) = '3 (R) = 0: Par consquent, le polynme R vrie :
On introduit le polynme R dni par : R(X) = (X

(3)

a)(X

b)(X

'4 (R) = 0 = '1 (R) = '2 (R) = '3 (R)

Montrons que '4 2 Vect('1 ; '2 ; '3 ) sur R2 [X]:


Lespace vectoriel R2 [X] est de dimension 3 donc son dual (R2 [X]) (espace des formes linaires sur R2 [X]) est
galement de dimension 3: La question 1) montre que la famille ('1 ; '2 ; '3 ) est libre dans (R2 [X]) et elle est de
cardinal 3 cest une base de (R2 [X]) : Lapplication '4 2 (R2 [X]) donc elle peut scrire comme une combinaison
linaire de ('1 ; '2 ; '3 ); ce qui signie quil existe trois constantes relles ; ; telles que
(4)

8P 2 R2 [X];

'4 (P ) = '1 (P ) + '2 (P ) + '3 (P ) = P (a) + P (b) + P (

a+b
)
2

Cette galit signique que '4 = '1 + '2 + '3 sur R2 [X] donc '4 2 Vect('1 ; '2 ; '3 ) sur R2 [X]

Montrons que '4 2 Vect('1 ; '2 ; '3 ) sur R2 [X]:


Puisque le polynme R nappartient R2 [X]; les espaces vectoriels R2 [X] et Vect(R) sont en somme directe et
leur somme est incluse dans R3 [X]: Puisque lon a les galits
dim R3 [X] = 4 et dim(R2 [X]

Vect(R)) = dim(R2 [X]) + dim Vect(R) = 3 + 1 = 4;

on obtient la somme directe


R3 [X] = R2 [X]

Vect(R)

Soit Q 2 R3 [X]; il existe un polynme P 2 R2 [X] et une constante relle


combine aux galits (3) et (4) nous permettent dcrire
'4 (Q)

telle que Q = P + R: Cette galit

a+b
= '4 (P ) + '4 (R) = P (a) + P (b) + P (
)
| {z }
2
=0

P (a) + P (b) + P (

a+b
a+b
) + ( R(a) + R(b) + R(
))
| {z }
|{z}
2
2 }
|
{z
=0
=0
=0

=
=

a+b
(P + R)(a) + (P + R)(b) + (P + R)(
)
2
a+b
Q(a) + Q(b) + Q(
) = '1 (Q) + '2 (Q) + '3 (Q)
2

Nous venons donc de montrer que


8Q 2 R3 [X];

'4 (Q) = '1 (Q) + '2 (Q) + '3 (Q) , '4 = '1 + '2 + '3

ce qui implique que '4 2 Vect('1 ; '2 ; '3 )


Explicition les ( i ): Il su t dvaluer lgalit (5) en P = (X
en P = (X
Zb

a)(X

(t

b)(t

b): On value pour commener trois intgrales :


a+b
)dt
2

Zb

a+b
); en P = (X
2

b)(X

Z0

u(u + b

a+b
)du
2

(u = t

b) =

a b

(t

a)(t

a+b
)dt
2

(t

www.mathematiques.fr.st

a)(t

b)dt

(u2 +

a
2

a+b
) puis
2

a)(X

u)du =

(b

a)3
12

(b

a)3
12

a b

b
Z

b
Z

u(u + a

a+b
)du
2

(u = t

a) =

Zb

Z0

(5)

b
Z

(u2 +

b
2

u)du =

u(u + a

b)du

(u = t

a) =

b
Z

(u2 + (a

b)u)du =

a)3

(b
6

9/16

abdellah bechata

MP* : structure, algbre linaire

CORRECTIONS

lgalit (5) value en les trois polynmes sus-cits nous fournit les galits suivantes (on noublie pas que c =
a+b
):
2
a)3
12
(b a)3
12
(b a)3
6
(b

a+b
(b a)3
(b a)2
),
=
, =
2
12
2
3
2
a+b
(b a)
(b a)
(b a)(b
),
=
, =
2
12
2
a+b
a+b
(b a)3
(b a)2
(
a)(
b) ,
=
2
2
6
4

(a

=
=

b)(a

1
(b
6
1
(b
6
,

a)
a)
=

2
(b
3

a)

Nous pouvons alors a rmer que

8P

Zb

R3 [X];

P (t)dt =

8P 2 R3 [X];

1
(b
6

1
a)P (a) + (b
6

2
a)P (b) + (b
3

a)P (

a+b
)
2

1
b

Zb

P (t)dt =

1
a+b
(P (a) + P (b) + 4P (
))
6
2

Me, ceti pas la bonne vieille formule de Simpson du calcul numrique ?!!? H, b, jlu pas cru si on mlu di ! : =
)
3. Notons E lensemble recherch. On constate que E scrit aussi
E = ker('4

'1

'2

'3 )

Ensuite, le noyau dune forme linaire est un hyperplan de Rn [X] si la forme linaire nest pas identiquement nulle sur
Rn [X] ou cest Rn [X] si la forme linaire est identiquement nulle.
Si n = 3; la forme linaire '4
'1
'2
'3 est identiquement nulle sur R3 [X] (cest la question 2) et lensemble
cherche est R3 [X]:
Si n > 4; montrons que la forme linaire '4
'1
'2
'3 nest pas identiquement nulle. Il su t de lvaluer en
P = X4
('4

'1

'2

'3 )(X 4 )

=
=
=
=

1 4
a+b 4
b5 a5
(a + b4 + 4(
) )
5(b a) 6
2
1 4
a+b 4
1 4
(b + ab3 + a2 b2 + a3 b + a4 )
(a + b4 + 4(
) )
5
6
2
1 4
1 4
1
1 2 2
1 3
ab
b
a + a3 b
a b
30
120
120
30
20
(b a)4
6= 0
120

donc E est un hyperplan de Rn [X]:


Correction de lexercice 1.4 :

On peut traiter cet exercice selon deux mthodes

Premire mthode :
Lendomorphisme a de Rn possde le polynme X q 1 comme polynme annulateur. Malheureusement ce polynme
nest pas scind sur R mais il est scind sur C: Nous allons en fait nous ramener C par lastuce suivante (cest un peu
plus quune astuce, cest une mthode pour passer du champs des rels au champs des complexes).
Considrons la base canonique BR de Rn et notons A la matrice de a dans la base B; cest--dire A = mat(a; BR ): La
matrice A est coe cients rels donc elle peut tre vue comme une matrice coe cients complexes. Considrons alors
la base canonique BC de Cn et notons b lunique endomorphisme de Cn tel que A = mat(b; BC ): Lendomorphisme b
admet X q 1 comme polynme annulateur puisque
mat(bq ; BC ) = (mat(b; BC ))q = Aq = (mat(a; BR ))q = mat(aq ; BR ) = mat(Id; BR ) = In ) bq = Id
(et on est sauv car la matrice identit de Mn (R) est la mme que celle de Mn (C):
Si lon a fait le cours sur la diagonalisation : Le polynme X q 1 est scind racines simples sur C (donc b est
diagonalisable sur C) et ses racines sont des racines q ieme de lunit.

www.mathematiques.fr.st

10/16

abdellah bechata

MP* : structure, algbre linaire

CORRECTIONS

Si lon na pas fait le cours sur la diagonalisation mais si lon connait le thorme des noyaux :
Le polynme X q 1 est scind racines simples sur C et sa dcomposition est donne par
Xq

1=

qY1

(X

exp(

k=0

2i k
)
q

Le thorme des noyau montre que lon a


q 1
M

Cn =

ker(b

exp(

k=0

2i k
) Id)
q

2i k
2i k
) Id) lorsque ker(b exp(
) Id) 6= f0g:
q
q
0
n
Alors, la somme prcdente tant directe, la runion des Bk forment une base BC de C :
La suite est pour tout le monde :
2i k
Pour tout entier k 2 [[0; q 1]]; notons k = exp(
). Il est de notorit publique que lensemble des racines q ieme
q
de lunit est lensemble f k ; k 2 [[0; q 1]]g: Notons rk la multiplicit de k dans b; autrement dit
Considrons pour chaque k 2 [[0; q

1]]; une base Bk de ker(b

rk = dimC ker(b

k)

exp(

= dimC E k (b);

lentier rk pouvant bien entendu tre nul, ce qui arrive lorsque k nest pas valeur propre de A:
Le fait que b soit diagonalisable et que ses valeurs soient des racines q ieme de lunit montre lexistence dune base BC0
(runion des Bk pour ceux qui non pas fait la diagonalisation) de Cn telle que
0
1
(0)
0 Ir0
B
C
..
mat(b; BC0 ) = @
A;
.
(0)

ce qui nous assure que

q 1 Irq

0
( 0 )i Ir0
B
mat(bi ; BC0 ) = @
(0)

(0)
..

.
(

i
q 1 ) Irq

C
A

La trace dun endomorphisme ne dpendant pas de la base choisie et tant la trace de sa matrice dans une base
quelconque, on en dduit que
tr(Ai ) = tr(bi ) = ( 0 )i tr(Ir0 ) +

+(

i
q 1)

tr(Irq 1 ) = ( 0 )i r0 +

i
q 1 ) rq 1

+(

q 1
X

( p )i rp

p=0

Nous pouvons alors crire


q
X

tr(Ai ) =

Il nous reste valuer les sommes

Si p 2 [[1; q

= 1 et

i=1

1]] alors
q
X

q
P

( p )i

( p )i rp

i=1 p=0

i=1

Si p = 0 alors

q X
q 1
X

( 0 )i =

q
P

i=1
q
P

Fubini

q 1X
q
X

( p )i rp =

p=0 i=1

( p )i ; o rappelons-le

q 1
X
p=0

rp

q
X

( p )i

i=1

est une racine q ieme de lunit.

1 = q:

i=1

6= 1 et lon a :
=

( p )1 + ( p )2 +

+ ( p )q

1 + ( p )1 + ( p )2 +

+ ( p )q = ( p )1 + ( p )2 +

+ ( p )q

+1

i=1

+ ( p )q

( p )q

1
1

1
1

=0

Nous en dduisons naturellement que


q
X
i=1

www.mathematiques.fr.st

tr(Ai ) = r0

q
X
i=1

( 0 )i = r0 q ,

1X
tr(Ai ) = r0 = dimC ker(b
q i=1

11/16

Id)

abdellah bechata

MP* : structure, algbre linaire

CORRECTIONS

Nous avons presque lgalit demande. Il su t de se rappeler le lien entre matrice et endomorphisme.
On rappelle que la matrice de b dans la base canonique BCn de Cn est la matrice A: Soit
0 x1= (x1 ; ::; xn ) un vecteur
x1
B .. C
n
de C ; X sa matrice des coordonnes dans la base canonique. Par dnition, on a X = @ . A et le vecteur form des
xn
coordonnes de b(x) est simplement la matrice colonne AX: Par consquent, les galits b(x) = x et AX = X sont
quivalentes, en fait on a mme un isomorphisme de ker(b Id) sur ker(A Id) donn par x ! X; ce qui implique que
dimC ker(b

Id) = dimC ker(A

In )

Ensuite, n dimC ker(A In ) reprsente le rang dans Cn des vecteurs colonnes de A In , n dimR (ker(A In )
reprsente le rang dans Rn des vecteurs colonnes de A In : Puisque A In est coe cients rels, ses vecteurs colonnes
sont coordonnes relles et le rang dune famille de vecteurs coordonnes rels est le mme dans Rn (vu comme
R-espace vectoriel) ou dans Cn (vu comme C-espace vectoriel) (la preuve se trouve dans la remarque ci-dessous)
Par consquent, on a
n

dimC ker(A

In ) = n

dimR (ker(A

In ) , dimC ker(A

In ) = dimR (ker(A

In )

et puisque A est la matrice de a dans la base canonique BR de Rn ; nous obtenons la formule tant attendue
q

dimR (ker(A

In )) =

1X
tr(Ai ) , dimR (ker(a
q i=1

In )) =

1X
tr(ai ):
q i=1

Remarque : Le rang dune famille tant le plus grand nombre de vecteurs libres dune famille, il su t de montrer que
toute famille de vecteurs (f1 ; ::; fp ) coordonnes relles est libre sur C ssi elle est libre sur R.
p
P
Si (f1 ; ::; fp ) est libre sur C, et soient 1 ; ::; p des rels tels que
i fi = 0: Les i tant rels, on peut les considrer
i=1

comme des complexes et lgalit prcdente fournit une relation de dpendance linaires de fi sur C: Ces derniers
tant libres sur C; cela implique que tous les i sont nuls donc la famille (f1 ; ::; fp ) est libre sur R:
p
P
Si (f1 ; ::; fp ) est libre sur R; et soient 1 ; ::; p des complexes tels que
i fi = 0: En passant aux coordonnes, en
i=1

tenant compte que les coordonnes de fi sont relles et en sparant les parties relles et imaginaires des i , on aboutit
p
p
P
P
deux systmes quivalents
Re( i )fi = 0 et
Im( i )fi = 0: Ces deux galits sont des relations de dpendance
i=1 | {z }
i=1 | {z }
2R

2R

linaire sur R des fi : Ces derniers tant libres sur R; cela implique que tous les Re( i ) et Im( i ) sont nuls. On en
dduit immdiatement que tout les i sont nuls, ce qui dmontre que la famille (f1 ; ::; fp ) est libre sur C:
Deuxime mthode (pour ceux qui aiment les groupes) :
On introduit lendomorphisme p de Rn dni par
p=

1
(Id +a +
q

+ aq

Montrons que p est un projecteur. Pour commencer, puisque aq = Id; on a


a p=

1
(a + a2 +
q

+ aq

+ aq ) =

1
(a + a2 +
q

Par une rcurrence vidente, on obtient que 8k 2 [[0; q


q 1; on obtient
0
1
q 1
X

k=0

ak

p=

1]];

Bq 1 C
BX k C
p,B
a C
B
C p=q
@k=0 A
k=0
| {z }
q 1
X

+ aq

+ Id) =

1
(Id +a +
q

+ aq

)=p

ak p = p et en sommant ces galits sur k variant de 0

p,q

p p=q

p,p p=p

=q p

donc p est bien un projecteur de R : On sait que la trace dun projecteur est gal son rang donc
q 1

q 1

k=0

k=0

1X k
1X
tr(p) = rg(p) , tr(
a ) = rg(p) ,
tr(ak ) = rg(p)
q
q

(1)

Pour obtenir la formule souhaite, il su t de montrer que


rg(p) = dim ker(a
www.mathematiques.fr.st

Id) , dim Im p = dim ker(a


12/16

Id)
abdellah bechata

MP* : structure, algbre linaire

Soit x 2 ker(a

Id) alors a(x) = x ce qui implique que pour tous les entiers k 2 [[0; k
8x 2 ker(a

Id);

p(x) =

q 1

q 1

k=0

k=0

1X k
1X
1
a (x) =
x=
q
q
q

CORRECTIONS

1]]; ak (x) = x donc


x = x:

Nous venons donc de montrer que


(2)
(caractrisation des projecteurs).
Rciproquement, si x 2 Im(p) = ker(p
galits suivantesmontre que
8x 2 Im p;

ker(a

Id)

ker(p

Id) = Im p

Id); lgalit p = a p, que nous avons montr prcdemment, nous fournit les

p(x) = x ) a(p(x)) = a(x) , p(x) = a(x)


a

a p=p

puisque p(x)=x

x = a(x) ) x 2 ker(a

Id)

Nous venons de montrer que


(3)

Im p

ker(a

Id):

Les galits (2) et (3) montrent que Im(p) = ker(a Id) donc, en passant au dimension, on obtient rg(p) = dim ker(a Id)
et la formule (1) nous fournit alors lgalit recherche
q 1

1X
tr(ak ) = dim ker(a
q

Id)

k=0

Remarque : en gnral, si G est un groupe commutatif ni de GLn (k); o k est corps de caractristique distinct de
\
P
1
card G, alors p =
g (qui est la moyenne des lments du groupe) est un projecteur sur
ker(g Id).
card G g2G
g2G

Dans notre cas puisque A est un lment dordre nie de GLn (R); le groupe < A >= fAk ; k 2 [[0; q 1]]g engendr
1 qP1 k
par A est ni et le projecteur scrit simplement p =
A .
q k=0
Exercice subsidiaire : Montrer que S est
Pune partie nie de Mn (R) (ses lments ntant pas ncessairement inversibles)
stable par produit alors card S divise
tr(s)
s2S

Correction de lexercice 1.5 : Rappelons un rsultat sur les polynmes que lon utilisera constamment dans cet exercice
:
si a est un rel et k un entier naturel non nul alors
h
i
a racine dordre au moins k de P
=
P (a) =
= P (k 1) (a) = 0 , (X a)k j P (X)
par dnition

1. Pour commencer, montrons que F est linaire


8P; Q 2 E; 8 ; 2 R;
F ( P + Q) = (( P + Q)( a); ( P + Q)0 ( a); ( P + Q)(a); ( P + Q)0 (a))
= ( P ( a) + Q( a); P 0 ( a) + Q0 ( a); P (a) + Q(a); P 0 (a) + Q0 (a))
= ( P ( a); P 0 ( a); P (a); P 0 (a)) + ( Q( a); Q0 ( a); Q(a); Q0 (a))
=
(P ( a); P 0 ( a); P (a); P 0 (a)) + (Q( a); Q0 ( a); Q(a); Q0 (a))
=
F (P ) + F (Q)
Lapplication F tant linaire de E, qui est de dimension 4; dans R4 , qui est de dimension 4; la caractrisation des
isomorphismes entre espaces de mme dimension montre quil su t de montrer que F est injective, cest--dire que son
noyau est nul.
Soit P 2 ker F alors
8
P ( a) = 0
>
>
< 0
P ( a) = 0
0
0
(P ( a); P ( a); P (a); P (a)) ,
) (P ( a) = P 0 ( a) = 0 et P (a) = P 0 (a) = 0)
P (a) = 0
>
>
: 0
P ( a) = 0

donc a et a sont des racines dordre au moins 2 de P , ce qui implique que (X a)2 et (X + a)2 divise P: Puisque a
est non nul, les polynmes (X a) et (X + a) sont premiers entre eux dans R[X] donc (X a)2 et (X + a)2 aussi et le

www.mathematiques.fr.st

13/16

abdellah bechata

MP* : structure, algbre linaire

lemme de Gauss montre que (X


tel que

CORRECTIONS

a)2 (X + a)2 divise P dans R[X]: Par consquent, il existe un polynme Q 2 R[X]
P (X) = Q(X)(X

a)2 (X + a)2 :

Puisque P est de degr au plus 3; sil nest pas nul, en passant au degr dans lgalit prcdente, on obtient que
deg P > 4; ce qui est absurde donc P = 0: On vient donc de montrer que ker F
f0g et comme f0g ker F; on en
dduit que ker F = f0g; cest--dire que F est bien un isomorphisme de E sur R4 :
2. Calcul de P1 :
P1 = F

(1; 0; 0; 0) , F (P1 ) = (1; 0; 0; 0) , (P1 ( a); P10 ( a); P1 (a); P10 (a)) = (1; 0; 0; 0)

On en dduit que a est une racine dordre au moins 2 de P1 ; donc P1 scrit


P1 (X) = (X

a)2 Q(X)

Puisque P1 est de degr au plus 3; on en dduit que Q est de degr au plus 1; cest--dire quil scrit Q(X) = X + ;
ce qui entraine que
P1 (X) = (X a)2 ( X + )
Les conditions supplmentaires P ( a) = 1 et P 0 ( a) = 0 scrivent
( a a)2 ( ( a) + )
,
2( a a)( ( a) + ) + ( a a)2
8
(
>
1
< a +
a +
= 2
,
4a , >
:
2a +
=0
a

P1 ( a) = 1
P10 ( a) = 0

=1
,
=0

1
= 2
4a
1
=
4a2

( a) +
( ( a) + )

L2

L2

Nous venons donc de montrer que

P1 (X) = (X

a)2 (

1
1
1
X + 2 ) = 3 (X
4a3
2a
4a

L1

1
4a2
=0

=
a
,

8
>
<

1
4a3
1
= 2
2a
=

>
:

a)2 (X + 2a)

Calcul de P3 :
P3 = F
On en dduit que

(0; 0; 1; 0) , F (P3 ) = (0; 0; 1; 0) , (P3 ( a); P30 ( a); P3 (a); P30 (a)) = (0; 0; 1; 0)

a est une racine dordre au moins 2 de P3 ; donc P3 scrit


P3 (X) = (X + a)2 Q(X)

Puisque P3 est de degr au plus 3; on en dduit que Q est de degr au plus 1; cest--dire quil scrit Q(X) = X + ;
ce qui entraine que
P3 (X) = (X + a)2 ( X + )
Les conditions supplmentaires P3 ( a) = 1 et P30 ( a) = 0 scrivent
P3 (a) = 1
P30 (a) = 0

(
1
(a + a)2 ( a + ) = 1
=1
a+
= 2
,
,
4a
2
2(a + a)( a + ) + (a + a) = 0 = 0
( a+ )+a
=0
8
8
(
1
1
>
>
1
< a +
<
= 2
=
3
a +
= 2
4a
4a
,
,
4a , >
1
1
>
: a
:
2a +
=0
=
= 2
L2
L2 L1
4a2
2a

Nous venons donc de montrer que

P3 (X) = (X

a)2 (

1
1
X + 2) =
3
4a
2a

1
(X
4a3

a)2 (X

2a)

Calcul de P2 :
P2 = F

(0; 1; 0; 0) , F (P2 ) = (0; 1; 0; 0) , (P2 ( a); P20 ( a); P2 (a); P20 (a)) = (0; 1; 0; 0)

On en dduit que a est une racine dordre au moins 2 de P2 et a est une racine dordre 1 exactement donc P2 ; qui
est de degr 3; scrit
P2 (X) = (X a)2 (X + a)
www.mathematiques.fr.st

14/16

abdellah bechata

MP* : structure, algbre linaire

CORRECTIONS

La condition supplmentaire P20 ( a) = 1 scrit


P20 ( a) = 1 , ( a

a)2 = 1 ,

1
4a2

Nous venons donc de montrer que


P2 (X) =

1
(X
4a2

a)2 (X + a)

Calcul de P4 :
1

P4 = F

(0; 0; 0; 1) , F (P4 ) = (0; 0; 0; 1) , (P4 ( a); P40 ( a); P4 (a); P40 (a)) = (0; 0; 0; 1)

On en dduit que a est une racine dordre au moins 2 de P4 et a est une racine dordre 1 exactement donc P4 ; qui
est de degr 3; scrit
P4 (X) = (X + a)2 (X a)
La condition supplmentaire P40 (a) = 1 scrit
P40 (a) = 1 , (a + a)2 = 1 ,

1
(X + a)2 (X
4a2

a)

1
4a2

Nous venons donc de montrer que


P4 (X) =

3. Rappelons que E dsigne lensemble des formes linaires sur E: Cest un espace vectoriel sur R (si E est un espace
vectoriel sur R) et si E est dimension nie, alors dim E = dim E:
Lapplication g est une forme linaire sur E: Soient ('i )i2[[1;4]] les quatre formes linaires sur E dnies par
8P 2 E;

'2 (P ) = P 0 ( a);

'1 (P ) = P ( a);

Lexistence des rels (ai )i2[[1;4]] est quivalente au fait que g 2 Vect('i ;
linaires ('i )i2[[1;4]] sont libres. Soient ( i )i2[[1;4]] quatre rels tels que
4
X

i 'i

0 , 8P 2 E;

8P 2 E;

i=1

1 '1 (P )

1P (

a) +

2P

2 '2 (P )
0

'4 (P ) = P 0 (a)

'3 (P ) = P (a);

( a) +

i 2 [[1; 4]]: Montrons que les quatre formes

3 '3 (P )

3 P (a)

4P

4 '4 (P )
0

=0

(a) = 0

En valuant cette galit en P = Pi pour i 2 [[1; 4]]; on obtient


1

= 0;

= 0;

= 0;

=0

ce qui montre que les quatre formes linaires ('i )i2[[1;4]] forment une famille libre de E ; qui est de dimension dim E = 4
donc les quatre formes linaires ('i )i2[[1;4]] forment une base de E : Puisque g 2 E ; on en dduit lexistence de quatre
rels (bi )i2[[1;4]] tels que
g

4
X
i=1

bi 'i , 8P 2 E;

8P 2 E;

g(P ) = b1 '1 (P ) + b2 '2 (P ) + b3 '3 (P ) + b4 '4 (P )

g(P ) = b1 P ( a) + b2 P 0 ( a) + b3 P (a) + b4 P 0 (a)

et on obtient le rsultat escompt en choisissant


a1 = b3 ;

a2 = b1 ;

a3 = b4 ;

a4 = b2

Remarque : on peut expliciter les (ai )i2[[1;4]] en valuant lgalit


g(P ) = a1 P (a) + a2 P ( a) + a3 P 0 (a) + a4 P 0 ( a)

www.mathematiques.fr.st

15/16

abdellah bechata

MP* : structure, algbre linaire

en P = Pi ;

CORRECTIONS

i 2 [[1; 4]]; ce qui nous donne


a1

1
4a3

= g(P3 ) =

Z1

a)2 (t

(t

2a)dt = 1 +

2
3a2

a2

= g(P1 ) =

1
4a3

Z1

(t

1
4a2

Z1

(t + a)2 (t

Z1

(t

a)2 (t + 2a)dt = 1

a3

= g(P4 ) =

a)dt =

1
6a

1
a
2

a4

1
= g(P2 ) = 2
4a

1
6a

a)2 (t + a)dt =

1
a
2

Nous en dduisons alors la formule remarquable


8P 2 R3 [X];

Z1

tP (t)dt =

1+

2
3a2

P (a) + P ( a) +

1
6a

1
a (P 0 (a)
2

P 0 ( a)) :

www.mathematiques.fr.st

16/16

abdellah bechata