Formule du binôme de Newton
![Page d’aide sur l’homonymie](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a9/Logo_disambig.svg/20px-Logo_disambig.svg.png)
Pour les articles homonymes, voir Binôme.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/0/00/Binomial_expansion_visualisation.svg/220px-Binomial_expansion_visualisation.svg.png)
La formule du binôme de Newton est une formule mathématique donnée par Isaac Newton[1] pour trouver le développement d'une puissance entière quelconque d'un binôme. Elle est aussi appelée formule du binôme ou formule de Newton.
Énoncé
Si x et y sont deux éléments d'un anneau (par exemple deux nombres réels ou complexes, deux polynômes, deux matrices carrées de même taille, etc.) qui commutent[2] (c'est-à-dire tels que xy = yx — par exemple pour des matrices : y = la matrice identité) alors, pour tout entier naturel n,
où les nombres (parfois aussi notés Ck
n) sont les coefficients binomiaux, « ! » désignant la factorielle et x0 l'élément unité de l'anneau.
En remplaçant dans la formule y par –y, on obtient : .
Exemples :
Démonstration
On peut démontrer la formule de l'énoncé par récurrence[3],[4].
Une preuve plus intuitive[5] utilise le fait que le coefficient binomial est le nombre de parties à k éléments dans un ensemble à n éléments. Quand on développe l'expression
- ,
on obtient une somme de monômes de la forme xjyk où j et k représentent respectivement le nombre de fois qu'on a choisi x ou y en développant. On a forcément j = n – k, puisqu'à chaque fois qu'on ne choisit pas y, on choisit x. Enfin, comme il y a manières différentes de choisir k fois la valeur y parmi les n expressions (x + y) multipliées ci-dessus, le monôme xn–kyk doit apparaître dans le développement avec le coefficient .
Généralisations
La démonstration par récurrence peut être calquée pour démontrer la formule de Leibniz pour la dérivée n-ième d'un produit.
La méthode combinatoire de sa variante permet de généraliser l'identité polynomiale
en
où les σk désignent les polynômes symétriques élémentaires.
Il est également possible de généraliser la formule à des sommes de m termes complexes élevées à une puissance entière n (voir l'article Formule du multinôme de Newton) :
et à des exposants non entiers (voir l'article Formule du binôme généralisée) ou entiers négatifs (voir l'article Formule du binôme négatif).
L’application de la formule à des anneaux de fonctions bien choisis (ou en calquant la démonstration par récurrence) permet d’en déduire la formule des différences finies d’ordre supérieur, ainsi que la formule de Taylor à deux variables.
Enfin, les méthodes du calcul ombral permettent d’obtenir des formules analogues (où les exposants sont remplacés par des indices) pour certaines suites de polynômes, tels que les polynômes de Bernoulli.
Dans la littérature
Le professeur Moriarty, ennemi du célèbre Sherlock Holmes, aurait publié un article sur le binôme de Newton[6].
Notes et références
- ↑ En réalité, cette formule était connue dès le Xe siècle, en particulier des mathématiciens indiens (Halayudha (en)), arabes et perses (Al-Karaji) et au XIIIe siècle, le mathématicien chinois Yang Hui la démontra indépendamment. En 1665, Newton la généralisa à des exposants non entiers (voir l'article formule du binôme généralisée).
- ↑ Cette condition est essentielle, et d'ailleurs équivalente à la validité de la formule pour n = 2.
- ↑ La démonstration classique est disponible sur Wikiversité (voir infra), ainsi qu'une méthode plus originale dans cet exercice corrigé sur Wikiversité.
- ↑ Binôme de Newton : Démonstration par récurrence en vidéo.
- ↑ Binôme de Newton : Démonstration par dénombrement en vidéo.
- ↑ Arthur Conan Doyle, Le Dernier Problème, 1891.
Voir aussi
Sur les autres projets Wikimedia :
- Formule du binôme de Newton, sur Wikimedia Commons
- Formule du binôme de Newton, sur Wikiversity
Articles connexes
Lien externe
Binôme de Newton dans le cas d'un exposant impair
Bibliographie
(en) J. L. Coolidge, « The Story of the Binomial Theorem », Amer. Math. Monthly, vol. 56, no 3, , p. 147-157 (JSTOR 2305028, lire en ligne)
Portail de l’algèbre