Les symboles et .

Le binme de Newton
Nous consacrons ici un long chapitre au symbole (et au symbole ). A terme, la matrise de ce symbole est une
comptence essentielle acqurir et nous pensons quil faut y consacrer un nombre consquent de pages.
Plan du chapitre
1 Le symbole . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 1
1.1 Etude dun exemple . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 1
1.2 Dnition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 2
1.3 Rgles de calculs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 4
1.4 Changement de variables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 5
1.5 Sommes tlescopiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 6
1.6 Plusieurs calculs de
n

k=1
k,
n

k=1
k
2
et
n

k=1
k
3
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 9
1.7 Somme de termes conscutifs dune suite arithmtique ou dune suite gomtrique . . . . . . . . . . . . . . . . . . . . . . . page 11
1.7.1 Suites arithmtiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 11
1.7.2 Suites gomtriques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 12
1.8 Lidentit a
n
b
n
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 13
1.9 Sommes trigonomtriques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 14
1.10 Sommes doubles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 15
2 Le binme de Newton. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 18
2.1 Les coecients binomiaux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 18
2.2 La formule du binme de Newton . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 20
2.3 Application la trigonomtrie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 23
2.3.1 Linarisation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 23
2.3.2 Polynmes de Tchebychev . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 25
3 Le symbole . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 25
4 Erreurs classiques ne pas commettre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 26
1 Le symbole
1.1 Etude dun exemple
Ncessit dune nouvelle notation. La somme S
n
des entiers impairs 1, 3, 5,..., 2n 1 scrit
S
n
= 1 + 3 + 5 + ... + (2n 1).
Cette notation cohrente se rvle lusage pleine de piges. En eet, que signie lcriture 1 + 3 + 5 + ... + (2n 1)
quand n vaut 1, 2, 3 ou mme 4 ? Si on ne rchit pas susamment, on crit S
2
= 1 + 3 + 5 + ... + 3, alors quil fallait
comprendre que S
2
tait constitue de 2 termes, en commencant par 1 et en nissant par 2 2 1 = 3. Cest encore
pire avec S
1
qui ne contient quun seul terme. On peut trouver dsagrable que soit crit explicitement le nombre 5 dans
lcriture de S
n
, alors quil napparat ni dans S
1
, ni dans S
2
... De manire gnrale, dans de nombreuses situations, les
notations utilisant des pointills sont sources derreurs si elles ne sont pas matrises.
Pour cette raison et par souci de concision, on introduit une nouvelle notation. La somme S
n
ci-dessus est la somme
des n nombres 2 1 1 = 1, 2 2 1 = 3,..., 2 n 1. Ils ont une criture commune, savoir 2k 1 o k prend
successivement les valeurs 1, 2,..., n. On dcide alors de la noter
n

k=1
(2k 1) ()
(la lettre grecque correspondant notre S, initiale du mot somme). On peut apporter sur lexpression () les commentaires
suivants :
en bornes du symbole , on voit que k varie de 1 n et on a donc en vidence le nombre de termes de la somme,
savoir n, ce qui tait peut-tre moins vident dans la notation utilisant des pointills ;
dans lexpression
n

k=1
(2k1), nous avons fait leort de donner une criture commune chacun des termes de la somme
et donc de comprendre cette somme, ce qui nest pas le cas dans lexpression 1 + 3 + ... + (2n 1) ;
c Jean-Louis Rouget, 2007. Tous droits rservs. 1 http ://www.maths-france.fr

k=1
(2k1) est une expression comprhensible mme quand n = 2 ou n = 1. Dans ce dernier cas, la somme est constitue
dun seul terme et on parle donc dune somme de un terme. Cette phrase a un sens conventionnel ;
la somme obtenue est une fonction de n, mais nest pas une fonction de k, ce qui est explicite dans la notation S
n
(et
non pas S
n,k
) ou encore, on ne retrouve pas la lettre k dans le rsultat nal. Ainsi, on peut crire une phrase du genre
n N

,
n

k=1
k =
n(n + 1)
2
,
mais par contre, la phrase k N

, n N

,
n

k=1
k =
n(n + 1)
2
na aucun sens. Pour cette raison, la variable k est dite
muette et on peut la remplacer par nimporte quelle autre lettre sans que cela ne modie le rsultat nal :
n

i=1
i =
n

k=1
k =
n

=1
k

... =
n(n + 1)
2
.
lcriture de S
n
nest absolument pas unique, et par exemple, on pourrait tout fait considrer que les entiers 1, 3,...,
2n 1 sont de la forme 2k + 1 o k varie cette fois-ci de 0 n 1 et crire S
n
=
n1

k=0
(2k + 1), mais aussi que ces entiers
sont de la forme 2k3 o k prend les valeurs 2, 3,..., n+1 et crire dans ce cas S
n
=
n+1

k=2
(2k3) ; lessentiel est dobtenir
1 pour la premire valeur de k considre, 3 pour la deuxime,... et 2n 1 pour la dernire.
Que signie calculer une somme ? Calculons maintenant la somme propose et pour cela, posons nous dabord la
question : que signie la phrase calculer la somme S
n
? Calculer 1 +3 +5 consiste eectuer les deux additions pour
obtenir 9. De mme, calculer 1 + 3 + ... + (2n 1) consiste eectuer les n 1 additions et donc exprimer le rsultat
sous une forme nutilisant plus de pointills.
Dans les paragraphes suivants, on dcrira quelques techniques de calculs de somme. Ici, en calculant les premiers
termes, nous allons essayer de deviner une formule gnrale, formule que lon dmontrera ensuite par rcurrence.
On trouve S
1
= 1 puis S
2
= 1+3 = 4 puis S
3
= 1+3+5 = 9 puis S
4
= 1+3+5+7 = 16 puis S
5
= S
4
+9 = 16+9 = 25.
Il apparat, semble-t-il, la suite des carrs des nombres entiers, mais cette constatation est insusante. Nous ne savons
toujours pas ce que vaut S
6
avant de lavoir calcul, et pour savoir si nous avons vu juste, il faut se diriger vers un
raisonnement de porte gnrale : si au k-me carr parfait, savoir k
2
, on ajoute le (k +1)-me nombre impair, savoir
2k+1, on obtient k
2
+2k+1 = (k+1)
2
qui est bien le (k+1)-me carr parfait. Tout semble coller et nous pouvons donc
dmontrer par rcurrence que : n N

,
n

k=1
(2k 1) = n
2
.
Pour n = 1, S
1
=
1

k=1
(2k 1) = 1 = 1
2
et la formule propose est exacte.
Soit n 1. Supposons que
n

k=1
(2k 1) = n
2
. Alors,
n+1

k=1
(2k 1) =
n

k=1
(2k 1) + (2n + 1) = n
2
+ 2n + 1 (par hypothse de rcurrence)
= (n + 1)
2
.
Nous avons montr par rcurrence que n N

,
n

k=1
(2k 1) = n
2
.
Les n 1 additions ont t eectues. Maintenant il est certain quil persiste dans le rsultat nal une multiplication
(n
2
= n n), mais on peut estimer que la somme, elle, a t calcule.
1.2 Dnition
On se donne une suite (u
n
)
nN
de nombres complexes.
c Jean-Louis Rouget, 2007. Tous droits rservs. 2 http ://www.maths-france.fr
Pour p et n entiers naturels donns tels que p n, la somme des nombres u
p
, u
p+1
,..., u
n
est note
n

k=p
u
k
.
n

k=p
u
k
= u
p
+ ... + u
n
().
Ainsi,

0
k=0
u
k
= u
0
,

5
k=3
u
k
= u
3
+ u
4
+ u
5
,

3
k=1
u
2k+1
= u
3
+ u
5
+ u
7
et

2n
k=n+1
u
k
= u
n+1
+ u
n+2
+ ... +
u
2n1
+ u
2n
.
On peut donner une dnition plus mticuleuse de

n
k=p
u
k
, vitant lutilisation de pointills. On pose
p

k=p
u
k
= u
p
et n p,
n+1

k=p
u
k
=
_
_
n

k=p
u
k
_
_
+ u
n+1
(denition par rcurrence).
La variable de sommation k est muette, ce qui signie que la valeur de la somme nest pas une fonction de k et que
cette variable peut donc tre remplace par nimporte quelle autre variable, lexception des variables utilises en bornes
(ici les variables n et p), sans modication du rsultat.
Analysons maintenant le nombre de termes de la somme (). On commence par le cas particulier o 1 p < n. Lide
est de tout rapporter lentier 1.
n entiers
..
1 ... (p 1)
. .
p1 entiers
p ... n
. .
n(p1) entiers
.
Il y a ainsi n p +1 entiers entre les entiers p et n, p et n compris. Ce rsultat reste clair quand p = n (dans ce cas,
n p + 1 = 1) ou p = 0 (dans ce cas, n p + 1 = n + 1). Donc, si n et p sont deux entiers naturels tels que p n,
entre p et n, (p et n compris), il y a n p + 1 entiers,
la somme
n

k=p
u
k
est constitue de n p + 1 termes.
Donnons maintenant direntes interprtations possibles dune telle somme. Dans le cas dune suite relle, on peut
interprter

n
k=0
u
k
comme la hauteur totale dun escalier dont la hauteur de la marche n
o
0 est u
0
, la hauteur de la
marche n
o
1 est u
1
,..., et la hauteur de la marche n
o
n est u
n
, tant entendu que si u
k
> 0, la marche est montante et si
u
k
< 0, la marche est descendante (et de mme pour lescalier tout entier si

n
k=0
u
k
< 0).
u
0
u
1
u
2
u
3 u
n1
u
n
n

k=0
u
k
Dans le cas o la suite (u
n
)
nN
est une suite de rels positifs, on dispose dune autre interprtation graphique. En
abscisse, on place les nombres 0, 1,..., n, n + 1, et en ordonne, les nombres u
0
, u
1
,..., u
n
.
u
0
u
1
u
2
u
n1
u
n
0
1 2 3 n 1
n
n + 1
. . . . . .
Si on note A
k
le point de coordonnes (k, 0) et B
k
le point de coordonnes (k, u
k
) alors, puisque la distance de 0 1
est 1, u
0
= u
0
1 est laire du rectangle (A
0
A
1
B
1
B
0
), et plus gnralement, puisque entre les deux entiers conscutifs k
c Jean-Louis Rouget, 2007. Tous droits rservs. 3 http ://www.maths-france.fr
et k +1, il y a 1 dcart, u
k
= u
k
(k +1 k) est laire du rectangle (A
k
A
k+1
B
k+1
B
k
). Par suite,

n
k=0
u
k
est la somme
des aires des rectangles ci-dessus.
1.3 Rgles de calculs
On commence par des rsultats vidents qui ont besoin dtre noncs mais nul besoin dtre dmontrs.
(u
n
)
nN
tant une suite complexe, pour n N, on pose S
n
=
n

k=0
u
k
.
1) n N, S
n+1
= S
n
+ u
n+1
, et donc aussi n N

, u
n
= S
n
S
n1
.
2) Pour n et p tels que 0 p < n,
n

k=0
u
k
=
p

k=0
u
k
+
n

k=p+1
u
k
(relation de Chasles).
En 1), la premire formule fait comprendre comment on passe de la somme n
o
n la somme n
o
(n + 1) (on rajoute
u
n+1
), et la deuxime formule permet de rcuprer u
n
en fonction de S
n
. Par exemple, si on sait que pour tout entier
naturel n,
n

k=0
u
k
=
n(n + 1)
2
, on peut connatre la valeur du n-me terme de la suite u :
pour n 1, u
n
= S
n
S
n1
=
n(n + 1)
2

(n 1)n
2
=
n((n + 1) (n 1))
2
= n.
On peut noter que puisque lon dsirait obtenir la valeur de u
n
, on na pas crit u
n+1
= S
n+1
S
n
= ..., mais on a
crit u
n
= S
n
S
n1
= ...
En 2), on doit simplement mettre en garde contre une trop grande analogie avec les intgrales. La relation de Chasles
pour les intgrales est
_
c
a
+
_
b
c
=
_
b
a
. La deuxime intgrale dmarre o nit la premire. Avec le symbole ,
la premire somme nit p et la deuxime commence lentier suivant p + 1. Pour ne pas commettre lerreur de faire
redmarrer la deuxime somme p et ainsi rpter deux fois le terme u
p
, il ne faut pas hsiter se redtailler les direntes
sommes laide de pointills en explicitant les dbuts et les ns de sommes :
u
0
+ u
1
+ ... + u
n1
+ u
n
= (u
0
+ ... + u
p
) + (u
p+1
+ ... + u
n
).
Soient (u
n
)
nN
et (v
n
)
nN
deux suites de nombres complexes.
1) n N,
n

k=0
(u
k
+ v
k
) =
n

k=0
u
k
+
n

k=0
v
k
.
2) n N, C,
n

k=0
u
k
=
n

k=0
u
k
.
3) n N, (, ) C
2
,
n

k=0
(u
k
+ v
k
) =
n

k=0
u
k
+
n

k=0
v
k
(linarit de ).
Ces rsultats sont clairs. 1) signie que (u
0
+v
0
) +(u
1
+v
1
) +... +(u
n
+v
n
) = (u
0
+u
1
+... +u
n
) +(v
0
+v
1
+... +v
n
),
2) signie que u
0
+u
1
+u
n
= (u
0
+u
1
+... +u
n
) et 3) est un cumul des rsultats de 1) et 2) (le mot linarit sera
correctement dni dans les dirents chapitres dalgbre linaire). Dautre part, ces rsultats restent bien sr valables en
changeant les bornes du .
Ainsi, on peut par exemple crire que
n

k=1
(
1
k

1
k + 1
) =
n

k=1
1
k

n

k=1
1
k + 1
ou aussi que
n

k=1
(2k
2
3k+1) = 2
n

k=1
k
2

3
n

k=1
k +
n

k=1
1. Il faut noter au passage la signication de la dernire somme :
n

k=1
1 = 1 + 1 + ... + 1
. .
n fois
= n.
On a additionn les termes dune suite constante.
La rgle 2) est source derreurs classiques. Elle signie que lon peut mettre en facteur de
n

k=0
toute expression ind-
pendante de k. Ainsi, dans
n

k=1
3n(cos )k2
k
, on peut mettre en facteur 3, n et cos , mais pas k ou 2
k
:
c Jean-Louis Rouget, 2007. Tous droits rservs. 4 http ://www.maths-france.fr
n

k=1
3n(cos )k2
k
= 3n(cos )
n

k=1
k2
k
.
Soit (u
n
)
nN
une suite complexe.
1) n N, Re
_
n

k=0
u
k
_
=
n

k=0
Re(u
k
) et Im
_
n

k=0
u
k
_
=
n

k=0
Im(u
k
).
2) n N,
n

k=0
u
k
=
n

k=0
u
k
.
Ici, on a simplement rappel que la partie relle (resp. la partie imaginaire ou le conjugu) dune somme est la somme
des parties relles (resp. des parties imaginaires ou des conjugus). Grce ces rsultats, on peut par exemple crire que

n
k=0
cos(k) =

n
k=0
Re(e
ik
) = Re
_
n
k=0
e
ik
_
.
1.4 Changement de variable
On veut calculer
n

k=1
(
1
k

1
k + 1
). Cette somme rentre dans le cadre gnral des sommes tlescopiques qui sera dtaill
plus loin. Ici, nous allons la calculer grce un changement de variable. La linarit du symbole permet dcrire :
n

k=1
(
1
k

1
k + 1
) =
n

k=1
1
k

n

k=1
1
k + 1
= (1 +
1
2
+ ... +
1
n
) (
1
2
+
1
3
+ ... +
1
n + 1
).
Dans la deuxime somme, on peut considrer que k + 1 est un entier k

prenant toutes les valeurs de 2 n + 1 et donc

n

k=1
1
k + 1
=
n+1

=2
1
k

.
Le changement de variable permet de mieux comprendre que la somme considre tait la somme des inverses des
entiers 2, 3,..., n + 1. Pendant le changement de variable, on avait besoin de deux lettres : la lettre k dsignant un entier
variant de 1 n et la lettre k

dsignant un entier variant de 2 n +1. Mais une fois que le changement de variable a eu
lieu, un nouvel exercice commence avec la somme
n+1

=2
1
k

. La lettre k

apparat alors comme une complication inutile

de lexpression et il est largement prfrable de rcrire

n+1
k=2
1
k
la somme prcdente, cette criture reprsentant aussi
la somme
1
2
+ ... +
1
n+1
. On rappelle ce sujet que la variable de sommation est muette (voir page 3). Ainsi, en n de
parcours, nous rutilisons la mme lettre k, pour dsigner un nouvel objet, mais quoi de plus normal (heureusement que
depuis le dbut de votre scolarit, vous vous tes permis de rutiliser plusieurs fois la lettre x et on a du mal imaginer
ce qui se serait pass dans le cas contraire).
On peut alors terminer le calcul pour n 2 :
n

k=1
(
1
k

1
k + 1
) =
n

k=1
1
k

n

k=1
1
k + 1
=
n

k=1
1
k

n+1

k=2
1
k
= 1 +
n

k=2
1
k

n

k=2
1
k

1
n + 1
= 1
1
n + 1
=
n
n + 1
.
En pratique, on utilise deux types de changement de variable :
Translation : on pose ; k

= k + p o p est un entier relatif donn.

Symtries : on pose k

= p k o p est un entier relatif donn.

Ces deux changements de variable ont en commun dassocier de manire bijective un ensemble de nombres entiers
conscutifs un autre. La translation est un changement de variable strictement croissant et la symtrie est un change-
ment de variable strictement dcroissant. Rappelons ce sujet que le symtrique dun rel x par rapport un rel a est
2a x car
1
2
(x + (2a x)) = a.
Par exemple, dans

n
k=1
k, posons k

= n+1 k (symtrie par rapport au nombre rationnel

n + 1
2
) ou ce qui revient
au mme k = n + 1 k

. A priori, lentier k

varie en dcroissant de n + 1 1 = n n + 1 n = 1. Nanmoins, un

est toujours pens avec une variable croissante et la borne du bas est toujours infrieure ou gale la borne du haut. Un
changement de variable dcroissant permet donc de parcourir la somme en sens inverse :
c Jean-Louis Rouget, 2007. Tous droits rservs. 5 http ://www.maths-france.fr
1 + 2 + ... + (n 1) + n =
n

k=1
k =
n

=1
(n + 1 k

) =
n

k=1
(n + 1 k) = n + (n 1) + ... + 2 + 1.
On doit noter que pour passer dune variable k une variable k

, on a besoin davoir k

en fonction de k (k

= f(k)) pour
trouver les nouvelles bornes du mais aussi k en fonction de k

(k = f
1
(k

)) pour pouvoir remplacer dans lexpression

sommer.
Exercice 1. Pour n 2, on considre la somme S
n
=
n+1

k=3
k2
2k+1
. Faire une translation dindices
o la nouvelle variable varie de 0 n 2 et une symtrie dindices o la nouvelle variable varie de 3 n + 1.
Solution. Soit n 2. On pose k

= k 3. On obtient
S
n
=
n2

=0
(k

+ 3)2
2(k

+3)+1
=
n2

k=0
(k + 3)2
2k+7
.
De mme, eectuons une symtrie par rapport au milieu de 3 et n + 1, savoir
3 + n + 1
2
=
n + 4
2
.
On pose donc k

= n + 4 k. On obtient
S
n
=
n+1

=3
(n + 4 k

)2
2(n+4k

)+1
=
n+1

k=3
(n + 4 k)2
2n+92k
.
Exercice 2. Pour n 2, montrer laide dun changement dindices que
2n1

k=n+1
ln(sin
k
2n
) =
n1

k=1
ln(sin
k
2n
).
Solution. Soit n 2. Pour k {n + 1, ..., 2n 1}, posons k

= 2n k ou encore k = 2n k

. Quand k dcrit
{n + 1, ..., 2n 1}, k

varie de 2n (2n 1) = 1 2n (n + 1) = n 1 et donc,

2n

k=n+1
ln(sin
k
2n
) =
n1

=1
ln(sin
(2n k

)
2n
) =
n1

=1
ln(sin(
k

2n
)) =
n1

=1
ln(sin(
k

2n
)) =
n1

k=1
ln(sin(
k
2n
)).
1.5 Sommes tlescopiques
Soit (u
n
)
nN
une suite de nombres complexes.
n N

,
n1

k=0
(u
k+1
u
k
) = u
n
u
0
.
Pour sen convaincre, il sut dcrire la somme non pas sous sa forme initiale (u
1
u
0
) + (u
2
u
1
) + (u
3
u
2
) +... +
(u
n1
u
n2
) + (u
n
u
n1
), mais sous la forme u
0
+ (u
1
u
1
) + (u
2
u
2
) + ... + (u
n1
u
n1
) + u
n
et on voit
les termes intermdiaires se simplier par tlescopage. On dit que la somme considre est tlescopique. Ce calcul se
visualise :
u
1
u
0
+ u
2
u
1
+ u
3
u
2
+ u
4
u
3
.
.
.
.
.
.
+ u
n1
u
n2
+ u
n
u
n1
?
u
0
+ u
1
u
1
+ u
2
u
2
+ u
3
u
3
.
.
.
.
.
.
+ u
n2
u
n2
+ u
n1
u
n1
+ u
n
u
n
u
0
Le calcul ci-dessus peut tre trait de manire synthtique laide du symbole . Pour n 2, on a :
c Jean-Louis Rouget, 2007. Tous droits rservs. 6 http ://www.maths-france.fr
n1

k=0
(u
k+1
u
k
) =
n1

k=0
u
k+1

n1

k=0
u
k
=
n

=1
u
k

n1

k=0
u
k
=
n

k=1
u
k

n1

k=0
u
k
= u
n
+
n1

k=1
u
k

n1

k=1
u
k
u
0
= u
n
u
0
.
On a dautres lectures possibles du rsultat encadr plus haut. La dirence u
k+1
u
k
visualise sur une droite muni
dun repre (0,

i ) sidentie au vecteur

u
k
u
k+1
. La formule crite sinterprte alors comme la relation de Chasles usuelle
pour les vecteurs :
(u
1
u
0
)+(u
2
u
1
)+...+(u
n1
u
n2
)+(u
n
u
n1
) " = "

u
0
u
1
+

u
1
u
2
+...+

u
n2
u
n1
+

u
n1
u
n
=

u
0
u
n
" = " u
n
u
0
.
Cest la bonne vieille formule extrmit - origine .
On peut aussi rutiliser un escalier o cette fois-ci les marches ont pour hauteur (u
1
u
0
), (u
2
u
1
),..., (u
n
u
n1
).
Dans ce cas, u
k
ne dsigne pas la hauteur dune marche mais dsigne laltitude laquelle se trouve le bas de la marche
n
o
k + 1 : le bas de cette marche est laltitude u
k
et le haut laltitude u
k+1
de sorte que la hauteur de cette marche
est gale u
k+1
u
k
. La hauteur totale de lescalier est alors la somme
n1

k=0
(u
k+1
u
k
). Ayant dmarr laltitude u
0
et
termin laltitude u
n
, la hauteur cherche est u
n
u
0
. Reprsentons ce calcul dans le cas o la suite (u
n
)
nN
est une
suite relle croissante (de sorte que chaque dirence u
k+1
u
k
est positive).
u
1
u
0
u
2
u
1
u
3
u
2
u
n1
u
n2
u
n
u
n1
n1

k=0
u
k
= u
n
u
0
u
0
u
1
u
2
u
3
u
n
Le rsultat sur les sommes tlescopiques est loutil de base permettant de calculer direntes sommes. On veut calculer
une somme du type
n

k=0
u
k
. On cherche (mais on ne trouve pas toujours) une suite (v
n
)
nN
telle que pour tout entier k,
on ait u
k
= v
k+1
v
k
(de mme que pour calculer une intgrale, on peut chercher des primitives de la fonction intgrer).
Si on trouve une telle suite primitive , alors on peut calculer la somme :
n N,
n

k=0
u
k
=
n

k=0
(v
k+1
v
k
) = v
n+1
v
0
.
En prenant loppos des deux membres, on a aussi
n N,
n

k=0
(v
k
v
k+1
) = v
0
v
n+1
.
Exercice 3. Calculer les sommes suivantes :
1) a)
n

k=1
1
k(k + 1)
, b)
n

k=1
1
k(k + 1)(k + 2)
,
2)
n

k=1
k.k!,
3)
n

k=0
2 sin
_
x
2
_
cos(kx),
4)
n

k=0
(k + 2)2
k
(chercher une suite primitive sous la forme (ak + b)2
k
)).
c Jean-Louis Rouget, 2007. Tous droits rservs. 7 http ://www.maths-france.fr
Solution.
1) Soit n N

.
n

k=1
1
k(k + 1)
=
n

k=1
(k + 1) k
k(k + 1)
=
n

k=1
(
1
k

1
k + 1
) = 1
1
n + 1
=
n
n + 1
et
n

k=1
1
k(k + 1)(k + 2)
=
n

k=1
(k + 2) k
2k(k + 1)(k + 2)
=
1
2
n

k=1
(
1
k(k + 1)

1
(k + 1)(k + 2)
) =
1
2
(
1
1.2

1
(n + 1)(n + 2)
)
=
n(n + 3)
4(n + 1)(n + 2)
.
2) Soit n N

.
n

k=1
k.k! =
n

k=1
(k + 1 1).k! =
n

k=1
((k + 1).k! 1.k!) =
n

k=1
((k + 1)! k!) = (n + 1)! 1.
3) Soit n N.
n

k=0
2 sin(
x
2
) cos(kx) =
n

k=0
sin(
x
2
+ kx) + sin(
x
2
kx) =
n

k=0
(sin((k +
1
2
)x) sin((k
1
2
)x))
= sin((n +
1
2
)x) sin(
1
2
x) = sin
(2n + 1)x
2
+ sin
x
2
.
4) Posons u
k
= (ak + b)2
k
et cherchons a et b tels que, pour tout entier k, u
k+1
u
k
= (k + 2)2
k
.
u
k+1
u
k
= (a(k + 1) + b)2
k+1
(ak + b)2
k
= 2
k
(2(a(k + 1) + b) (ak + b)) = (ak + 2a + b)2
k
.
En prenant a = 1 puis b = 0 (de sorte que 2a + b = 2), ou encore, en posant u
k
= k2
k
pour tout entier k, on a bien
u
k+1
u
k
= (k + 2)2
k
. Mais alors,
n

k=0
(k + 2)2
k
=
n

k=0
(u
k+1
u
k
) = u
n+1
u
0
= (n + 1)2
n+1
.
Commentaire . En 1)a),
1
k(k+1)
rsulte bien sr de la rduction au mme dnominateur dune fraction de dnominateur k
et dune fraction de dnominateur k + 1 et il ne faut pas longtemps pour que lon essaie de calculer la dirence
1
k

1
k+1
. En b),
on essaie de gnraliser lide. Le seul cueil viter est de calculer
1
k(k+1)

1
k(k+2)
car la deuxime fraction nest pas obtenue en
remplaant k par k + 1 dans la premire.
Exercice 4.
1) Montrer que pour a et b rels strictement positifs donns, on a Arctan a Arctanb = Arctan
_
a b
1 + ab
_
.
2) Calculer lim
n+
n

k=1
Arctan
_
1
k
2
+ k + 1
_
.
Solution.
1) Soient a et b deux rels strictement positifs. Arctan a ]0,

2
[ et Arctan b ]0,

2
[. Par suite, Arctana Arctanb
]

2
,

2
[. Mais alors, tan(Arctana Arctanb) existe et
tan(Arctana Arctanb) =
tan(Arctana) tan(Arctanb)
1 + tan(Arctan a) tan(Arctan b)
=
a b
1 + ab
= tan
_
Arctan
a b
1 + ab
_
.
Ainsi, les deux nombres Arctan a Arctan b et Arctan
_
a b
1 + ab
_
sont dans ]

2
,

2
[ et ont mme tangente. On en
dduit
que ces deux nombres sont gaux.
2) Soit k N

.
1
k
2
+ k + 1
=
1
k(k + 1) + 1
=
1/k(k + 1)
1 + 1/k(k + 1)
=
1
k

1
k + 1
1 +
1
k
1
k + 1
,
c Jean-Louis Rouget, 2007. Tous droits rservs. 8 http ://www.maths-france.fr
et donc, puisque
1
k
et
1
k + 1
sont des rels strictement positifs, le 1) permet dcrire
Arctan
1
k
2
+ k + 1
= Arctan
1
k
Arctan
1
k + 1
.
Soit n N

. Par tlescopage, on obtient

n

k=1
Arctan
1
k
2
+ k + 1
=
n

k=1
(Arctan
1
k
Arctan
1
k + 1
) = Arctan
1
1
Arctan
1
n + 1
=

4
Arctan
1
n + 1
,
et immdiatement,
lim
n+
n

k=1
Arctan
1
k
2
+ k + 1
=

4
.
Il se peut dans certains cas, que lon ne connaisse dune suite (u
n
)
nN
que son premier terme u
0
et les dirences
successives u
k+1
u
k
. On peut alors rcuprer les termes de la suite (u
n
)
nN
par une variante de la formule prcdente :
n N

, u
n
= u
0
+
n1

k=0
(u
k+1
u
k
).
On peut de nouveau noter que, puisque lon dsire la valeur de u
n
, on na pas crit u
n+1
= u
0
+

n
k=0
(u
k+1
u
k
), mais
on a crit u
n
= ... On utilise ce rsultat dans lexercice suivant :
Exercice 5. On se donne un entier n suprieur ou gal 2. Dans le plan, on trace n droites telles que deux
quelconques de ces droites ne soient pas parallles et trois quelconques de ces droites ne soient pas concourrantes.
Dterminer le nombre P(n) des rgions du plan dnies par ces n droites.
Solution. Il est clair que P(1) = 2. Soit n 1. Supposons connatre le nombre P(n) de rgions du plan dtermines
par n droites vriant les conditions de lnonc. On trace une (n + 1)-me droite (D
n+1
). Daprs les hypothses de
lnonc, (D
n+1
) coupe les n premires droites en n points deux deux distincts. Ces points dnissent sur (D
n+1
)
(n+1) intervalles (dont deux sont non borns). Chacun de ces intervalles coupe lune des P(n) rgions en deux nouvelles
rgions, rajoutant ainsi une nouvelle rgion aux P(n) rgions prexistantes. On a donc :
n 1, P(n + 1) = P(n) + (n + 1).
On peut alors calculer P(n). Soit n 2.
P(n) = P(1) +
n1

k=1
(P(k + 1) P(k)) = 2 +
n1

k=1
(k + 1) = 2 +
n

k=2
k = 1 +
n

k=1
k = 1 +
n(n + 1)
2
.
Commentaire . Pour rsoudre cet exercice, il faut commencer par tracer patiemment une droite, puis deux droites, puis trois
droites, puis quatre droites en comptant chaque fois, puis en traant lentement une cinquime droite, il faut essayer de comprendre
ce qui se passe ...
1.6 Plusieurs calculs de la somme des n premiers entiers, de leurs carrs et de leur cube
Pour (n, p) (N

)
2
, on pose S
p
(n) =
n

k=1
k
p
. On se propose de calculer S
p
(n) quand p {1, 2, 3}. Chacune des
techniques de calcul ci-dessous est digne dintrt. On peut dj noncer les rsultats suivants qui sont apprendre et
connatre :
n N

,
n

k=1
k =
n(n + 1)
2
,
n

k=1
k
2
=
n(n + 1)(2n + 1)
6
,
n

k=1
k
3
=
n
2
(n + 1)
2
4
=
_
n

k=1
k
_
2
.
c Jean-Louis Rouget, 2007. Tous droits rservs. 9 http ://www.maths-france.fr
Commenons par calculer de direntes manires S
1
(n).
Premier calcul. Au lyce, on dmontre le rsultat ci-dessus, soit par rcurrence, soit de la faon suivante :
1 + 2 + ... + k + ... + (n 1) + n
n + (n 1) + ... + n + 1 k + ... + 2 + 1
(n + 1) + (n + 1) + ... + (n + 1) + ... + (n + 1) + (n + 1)
et donc S
1
(n) + S
1
(n) = (1 + 2 + ... + n) + (n + ... + 2 + 1) = (n + 1) + (n + 1) + ... + (n + 1)
. .
n termes
= n(n + 1), ce qui fournit
le rsultat. Il est intressant de voir ce que donne cette dmonstration en utilisant le symbole :
2S
1
(n) =
n

k=1
k +
n

k=1
(n + 1 k) =
n

k=1
(n + 1) = n(n + 1).
Lide de ce premier calcul est lutilisation dune proprit particulire des suites arithmtiques : on passe de 1 2 en
ajoutant 1 et de n n 1 en retranchant 1, de sorte que les sommes 1 + n et 2 + (n 1) sont gales. . .
Deuxime calcul. On cherche une suite primitive de la suite sommer, cest--dire une suite (v
n
) telle que k
N

, v
k+1
v
k
= k. On pense immdiatement du degr 2 et on calcule : (k +1)
2
k
2
= 2k +1. Pour n N

, on a alors
n

k=1
((k + 1)
2
k
2
) =
n

k=1
(2k + 1) = 2
n

k=1
k +
n

k=1
1 = 2S
1
(n) + n.
Par tlescopage, on obtient
S
1
(n) =
1
2
_
n

k=1
((k + 1)
2
k
2
) n
_
=
1
2
((n + 1)
2
1 n) =
(n + 1)((n + 1) 1)
2
=
(n + 1)n
2
.
Ici, lide tait de faire de la somme calculer une somme tlescopique, et on y est approximativement parvenu. On
pourra gnraliser cette ide S
2
(n), S
3
(n),... en calculant (k + 1)
3
k
3
, (k + 1)
4
k
4
...
Troisime calcul. Cest une variante du calcul prcdent. La dirence (k + 1)
2
k
2
na pas fourni k mais 2k + 1. Le
triangle de Pascal fournit une suite (w
n
) telle que, pour k N

, w
k+1
w
k
= k. En eet, la relation de Pascal,
rexpose plus loin, permet dcrire pour k 2,
k =
_
k
1
_
=
_
k + 1
2
_

_
k
2
_
(=
k(k + 1)
2

k(k 1)
2
),
et donc, pour n 2,
S
1
(n) =
n

k=1
k = 1 +
n

k=2
(
_
k + 1
2
_

_
k
2
_
) = 1 + (
_
n + 1
2
_

_
2
2
_
) =
_
n + 1
2
_
=
n(n + 1)
2
.
La recherche systmatique de polynmes B
p
tels que k N

, B
p
(k + 1) B
p
(k) = k
p
conduit la dcouverte des
polynmes de Bernoulli qui seront tudis dans le chapitre Polynmes et dans le cours de deuxime anne.
Quatrime calcul. Comme souvent, reprsenter graphiquement un objet permet de comprendre cet objet.
n
. . . . . .

n
.
.
.
.
.
. +
.
.
.
.
.
. n

. . . . . .
n
=
n + 1
. . . . . .

.
.
.
.
.
. n

. . . . . .
Ainsi,
n

k=1
k est le nombre de points dun triangle isocle ayant n points de ct. Pour cette raison les nombres
n(n + 1)
2
sont appels nombres triangulaires (vous connaissiez dj les nombres carrs : n
2
est le nombre de points dun carr
ayant n points de ct). Comme dhabitude, deux triangles font un rectangle, et on lit directement 2S
1
(n) = n(n + 1).
Nombres triangulaires
1 3 6 10 15 21 28 36 45 55....
c Jean-Louis Rouget, 2007. Tous droits rservs. 10 http ://www.maths-france.fr
On peut aussi dnir les nombres pentagonaux, hexagonaux,..., voire pyramidaux,... mais nous nen parlerons pas ici.
Passons maintenant au calcul de S
2
(n) =
n

k=1
k
2
et S
3
(n) =
n

k=1
k
3
. Nous traiterons ce calcul travers un exercice.
Exercice 6. En utilisant les expressions dveloppes de (k + 1)
3
k
3
et (k + 1)
4
k
4
,
calculer S
2
(n) =
n

k=1
k
2
et S
3
(n) =
n

k=1
k
3
.
Solution. Soit n N

. Pour 1 k n, on a (k+1)
3
k
3
= 3k
2
+3k+1. En additionnant ces n galits, on obtient :
(n + 1)
3
1 =
n

k=1
((k + 1)
3
k
3
) = 3
n

k=1
k
2
+ 3
n

k=1
k +
n

k=1
1 = 3S
2
(n) + 3S
1
(n) + n,
et donc,
S
2
(n) =
1
3
[(n + 1)
3
1 3
n(n + 1)
2
n] =
1
6
[2(n + 1)
3
3n(n + 1) 2(n + 1)] =
n + 1
6
(2(n
2
+ 2n + 1) 3n 2)
=
(n + 1)(2n
2
+ n)
6
=
n(n + 1)(2n + 1)
6
.
De mme, (n + 1)
4
1 =

n
k=1
((k + 1)
4
k
4
) = 4S
3
(n) + 6S
2
(n) + 4S
1
(n) + n, et donc,
S
3
(n) =
1
4
[(n + 1)
4
1 6
n(n + 1)(2n + 1)
6
4
n(n + 1)
2
n] =
n + 1
4
[(n + 1)
3
n(2n + 1) 2n 1]
=
(n + 1)
2
4
((n + 1)
2
(2n + 1)) =
n
2
(n + 1)
2
4
.
1.7 Somme de termes conscutifs dune suite arithmtique ou dune suite gomtrique
1.7.1 Suites arithmtiques
On rappelle le rsultat suivant :
Soient (u
n
)
nN
une suite arithmtique complexe et n et p deux entiers naturels tels que n = p,
n

k=p
u
k
=
(u
p
+ u
n
)(n p + 1)
2
=
(premier terme + dernier terme) (nombre de termes)
2
.
Pour dmontrer ce rsultat, on utilise le fait que les sommes u
p
+ u
n
, u
p+1
+ u
n1
= u
p
+ r + u
n
r = u
p
+ u
n
,
u
p+2
+u
n2
= u
p
+2r+u
n
2r = u
p
+u
n
,..., et plus gnralement u
k
+u
n+pk
= u
p
+(kp)r+u
n
+(pk)r = u
p
+u
n
sont gales. Cela donne
2
n

k=p
u
k
=
n

k=p
u
k
+
n

k=p
u
k
=
n

k=p
u
k
+
n

=p
u
n+pk
=
n

k=p
u
k
+
n

k=p
u
n+pk
=
n

k=p
(u
k
+ u
n+pk
)
=
n

k=p
(u
p
+ u
n
) = (n p + 1)(u
p
+ u
n
).
Exercice 7. Calculer les sommes : 1)
n+1

k=3
k, 2)
n

k=1
(2k 1).
Solution.
1) Pour n 2,
n+1

k=3
k =
(3 + (n + 1))((n + 1) 2)
2
=
(n 1)(n + 4)
2
.
2) Pour n N

,
n

k=1
(2k 1) =
(1 + (2n 1))n
2
= n
2
.
c Jean-Louis Rouget, 2007. Tous droits rservs. 11 http ://www.maths-france.fr
Commentaire . Rappelons que les suites arithmtiques sont les suites de la forme un = an + b (o a et b sont indpendants
de n). Ainsi, dans les deux cas nous devions calculer une somme de termes conscutifs dune suite arithmtique. En 1), il aurait t
trs maladroit dcrire

n+1
k=3
k =

n
k=1
k 1 2 + (n+1) et de mme en 2), il aurait t un peu maladroit dcrire

n
k=1
(2k 1) =
2

n
k=1
k

n
k=1
1. Dans les deux cas, nous avons utilis la formule (premier terme+ dernier terme)(nombre de termes)/2.
1.7.2 Suites gomtriques
On rappelle les rsultats suivants :
Soient q un nombre complexe et n un entier naturel
Si q = 1,
n

k=0
q
k
=
1 q
n+1
1 q
, et si q = 1,
n

k=0
q
k
= n + 1,
Soient (u
n
)
nN
une suite gomtrique complexe de raison q = 1
et n et p deux entiers naturels tels que p n,
n

k=p
u
k
= u
p
1 q
np+1
1 q
= premier terme
1 raison
nombre de termes
1 raison
.
Notons que si q est un rel strictement suprieur 1, il faut avoir comme rexe dcrire

n
k=0
q
k
=
q
n+1
1
q1
,
criture dans laquelle numrateur et dnominateur sont strictement positifs. Ainsi,

n
k=0
2
k
=
2
n+1
1
21
= 2
n+1
1 et

n
k=0
1
2
k
=
1
1
2
n+1
1
1
2
= 2
1
2
n
.
Dmontrons les rsultats ci-dessus. Pour n dans N et q C, posons S
n
=
n

k=0
q
k
.
On suppose que q est dirent de 1 (le rsultat est clair quand q = 1). Alors
S
n
qS
n
=
n

k=0
q
k

k=0
q
k+1
=
n

k=0
(q
k
q
k+1
) = 1 q
n+1
(somme tlescopique),
do le rsultat. Plus gnralement, si (u
n
)
nN
est une suite gomtrique de raison q = 1,
n

k=p
u
k
=
n

k=p
u
p
q
kp
= u
p
np

k=0
q
k
= u
p
1 q
np+1
1 q
.
Exercice 8. Calculer
1)
n1

k=3
2
k
, 2)
n

k=0
cos(k), 3)
n

k=0
2
k
cos
2k
3
, 4)
n

k=1
kx
k
pour x R.
Solution.
1) Pour n 4,
n1

k=3
2
k
= 2
3
2
n3
1
2 1
= 2
n
8.
2)
n

k=0
cos(k) =
n

k=0
(1)
k
=
1 (1)
n+1
1 (1)
=
1
2
(1 + (1)
n
) =
_
1 si n est pair
0 si n est impair
.
3) En posant j = e
2i/3
,
n

k=0
2
k
cos
2k
3
= Re
_
n

k=0
2
k
e
2ik/3
_
= Re
_
n

k=0
(2j)
k
_
= Re
_
2
n+1
j
n+1
1
2j 1
_
= Re
_
(2
n+1
j
n+1
1)(2j
2
1)
(2j 1)(2j
2
1)
_
=
1
7
Re(2
n+2
e
2i(n+3)/3
2
n+1
e
2i(n+1)/3
2e
4i/3
+ 1) (car j
3
= 1 et j
2
+ j = 1)
=
1
7
(2
n+2
cos
2(n + 3)
3
2
n+1
cos
2(n + 1)
3
+ 2).
c Jean-Louis Rouget, 2007. Tous droits rservs. 12 http ://www.maths-france.fr
4) Pour x R et n N

, posons f
n
(x) =
n

k=0
x
k
et S
n
(x) =
n

k=1
kx
k
. Alors,
xf

n
(x) = x
n

k=1
kx
k1
=
n

k=1
kx
k
= S
n
(x).
Si x ] , 1[]1, +[, f
n
(x) =
x
n+1
1
x 1
et donc
S
n
(x) = xf

n
(x) = x
(n + 1)x
n
(x 1) (x
n+1
1)
(x 1)
2
= x
nx
n+1
(n + 1)x
n
+ 1
(x 1)
2
.
Si x = 1, on a directement S
n
(1) =
n

k=1
k =
n(n + 1)
2
.
1.8 Lidentit a
n
b
n
Thorme 1. Soient a et b deux nombres complexes et n un entier naturel non nul.
a
n
b
n
= (a b)(a
n1
+ a
n2
b + ... + ab
n2
+ b
n1
) = (a b)
n1

k=0
a
n1k
b
k
.
Dmonstration. Par tlescopage, on obtient
(a b)
n1

k=0
a
n1k
b
k
= a
n1

k=0
a
n1k
b
k
b
n1

k=0
a
n1k
b
k
=
n1

k=0
a
nk
b
k

n1

k=0
a
n1k
b
k+1
=
n1

k=0
(a
nk
b
k
a
n(k+1)
b
k+1
) = a
n
b
n
.
J
Ainsi,
a
2
b
2
= (a b)(a + b), a
3
b
3
= (a b)(a
2
+ ab + b
2
), a
4
b
4
= (a b)(a
3
+ a
2
b + ab
2
+ b
3
).
Cette identit est lie au paragraphe prcdent : quand a = 1 et b = q, on obtient 1 q
n
= (1 q)
n1

k=0
q
k
.
Quand n est impair, on a b
n
= +(b)
n
et on obtient une nouvelle identit :
Thorme 2. Soient a et b deux nombres complexes et n un entier naturel impair.
a
n
+ b
n
= (a + b)(a
n1
a
n2
b + ... ab
n2
+ b
n1
) = (a + b)
n1

k=0
(1)
k
a
n1k
b
k
.
Ainsi,
a
3
+ b
3
= (a + b)(a
2
ab + b
2
), a
5
+ b
5
= (a + b)(a
4
a
3
b + a
2
b
2
ab
3
+ b
4
).
c Jean-Louis Rouget, 2007. Tous droits rservs. 13 http ://www.maths-france.fr
1.9 Sommes trigonomtriques
Les dirents rsultats sur les sommes de termes conscutifs dune suite gomtrique et sur les sommes tlescopiques
ont une application dans le calcul de certaines sommes trigonomtriques.
Pour R et n N, on pose S
n
() =
n

k=0
cos(k). On se propose de calculer S
n
() par deux mthodes direntes (la
somme prcdente a une grande importance dans la thorie des sries de Fourier aborde en mathmatiques spciales
et il faut connatre et savoir refaire parfaitement les calculs qui suivent).
Premire mthode. Soient R et n N. S
n
() = Re(
n

k=0
e
ik
) = Re(
n

k=0
(e
i
)
k
).
Maintenant, e
i
= 1 2Z. Deux cas se dgagent.
Si / 2Z,
S
n
() = Re
_
1 (e
i
)
n+1
1 e
i
_
= Re
_
e
i(
n+1
2

1
2
)
e
i(n+1)/2
e
i(n+1)/2
e
i/2
e
i/2
_
= Re
_
e
in/2
2i sin((n + 1)/2)
2i sin(/2)
_
=
sin((n + 1)/2)
sin(/2)
Re(e
in/2
) =
cos(n/2) sin((n + 1)/2)
sin(/2)
.
Si 2Z, on trouve directement S
n
() =
n

k=0
1 = n + 1.
Premire mthode (variante). Pour / 2Z,
n

k=n
e
ik
=
1

k=n
e
ik
+ 1 +
n

k=1
e
ik
= 1 +
n

k=1
(e
ik
+ e
ik
) = 1 + 2
n

k=1
cos(k) = 1 + 2(S
n
() 1) = 2S
n
() 1.
Par suite,
2S
n
() 1 =
n

k=n
e
ik
= e
in
1 e
i(2n+1)
1 e
i
= e
i(n+(2n+1)/21/2)
sin((2n + 1)/2)
sin(/2)
=
sin((2n + 1)/2)
sin(/2)
.
Ainsi, S
n
() =
1
2
(1 +
sin((2n + 1)/2)
sin(/2)
) =
sin(/2) + sin((2n + 1)/2)
2 sin(/2)
=
cos(n/2) sin((n + 1)/2)
sin(/2)
.
Deuxime mthode. Par tlescopage, on obtient
2 sin

2
S
n
() =
n

k=0
2 sin

2
cos(k) =
n

k=0
(sin(k +

2
) sin(k

2
))
=
n

k=0
(sin((k + 1
1
2
)) sin((k
1
2
)) = sin((n + 1
1
2
)) sin(
1
2
)
= sin(
(2n + 1)
2
) + sin(

2
) = 2 sin(
(n + 1)
2
) cos(
n
2
).
Exercice 9. Pour R et n N, calculer les sommes suivantes : 1)
n

k=0
sin(k), 2)
n

k=0
cos
2
(k).
Solution. Soient R et n N.
1) Si / 2Z,
n

k=0
sin(k) = Im
_
1 (e
i
)
n+1
1 e
i
_
= Im
_
e
i((n+1)/21/2)
e
i(n+1)/2
e
i(n+1)/2
e
i/2
e
i/2
_
=
sin(n/2) sin((n + 1)/2)
sin(/2)
.
Si 2Z,

n
k=0
sin(k) = 0.
2)
n

k=0
cos
2
(k) =
n

k=0
1
2
(1 + cos(2k)) =
1
2
(
n

k=0
1 +
n

k=0
cos(2k)) =
1
2
(n + 1 +
n

k=0
cos(2k)).
Puis, si / Z,
c Jean-Louis Rouget, 2007. Tous droits rservs. 14 http ://www.maths-france.fr
n

k=0
cos(2k)) = Re(
n

k=0
e
2ik
) = Re(
1 e
2i(n+1)
1 e
2i
) = Re(e
in
2i sin((n + 1))
2i sin()
) =
cos(n) sin((n + 1))
sin()
,
et donc

n
k=0
cos
2
(k) =
1
2
(n + 1 +
cos(n) sin((n + 1))
sin()
).
Si Z,
n

k=0
cos
2
(k) =
n

k=0
1 = n + 1.
Commentaire . Dans la solution ci-dessus, nous navons suppos acquise aucune formule et nous avons redmarr les calculs
zro. En 2), une variante tait

n
k=0
cos
2
+

n
k=0
sin
2
=

n
k=0
1 = n+1 et

n
k=0
cos
2

n
k=0
sin
2
=

n
k=0
cos(2) = . . .
Puis on obtient

n
k=0
cos
2
ou

n
k=0
sin
2
en ajoutant ou en retranchant membre membre.
1.10 Sommes doubles
Quand on dveloppe lexpression (a
1
+ a
2
)(b
1
+ b
2
+ b
3
), on obtient a
1
b
1
+ a
1
b
2
+ a
1
b
3
+ a
2
b
1
+ a
2
b
2
+ a
2
b
3
.
Si les deux parenthses avaient contenu respectivement 6 et 9 termes au lieu de 2 et 3, lexpression dveloppe aurait
t constiue de 6 9 = 54 termes et serait ingrable. On a de nouveau besoin dune notation synthtique. Le mme
dveloppement peut scrire
(
2

i=1
a
i
)(
3

j=1
b
j
) =
2

i=1
(
3

j=1
a
i
b
j
) =

1i2, 1j3
a
i
b
j
.
La premire galit est obtenue en distribuant chacun des termes de la premire parenthse sur la deuxime. Dans la
dernire expression, les encadrements 1 i 2, 1 j 3 signient que les deux indices i et j varient respectivement
de 1 2 et de 1 3, indpendamment lun de lautre, ou encore que le couple (i, j) prend les 2 3 = 6 valeurs
suivantes : (1, 1), (1, 2), (1, 3), (2, 1), (2, 2), (2, 3). Par ailleurs, la suite (a
i
b
j
)
1i2, 1j3
est un exemple de suite double
(on dit aussi suite double entre). Il faut deux indices pour dcrire son terme gnral et lon pourrait dcider de le noter
u
i,j
(u
i,j
= a
i
b
j
), insistant ainsi sur le fait que deux numros sont ncessaires pour dcrire un terme. Ceci nous amne
la dnition suivante :
Dnition 1. Soit (u
i,j
)
(i,j)N
2 une suite double complexe. Pour n, p, q et r entiers naturels donns tels que n p et
q r, on pose

nip, qjr
u
i,j
=
p

i=n
_
_
r

j=q
u
i,j
_
_
.
On a maintenant une dnition gnrale qui mrite dtre analyse. Lexpression
2

i=1
_
_
3

j=1
u
i,j
_
_
contient 6 termes,
additionns dans un ordre trs prcis. On commence donner la valeur 1 i puis on fait varier j de 1 3, puis on donne
i la valeur 2 et on fait de nouveau varier j de 1 3. La signication exacte de
2

i=1
_
_
3

j=1
u
i,j
_
_
est donc (u
1,1
+u
1,2
+u
1,3
)+
(u
2,1
+ u
2,2
+ u
2,3
). Mais, laddition des complexes tant commutative (et associative), cette somme peut tout autant
scrire u
2,1
+u
2,2
+u
1,3
+u
1,1
+u
2,3
+u
1,2
. On a l la signication la plus exacte de lexpression

1i2, 1j3
u
i,j
: on veut
additionner les 6 termes u
i,j
, en vrac . Pour ce faire, on peut dcider dordonner les calculs en faisant varier j i x,
puis en faisant varier i, cest--dire en sommant sur j dabord puis sur i ensuite. Ceci correspond lcriture
2

i=1
_
_
3

j=1
u
i,j
_
_
.
Mais on peut aussi dcider de xer dabord j, cest--dire de sommer sur i j x puis de sommer sur j, ce qui correspond
lcriture
3

j=1
_
2

i=1
u
i,j
_
. Cette dernire somme scrit explicitement : (u
1,1
+ u
2,1
) + (u
1,2
+ u
2,2
) + (u
1,3
+ u
2,3
). De
manire gnrale :
c Jean-Louis Rouget, 2007. Tous droits rservs. 15 http ://www.maths-france.fr
Thorme 3. Soit (u
i,j
)
(i,j)N
2 une suite double complexe. Pour n et p entiers naturels donns,
n

i=0
_
_
p

j=0
u
i,j
_
_
=
p

j=0
_
n

i=0
u
i,j
_
.
Dmonstration. On prsente les nombres u
i,j
dans un tableau double entre o le numro i est un numro de ligne
(horizontale) et le numro j est un numro de colonne (verticale) :
0 1 . . . j . . . p
0 u
0,0
u
0,1
. . . u
0,j
. . . u
0,p
1 u
1,0
u
1,1
u
1,j
u
1,p
.
.
.
.
.
.
.
.
.
i u
i,0
u
i,1
u
i,j
u
i,p
.
.
.
.
.
.
.
.
.
n u
n,0
u
n,1
. . . u
n,j
. . . un,p
0 1 . . . j . . . p
0 u
0,0
u
0,1
. . . u
0,j
. . . u
0,p
1 u
1,0
u
1,1
u
1,j
u
1,p
.
.
.
.
.
.
.
.
.
i u
i,0
u
i,1
u
i,j
u
i,p
.
.
.
.
.
.
.
.
.
n u
n,0
u
n,1
. . . u
n,j
. . . un,p
Le tableau de gauche reprsente

n
i=0

p
j=0
u
i,j

et le tableau de droite reprsente

p
j=0
`
n
i=0
u
i,j

. Dans le premier cas, on

a additionn tous les termes dune mme ligne puis on est pass la ligne suivante et dans le deuxime, on a additionn tous les
termes dune colonne puis on est pass la colonne suivante. Dans les deux cas, on additionn tous les u
i,j
.
J
En rfrence au tableau prcdent, additionner en ligne les nombres u
i,j
, cest calculer

n
i=0
(

p
j=0
u
i,j
) et addi-
tionner en colonne les nombres u
i,j
, cest calculer

p
j=0
(

n
i=0
u
i,j
). A i x,

p
j=0
u
i,j
est la somme des termes de la
ligne i et j x,

n
i=0
u
i,j
est la somme des termes de la colonne j.
Dveloppement dun produit de deux sommes.
On se donne n nombres complexes a
1
,..., a
n
puis p autres nombres complexes b
1
,..., b
p
. Immdiatement, on a
1)
_
n

i=1
a
i
_

_
_
p

j=1
b
j
_
_
=

1in, 1jp
a
i
b
j
2)
_
n

i=1
a
i
_
2
=

1i,jn
a
i
a
j
=
n

i=1
a
2
i
+ 2

1i<jn
a
i
a
j
.
En 1), on doit noter que lorsquon dveloppe le produit dune parenthse n termes par une parenthse p termes,
on obtient n p termes (chacun des n nombres a
i
est multipli par chacun des p nombres b
j
). La premire galit de 2)
est un cas particulier de 1) (p = n et pour tout i, b
i
= a
i
). Dans la deuxime galit, on a isol les n termes a
i
a
i
, ce
qui permet dj dcrire
_
n

i=1
a
i
_
2
=
n

i=1
a
2
i
+

i=j
a
i
a
j
,
puis on a regroup les termes gaux (a
1
a
2
+a
2
a
1
= 2a
1
a
2
et plus gnralement, en imposant i < j, a
i
a
j
+a
j
a
i
= 2a
i
a
j
).
Ainsi, par exemple,
(a + b + c)
2
= a
2
+ b
2
+ c
2
+ 2(ab + ac + bc).
Gnralisation.
Dans ce qui prcde, on a fait varier le couple (i, j) dans le rectangle R = {(i, j) N
2
/ 0 i n, 0 j p} et on a not

0in, 0jp
la somme correspondante. Quand p = n, au lieu de

0in, 0jn
, on crit plus simplement

0i,jn
. Ainsi,

0i,j1
u
i,j
= u
0,0
+ u
1,0
+ u
0,1
+ u
1,1
.
Plus gnralement, on peut faire varier le couple dindices (i, j) dans un sous-ensemble D de lensemble des couples
dentiers compris entre 0 et n. La somme correspondante se note alors

(i,j)D
u
i,j
.
c Jean-Louis Rouget, 2007. Tous droits rservs. 16 http ://www.maths-france.fr
Les situations les plus frquentes sont

0ijn
,

0i<jn
et

0i,jn, i=j
(souvent note plus simplement

i=j
). Dans
chacun des cas, il est indispensable de se reprsenter lensemble des couples (i, j) considrs, par exemple en visualisant
un repre :
0
1 2 3 n
1
2
3
n
j
i
i = j
i > j
i < j
Exercice 10. Ecrire les sommes suivantes en sommant en lignes et de mme en sommant en colonnes
1)

1i<jn
ij, 2)

1jin
ij.
Solution. Soit n 2. En sommant en lignes, on obtient
1)

1i<jn
ij =
n1

i=1
_
_
n

j=i+1
ij
_
_
=
n1

i=1
_
_
i
n

j=i+1
j
_
_
, et
2)

1jin
ij =
n

i=1
_
_
i

j=1
ij
_
_
=
n

i=1
_
_
i
i

j=1
j
_
_
.
En sommant en colonnes, on obtient
1)

1i<jn
ij =
n

j=2
_
j1

i=1
ij
_
=
n

j=2
_
j
j1

i=1
i
_
, et
2)

1jin
ij =
n

j=1
_
_
n

i=j
ij
_
_
=
n

j=1
_
_
j
n

j=i
i
_
_
.
Par exemple, pour crire correctement la premire somme, on a visualis dans un tableau ou un repre lensemble des
couples (i, j) tels que 1 i < j n (ce qui se dtaille en 1 i et i < j et j n), on a x un i entre 1 et n 1 (ces deux
nombres sont obtenus en projetant sur laxe des i le domaine considr) puis on a fait varier j de i +1 n (ces nombres
sont lus sur une verticale ).
Exercice 11. Calculer les sommes suivantes : 1)

1i<jn
ij, 2)

1i<jn
i, 3)

1i,jn
ij
Solution. Soit n N

.
1)

1i<jn
ij =
n1

i=1
_
_
i
n

j=i+1
j
_
_
=
n1

i=1
i
(i + 1 + n)(n i)
2
=
1
2
(
n1

i=1
i
3

n1

i=1
i
2
+ n(n + 1)
n1

i=1
i)
=
1
2
(
(n 1)
2
n
2
4

(n 1)n(2n 1)
6
+
(n 1)n
2
(n + 1)
2
)
=
(n 1)n
24
(3(n 1)n 2(2n 1) + 6n(n + 1)) =
(n 1)n(3n
2
+ 5n + 2)
24
.
2)

1i<jn
i =
n1

i=1
(i
n

j=i+1
1) =
n1

i=1
i(n i) = n
n1

i=1
i
n1

i=1
i
2
=
n
2
(n 1)
2

n(n 1)(2n 1)
6
=
n(n 1)(3n (2n 1))
6
=
(n + 1)n(n 1)
6
.
c Jean-Louis Rouget, 2007. Tous droits rservs. 17 http ://www.maths-france.fr
3)

1i,jn
ij = (
n

i=1
i)
2
=
n
2
(n + 1)
2
4
.
Commentaire .
En 2), il faut comprendre que pour i et j donns, u
i,j
= i. Ainsi, on a plac le nombre 1 dans toutes les cases de la premire
ligne, le nombre 2 dans toutes les cases de la deuxime ligne...
En 1), on aurait pu tre plus astucieux. On a

1i<jn
ij +

1j<in
ij +

i=j
ij =

1i,jn
ij = (
n

i=1
i)
2
.
Mais bien sr,

1i<jn
ij =

1j<in
ij et donc
2

1i<jn
ij +
n

i=1
i
2
= (
n

i=1
i)
2
. . ..
En 1) toujours, la premire tape, nous avons crit

1i<jn
ij =
n1

i=1

i
n

j=i+1
j
!
ce qui peut se dtailler en

1i<jn
ij =
n1

i=1

j=i+1
ij
!
=
n1

i=1

i
n

j=i+1
j
!
. Maintenant, dans
n

j=i+1
ij, la variable est j. On peut donc mettre i en facteurs mais pas j.
Ensuite, nous avons crit
n

j=i+1
j =
(i + 1 + n)(n i)
2
et pour ce faire, nous avons utilis la formule fournissant une somme de
termes conscutifs dune suite arithmtique fournie page 11.
2 Le binome de Newton
2.1 Les coecients binomiaux
Pour n N

, on pose n! = 12... n, et par convention, 0! = 1. n! est la factorielle de lentier n. On peut galement

dnir n! par rcurrence : 0! = 1 et n N, (n + 1)! = (n + 1) n!. On doit connatre les premires factorielles :
0! = 1 1! = 1 2! = 2 3! = 6 4! = 24 5! = 120 6! = 720 7! = 5040...
Maintenant, pour n et p entiers naturels donns, on dnit le symbole
_
n
p
_
(aussi not C
p
n
) par
_
n
p
_
=
n!
p!(n p)!
si p n et
_
n
p
_
= 0 si p > n.
Les dnitions prcdentes sont premptoires et non motives. Ce problme sera rgl dans le chapitre Dnombre-
ments o lon donnera la signication du coecient
_
n
p
_
. La manipulation de ces coecients appartient une branche
des mathmatiques appele analyse combinatoire, qui est lensemble des techniques qui servent dnombrer (ou plus
simplement compter).
On doit dj connatre en tant que telles les valeurs usuelles suivantes :
n N,
_
n
0
_
=
_
n
n
_
= 1, n N

,
_
n
1
_
=
_
n
n1
_
= n, n 2,
_
n
2
_
=
_
n
n 2
_
=
n(n 1)
2
.
Sinon, les direntes proprits de calculs des coecients binomiaux sont regroups dans lencadr de la page suivante.
c Jean-Louis Rouget, 2007. Tous droits rservs. 18 http ://www.maths-france.fr
Thorme 4.
1) Pour n et p entiers naturels donns tels que 1 p n,
_
n
p
_
=
p facteurs
..
n(n 1)...(n p + 1)
p!
.
2) Pour n et p entiers naturels donns tels que 0 p n,
_
n
p
_
=
_
n
n p
_
.
3) Pour n et p entiers naturels donns tels que 1 p n 1,
_
n 1
p 1
_
+
_
n 1
p
_
=
_
n
p
_
.
4) Pour n et p entiers naturels donns tels que 1 p n,
_
n
p
_
=
n
p
_
n 1
p 1
_
,
et donc aussi p
_
n
p
_
= n
_
n 1
p 1
_
.
Dmonstration.
1)

n
p
!
=
n...(n p + 1)(n p)...1
p!(n p)!
=
n...(n p + 1) (n p)!
p!(n p)!
=
n(n 1)...(n p + 1)
p!
.
2)

n
n p
!
=
n!
(n p)!(n (n p))!
=
n!
(n p)!p!
=

n
p
!
.
3)

n 1
p 1
!
+

n 1
p
!
=
(n 1)!
(p 1)!(n p)!
+
(n 1)!
p!(n 1 p)!
=
p.(n 1)!
p.(p 1)!(n p)!
+
(n p)(n 1)!
p!(n p).(n 1 p)!
=
p.(n 1)! + (n p)(n 1)!
p!(n p)!
=
n.(n 1)!
p!(n p)!
=
n!
p!(n p)!
=

n
p
!
.
4)

n
p
!
=
n!
p!(n p)!
=
n.(n 1)!
p.(p 1)!((n 1) (p 1))!
=
n
p

n 1
p 1
!
. J
Commentaire .
La relation 1) fournit une criture simplie du coecient

n
p
!
. Cette criture de

n
p
!
est frquement meilleure que la premire
fournie car la fraction est simplie. On lutilise systmatiquement quand p prend une valeur prcise petite. Par exemple,

8
2
!
=
8 7
2
= 28 et non pas

8
2
!
=
8!
2!6!
, ou aussi

n
2
!
=
2 facteurs
..
n(n 1)
2
et non pas

n
2
!
=
n!
2!(n 2)!
. Dautre part, seule cette expression
de

n
p
!
pourra se gnraliser au cas o n nest pas entier. Ainsi, on verra que

1/2
3
!
=
3 facteurs
..
1
2
(
1
2
1)(
1
2
2)
3 2
(alors que bien sr,
lcriture
1
2
!
3!(
1
2
3)!
na aucun sens).
La relation 2) montre la symtrie des coecients binmiaux. Par exemple,

8
2
!
=

8
6
!
ou

n
2
!
=

n
n 2
!
. Les entiers p et
n p sont symtriques par rapport au nombre rationnel
n
2
car leur somme vaut p + (n p) = n.
Les relations 3) et 4) permettent lune ou lautre de calculer les coecients binomiaux par rcurrence. Dans les deux cas, si on
connat les coecients de la ligne n
o
(n 1) du triangle de Pascal, on peut en dduire ceux de la ligne n
o
n. La relation 3) est
la relation de Pascal qui fournit la construction usuelle du triangle de Pascal (voir ci-dessous). Elle a un mrite supplmentaire
par rapport la relation 4) : elle nutilise quune addition, cette opration tant ralise plus rapidement par une machine quune
multiplication et une division, oprations utilises quant elles en 4).
On a donn une variante de 4). La nuance entre les deux galits est que la deuxime ne fait apparatre que des nombres entiers
alors que la premire fait apparatre des fractions. La deuxime galit, sans fraction, se rvlera pratique utiliser en arithmtique.
c Jean-Louis Rouget, 2007. Tous droits rservs. 19 http ://www.maths-france.fr
On doit aussi noter que la relation 3) reste valable pour p n. En eet, si p = n,

n 1
p 1
!
+

n 1
p
!
= 1 =

n
p
!
, et si p > n,

n 1
p 1
!
+

n 1
p
!
= 0 =

n
p
!
.
Triangle de Pascal
On reprsente dans un tableau les nombres
_
n
p
_
, n tant un numro de ligne et p un numro de colonne. On dmarre
la construction de ce tableau inni en plaant des 1 dans les cases (0, 0), (1, 0), (2, 0),..., (k, 0)... et aussi (1, 1), (2, 2),...,
(k, k). Puis on remplit le triangle ainsi form grce la relation de Pascal. Le nombre
_
n
p
_
est la somme de
_
n1
p
_
et
_
n1
p1
_
ou encore la somme des deux nombres de la ligne prcdente situs juste au-dessus et au-dessus et gauche.
0 1 2 3 4 5 6 7
0 1
1 1 1
2 1 2 1
_
n1
p1
_
+
_
n1
p
_
3 1 3 3 1 =
_
n
p
_
4 1 4 6 4 1
5 1 5 10 10 5 1
6 1 6 15 20 15 6 1
7 1 7 21 35 35 21 7 1
n
p
Ce tableau que Blaise Pascal nommait le triangle arithmtique, na pas t dcouvert par Pascal lui-mme mais, cest
le premier lavoir tudi de manire systmatique. Il est dune richesse innie. Par exemple,
la somme des termes dune ligne est une puissance de 2 (1 + 1 = 2, 1 + 2 + 1 = 4, 1 + 3 + 3 + 1 = 8,...). Ceci sera
dmontr plus loin.
dans les lignes dont le numro est un nombre premier (n = 2, n = 3, n = 5, n = 7, . . . ) tous les coecients
lexception du premier et du dernier sont divisibles par n (par exemple dans la ligne n
o
7, les nombres 7, 21 et 35
sont divisibles par 7). Ce rsultat constitue un exercice classique darithmtique.
Quand on additionne les nombres dune colonne jusqu une certaine ligne, on trouve le coecient situ la ligne
et la colonne suivante. Par exemple, en descendant le long de la colonne n
o
2 et en sarrtant la ligne n
o
5, on
trouve 1 + 3 + 6 + 10 = 20 qui est le coecient situ la colonne n
o
3 et la ligne n
o
6. Ce rsultat est un exercice
classique danalyse combinatoire...
2.2 La formule du binme de Newton
Thorme 4 (formule du binme de Newton). Soient a et b deux nombres complexes. Pour tout entier naturel n,
on a
(a + b)
n
=
n

k=0
_
n
k
_
a
nk
b
k
=
n

k=0
_
n
k
_
a
k
b
nk
.
La formule ci-dessus appelle plusieurs commentaires. Tout dabord, lentier k varie de 0 n (et non pas de 1 n), et
cette somme est donc constitue de n+1 termes et non pas de n termes ((a+b)
1
contient deux termes, (a+b)
2
contient
trois termes...). Ensuite, les premiers et derniers termes sont
_
n
0
_
a
n
b
0
= a
n
b
0
et
_
n
n
_
a
0
b
n
= a
0
b
n
. Ces termes devant par
ailleurs tre a
n
et b
n
, on dcide conventionnellement que pour tout nombre complexe z, on a z
0
= 1, y compris quand
z = 0. Cette convention permet dune part de donner du terme gnral de la somme une criture unique :
_
n
k
_
a
nk
b
k
et
dautre part, permet que la formule crite soit valable dans les cas particuliers a = 0 ou b = 0. Par exemple, quand b = 0,
lexpression b
k
vaut 0 quand k 1 et 1 quand k = 0 de sorte que
_
n
k
_
a
nk
b
k
vaut 0 quand k 1 et a
n
quand k = 0.
Nanmoins, la convention z
0
= 1 est trs dangeureuse quand z = 0 et source derreurs dans certaines situations, et on doit
normment sen mer.
c Jean-Louis Rouget, 2007. Tous droits rservs. 20 http ://www.maths-france.fr
Dmonstration. Le rsultat est conventionnel quand n = 0. On le dmontre par rcurrence quand n 1.
Pour n = 1, (a + b)
1
= a + b =
`
1
0

a
1
b
0
+
`
1
1

1
k=0
`
1
k

a
1k
b
k
. Le rsultat est donc vrai pour n = 1.
Soit n 1. Supposons que (a + b)
n
=

n
k=0
`
n
k

a
nk
b
k
. Alors,
(a + b)
n+1
= (a + b)(a + b)
n
= (a + b)
n

k=0

n
k
!
a
nk
b
k
(par hypothse de rcurrence)
= a
n

k=0

n
k
!
a
nk
b
k
+ b
n

k=0

n
k
!
a
nk
b
k
=
n

k=0

n
k
!
a
n+1k
b
k
+
n

k=0

n
k
!
a
nk
b
k+1
=
n

k=0

n
k
!
a
n+1k
b
k
+
n+1

=1

n
k

1
!
a
n(k

1)
b
k

(en posant k

= k + 1)
= a
n+1
+
n

k=1

n
k
!
a
n+1k
b
k
+
n

k=1

n
k 1
!
a
n+1k
b
k
+ b
n+1
= a
n+1
+
n

k=1
(

n
k
!
+

n
k 1
!
)a
n+1k
b
k
+ b
n+1
= a
n+1
+
n

k=1

n + 1
k
!
a
n+1k
b
k
+ b
n+1
=
n+1

k=0

n + 1
k
!
a
n+1k
b
k
.
On a montr par rcurrence que n N

, (a + b)
n
=

n
k=0
`
n
k

a
nk
b
k
, le rsultat restant vrai quand n = 0. Dautre part,

n
k=0
`
n
k

a
nk
b
k
=

n
k=0
`
n
nk

a
n(nk)
b
nk
=

n
k=0
`
n
k

a
k
b
nk
. J
En remplaant b par b, on obtient (ab)
n
=
n

k=0
_
n
k
_
(1)
k
a
nk
b
k
. Dans la pratique, on aura souvent intrt ne
pas utiliser cette formule. Par exemple, pour dvelopper (21)
n
, on crira (21)
n
= (2+(1))
n
=

n
k=0
_
n
k
_
2
nk
(1)
k
,
vitant ainsi des problmes de signes dus une mauvaise utilisation de la symtrie du binme.
Exercice 12. Calculer les sommes suivantes : 1)
n

k=0
_
n
k
_
2
k
, 2)
2n

k=1
_
2n
k
_
(1)
k
2
k1
, 3)
n

k=0
_
n
k
_
cos
k
2
.
Solution.
1) Soit n N.
n

k=0
_
n
k
_
2
k
=
n

k=0
_
n
k
_
2
k
1
nk
= (1 + 2)
n
= 3
n
.
2) Soit n N

.
2n

k=1
_
2n
k
_
(1)
k
2
k1
=
1
2
2n

k=1
_
2n
k
_
(2)
k
=
1
2
_
2n

k=0
_
2n
k
_
(2)
k
1
_
=
1
2
((2 + 1)
2n
1) = 0.
3) Soit n N.
n

k=0
_
n
k
_
cos
k
2
= Re
_
n

k=0
_
n
k
_
(e
i/2
)
k
_
= Re((1 + e
i/2
)
n
) = Re(e
in/4
(e
i/4
+ e
i/4
)
n
)
= 2
n
cos
n
4
(
1

2
)
n
= 2
n/2
cos
n
4
.
Commentaire . Dans les trois cas, il sagit de reprer le dveloppement dun binme. Le 2) est le moins clair. Cest le
coecient
`
2n
k

qui nous guide et non pas les bornes du . Ce coecient nous dit de chercher un binme dexposant 2n.
Exercice 13. Quel est le coecient de a
4
b
2
c
3
dans le dveloppement de (a b + 2c)
9
?
Solution. La formule du binme de Newton fournit
(a b + 2c)
9
=

9
k=0
_
9
k
_
(a b)
k
(2c)
9k
= (a b)
9
+ ... +
_
9
6
_
(a b)
6
(2c)
3
+ ... + (2c)
9
.
Ensuite, (a b)
6
=

6
k=0
_
6
k
_
a
k
(b)
6k
= a
6
... +
_
6
4
_
a
4
b
2
.. + b
6
.
Le coecient cherch est donc
_
9
6
__
6
4
_
2
3
=
987
32

65
2
2
3
= 3 4 7 3 5 8 = 10080.
c Jean-Louis Rouget, 2007. Tous droits rservs. 21 http ://www.maths-france.fr
Commentaire . Cet exercice nest pas anecdotique. Le moment venu, il faudra dvelopper des expressions compliques. Ceci
sera en partie envisag dans le chapitre Dnombrements , et poursuivi dans les chapitres Polynmes puis Dveloppements
limits .
Thorme 5. 1) n N,
n

k=0
_
n
k
_
= 2
n
, 2) n N

0k
n
2
_
n
2k
_
=

0k
n1
2
_
n
2k + 1
_
= 2
n1
.
Dmonstration. 1) Soit n N.
n

k=0

n
k
!
=
n

k=0

n
k
!
1
k
1
nk
= (1 + 1)
n
= 2
n
.
2) Soit n N

. Posons S
1
=

0k
n
2

n
2k
!
et S
2
=

0k
n1
2

n
2k + 1
!
. Alors, S
1
S
2
=
n

k=0
(1)
k

n
k
!
= (1 1)
n
= 0 (car n 1),
et donc S
1
= S
2
. Puis 2S
1
= S
1
+ S
2
=
n

k=0

n
k
!
= 2
n
, et donc S
1
= S
2
= 2
n
/2 = 2
n1
.
J
Commentaire . La dmonstration du 2) est peut-tre plus lisible en dtaillant les sommes considres. On a crit que
(
`
n
0

+
`
n
2

+
`
n
4

+ ...) (
`
n
1

+
`
n
3

+
`
n
5

+ ...) =
`
n
0

`
n
1

+
`
n
2

`
n
3

+
`
n
4

`
n
5

+ ... = (1 1)
n
= 0
et que
(
`
n
0

+
`
n
2

+
`
n
4

+ ...) + (
`
n
1

+
`
n
3

+
`
n
5

+ ...) =
`
n
0

+
`
n
1

+
`
n
2

+
`
n
3

+
`
n
4

+
`
n
5

+ ... = 2
n
.
Dtaillons lcriture de la somme S
1
. Il nest pas possible de prciser le dernier terme sans prciser la parit de lentier n. Le terme
gnral de la somme S
1
scrit
`
n
2k

o k est un entier naturel tel que 0 2k n, ou encore 0 k

n
2
. On a crit ce dernier
encadrement sous le symbole ce qui signie que k prend toutes les valeurs entires comprises entre 0 et
n
2
, sans ncessairement
prendre la valeur
n
2
.
Exercice 14. (identits combinatoires)
1) Calculer les sommes
_
n
0
_
+
_
n
3
_
+
_
n
6
_
+ ... et
_
n
0
_
+
_
n
4
_
+
_
n
8
_
+ ... pour n N.
2) Calculer la somme 0
_
n
0
_
+ 1
_
n
1
_
+ ... + n
_
n
n
_
.
3) Montrer que
_
p
p
_
+
_
p + 1
p
_
... +
_
n
p
_
=
_
n + 1
p + 1
_
o 0 p n. Interprtation dans le triangle de Pascal ?
4) Montrer que
_
n
0
_
2
+
_
n
1
_
2
+ ... +
_
n
n
_
2
=
_
2n
n
_
(utiliser le polynme (1 + x)
2n
).
Solution.
1) Soit n N. En posant j = e
2i/3
, on a : (1 + 1)
n
+ (1 + j)
n
+ (1 + j
2
)
n
=

n
k=0
_
n
k
_
(1 + j
k
+ j
2k
).
Maintenant, puisque j
3
= 1,
si k 3N, il existe p N tel que k = 3p et 1 + j
k
+ j
2k
= 1 + (j
3
)
p
+ (j
3
)
2p
= 3 ;
si k 3N + 1, il existe p N tel que k = 3p + 1 et 1 + j
k
+ j
2k
= 1 + j(j
3
)
p
+ j
2
(j
3
)
2p
= 1 + j + j
2
= 0 ;
si k 3N + 2, il existe p N tel que k = 3p + 2 et 1 + j
k
+ j
2k
= 1 + j
2
(j
3
)
p
+ j
4
(j
3
)
2p
= 1 + j
2
+ j = 0.
Finalement,
n

k=0
_
n
k
_
(1 + j
k
+ j
2k
) = 3

0k
n
3
_
n
3k
_
. Par suite,

0k
n
3
_
n
3k
_
=
1
3
(2
n
+ (1 + j)
n
+ (1 + j
2
)
n
) =
1
3
(2
n
+ 2Re((1 + j)
n
)) =
1
3
(2
n
+ 2Re((j
2
)
n
)) =
1
3
(2
n
+ 2 cos
n
3
).
De mme, pour n N

, (1 +1)
n
+ (1 +i)
n
+ (1 1)
n
+ (1 i)
n
=
n

k=0
_
n
k
_
(1
k
+i
k
+ (1)
k
+ (i)
k
) = 4

0k
n
4
_
n
4k
_
.
Par suite,

0k
n
4
_
n
4k
_
=
1
4
(2
n
+ 2Re((1 + i)
n
)) =
1
4
(2
n
+ 2Re((

2e
i/4
)
n
)) =
1
4
(2
n
+ 2
n
2
+1
Re(e
in/4
))
=
1
4
_
2
n
+ 2
n
2
+1
cos
_
n
4
__
.
c Jean-Louis Rouget, 2007. Tous droits rservs. 22 http ://www.maths-france.fr
2) 1re solution. Pour x rel, posons P(x) =

n
k=1
k
_
n
k
_
x
k1
. Pour x rel,
P(x) =
d
dx
(

n
k=0
_
n
k
_
x
k
) =
d
dx
((1 + x)
n
) = n(1 + x)
n1
.
En particulier, pour x = 1, on obtient :

n
k=1
k
_
n
k
_
= n(1 + 1)
n1
= n2
n1
.
2me solution.

n
k=1
k
_
n
k
_
=

n
k=1
n
_
n1
k1
_
= n

n1
k=0
_
n1
k
_
= n(1 + 1)
n1
= n2
n1
.
3) Pour 1 k n p,
_
p+k
p
_
=
_
p+k+1
p+1
_

_
p+k
p+1
_
(ce qui reste vrai pour k = 0 en tenant compte de
_
p
p+1
_
= 0). Par
tlescopage, on obtient alors

np
k=0
_
p+k
p
_
= 1 +

np
k=1
_
p+k+1
p+1
_

_
p+k
p+1
_
= 1 +
_
n+1
p+1
_
1 =
_
n+1
p+1
_
.
Interprtation dans le triangle de Pascal : quand on descend dans le triangle de Pascal, le long de la colonne p, du
coecient
_
p
p
_
(ligne p) au coecient
_
p
n
_
(ligne n), et que lon additionne ces coecients, on trouve
_
n+1
p+1
_
qui se trouve
une ligne plus bas et une colonne plus loin.
4)
_
2n
n
_
est le coecient de x
n
dans le dveloppement de (1 + x)
2n
. Mais dautre part ,
(1 + x)
2n
= (1 + x)
n
(1 + x)
n
= (

n
k=0
_
n
k
_
x
k
)(

n
k=0
_
n
k
_
x
k
).
Dans le dveloppement de cette dernire expression, le coecient de x
n
vaut

n
k=0
_
n
k
__
n
nk
_
ou encore

n
k=0
_
n
k
_
2
.
Deux polynmes sont gaux si et seulement si ils ont mmes coecients et donc
_
2n
n
_
=

n
k=0
_
n
k
_
2
.
Commentaire . Le 1) est un prolongement du thorme qui prcde cet exercice. On veut calculer la somme des coecients
binomiaux de 2 en 2, de 3 en 3, de 4 en 4... La connaissance des racines k-mes de lunit dans C nous a guid. Ces racines ont
deux proprits fondamentales. Tout dabord, (1)
2
= 1, j
3
= (j
2
)
3
= 1, i
4
= (1)
4
= (i)
4
= 1... et de manire gnrale, si est
une racine k-me de 1,
k
= 1. Dans les dveloppements de (1 1)
n
, (1 + j)
n
, (1 + i)
n
, on retrouve donc crit un coecient 1 de
2 en 2, de 3 en 3... Mais de plus, 1 1 = 0, 1 + j + j
2
= 0, 1 + i 1 i = 0 ce qui a permis, par addition, dliminer les coecients
binomiaux indsirables.
2.3 Application la trigonomtrie
2.3.1 Linarisation
Dans le chapitre Complexes , nous avons dj vu des exemples de linarisation. Nous pouvons maintenant passer
au cas gnral. Pour n N, linarisons lexpression cos
n
x.
cos
n
x =
_
e
ix
+ e
ix
2
_
n
=
1
2
n
n

k=0
_
n
k
_
(e
ix
)
k
(e
ix
)
nk
=
1
2
n
n

k=0
_
n
k
_
e
i(2kn)x
.
Si n est pair, on peut poser n = 2p o p est un entier naturel. En isolant le terme k = p et en regroupant les termes
conjugus, on obtient :
cos
2p
x =
1
2
2p
(
_
2p
p
_
+
2p

k=p+1
_
2p
k
_
e
2i(kp)x
+
p1

k=0
_
2p
k
_
e
2i(kp)x
)
=
1
2
2p
(
_
2p
p
_
+
p

=1
_
2p
p + k

_
e
2ik

x
+
p

=1
_
2p
p k

_
e
2ik

x
) (en posant k

= k p et k

= p k)
=
1
2
2p
(
_
2p
p
_
+
p

k=1
_
2p
p + k
_
e
2ikx
+
p

k=1
_
2p
p k
_
e
2ikx
) (
_
2p
k + p
_
=
_
2p
k p
_
car p + k + p k = 2p)
=
1
2
2p
(
_
2p
p
_
+
p

k=1
_
2p
p + k
_
(e
2ikx
+ e
2ikx
)) =
1
2
2p
(
_
2p
p
_
+ 2
p

k=1
_
2p
p + k
_
cos(2kx)).
Ainsi,
c Jean-Louis Rouget, 2007. Tous droits rservs. 23 http ://www.maths-france.fr
p N, x R, cos
2p
x =
1
2
2p
(
_
2p
p
_
+ 2
p

k=1
_
2p
p + k
_
cos(2kx)).
Pour comprendre compltement le calcul ci-dessus, il faut le refaire en crivant explicitement beaucoup de termes du
dbut, du milieu et de la n.
Le cas o n est impair se traite de manire analogue (il nest pas besoin dans ce cas disoler un terme), de mme que la
linarisation de sin
n
x.
On rappelle quil est indispensable de savoir linariser pour savoir intgrer (et mme driver) correctement des expressions
trigonomtriques, le moment venu. La matrise parfaite de lexercice ci-dessous est un objectif essentiel.
Exercice 15. Linariser les expressions suivantes : 1) cos
4
x, 2) sin
5
x, 3) cos
3
x sin
4
x, 4) cos
3
x sin
3
x.
Solution.
cos
4
x =
_
e
ix
+ e
ix
2
_
4
=
1
16
((e
ix
)
4
+ 4(e
ix
)
3
e
ix
+ 6(e
ix
)
2
(e
2ix
)
2
+ 4e
ix
(e
ix
)
3
+ (e
ix
)
4
)
=
1
16
(e
4ix
+ e
4ix
+ 4(e
2ix
+ e
2ix
) + 6) =
1
8
(cos(4x) + 4 cos(2x) + 3).
Commentaire . A la premire tape du calcul, on a tout de suite isol
1
2
4
et en mme temps dvelopp le binme. A la
deuxime tape, on a regroup les termes conjugus. A la troisime tape, on a utilis e
i
+ e
i
= 2 cos puis on a simpli ce 2
et prenant garde au coecient isol, qui lui na pas t doubl.
sin
5
x =
_
e
ix
e
ix
2i
_
5
=
1
32i
((e
5ix
e
5ix
) 5(e
3ix
e
3ix
) + 10(e
ix
e
ix
))
=
1
16
(sin(5x) 5 sin(3x) + 10 sin(x)).
Commentaire . Ici, il ne faut pas oublier le nombre i : sin =
1
2i
(e
i
+ e
i
) et e
i
+ e
i
= 2i sin .
cos
3
x sin
4
x =
1
2
3
1
(2i)
4
(e
3ix
+ 3e
ix
+ 3e
ix
+ e
3ix
)(e
4ix
4e
2ix
+ 6 4e
2ix
+ e
4ix
)
=
1
2
7
(e
7ix
+ e
7ix
(e
5ix
+ e
5ix
) 3(e
3ix
+ e
3ix
) + 3(e
ix
+ e
ix
))
=
1
64
(cos(7x) cos(5x) 3 cos(3x) + 3 cos(x)).
Commentaire . Ici, il faut dvelopper compltement lexpression avant de repasser en sinus et cosinus.
cos
3
x sin
3
x =
_
sin(2x)
2
_
3
=
1
2
3

1
(2i)
3
(e
2ix
e
2ix
)
3
=
1
2
3

1
(2i)
3
((e
6ix
e
6ix
) 3(e
2ix
e
2ix
))
=
1
2
3

1
(2i)
3
(2i sin(6x) 3 2i sin(2x)) =
1
32
(sin(6x) + 3 sin(2x)).
Commentaire . Dans les quatre cas, la parit de la fonction tait une aide prcieuse dans les calculs. En 1) et 3), les fonctions
considres sont paires et on peut dmontrer que le dveloppement ne peut contenir que des cosinus. De mme, les fonctions de 2)
et 4) sont impaires et le dveloppement ne peut contenir que des sinus.
c Jean-Louis Rouget, 2007. Tous droits rservs. 24 http ://www.maths-france.fr
2.3.2 Polynmes de Tchebychev
Pour n entier naturel donn, cherchons exprimer cos(nx) comme une expressions polynomiale en cos x.
cos(nx) = Re(e
inx
) = Re((e
ix
)
n
) = Re((cos x + i sin x)
n
) = Re(
n

k=0
_
n
k
_
cos
nk
x(i sinx)
k
)
=

0l
n
2
_
n
2l
_
cos
n2l
x(i)
2l
(sin
2
x)
l
=

0l
n
2
(1)
l
_
n
2l
_
cos
n2l
x(1 cos
2
x)
l
.
Ainsi, si pour tout rel X, on pose
T
n
(X) =

0l
n
2
(1)
l
_
n
2l
_
X
n2l
(1 X
2
)
l
,
alors, pour tout rel x, on a T
n
(cos x) = cos(nx). T
n
est le n-me poynme de Tchebychev de premire espce. Ceux-ci
seront tudis en dtail dans le chapitre Polynmes .
Pour 0 n 3, on obtient en particulier
X R, T
0
(X) = 1, X R, T
1
(X) = X, X R, T
2
(X) = 2X
2
1, X R, T
3
(X) = 4X
3
3X.
3 Le symbole
Si (u
n
)
nN
est une suite de nombres complexes, pour p et n entiers naturels tels que p n, on note
n

k=p
u
k
le produit
u
p
u
p+1
... u
n
. Ainsi,
p

k=p
u
k
= u
p
et n p,
n+1

k=p
u
k
=
_
_
n

k=p
u
k
_
_
u
n+1
.
Par exemple, pour n 1, on peut crire n! =

n
k=1
k ou aussi, pour n 1 et a C, a
n
=

n
k=1
a. Les rgles de
calculs usuelles sont les suivantes :
1)
n

k=p
u
k
v
k
=
_
_
n

k=p
u
k
_
_
_
_
n

k=p
v
k
_
_
et
n

k=p
(u
k
) =
np+1
n

k=p
u
k
.
2)
_
_
n

k=p
u
k
_
_

=
n

k=p
u

k
.
On dispose aussi dune formule sur les produits telescopiques pour une suite (u
n
)
nN
ne sannulant pas :
n1

k=p
u
k+1
u
k
=
u
n
u
p
(=
extrmit
origine
).
Enn, les fonctions exponentielles et logarithmes permettent de relier les sommes et les produits (la premire formule est
valable pour une suite de rels strictement positifs uniquement) :
ln
_
_
n

k=p
u
k
_
_
=
n

k=p
ln(u
k
) et
n

k=p
e
u
k
= e

n
k=p
u
k
.
c Jean-Louis Rouget, 2007. Tous droits rservs. 25 http ://www.maths-france.fr
Exercice 16. Calculer : 1)
n

k=1
(1 +
1
k
)
2)
n

k=1
ln(cos
a
2
k
) o a est un rel donn lment de ]0, [ puis dterminer lim
n+
n

k=1
ln(cos
a
2
k
).
Solution.
1) Soit n N

.
n

k=1
(1 +
1
k
) =
n

k=1
k + 1
k
=
n + 1
1
= n + 1 (produit tlescopique).
2) Soient n N

et a ]0, [. Puisque a ]0, [, pour k 1,

a
2
k
]0,

2
[. Par suite, pour tout k compris entre 1 et n,
cos
a
2
k
> 0. On en dduit que la somme propose est parfaitement dnie.
Ensuite, pour x ]0,

2
[, on a sin(2x) = 2 sin x cos x et donc, cos x =
sin(2x)
2 sin x
(sin x tant non nul). Pour x =
a
2
k
, on
obtient en particulier cos
a
2
k
=
sin(a/2
k1
)
2 sin(a/2
k
)
et donc :
n

k=1
ln(cos
a
2
k
) = ln
_
n

k=1
cos
a
2
k
_
= ln
_
n

k=1
sin(a/2
k1
)
2 sin(a/2
k
)
_
= ln
_
n

k=1
2
k1
sin(a/2
k1
)
2
k
sin(a/2
k
)
_
= ln
_
sina
2
n
sin(a/2
n
)
_
(produit tlescopique).
Maintenant, on sait que lim
x0
sin x
x
= 1. Par suite, lim
n+
sin(a/2
n
)
a/2
n
= 1 et donc, quand n tend vers +,
sina
2
n
sin(a/2
n
)
=
sin a
a
1
sin(a/2
n
)
a/2
n
tend vers
sin a
a
. Finalement,
lim
n+
n

k=1
ln(cos
a
2
k
) = ln
_
sin a
a
_
.
4 Erreurs classiques ne pas commettre
Il ne faut pas crire k N, n N,
n

k=0
u
k
= ... mais il faut crire n N,
n

k=0
u
k
= .. (la somme crite ne dpend
pas de k).
Il ne faut pas crire
n

k=0
u
k
=
p

k=0
u
k
+
n

k=p
u
k
(la deuxime somme doit commencer p + 1).
Il ne faut pas mettre en facteurs de
n

k=0
... une expression dpendant de k.

k=1
(k + 1) ne vaut pas (
n

k=1
k) + 1 mais vaut
n

k=1
k +
n

k=1
1 = (
n

k=1
k) + n.

k=0
2
2k
ne vaut pas
10

=0
2
k

. Cette dernire somme contient 11 termes et il y en a donc 5 de trop. Dautre part, les
entiers 2k o k varie de 0 5 ne sont pas conscutifs, alors que les entiers k

o k

varie de 0 10 le sont.

k=1
(u
2k
u
2k1
) nest pas une somme tlescopique.
Il ne faut pas oublier le premier terme dune somme gomtrique.
La formule du binme nest pas (a+b)
n
=
n

k=1
... mais (a+b)
n
=
n

k=0
_
n
k
_
a
k
b
nk
. Cette somme contient n+1 termes.
c Jean-Louis Rouget, 2007. Tous droits rservs. 26 http ://www.maths-france.fr
Dans la formule du binme, il ne faut pas oublier les coecients binomiaux ! La somme
n

k=0
a
k
b
nk
ne vaut pas du
tout (a + b)
n
(cette somme vaut
a
n+1
b
n+1
a b
).
Quand b = 0, la somme
n

k=0
_
n
k
_
a
nk
b
k
ne vaut pas 0 mais a
n
. La convention usuelle sur le sujet est 0
k
= 0 si k 1
et 1 si k = 0.
Le dveloppement de (
n

i=1
a
i
)
2
nest pas
n

i=1
a
2
i
mais est

1i,jn
a
i
a
j
.

1ijn
u
i,j
nest pas
j

i=1
(
n

j=i
u
i,j
) mais est par exemple
n

i=1
(
n

j=i
u
i,j
).
c Jean-Louis Rouget, 2007. Tous droits rservs. 27 http ://www.maths-france.fr