Coefficiente binomiale

In matematica, il coefficiente binomiale (nk) (che si legge "n su k") è un numero intero non negativo definito dalla seguente formula

(nk)=C(n;k)=n!k!⋅(n−k)!,n,k∈ℕ,0≤k≤n,

dove n! è il fattoriale di n. Può essere calcolato anche facendo ricorso al triangolo di Tartaglia. Esso fornisce il numero delle combinazioni semplici di n elementi di classe k.

Per esempio:

(53)=5!3!(5−3)!=5⋅4⋅3⋅2⋅13⋅2⋅1⋅(2⋅1)=12012=10

è il numero di combinazioni di 5 elementi presi 3 alla volta, evitando ripetizioni ma indipendentemente dall'ordine di estrazione.

Proprietà

Il coefficiente binomiale gode delle seguenti proprietà:

Dimostrazione formale:
(n0)=n!0!(n−0)!=n!n!=1,
(nn)=n!n!(n−n)!=n!n!=1.
Dimostrazione combinatoria: le combinazioni di n elementi di lunghezza 0 o n sono evidentemente una sola: rispettivamente l'insieme vuoto o l'intero insieme di n elementi.
Dimostrazione formale:
(n1)=n!1!(n−1)!=n!(n−1)![n−(n−1)]!=(nn−1)=n.
Dimostrazione combinatoria: vi sono evidentemente n modi per scegliere un elemento tra n o per tralasciarne uno.
Dimostrazione formale:
(nk)=n!k!(n−k)!=n!(n−k)![n−(n−k)]!=(nn−k).
Dimostrazione combinatoria: le scelte di k elementi sono in corrispondenza biunivoca con i sottoinsiemi degli n−k elementi tralasciati.
Questa proprietà permette di costruire i coefficienti binomiali con il triangolo di Tartaglia. Inoltre, tale proprietà può essere utile per dimostrare che (nk) è un numero intero non negativo usando il principio d'induzione su n, con l'ipotesi per cui (nk) appartiene ai numeri interi non negativi per ogni k∈ℕ tale che 0≤k≤n, e come tesi che lo stesso valga per (n+1k); per n=1 abbiamo che (10)=(11)=1∈ℕ.
Dimostrazione formale:
(nk+1)+(nk)=n!(k+1)!(n−k−1)!+n!k!(n−k)!.
Considerando il fatto che
(n−k)!=(n−k)(n−k−1)!
e
(k+1)!=(k+1)k!,
si ha
(nk+1)+(nk)=n!(k+1)k!(n−k−1)!+n!(n−k)k!(n−k−1)!=(n−k)n!(k+1)(n−k)k!(n−k−1)!+(k+1)n!(k+1)(n−k)k!(n−k−1)!
e quindi
(nk+1)+(nk)=(n−k+k+1)n!(k+1)k!(n−k)(n−k−1)!=(n+1)!(k+1)!(n−k)!=(n+1k+1),
ossia la tesi.
Dimostrazione combinatoria: per calcolare il numero di combinazioni semplici di n+1 elementi di lunghezza k+1, scegliamo uno degli n+1 elementi, che chiameremo Pippo, e dividiamo le combinazioni in due classi: quelle che non contengono Pippo e quelle che lo contengono. Le cardinalità delle due classi sono evidentemente date dai due termini del secondo membro della formula che volevamo dimostrare.
Dimostrazione formale: partendo dal teorema binomiale si ha
2n=(1+1)n=∑k=0n(nk)1(n−k)1k=∑k=0n(nk),
ossia la tesi.
Dimostrazione combinatoria: 2n è il numero dei sottoinsiemi di un insieme di n elementi. Possiamo dividere tali sottoinsiemi in classi, ponendo in ogni classe quelli di una data cardinalità. Poiché i sottoinsiemi di cardinalità k sono proprio (nk), si ottiene subito la tesi.

Applicazioni

(a+b)n=∑k=0n(nk)an−kbk.
|𝒫(S)|=∑k=0n(nk)=2n.
Esempio:
43=(33)(33)(33)+(33)(33)(32)+(33)(33)(31)+(33)(33)(30)+(33)(32)(22)+…+(31)(11)(10)++(31)(10)(00)+(30)(00)(00).

Estensioni

Si può estendere il coefficiente binomiale al caso in cui k sia negativo, oppure maggiore di n, ponendo:

(nk)=0,n,k∈ℤ,n>0,k<0 oppure k>n.

Si può anche estendere il coefficiente ai numeri reali. A tale scopo, può convenire iniziare con l'osservazione che il coefficiente binomiale è anche il rapporto tra il numero delle funzioni iniettive da un insieme di cardinalità k in uno di cardinalità n (ovvero il numero delle disposizioni semplici di n oggetti di classe k) ed il numero delle permutazioni di k oggetti:

(nk)=(n)kk!=n!(n−k)!k!.

Si può porre:

(a)k=a(a−1)⋯(a−k+1)=∏i=0k−1(a−i),a∈ℂ,k∈ℤ,k≥0,

ad esempio,

(4,5)3=4,5⋅3,5⋅2,5=39,375.

Con tale convenzione, si ha:

(ak)=(a)kk!a∈ℂ;k∈ℤ,k≥0,

ad esempio:

(4,53)=(4,5)33!=39,3756=6,5625.

Infine, esiste una generalizzazione del coefficiente binomiale che coinvolge un parametro q, denominata coefficiente binomiale gaussiano (talvolta semplicemente q-binomiale).

Caso particolare

Si può notare che per k=2 il coefficiente binomiale equivale alla somma dei primi n−1 numeri naturali:

(n2)=n!(n−2)!2!=n(n−1)(n−2)!(n−2)!2=n(n−1)2=∑i=1n−1i.

Note

Bibliografia

Voci correlate

Altri progetti

Collegamenti esterni

Controllo di autoritàGND (DE) 4145586-1
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica