Formule du binôme généralisée
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é
modifierPour tous nombres complexes r, x et y tels que ,[réf. souhaitée]
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 généralisé
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
modifierLa 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. souhaitée]
Démonstration
modifierLa (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.