Rduction

Marc SAGE
2 juillet 2006
Table des matires
1 Quelques amuses-gueules 2
2 Lemme de Schur 3
3 Deux caractrisations utiles des matrices nilpotentes 3
4 Une caractrisation (inutile) des matrices non inversibles 4
5 Des gnrateurs du groupe linaire 5
6 Une formule explicite pour le polynme caractristique 5
7 Rsolution des quations direntielles linaires coecients constants 6
8 Une CNS pour que noyau et image soient en somme directe 7
9 Problme de Burnside 7
10 Un problme de combinatoire 8
1
1 Quelques amuses-gueules
a) Trouver un contre-exemple inrmant la relation "trace = sommes des valeurs propres" trop souvent
nonce sans prcaution.
/) Soit une matrice de taille : sur un corps de caractristique nulle, de trace :, telle que
2
=
3
.
Que vaut ?
c) Soit une matrice relle telle que
3
= +1
n
. Montrer que det 0.
d) Soit une matrice relle carr de taille : impaire, de dterminant 1, et dont le spectre complexe est
inclus dans le cercle unit. Montrer que 1 est valeur propre de .
c) Soit une matrice telle que tout sev de 1
n
admet un sev stable par . Montrer que est diagona-
lisable.
)) Soit une matrice complexe inversible dont la /-ime puissance est diagonalisable ( / _ 1). Montrer
que est diagonalisable.
q) Soit une matrice diagonalisable. Que dire de
_


_
?
Solution propose.
a) On considre un cas pathologique o le spectre est vide, an que la sommes des valeurs propres valle
0 ; il sut pour cela de prendre un polynme caractristique
.
sans racines, linstar de A
2
+1 sur R. Ensuite,
la trace se lisant dans le terme de degr :1 de
.
, il sut de prendre un polynme o ce terme est non nul. Ces
deux conditions sont par exemple runies pour
.
= A
2
+A +1, avec la matrice compagnon =
_
0 1
1 1
_
.
Pour tre correct, il faudrait noncer :
si
.
est scind, mettons
.
=

X2Sp .
(A `)
.

, alors tr =

X2Sp .
.
X
`
(cest immdiat en trigonalisant ).
/) est annule par le polynme A
2
(A 1), donc son spectre (sur un corps o
.
se scinde) est inclus
dans 0, 1, disons
.
= A
o
(A 1)
o
. On en dduit a +/ = : = tr = /, do a = 0 dans le corps, i.e. a = 0
dans N, ce qui montre que vaut lidentit.
c) On peut factoriser 1
n
=
3
= (1
n
) (+1
n
), ce qui montre que est inversible, do
det ,= 0. Si ce dernier tait ngatif, on aurait det (+1
n
) = det
3
< 0, do det (1
n
) =
1
det .(.+1n)
0.
La fonction ` det (`1
n
) sannulerait donc sur ]0, 1[ par le thorme des valeurs intermdiaires, do une
valeur propre ` ]0, 1[, qui devrait tre racine du polynme annulateur A
3
A1, ce qui impose `
3
= `+1 1,
contradiction.
d) Le polynme caractristique de , qui est coecients rels, se scinde sur C en

.
= (A 1)
o
(A + 1)
o

X2Sp ., Re X,0
(A `)
_
A `
_
en regroupant les valeurs propres non relles deux par deux. Le dterminant de vaut donc
1 = det = 1
o
(1)
o

X2Sp ., Re X,0
``
..
=jXj
2
=1
= (1)
o
,
do , pair. Comme : est impair, on doit avoir c impair, et en particulier c _ 1, CQFD.
c) Si nest pas diagonalisable, la somme des sous-espaces propres peut se complter en un hyper-
plan, lequel doit admettre un supplmentaire stable, i.e. un vecteur propre hors de tout sous-espace propre,
contradiction.
))
|
est diagonalisable, donc annule par un polynme scind simple, disons

:
I=1
(A `
I
) o les `
I
sont les valeurs propres de
|
. On en dduit que 1 =

:
I=1
_
A
|
`
I
_
annule . En extrayant une racine
/-ime des `
I
, mettons `
I
= j
|
I
, on voit que 1 =

:
I=1
_
A
|
j
|
I
_
se scinde simplement : dj A
|
j
|
I
=
j
|
I
_
_

i
_
|
1
_
est scind simple (les `
I
sont non nuls car est inversible !), et pour i ,= , les polynmes
A
|
j
|
I
et A
|
j
|

nont pas de racines en commun (la puissance /-ime dune racine de A

|
j
|
I
vaut `
I
,= `

par hypothse). Il en rsulte que est diagonalisable.

Noter limportance des trois hypothses : on ne peut rien dire si / = 0, la matrice
_
0 1
1 0
_
nest pas
R-diagonalisable tandis que son carr 1
n
lest, et tout nilpotent non nul nest pas diagonalisable tout en
vriant
n
= 0 diagonalisable.
2
q) Il y a plein de mthodes direntes pour rsoudre cet exercice. Lune delles consiste exhiber une
base de vecteurs propres. On pourrait galement mener le calcul du polynme caractristiques.
Soit (c
1
, ..., c
n
) une base de 1
n
de vecteurs propres de . Alors on vrie que
_
c
1
c
1
_
, ...,
_
c
n
c
n
_
,
_
c
1
c
1
_
, ...,
_
c
n
c
n
_
forment une base de 1
2n
de vecteurs propres pour
_


_
.
Dj, si c
I
= `
I
c
I
, on a
_


__
c
I
c
I
_
= (1 1) `
I
_
c
I
c
I
_
,
ce qui montre que lon a bien une famille de 2: vecteurs propres.
Ces derniers sont par ailleurs libres :

c
I
_
c
I
c
I
_
+

,
I
_
c
I
c
I
_
= 0 ==
_
(c
I
+,
I
) c
I
= 0

(c
I
,
I
) c
I
= 0
==
_
(c
I
+,
I
) = 0
(c
I
,
I
) = 0
== (c
I
) = (,
I
) = 0.
2 Lemme de Schur
Soit 1 un ev de dimension nie sur un corps algbriquement clos. On considre une partie de /(1)
tels que les seuls sev stables par sont triviaux ( 0 et 1). Montrer que le commutant de est rduit aux
homothties.
Solution propose.
Soit n qui commute avec . Le corps de 1 tant algbriquement clos, n admet une valeur propre `. Puisque
n commute avec , n `Id commute avec , donc son noyau est stable par , donc est ou bien 0 ( rejeter
car ` est une valeur propre), ou bien lespace tout entier, ce qui implique n = `Id.
3 Deux caractrisations utiles des matrices nilpotentes
Montrer quun matrice de taille : est nilpotente ssi son polynme caractristique est A
n
, i.e. ssi son spectre
est rduit 0.
Montrer quune matrice sur un corps de caractristique nulle est nilpotente ssi les traces de toutes ses
puissances sont nulles.
Solution propose.
Soit nilpotente. On considre ` une valeur propre dans un corps de dcomposition de
.
. Soit r un
vecteur propre associ : r = `r. Par itration, il vient 0 =
n
r = `
n
r, do `
n
= 0 et ` = 0. Ceci montre que

.
vaut A
n
dans le corps de dcomposition, donc A
n
dans le corps de base.
La rciproque est donne par Cayley-Hamilton.
Le sens direct est immdiat en trigonalisant notre matrice dans un corps de dcomposition de
.
(ce qui
montre que les valeurs propres de
|
sont les puissances /-imes des valeurs propres de ) et en utilisant le
premier point.
Soit maintenant `
1
, ..., `
n
les valeurs propres de notre matrice dans un corps de dcomposition de
.
. Les
hypothses se traduisent, en trigonalisant , par
\/ _ 1,
n

I=1
`
|
I
= 0.
Deux mthodes (au moins) sont alors possibles.
3
Quitte introduire leurs multiplicit .
I
, on suppose les `
I
distincts. Les hypothses se rcrivent sous la
forme
\/ _ 1,
:1

I=1
.
I
`
|
I
= 0
avec r _ 1 le nombre de valeurs propres (on ne fait pas apparatre la valeur propre 0 dans la somme). Si 0 nest
pas la seule valeur propre, on obtient un systme de Vandermonde de taille r 1 _ 1, qui est inversible car les
`
I
sont tous supposs non nuls et distincts, ce qui impose .
I
= 0 pour tout i < r (galit valable dans le corps,
donc dans N par hypothse sur la caractristique), do 0 seule valeur propre, ce qui est exclu.
Une autre mthode consiste se rappeler des relations reliant les sommes de Newton o
|
et les fonctions
symtriques lmentaires o
|
:
\1 _ j _ :, o

o
1
o
1
+o
2
o
2
... + (1)
1
o
1
o
1
+ (1)

jo

= 0.
On applique cela aux o
|
=

`
|
I
et o
|
associes aux `
I
, ce qui donne o
|
= 0 par une rcurrence imm-
diate (on simplie par j, ce qui est autoris puisquon est en caractristique nulle). On en dduit
.
=

n
|=0
(1)
|
o
|
A
n|
= A
n
, do nilpotente par Cayley-Hamilton.
Remarque. Noter pour le premier point quil est indispensable de passer par un corps plus gros o
.
se scinde, sinon le raisonnement "on prend une valeur propre puis..." est creux en gnral (il se peut quil ny
ait aucune valeur propre, mme sur les corps usuels comme R).
Par ailleurs, lhypothse de caractristique nulle dans le second point est indispensable. En eet, sur le corps
F
2
, les puissances de la matrice =
_
1 1
1
_
sont et 1
n
selon la parit de la puissance, donc nest pas
nilpotente tandis que toutes les traces de ses puissances sont nulles.
4 Une caractrisation (inutile) des matrices non inversibles
Soit une matrice complexe. Montrer que est non inversible ssi il y a une matrice de passage 1 telle
que 1 ` est inversible pour tout complexe `.
Solution propose.
Simplions la condition propose :
1 G1
n
(C) , \` C, 1 ` G1
n
(C)
== 1 G1
n
(C) , \` C, 1
n
`1 G1
n
(C) .
De plus, si lon trigonalise 1 = Q
1
TQ, on a les quivalences
\` C, 1
n
`1 G1
n
(C)
== \` C, Q
1
(1 `T) Q G1
n
(C)
== \` C, 1 `T G1
n
(C)
== T est de diagonale nulle
== 1 nilpotente.
Il sagit par consquent de montrer lquivalence suivante :
, G1
n
(C) == 1 G1
n
(C) , 1 nipotente.
Cet exercice de pure algbre linaire a dj trait dans la feuille sur la dimension nie, aussi nous en donnerons
une preuve succincte.
Le sens == est immdiat : si tait inversible, 1 le serait aussi, donc ne pourrait tre nilpotente.
Pour le sens == , soit (/
1
, ..., /

) une base de Ker , avec j _ 1 car nest pas injective ! On complte

avec (c
+1
, ..., c
n
), o est un isomorphisme, disons envoie c
I
sur un )

, et on dnit 1 en envoyant la famille

libre (/
1
, ..., /

, )
+1
, ..., )
n
) sur la base (/
2
, ..., /

, c
+1
, ..., c
n
, /
1
). On voit alors que 1 envoie tous les c
I
sur 0
au bout dau plus : tapes :
c
+1
1.
c
+2
1.
c
+3
1.
...
1.
c
n
1.
/
1
1.
0.
Les /
I
tant tus en une tape, 1 est nilpotente, donc 1 galement (noter que (1)
n+1
= (1)
n
1)
4
5 Des gnrateurs du groupe linaire
Soit 1 un corps ayant strictement plus de deux lments. Montrer que les matrices diagonalisables inversibles
engendrent G1
n
(1). Que se passe-t-il si 1 = F
2
?
Solution propose.
Puisque les transvections et les dilatations engendrent G1
n
, il sut de montrer que les diagonalisables
engendrent les tranvections. Soit donc T une transvection.
Si 1 a plus de : lments, on peut considrer 1 une matrice diagonale dont les coecients sont non nuls et
distincts. Alors T scrit 1
1
(1T) o 1T est triangulaire avec des termes distincts sur la diagonale, donc 1T
est diagonalisable, CQFD.
Dans le cas gnral, on sen sort autrement. En eet, toute transvection tant semblable
_
_
1 1
1
1
n2
_
_
,
il sut dengendrer
_
1 1
1
_
. En cherchant une dcompostion du type
_
1 1
1
_
?
=
_
1
`
_
1
_
1
1
X
_
1
1
,
mettons avec 1 =
_
1 j
1
_
et 1
1
=
_
1 j
1
_
pour faire simple, on trouve que j =
1
1

1
convient avec `
un scalaire autre que 0 et 1.
Pour le cas 1 = F
2
, on remarque que la seule matrice diagonalisable inversible est lidentit, laquelle ne
peut videmment pas engendrer
_
1 1
1
_
.
6 Une formule explicite pour le polynme caractristique
Pour une matrice de taille : : et 1 une partie de 1, ..., :, on notera
1
la matrice extraite (a
I,
)
I,21
.
Montrer la formule suivante :
det (+t1
n
) =

1f1,...,ng
(det
1
) t
nj1j
.
Commenter le rapport avec le polynme caractristique.
Solution propose.
Notons 1() la quantit de droite ("D" comme "dterminant"). On peut dj esayer de montrer le rsultat
pour des matrices gentilles. Si est diagonale, et mme triangulaire, les dterminants extraits sont triviaux
calculer :
det
1
=

I21
a
I,I
.
En sommant sur les parties 1 ayant un cardinal x, on tombe sur les fonctions symtriques lmentaires des
a
I,I
, do le rsultat :
1() =
n

|=0
_
_

j1j=|
det
1
_
_
t
n|
=
n

|=0
o
|
t
n|
=
n

I=1
(t +a
I,I
) = det (+t1
n
) .
Il sagit maintenant de se ramener ce cas simple. Il sut pour cela de trigonaliser = 1T1
1
dans un
corps de dcomposition. Il reste donc montrer que 1 est invariante par conjugaison, ce qui concluera au vu
du calcul
1() = 1
_
1T1
1
_
= 1(T) = det (T +t1
n
) = det
_
1 (T +t1
n
) 1
1
_
= det (+t1
n
) .
5
On revoit pour cela la feuille sur les dterminants (exercice 12).
Appliqu au polynme caractristique, on trouve ainsi

.
=
n

|=0
(1)
|
_
_

j1j=|
det
1
_
_
A
n|
.
Pour / = 0, la contribution est celle du dterminant de la matrice vide, lequel vaut 1, et on retrouve que

.
est unitaire. Pour / = 1, on retrouve le coecient sous-dominant tr et pour / = : on retrouve le terme
constant (1)
|
det .
Remarque. On aurait galement pu procder par un calcul direct en dveloppant det (+t1
n
) et en
regroupant les mmes puissances de t (cf. feuille sur les dterminants).
7 Rsolution des quations direntielles linaires coecients constants
Soit a
0
, ..., a
n1
des complexes et ) une application complexe dnie sur un intervalle 1. Rsoudre
)
(n)
+a
n1
)
(n1)
+... +a
1
)
0
+a
0
) = 0.
Solution propose.
Introduisons c loprateur de drivation et 1 le polynme

n
I=0
a
I
A
I
. Lquation se rcrit alors sous la
forme ) Ker 1 (c), ce qui nous invite scinder 1 =

:
I=1
(A `
I
)
oi
et appliquer le lemme des noyaux :
Ker 1 (c) =

Ker (c `
I
Id)
oi
.
Il reste donc dterminer les noyaux Ker (c `
I
Id)
oi
.
En notant q = )c
XId
, on remarque que
[c `Id]
_
qc
XId
_
= c
XId
(q
0
`q) `qc
XId
= q
0
c
XId
,
do par une rcurrence immdiate
[c `Id]
o
_
qc
XId
_
= q
(o)
c
XId
.
On en dduit les quivalences
) Ker (c `Id)
o
== [c `Id]
o
_
qc
XId
_
= 0
== q
(o)
c
XId
= 0
== q C
o1
[A]
== ) c
XId
C
o1
[A] .
Par consquent, les solutions de lquation sont donnes par
Vect
1In
_
r

c
Xir
; 0 _ , < c
I
_
.
Remarque. On rsoudrait de mme les suites rcurrentes linaires coecients constants.
6
8 Une CNS pour que noyau et image soient en somme directe
Soit n un endomorphisme dun ev 1 de dimension nie. On note j
u
son polynme minimal. Montrer que
les assertions suivantes sont quivalentes :
a) Ker n Imn = 1 ;
/) Ker n admet un supplmentaire stable par n;
c) val j
u
_ 1.
Solution propose.
a) == /) Immdiat.
/) == c) Imn tant un supplmentaire du noyau, n
jImu
est un automorphisme de Imn, donc na pas
0 dans son spectre ; en notans j son polynme minimal, dont la valuation en A est non nulle par ce qui prcde,
on voit que le polynme Aj annule n : j tue ce quil y a sur limage tandis que le A soccupe du noyau. j
u
doit par consquent diviser Aj et est donc de valuation _ 1.
c) == a) crivons le polynme minimal de n :
j
u
= A
o
1 o c = 0 ou 1.
Si c = 0, n est inversible et on se convaincra sans peine que son noyau et son image sont en somme directe. Si
c = 1, on applique le lemme des noyaux :
1 = Ker j
u
(n) = Ker n Ker 1 (n) .
On aimerait bien que Imn = Ker 1 (n). Or, on dispose de linclusion vu que
1 (n) (n(r)) = A1 (n) (r) = j(n) (r) = 0,
et lon conclut par galit des dimensions.
On aurait aussi pu raisonner en prenant un n(r) dans lintersection de Imn et Ker n, dire que 0 = j(n) (r) =
1 (n(r)) = a
0
n(r) + 0 o a
0
est le terme contant de 1, avec a
0
non nul car A ne divise pas 1, do n(r) = 0.
9 Problme de Burnside
Soit G un sous-groupe de G1
n
(C) dexposant ni (lexposant dun groupe est le ppcm des ordres de ses
lments). On veut montrer que G est ni.
Justier lexistence dlments q
1
, ..., q
:
de G qui engendrent linairement G.
On considre alors lapplication
t :
_
G C
:
q (tr (qq
1
) , ..., tr (qq
:
))
.
Montrer que limage de G par t est nie.
Montrer que t est injective. Pour cela, supposant t (a) = t (/), montrer que 1
n
a/
1
est nilpotent
(considrer les traces de ses puissances) et diagonalisable.
Conclure.
Solution propose.
Vect G est un sev de '
n
(C), donc est de dimension nie. Soit
1
, ...,
s
un systme de gnrateurs. Chaque

I
se dcompose dans Vect G selon des lments de G. On rcupre tous ces lments, qui engendrent alors
clairement Vect G.
Dsignons par c lexposant du groupe. Lhypothse de travail se rcrit \q G, q
t
= 1
n
. En particulier,
tous les q G sont diagonalisables et leur spectre est valeurs dans lensemble j
t
des racines c-imes de lunit.
Les traces des q G ne peuvent donc prendre quun nombre ni de valeurs (au plus c choix pour chaque valeur
propre), donc limage de G est nie (de cardinal _ :cr).
7
Soit a et / dans G tels que t (a) = t (/). Puisque les q
I
engendrent G et que la trace est linaire, on en
dduit tr (aq) = tr (/q) pour tout q G. Faisant q = /
1
/, on obtient tr (/) = tr (c/) en posant c = a/
1
, do
en itrant
tr
_
c
|
/
_
= constante indpendante de /.
En prenant ensuite / = 1
n
, on a que tr
_
c
|
_
est une constante t (comme "trace"). Suivons lnonc en montrons
que les traces des puissances de 1
n
c sont nulles :
tr
_
(1
n
c)
|
_
= tr
_
|

I=0
_
/
i
_
(1)
|
c
n|
_
=
|

I=0
_
/
i
_
(1)
|
tr
_
c
n|
_
. .
=|
= t
|

I=0
_
/
i
_
(1)
|
= t (1 1)
|
= 0.
Il en rsulte que 1
n
c est nilpotent (cf. exercice 3). De plus, c est diagonalisable en tant qulment de G, donc
1
n
c lest galement. Finalement 1
n
c = 0, do c = 1
n
et a = / comme souhait.
On a montr que G sinjecte dans son image qui est nie, ce qui sut pour conclure quant la nitude de
G.
Remarque. Nous avons ici apport une rponse positive au problme de Burnside (un groupe dexposant
ni est-il ni ?) dans le cas des sous-groupes de G1
n
(C). Il y a cependant dans la nature des groupes dexposant
ni non nis, dont la construction ncessitant une centaine de pages pour le plus simple dpasse largement
le cadre de nos comptences.
10 Un problme de combinatoire
Soit un cube dans lespace R
3
et : un entier positif. Compter le nombre de chemins forms de : artes du
cubes reliant deux sommets donns.
Solution propose.
Laspect rduction nest pas immdiat, mais il viendra en temps voulu... Un dessin montre quil y a quatre
types de paires de sommets dinstiguer : deux sommets confondus (cas 0), formant une arte (cas 1), formant
une diagonale dune face (cas 2) ou formant une diagonale du cube (cas 3). On va dnombrer ces derniers par
rcurrence. En eet, en notant c
I
(:) le nombre de chemins forms de : artes entre deux sommets situs dans
la conguration i, il est facile de constater les relations de rcurrence suivantes en regardant o peut se terminer
un chemin donn dont on a limin la dernire arte (il est inutile de prciser que dessiner un cube peut aider
la rsolution de lexercice...) :
_

_
c
0
(: + 1) = 3c
1
(:)
c
1
(: + 1) = c
0
(:) + 2c
2
(:)
c
2
(: + 1) = 2c
1
(:) +c
3
(:)
c
3
(: + 1) = 3c
2
(:)
.
En introduisant le vecteur colonne des c
I
(:) appelons-le C (:) , et en traduisant la relation de rcurrence
ci-dessus de faon matricielle, on obtient
C (:) =
n
C (0) =
n
_
_
_
_
1
0
0
0
_
_
_
_
avec :=
_
_
_
_
3
1 2
2 1
3
_
_
_
_
.
On va donc rduire la matrice pour pouvoir calculer ses puissances. Le calcul du polynme caractristique
donne

.
= A
4
10A
2
+ 9 =
_
A
2
1
_ _
A
2
9
_
= (A 1) (A + 1) (A 3) (A + 3)
qui est scind simple, donc est diagonalisable : cest une bonne nouvelle. En cherchant la main les quatre
droites propres, on trouve
= 1
_
_
_
_
1
1
3
3
_
_
_
_
1
1
o 1 =
_
_
_
_
3 3 1 1
1 1 1 1
1 1 1 1
3 3 1 1
_
_
_
_
.
8
On en dduit
C (:) =
n
_
_
_
_
1
0
0
0
_
_
_
_
= 1
_
_
_
_
1
(1)
n
3
n
(3)
n
_
_
_
_
1
1
_
_
_
_
1
0
0
0
_
_
_
_
.
Pour conclure, il sut de trouver la premire colonne de 1
1
, i.e. dcomposer
_
_
_
_
1
0
0
0
_
_
_
_
dans la base de vecteurs
propres donne par 1. Un calcul donne
1
8
_
_
_
_
1
1
1
1
_
_
_
_
pour la colonne voulue. En substituant dans lexpression de
C (:), on trouve nalement
C (:) =
_
_
_
_
3
3
n1
+1
4
0
3
n
1
4
0
_
_
_
_
si : est pair et
_
_
_
_
0
3
n
+1
4
0
3
3
n1
1
4
_
_
_
_
si : est impair.
On vriera que les 0 sont bien leur place pour des questions dinvariants, que les nombres crits sont bien
entiers selon les parits et que les petites valeurs de : _ 0 donnent les bons rsultats : cela fait toujours plaisir !
Remarque. On pourrait se poser la mme question pour les quatres autres solides de Platon : ttradre,
octadre, dodcadre, icosadre. La dmarche ci-dessus sadapte bien.
Proposons toutefois une solution alternative pour le cube, issue de la thorie des graphes. Lorsque lon
dispose dun graphe numrot, il est intressant de regarder sa matrice dadjacence dont le coecient dindice
(i, ,) compte le nombre dartes allant du sommet i au sommet ,. Il alors ais de constater que le terme (i, ,)
de sa puissance :-ime compte le nombre de chemins du sommet i au sommet , suivant : artes du graphe :
cest exactement ce qui nous intresse. On va donc choisir une numrotation du cube qui simplie le calcul des
puissances de la matrice dadjacence.
Choisissons un sommet 1, puis numrotons 2, 3, 4 les sommets situs distance 2 du sommet 1. On numrote
les sommets restants 5, 6, 7, 8 de sorte que la dirence des numros de deux sommets diamtralement opposs
fasse 4. La matrice dadjacence scrit alors
=
_
_
_
_
_
_
_
_
_
_
_
_
1 1 1
1 1 1
1 1 1
1 1 1
1 1 1
1 1 1
1 1 1
1 1 1
_
_
_
_
_
_
_
_
_
_
_
_
=
_
J
4
1
4
J
4
1
4
_
avec les notations videntes. Les puissances sont alors aises obtenir :

n
=
_
1
1
_
n
=
_

_
_
1
n
1
n
_
si : impair
_
1
n
1
n
_
si : pair
avec 1 = J 1.
Or J et 1 commutent, donc le binme sapplique :
(J 1)
n
=
n

|=0
_
:
/
_
J
|
(1)
n|
= (1)
n
1 +
n

|=1
_
:
/
_
4
|1
J (1)
n|
= (1)
n
1 +
(4 1)
n
(1)
n
4
J =
3
n
(1)
n
4
J + (1)
n
1.
On obtient alors
c
0
(:) = [
n
]
1,1
=
_
si : pair :
3
n
1
4
+ 1 = 3
3
n1
+1
4
si : impair : 0
et on retrouve de mme les autres coecients.
9