Formule du binôme négatif
# Formule du binôme négatif

La formule du binôme négatif permet de développer une puissance entière strictement négative d'une somme de deux termes, et apparaît comme un cas particulier de la formule du binôme généralisée.

## Énoncé

   Pour tout entier naturel $r$, on a :
   ${\frac {1}{(1-x)^{r+1}}}=\sum _{k=r}^{+\infty }{k \choose r}x^{k-r}$
   où ${k \choose r}$ est un coefficient binomial.

Cette égalité est vraie au sens des séries formelles ($x$ étant une indéterminée), ou au sens des fonctions définies sur le disque unité ouvert du plan complexe ($x$ étant un nombre complexe de module strictement inférieur à 1) ou de la boule unité ouverte de toute autre algèbre de Banach.

Elle peut aussi s'écrire :

    $\forall r\in \mathbb {N} \quad (1-x)^{-(r+1)}=\sum _{j=0}^{+\infty }{r+j \choose j}x^{j}$

ou encore :

$\forall n\in \mathbb {N} ^{*}\quad (1-x)^{-n}=\sum _{j=0}^{+\infty }{n+j-1 \choose j}x^{j}$

soit, en posant $z=-x$ et en utilisant les coefficients binomiaux généralisés aux nombres négatifs

    ${-n \choose j}:={n+j-1 \choose j}(-1)^{j}$ :

$\forall n\in \mathbb {N} ^{*}\quad (1+z)^{-n}=\sum _{j=0}^{+\infty }{-n \choose j}z^{j}$

## Démonstration

La formule ci-dessus est le cas particulier $r=-n\in -\mathbb {N} ^{*}$ de la formule du binôme généralisée, valide pour tout r réel et pour complexe z de module strictement inférieur à 1 :

$\quad (1+z)^{r}=\sum _{k=0}^{\infty }{r \choose k}z^{k}$

mais on peut aussi, de même que la formule du binôme usuelle (le cas $r=n\in \mathbb {N}$), démontrer directement la formule du binôme négatif par récurrence.

## Note

* ↑ Voir par exemple cet exercice corrigé sur Wikiversité.
