Le problème
On souhaite disposer d’une formule générale pour développer le produit
où
Lorsque
Lorsque
On a déjà utilisé également le développement correspondant à
Dans le cas général, on conçoit que pour développer
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
On peut donc conjecturer la propriété suivante : pour tout entier naturel
Preuve de la conjecture
Avec les notations adoptées, nous pouvons écrire :
et au rang suivant :
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
ou encore :
Cette écriture permet de regrouper les deux sommes en une :
On a par ailleurs de façon évidente :
D’où finalement :
En comparant les égalités (1) et (2) ci-dessus, on obtient par identification des coefficients :
Conclusion
La formule conjecturée étant vraie, on peut calculer de proche en proche les coefficients binomiaux
Complément : lire le billet sur le triangle de Pascal.
Wikio