La formule qui développe la puissance d'une somme à deux termes (x + y)^n en une somme finie de termes C(n,k) x^{n-k} y^k, où C(n,k) sont les coefficients binomiaux et n est un entier naturel.

Principe

Les coefficients du développement correspondent à des combinaisons : le coefficient de x^{n-k} y^k compte les façons de choisir k occurrences de y parmi n facteurs, donné par le coefficient binomial C(n,k).

Démonstration

Pour n = 3 : (x + y)^3 = x^3 + 3 x^2 y + 3 x y^2 + y^3 ; les coefficients 1, 3, 3, 1 correspondent à C(3,0), C(3,1), C(3,2), C(3,3).

Mauvaise application

Appliquer la forme finie du théorème binomial quand n n'est pas un entier naturel (par exemple un exposant négatif ou non entier) sans vérifier la convergence ; cela omet que le développement devient une série infinie nécessitant des conditions analytiques.

Conséquence

Fournit une méthode directe et combinatoire pour calculer des développements de polynômes, établir des identités et relier les développements algébriques au dénombrement et aux modèles de probabilité.

Inversion

Au lieu de développer une somme en une somme de monômes, l'inversion consiste à factoriser un polynôme en composantes multiplicatives plus simples ; conceptuellement, le développement disperse la structure parmi les monômes tandis que la factorisation la concentre.

Limite

S'applique comme somme finie quand n est un entier naturel. Pour des exposants négatifs ou non entiers, il faut utiliser la série binomiale généralisée (infinie) et imposer des conditions de convergence ; le théorème tel quel n'englobe pas les facteurs non commutatifs ou à valeurs opérateurs sans hypothèses supplémentaires.

Tension sémantique

La tension vient du contraste entre le développement fini pour les exposants entiers et la série binomiale généralisée de Newton pour les exposants arbitraires : les deux relient les coefficients à des formules combinatoires mais diffèrent par la finitude et les prérequis analytiques.

Synthèse

Le Théorème Binomial est la règle algébrique qui transforme le produit n‑fois répété d'une même somme à deux termes en une combinaison finie de monômes dont les coefficients sont donnés par des nombres combinatoires ; il unit algèbre polynomiale et combinatoire élémentaire et se prolonge en séries analytiques sous hypothèses.