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é

<math>(x+y)^r=\sum_{k=0}^\infty{r\choose k}x^{r-k}y^k</math>

ou encore : pour tous nombres complexes Modèle:Mvar et Modèle:Mvar tels que Modèle:Math,

<math>(1+z)^r=\sum_{k=0}^\infty{r\choose k}z^k</math>,

série convergente dans laquelle, pour tout entier naturel Modèle:Mvar, le coefficient de Modèle:Mvar est le coefficient binomial généralisé

<math>{r\choose k}=\frac{r(r-1)(r-2)\cdots(r-k+1)}{k!}=\frac{(r)_k}{k!}</math>,

quotient par [[Factorielle|Modèle:Math]] du symbole de Pochhammer Modèle:Math pour les factorielles décroissantes (en particulier, <math>{r\choose 0}=\frac{(r)_0}{0!}</math> est égal à Modèle:Math, comme quotient de deux produits vides).

Propriétés

La formule du binôme de Newton est le cas particulier <math>r\in\N</math> et la formule du binôme négatif est le cas particulier <math>r\in-\N</math>.

Démonstration

La (branche principale de la) fonction <math>z\mapsto(1+z)^r</math> 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.