
Le problème
On souhaite disposer d’une formule générale pour développer le produit

où
et
sont des complexes donnés et
un entier naturel.
Lorsque
, on sait faire :

Lorsque
, on sait aussi :

On a déjà utilisé également le développement correspondant à
:

Dans le cas général, on conçoit que pour développer
, il convient de choisir, dans chacun des
facteurs égaux à
, soit
, soit
. Le résultat sera donc une somme de termes de la forme
(on a choisi
dans
facteurs et
dans les autres), avec
variant de 0 à
. Tout le problème est de compter combien de fois chacun de ces termes apparaît dans le développement.
Conjecture
Observons les premiers coefficients qui apparaissent dans les cas particuliers ci-dessus :

Les premiers coefficients
A l’observation de ces coefficients, on remarque une propriété qui permet de calculer les termes de la ligne suivante :

Règle de calcul
Pour écrire clairement la conjecture suggérée par la figure ci-dessus, nous avons besoin d’une nouvelle notation. Nous noterons
le nombre d’apparition du terme
dans le développement.
On peut donc conjecturer la propriété suivante : pour tout entier naturel
, pour tout entier
variant de 1 à
,

Preuve de la conjecture
Avec les notations adoptées, nous pouvons écrire :

et au rang suivant :
(1).
Calculons cette deuxième somme d’une autre façon :

D’où 
Dans la première somme, effectuons le changement de numérotation des termes consistant à remplacer
par
:

ou encore :
.
Cette écriture permet de regrouper les deux sommes en une :

On a par ailleurs de façon évidente :
et
.
D’où finalement :
(2) .
En comparant les égalités (1) et (2) ci-dessus, on obtient par identification des coefficients :
, pour tout entier naturel
, pour tout entier
variant de 1 à
, ce qui prouve la conjecture.
Conclusion
La formule conjecturée étant vraie, on peut calculer de proche en proche les coefficients binomiaux
pour développer des produits du type
.
Complément : lire le billet sur le triangle de Pascal.
Wikio