Coefficient binomial

En mathématiques, les coefficients binomiaux, ou coefficients du binôme, définis pour tout entier naturel Modèle:Mvar et tout entier naturel Modèle:Mvar inférieur ou égal à Modèle:Mvar, sont des entiers donnant le nombre de parties (ou sous-ensembles, non ordonnés) à Modèle:Mvar éléments d'un ensemble à Modèle:Mvar éléments. On les note^[1] $(\binom{n}{k})$ — qui se lit « Modèle:Mvar parmi Modèle:Mvar » — ou $C_{n}^{k}$ , la lettre C étant l'initiale du mot « combinaison ».

Les coefficients binomiaux sont donnés par :

$(\binom{n}{k}) = \frac{n \times (n - 1) \times \dots \times (n - k + 1)}{k \times (k - 1) \times \dots \times 1}$ ,

ou, de manière équivalente, mais plus compacte, à l'aide de la fonction factorielle :

(\binom{n}{k}) = \frac{n!}{k! (n - k)!}

.

Ils interviennent dans de nombreux domaines des mathématiques : formule du binôme en algèbre, dénombrements, développement en série, lois de probabilités, etc. On peut les généraliser, sous certaines conditions, aux nombres complexes.

Lecture et expressions dans divers langages informatiques

Le coefficient binomial $(\binom{n}{k})$ se lit « Modèle:Mvar parmi Modèle:Mvar » en français, mais « Modèle:Mvar choose Modèle:Mvar » en anglais. Cette inversion de l'ordre de Modèle:Mvar et Modèle:Mvar se retrouve dans les langages informatiques ; par exemple, $(\binom{n}{k})$ se note :

binom(n,k) ou comb(n,k) dans les modules math ou scipy de Python^[2] ;
binomial(n,k) en Maple^[3] ;
Binomial[n,k] en Mathematica^[4] ;
n \choose k en LaTeX (ou \binom{n}{k} avec amsmath).

Établissement de la formule

Le coefficient binomial $(\binom{n}{k})$ est le nombre de parties à Modèle:Mvar éléments dans un ensemble à Modèle:Mvar éléments. Par exemple, dans un ensemble à 4 éléments {a,b,c,d}, il y a $(\binom{4}{2}) = 6$ parties à deux éléments, à savoir : {a,b}, {a,c}, {a,d}, {b,c}, {b,d}, {c,d}. Dans un jeu de cartes à 52 cartes, il y a $(\binom{52}{5})$ mains possibles de 5 cartes (l'ordre des cartes dans une main ne compte pas).

On dit aussi que $(\binom{n}{k})$ est le nombre de [[Combinaison sans répétition|Modèle:Mvar-combinaisons]] dans un ensemble à Modèle:Mvar éléments. Il se détermine en calculant de deux façons différentes le nombre $A_{n}^{k}$ de façon de choisir $k$ éléments de cet ensemble dans un ordre donné, autrement dit de [[arrangement|Modèle:Mvar-arrangements]] dans cet ensemble. Premièrement on a :

A_{n}^{k} = n (n - 1) \dots (n - k + 1) = \frac{n!}{(n - k)!}

.

En effet, on choisit le premier élément parmi les $n$ éléments de l'ensemble, le deuxième élément parmi $n - 1$ éléments (puisque l'on ne peut pas reprendre le premier élément), le troisième parmi $n - 2$ , etc. Deuxièment, on a

$A_{n}^{k} = (\binom{n}{k}) k!$ .

En effet, on choisit une partie de Modèle:Mvar éléments, que l'on peut permuter de $k!$ façons différentes pour obtenir un ordre donné. La confrontation des deux calculs donne l'expression algébrique de $(\binom{n}{k})$ , pour Modèle:Mvar variant de 0 à Modèle:Mvar^[5] :

(\binom{n}{k}) = \frac{n!}{k! (n - k)!} (1)

en particulier, $(\binom{n}{0}) = \frac{n!}{1 \times n!} = 1$ (dans un ensemble à Modèle:Mvar éléments, il y a exactement une partie à 0 élément : l'ensemble vide) et de même, $(\binom{n}{n}) = \frac{n!}{n! \times 1} = 1$ .

Si Modèle:Mvar est strictement négatif ou strictement supérieur à Modèle:Mvar, le coefficient binomial est nul.

Définition récursive des coefficients binomiaux Modèle:Ancre

La formule de Pascal lie les coefficients binomiaux : pour tout couple Modèle:Formule d'entiers naturels^[6],

(\binom{n}{k}) + (\binom{n}{k + 1}) = (\binom{n + 1}{k + 1}) (2)

On la démontre par un raisonnement combinatoire^[7], mais on peut aussi utiliser la forme factorielle^[8].

Elle est à la base de la construction du triangle de Pascal qui permet un calcul rapide des coefficients pour de petites valeurs de Modèle:Mvar :

0 :									1
1 :								1		1
2 :							1		2		1
3 :						1		3		3		1
4 :					1		4		6		4		1
5 :				1		5		10		10		5		1
6 :			1		6		15		20		15		6		1
7 :		1		7		21		35		35		21		7		1
8 :	1		8		28		56		70		56		28		8		1

Les coefficients $(\binom{n}{k})$ pour 0 ≤ Modèle:Mvar ≤ Modèle:Mvar figurent à la ligne d'indice Modèle:Mvar. Le triangle est construit en plaçant des 1 aux extrémités de chaque ligne et en complétant la ligne en reportant la somme des deux nombres adjacents de la ligne supérieure. Modèle:Mvar se lit de gauche à droite sur la ligne d'indice Modèle:Mvar en partant de 0 jusqu'à Modèle:Mvar.

Utilisation des coefficients binomiaux

Développement du binôme de Newton

Modèle:Article détaillé

Ces nombres sont les coefficients qui apparaissent en développant la puissance Modèle:Mvar-ième de Modèle:Formule :

(x + y)^{n} = \sum_{k = 0}^{n} (\binom{n}{k}) x^{n - k} y^{k} (3)

Par exemple, on a :

$(x + y)^{5} = (\binom{5}{0}) x^{5} + (\binom{5}{1}) x^{4} y + (\binom{5}{2}) x^{3} y^{2} + (\binom{5}{3}) x^{2} y^{3} + (\binom{5}{4}) x y^{4} + (\binom{5}{5}) y^{5}$

En regardant la cinquième ligne du triangle de Pascal, on obtient les valeurs des coefficients binomiaux. Ainsi :

(x + y)^{5} = x^{5} + 5 x^{4} y + 10 x^{3} y^{2} + 10 x^{2} y^{3} + 5 x y^{4} + y^{5}

.

Dérivée d'ordre n d'un produit de fonctions

Si Modèle:Mvar est un entier supérieur ou égal à 1, et Modèle:Mvar et Modèle:Mvar deux fonctions Modèle:Mvar fois dérivables en un point Modèle:Mvar, alors leur produit Modèle:Mvar est aussi Modèle:Mvar fois dérivable au point Modèle:Mvar, et la dérivée d'ordre Modèle:Mvar est donnée par la formule de Leibniz :

(f g)^{(n)} (x) = \sum_{k = 0}^{n} (\binom{n}{k}) f^{(n - k)} (x) g^{(k)} (x) .

Par exemple, $(f g)^{‴} = f^{‴} g + 3 f^{″} g^{'} + 3 f^{'} g^{″} + g^{‴} f .$

Combinatoire et statistique

Modèle:Article détaillé Les coefficients binomiaux sont importants en combinatoire, parce qu'ils fournissent des formules utilisées dans des problèmes fréquents de dénombrement :

Le nombre de parties à Modèle:Mvar éléments dans un ensemble à Modèle:Mvar éléments est égal à $(\binom{n}{k})$ . C'est également le nombre de listes de longueur Modèle:Mvar, constituées de 1 et de 0, et ayant Modèle:Mvar fois l'élément 1 et Modèle:Mvar l'élément 0. Ces parties ou ces listes sont appelées des [[Combinaison sans répétition|Modèle:Mvar-combinaisons]] sans répétition.
Le nombre de suites de Modèle:Mvar entiers naturels dont la somme vaut Modèle:Mvar est égale à $(\binom{n + k - 1}{k})$ (nombre de Modèle:Mvar-compositions faibles de Modèle:Mvar). C'est aussi le nombre de façons de choisir Modèle:Mvar éléments d'un ensemble à Modèle:Mvar éléments si les répétitions sont permises (nombre de [[combinaison avec répétition|Modèle:Mvar-combinaisons avec répétition]] de Modèle:Mvar objets).
Le nombre de suites de Modèle:Mvar entiers strictement positifs dont la somme vaut Modèle:Mvar est égale à $(\binom{k - 1}{n - 1})$ (nombre de Modèle:Mvar-compositions de Modèle:Mvar).
En théorie des probabilités et en statistique, les coefficients binomiaux apparaissent dans la définition de la loi binomiale.
Ils interviennent dans la définition des polynômes de Bernstein et dans l'équation paramétrique d'une courbe de Bézier.
D'un point de vue plus intuitif, ce nombre permet de savoir combien de tirages de Modèle:Mvar éléments parmi n différents on peut réaliser. Exemple : les quatre as d'un jeu de cartes sont face contre table, on veut savoir combien de possibilités de jeu il existe si l'on prend simultanément deux cartes au hasard. Si l'on suit la formule il y en a six.
Pour s'en persuader, voici la liste des mains :
1. as de cœur et as de carreau
2. as de cœur et as de trèfle
3. as de cœur et as de pique
4. as de carreau et as de trèfle
5. as de carreau et as de pique
6. as de trèfle et as de pique

Il n'existe pas d'autres possibilités vu que l'ordre n'importe pas (« carreau - pique » est équivalent à « pique - carreau »).

Propriétés arithmétiques des coefficients binomiaux

Divisibilité

Un entier Modèle:Formule est premier si et seulement si tous les $(\binom{n}{k})$ pour Modèle:Formule sont divisibles par Modèle:Mvar.

Modèle:Démonstration

Les diviseurs premiers de $(\binom{n}{k})$ possèdent la propriété suivante (théorème de Kummer (coefficients binomiaux)) :

Si Modèle:Mvar est un nombre premier et Modèle:Mvar est la plus grande puissance de Modèle:Mvar qui divise $(\binom{n}{k})$ , alors Modèle:Mvar est égal au nombre d'entiers naturels Modèle:Mvar tels que la partie fractionnaire de Modèle:Mvar soit plus grande que la partie fractionnaire de Modèle:Mvar. C'est le nombre de retenues dans l'addition de Modèle:Mvar et Modèle:Mvar, lorsque ces deux nombres sont écrits en base Modèle:Mvar^[9]Modèle:,^[10].

En particulier, $(\binom{n}{k})$ est toujours divisible par $\frac{n}{p g c d (n, k)}$ (pgcd signifie plus grand commun diviseur).

La règle permet de déterminer les $(\binom{n}{k})$ qui sont pairs. Il suffit pour cela de prendre Modèle:Formule et Modèle:Formule. La soustraction de Modèle:Mvar par Modèle:Mvar nécessite donc au moins une retenue en binaire. Cela signifie que, dans le développement binaire de Modèle:Mvar, il se trouve au moins un 0 situé au même rang qu'un 1 dans le développement binaire de Modèle:Mvar.

À l'inverse, $(\binom{n}{k})$ est impair si, à chaque fois que Modèle:Mvar possède un 1 dans son développement binaire, il en est de même de Modèle:Mvar au même rang. On dit que Modèle:Mvar implique Modèle:Mvar. Par exemple, si Modèle:Mvar est de la forme Modèle:Formule, tous ses chiffres binaires valent 1, et tous les $(\binom{n}{k})$ seront impairs. Si Modèle:Formule, alors Modèle:Mvar possède un seul 1 dans son développement binaire, et seuls $(\binom{n}{0})$ et $(\binom{n}{n})$ sont impairs, tous les autres sont pairs.

Une conséquence du théorème de Wilson est que Modèle:Formule est premier si et seulement si tous les $(\binom{n - 1}{k})$ sont congrus à $(- 1)^{k}$ modulo Modèle:Formule (pour $0 ⩽ k ⩽ n - 1$ ) ^[11]. Par exemple, les nombres de la 6Modèle:E ligne du triangle de Pascal ( 1, 6 ,15, 20, 15, 6, 1) deviennent, après correction par $(- 1)^{k}$ , (0,7,14,21,14,7,0), tous multiples de 7.

Coefficients binomiaux égaux à des puissances

On a $(\binom{50}{2}) = 3 5^{2}, (\binom{50}{3}) = 14 0^{2}$ , mais pour $4 ⩽ k ⩽ n - 4$ , Erdős a démontré en 1951 que le coefficient binomial $(\binom{n}{k})$ n'est ni un carré, ni aucune puissance d'ordre supérieure ^[12].

Généralisations

Élargissement du domaine de définition

Jusqu'à présent le coefficient binomial $(\binom{n}{k})$ était défini pour Modèle:Mvar et Modèle:Mvar entiers naturels avec Modèle:Mvar ≤ Modèle:Mvar. Il existe plusieurs manières d'étendre le domaine de définition (ces différentes extensions de la définition étant compatibles les unes avec les autres).

Tout d'abord, l'interprétation combinatoire des coefficients binomiaux amène à poser $(\binom{n}{k}) = 0$ pour Modèle:Formule. En effet, il n'existe pas de sous-ensembles à Modèle:Mvar éléments d'un ensemble à Modèle:Mvar éléments si Modèle:Formule.

Pour tout entier naturel Modèle:Mvar et tout entier naturel Modèle:Mvar compris entre 0 et Modèle:Mvar, le coefficient binomial $(\binom{n}{k})$ satisfait la formule $(\binom{n}{k}) = \frac{1}{k!} \prod_{i = 0}^{k - 1} (n - i)$ . Le terme de droite dans cette égalité a toujours un sens lorsque Modèle:Mvar est un entier relatif et même un nombre réel ou complexe et lorsque Modèle:Mvar est un entier naturel quelconque. Si l'on utilise le symbole de Pochhammer $(\cdot)_{k}$ pour les factorielles descendantes, alors pour tout nombre réel ou complexe Modèle:Mvar et entier naturel Modèle:Mvar on peut définir le coefficient binomial $(\binom{z}{k})$ par la formule : $(\binom{z}{k}) = \frac{1}{k!} \prod_{i = 0}^{k - 1} (z - i) = \frac{z (z - 1) (z - 2) \dots (z - k + 1)}{k!} = \frac{(z)_{k}}{k!}$ . C'est cette définition des coefficients binomiaux qui est utilisée dans la formule du binôme négatif, dans la formule du binôme généralisée ainsi que dans la définition de la loi binomiale négative (généralisée à un premier paramètre réel).

Il existe une autre manière de définir $(\binom{n}{k})$ pour Modèle:Mvar entier naturel et Modèle:Mvar entier relatif par la formule : $(\binom{n}{k}) = (\binom{- n + k - 1}{k}) (- 1)^{k}$ qui ramène au cas initial lorsque Modèle:Mvar est négatif.

Il est possible de poser $(\binom{n}{k}) = 0$ lorsque Modèle:Mvar est un entier négatif. L'avantage de cette convention est qu'elle conserve la plupart des formules établies jusqu'ici vraies.
La définition de $(\binom{n}{k})$ peut se généraliser, à l'aide de la fonction gamma Modèle:Formule. Pour tout entier naturel Modèle:Mvar, Modèle:Formule, ainsi, pour tout entier naturel Modèle:Mvar et pour tout entier naturel Modèle:Mvar ≤ Modèle:Mvar on a : $(\binom{n}{k}) = \frac{Γ (n + 1)}{Γ (k + 1) Γ (n - k + 1)}$ . Comme la fonction Modèle:Formule est définie pour tout complexe qui n'est pas un entier négatif ou nul, on peut généraliser le coefficient binomial à tous complexes Modèle:Mvar et Modèle:Mvar qui ne sont pas des entiers négatifs ou nuls et tels que Modèle:Mvar ne soit pas un entier négatif ou nul, par la formule : $(\binom{z}{w}) = \frac{Γ (z + 1)}{Γ (w + 1) Γ (z - w + 1)}$ . Cette formule peut d'ailleurs s'écrire plus simplement à l'aide de la fonction bêta Modèle:Mvar : $(\binom{z}{w}) = \frac{1}{(z + 1) B (w + 1, z - w + 1)}$ .
Enfin, il est possible d'unifier toutes les définitions précédentes avec la fonction gamma, en résolvant le problème de pôles de cette fonction par un passage à la limite : $(\binom{z}{w}) = \lim_{u \to z} \lim_{v \to w} \frac{Γ (u + 1)}{Γ (v + 1) Γ (u - v + 1)}$ . Dans cette dernière formule, l'ordre des limites est important^[13]. Cette définition donne une valeur infinie au coefficient binomial dans le cas où Modèle:Mvar est un entier négatif non nul et Modèle:Mvar n'est pas un entier strictement négatif.

Récapitulatif des généralisations^[14]
Généralisation	Domaine de définition	Définition	Notations et remarques
$(\binom{n}{k})$	$n \in ℕ$ $k \in {0, 1, \dots, n}$	$\frac{n!}{k! (n - k)!}$	$n! = 1 \times 2 \times \dots \times n$ $0! = 1$
$(\binom{n}{k})$	$n \in ℕ$ $k \in ℕ$	${\begin{matrix} \frac{n!}{k! (n - k)!} & si k \leq n \\ 0 & sinon \end{matrix}$
$(\binom{z}{k})$	$z \in ℂ$ $k \in ℕ$	$\frac{(z)_{k}}{k!}$	$(z)_{k} = z (z - 1) \dots (z - k + 1)$ $(z)_{0} = 1$
$(\binom{z}{k})$	$z \in ℂ$ $k \in ℤ$	${\begin{matrix} \frac{(z)_{k}}{k!} & si k \geq 0 \\ 0 & sinon \end{matrix}$
$(\binom{z}{w})$	$z \in ℂ ∖ (- ℕ)^{}$ $w \in ℂ ∖ (- ℕ)^{}$ $z - w \notin (- ℕ)^{*}$	$\frac{Γ (z + 1)}{Γ (w + 1) Γ (z - w + 1)}$	$Γ$ désigne la fonction gamma. $(- ℕ)^{*} = {- 1, - 2, - 3, \dots}$
$(\binom{z}{w})$	$z \in ℂ$ $w \in ℂ$	$\lim_{u \to z} \lim_{v \to w} \frac{Γ (u + 1)}{Γ (v + 1) Γ (u - v + 1)}$	$(\binom{z}{w}) = \infty si z \in (- ℕ)^{} et w \notin (- ℕ)^{}$ $(\binom{z}{w}) = 0 si z, w \notin (- ℕ)^{} et z - w \in (- ℕ)^{}$

Coefficients multinomiaux

Modèle:Article détaillé Une autre généralisation importante des coefficients binomiaux part de la formule du multinôme de Newton, laquelle permet de définir les coefficients multinomiaux.

Formules faisant intervenir les coefficients binomiaux

On suppose que Modèle:Formule sont des entiers ; Modèle:Formule des complexes.

On rappelle que :

(\binom{n}{k}) + (\binom{n}{k + 1}) = (\binom{n + 1}{k + 1}) (2)

(formule de Pascal)

(x + y)^{n} = \sum_{k} (\binom{n}{k}) x^{n - k} y^{k} (3)

(formule du binôme de Newton)

Les formules suivantes peuvent être utiles :

(\binom{n}{k}) = (\binom{n}{n - k}) (4)

(\binom{n}{k}) = \frac{n}{k} (\binom{n - 1}{k - 1}) (k > 0)

et plus généralement

(\binom{z}{k}) = \frac{z}{k} (\binom{z - 1}{k - 1}) (5)

(formule parfois dite « du pion »^[15]).

En remplaçant dans (3) Modèle:Formule, on obtient

\sum_{k} (\binom{n}{k}) = 2^{n} (6)

;

De nombreuses formules analogues peuvent être obtenues ainsi ; par exemple, avec Modèle:Formule et Modèle:Formule, on obtient

\sum_{k} (- 1)^{k} (\binom{n}{k}) = 0

si Modèle:Formule ;

avec Modèle:Formule et Modèle:Formule (donc Modèle:Formule), on obtient

\sum_{k} (- 1)^{k} (\binom{n}{2 k}) = Re ((1 + i)^{n}) = 2^{n / 2} \cos (n π / 4)

.

Dans l'identité (3), en remplaçant Modèle:Mvar par 1 et en prenant la dérivée en 1 par rapport à Modèle:Mvar, il vient

\sum_{k} k (\binom{n}{k}) = n 2^{n - 1} (7)

En développant Modèle:Formule avec (3), on obtient l'identité de Vandermonde :

\sum_{j} (\binom{n}{j}) (\binom{m}{r - j}) = (\binom{n + m}{r})

et plus généralement

\sum_{j} (\binom{z}{j}) (\binom{z^{'}}{r - j}) = (\binom{z + z^{'}}{r}) (8)

À partir du développement (8), en remplaçant Modèle:Mvar et Modèle:Mvar par Modèle:Mvar et en utilisant (4), on obtient

\sum_{j} {(\binom{n}{j})}^{2} = (\binom{2 n}{n}) (9)

.

En développant Modèle:Formule et en observant le coefficient devant Modèle:Formule, on obtient

\sum_{k} (- 1)^{k} {(\binom{2 n}{k})}^{2} = (- 1)^{n} (\binom{2 n}{n}) (10)

.

On a

\sum_{k} (\binom{n - k}{k}) = F_{n + 1} (11)

,

où Modèle:Formule désigne le (Modèle:Formule)-ième terme de la suite de Fibonacci^[16].

Pour tous entiers naturels Modèle:Mvar, Modèle:Mvar et Modèle:Formule,

\sum_{j} (\binom{j}{n}) (\binom{r - j}{m}) = (\binom{r + 1}{m + n + 1}) (12)

Cet analogue de l'identité de Vandermonde (8) peut se démontrer de la même façon, à partir de la formule du binôme négatif^[17]. Un cas particulier est (pour tous entiers Modèle:Formule)^[18] :

\sum_{j \leq r} (\binom{j}{n}) = (\binom{r + 1}{n + 1})

.

Encadrement et approximations

L'encadrement suivant fait intervenir le nombre de Neper et est valable pour toute valeur de Modèle:Mvar et Modèle:Mvar^[19] :

\forall 1 ⩽ k ⩽ n, {(\frac{n}{k})}^{k} ⩽ (\binom{n}{k}) < e^{k} {(\frac{n}{k})}^{k}

L'écart entre les deux bornes croit exponentiellement, c'est pourquoi il peut être préférable d'utiliser un équivalent asymptotique lorsque l'on connait le comportement de Modèle:Mvar par rapport à celui de Modèle:Mvar. Grâce à la formule de Stirling, lorsque Modèle:Mvar et Modèle:Mvar tendent vers l'infini on a :

$(\binom{n}{k}) \sim \sqrt{\frac{n}{2 π k (n - k)}} \cdot \frac{n^{n}}{k^{k} (n - k)^{n - k}}$ .

Mais pour être plus précis, il faut particulariser à différents régimes asymptotiques^[19]Modèle:,^[20]. Dans les cas ci-dessous, $h (α) = - α \log_{2} α - (1 - α) \log_{2} (1 - α)$ est la Modèle:Lien.

cas 1 : si $n \to \infty$ , $k > 1$ et $k = 𝒪 (1)$ alors $(\binom{n}{k}) = \frac{n^{k} \prod_{j = 0}^{k} (1 - \frac{j}{n})}{k!} = \frac{n^{k}}{k!} (1 - \frac{k (k - 1)}{2 n} + 𝒪 (\frac{1}{n^{2}}))$ ;
cas 2 : si $k \to \infty$ et $k = ℴ (n)$ alors $(\binom{n}{k}) \sim \frac{2^{n h (\frac{k}{n})}}{\sqrt{2 π k}}$ ^[19] ;
cas 3 : si $n \to \infty$ et $k / n \to α \in] 0, 1 [$ alors $(\binom{n}{k}) \sim \frac{2^{n h (α)}}{\sqrt{2 π α (1 - α) n}} = \frac{1}{\sqrt{2 π α (1 - α) n}} {(\frac{1}{α^{α} (1 - α)^{1 - α}})}^{n}$ ^[20].

Notes et références

Modèle:Traduction/Référence Modèle:Références

Voir aussi

↑ Les deux notations sont préconisées par la norme ISO/CEI 80000-2:2009 : la première est celle du « coefficient binomial » (2-10.4) et la seconde celle du « nombre de combinaisons sans répétition » (2-10.6). ISO 80000-2:2009, Grandeurs et unités — Partie 2: Mathématiques, Première édition du 1 Modèle:Er décembre 2009, chapitre 10 : Combinatoire.
↑ Modèle:Lien web.
↑ Modèle:Lien web.
↑ Modèle:Lien web.
↑ Modèle:Note autre projet
↑ Y compris pour $k \geq n$ car $\forall j > n (\binom{n}{j}) = 0$ . Modèle:Cf. par exemple Modèle:Ouvrage.
↑ Modèle:Note autre projet
↑ Voir par exemple Modèle:Harvsp, ou Modèle:Note autre projet
↑ Modèle:Article.
↑ Modèle:Ouvrage, § 1.2.6, ex. 11.
↑ Modèle:Lien web, corollaire 10.
↑ Modèle:Ouvrage
↑ Modèle:Lien web.
↑ Ces définitions sont compatibles lorsque les domaines de définitions s'intersectent.
↑ Modèle:Lien web
↑ Cf. Propriété 12 de la suite de Fibonacci.
↑ Modèle:Note autre projet
↑ Voir en:Hockey-stick identity.
↑ ^19,0 ^19,1 et ^19,2 Modèle:Lien web
↑ ^20,0 et ^20,1 Modèle:Article.

[1] Les deux notations sont préconisées par la norme ISO/CEI 80000-2:2009 : la première est celle du « coefficient binomial » (2-10.4) et la seconde celle du « nombre de combinaisons sans répétition » (2-10.6). ISO 80000-2:2009, Grandeurs et unités — Partie 2: Mathématiques, Première édition du 1 Modèle:Er décembre 2009, chapitre 10 : Combinatoire.

[2] Modèle:Lien web.

[3] Modèle:Lien web.

[4] Modèle:Lien web.

[5] Modèle:Note autre projet

[6] Y compris pour $k \geq n$ car $\forall j > n (\binom{n}{j}) = 0$ . Modèle:Cf. par exemple Modèle:Ouvrage.

[7] Modèle:Note autre projet

[8] Voir par exemple Modèle:Harvsp, ou Modèle:Note autre projet

[9] Modèle:Article.

[10] Modèle:Ouvrage, § 1.2.6, ex. 11.

[:02-11] Modèle:Lien web, corollaire 10.

[12] Modèle:Ouvrage

[13] Modèle:Lien web.

[14] Ces définitions sont compatibles lorsque les domaines de définitions s'intersectent.

[15] Modèle:Lien web

[16] Cf. Propriété 12 de la suite de Fibonacci.

[17] Modèle:Note autre projet

[18] Voir en:Hockey-stick identity.

[:0-19] 19,0 ^19,1 et ^19,2 Modèle:Lien web

[:1-20] 20,0 et ^20,1 Modèle:Article.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

Coefficient binomial

Sommaire

Lecture et expressions dans divers langages informatiques

Établissement de la formule

Définition récursive des coefficients binomiaux Modèle:Ancre

Utilisation des coefficients binomiaux

Développement du binôme de Newton

Dérivée d'ordre n d'un produit de fonctions

Combinatoire et statistique

Propriétés arithmétiques des coefficients binomiaux

Divisibilité

Coefficients binomiaux égaux à des puissances

Généralisations

Élargissement du domaine de définition

Coefficients multinomiaux

Formules faisant intervenir les coefficients binomiaux

Encadrement et approximations

Notes et références

Voir aussi

Articles connexes

Bibliographie

Lien externe

Menu de navigation

0 :									1
1 :								1		1
2 :							1		2		1
3 :						1		3		3		1
4 :					1		4		6		4		1
5 :				1		5		10		10		5		1
6 :			1		6		15		20		15		6		1
7 :		1		7		21		35		35		21		7		1
8 :	1		8		28		56		70		56		28		8		1

0 :									1
1 :								1		1
2 :							1		2		1
3 :						1		3		3		1
4 :					1		4		6		4		1
5 :				1		5		10		10		5		1
6 :			1		6		15		20		15		6		1
7 :		1		7		21		35		35		21		7		1
8 :	1		8		28		56		70		56		28		8		1

Coefficient binomial

Lecture et expressions dans divers langages informatiques

Établissement de la formule

Définition récursive des coefficients binomiaux Modèle:Ancre

Utilisation des coefficients binomiaux

Développement du binôme de Newton

Dérivée d'ordre n d'un produit de fonctions

Combinatoire et statistique

Propriétés arithmétiques des coefficients binomiaux

Divisibilité

Coefficients binomiaux égaux à des puissances

Généralisations

Élargissement du domaine de définition

Coefficients multinomiaux

Formules faisant intervenir les coefficients binomiaux

Encadrement et approximations

Notes et références

Voir aussi

Articles connexes

Bibliographie

Lien externe

Menu de navigation

Rechercher

0 :									1
1 :								1		1
2 :							1		2		1
3 :						1		3		3		1
4 :					1		4		6		4		1
5 :				1		5		10		10		5		1
6 :			1		6		15		20		15		6		1
7 :		1		7		21		35		35		21		7		1
8 :	1		8		28		56		70		56		28		8		1