Formule du binôme généralisée

Un article de Wikipédia, l'encyclopédie libre.
Sauter à la navigation Sauter à la recherche

La formule du binôme généralisée permet de développer une puissance complexe d'une somme de deux termes sous forme d'une somme de série et généralise la formule du binôme de Newton et celle du binôme négatif. Dans le cas d'un exposant rationnel, elle a été énoncée sans démonstration par Newton dans ses Principia Mathematica en 1687, puis prouvée par Euler en 1773.

Énoncé[modifier | modifier le code]

Pour tous nombres complexes r, x et y tels que |y| < |x|,[réf. nécessaire]

ou encore : pour tous nombres complexes r et z tels que |z| < 1,

série convergente dans laquelle, pour tout entier naturel k, le coefficient de zk est le coefficient binomial

quotient par k! du symbole de Pochhammer (r)k pour les factorielles décroissantes (en particulier, est égal à 1, comme quotient de deux produits vides).

Propriétés[modifier | modifier le code]

La formule du binôme de Newton est le cas particulier et la formule du binôme négatif est le cas particulier .

La première formule reste valide pour des éléments x et y d'une algèbre de Banach, qui commutent (xy = yx) et tels que x soit inversible et ║y/x║ < 1.[réf. nécessaire]

Démonstration[modifier | modifier le code]

La (branche principale de la) fonction est holomorphe sur le disque de centre 0 et de rayon 1 et sa dérivée (complexe) k-ième en 0 est égale à (r)k. Elle est donc développable en série entière sur ce disque selon la seconde formule.

Voir aussi[modifier | modifier le code]

Sur les autres projets Wikimedia :

Série binomiale (en)