Identità di Vandermonde
# Identità di Vandermonde

In combinatoria, l'identità di Vandermonde (o convoluzione di Vandermonde) è la seguente identità riguardante i coefficienti binomiali:

    ${m+n \choose r}=\sum _{k=0}^{r}{m \choose k}{n \choose r-k}$

per ogni $r$, $m$, $n$ interi non negativi. L'identità deve il suo nome a Alexandre-Théophile Vandermonde (1772), sebbene fosse già conosciuta nel 1303 dal matematico cinese Zhu Shijie.

Si può generalizzare l'identita di Vandermonde in diversi modi, come ad esempio la seguente versione:

    ${n_{1}+\dots +n_{p} \choose m}=\sum _{k_{1}+\cdots +k_{p}=m}{n_{1} \choose k_{1}}{n_{2} \choose k_{2}}\cdots {n_{p} \choose k_{p}}$.

## Dimostrazioni

### Dimostrazione algebrica

In generale, il prodotto di due polinomi, di gradi $m$ e $n$ rispettivamente, è dato da

    ${\biggl\sum _{i=0}^{m}a_{i}x^{i}{\biggr )}{\biggl\sum _{j=0}^{n}b_{j}x^{j}{\biggr )}=\sum _{r=0}^{m+n}{\biggl\sum _{k=0}^{r}a_{k}b_{r-k}{\biggr )}x^{r},$

dove si utilizza la convenzione per cui $a_{i}=0$ per tutti gli interi $i>m$, e $b_{j}=0$ se $j>n$. Per il teorema binomiale,

    $(1+x)^{m+n}=\sum _{r=0}^{m+n}{m+n \choose r}x^{r}.$

Utilizzando lo sviluppo del binomio anche per gli esponenti $m$ e $n$, insieme alla precedente formula sul prodotto fra polinomi, si ottiene

    ${\begin{aligned}\sum _{r=0}^{m+n}{m+n \choose r}x^{r}&=(1+x)^{m+n}\\&=(1+x)^{m}(1+x)^{n}\\&={\biggl\sum _{i=0}^{m}{m \choose i}x^{i}{\biggr )}{\biggl\sum _{j=0}^{n}{n \choose j}x^{j}{\biggr )}\\&=\sum _{r=0}^{m+n}{\biggl\sum _{k=0}^{r}{m \choose k}{n \choose r-k}{\biggr )}x^{r},\end{aligned}}$

dove la precedente convenzione per i coefficienti dei polinomi concorda con la definizione dei coefficienti binomiali, poiché entrambi valgono zero per $i>m$ e $j>n$.

Confrontando i coefficienti di $x^{r}$, si ricava l'identità di Vandermonde per ogni $0\leq r\leq m+n$. Per $r$ maggiori, entrambi i membri dell'identità sono zero per via della definizione del coefficiente binomiale.

### Dimostrazione combinatoria

L'identità di Vandermonde ammette anche una dimostrazione combinatoria mediante doppio conteggio, come segue. Si supponga una commissione composta da $m$ uomini e $n$ donne. In quanti modi si può formare un sottocomitato di $r$ persone? La risposta è

    ${m+n \choose r}.$

La soluzione è anche uguale alla somma su $k$ del numero di gruppi composti da $k$ uomini e $r-k$ donne:

    $\sum _{k=0}^{r}{m \choose k}{n \choose r-k}.$

### Dimostrazione geometrica

Si prenda una griglia rettangolare di $r\cdot (m+n-r)$ quadrati. Ci sono esattamente

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

percorsi dal vertice in basso a sinistra a quello in alto a destra, muovendosi soltanto a destra o verso l'alto. Infatti, si devono compiere in qualsiasi ordine $r$ movimenti a destra e $m+n-r$ verso l'alto, e la lunghezza totale del percorso è $m+n$. Si indichi il vertice in basso a sinistra come $(0,0)$.

In modo analogo, ci sono ${\binom {m}{k}}$ cammini da $(0,0)$ a $(k,m-k)$, e ${\binom {n}{r-k}}$ percorsi da $(k,m-k)$ a $(r,m+n-r)$. Perciò ci sono

    ${\binom {m}{k}}{\binom {n}{r-k}}$

percorsi che partono da $(0,0)$, finiscono in $(r,m+n-r)$ e passano per $(k,m-k)$. Quest'ultimi sono solo un sottoinsieme di tutti i possibili cammini tra i due vertici opposti, quindi si somma da $k=0$ a $k=r$ (dal momento che il punto $(k,m-k)$ deve essere all'interno della griglia) e si ottiene l'identità di Vandermonde.

## Generalizzazioni

### Identità di Vandermonde generalizzata

Si può generalizzare l'identità come segue:

    $\sum _{k_{1}+\cdots +k_{p}=m}{n_{1} \choose k_{1}}{n_{2} \choose k_{2}}\cdots {n_{p} \choose k_{p}}={n_{1}+\dots +n_{p} \choose m}.$

Questa versione si può ottenere attraverso la derivazione algebrica di prima ma in cui si utilizzano più di due polinomi, oppure mediante un semplice ragionamento di doppio conteggio.

Da una parte, si scelgono $\textstyle k_{1}$ elementi dal primo dei $p$ insiemi e composto $\textstyle n_{1}$ elementi, poi $\textstyle k_{2}$ dal secondo insieme, e così via, fino a un totale di $m$ oggetti scelti. Pertanto, nel membro di sinistra si scelgono $\textstyle m$ elementi su $\textstyle n_{1}+\dots +n_{p}$, che è esattamente il membro destro dell'uguaglianza.

### Identità di Chu–Vandermonde

L'identità si può generalizzare anche per argomenti non interi. In questo caso, è nota come identità di Chu–Vandermonde e assume la forma

    ${s+t \choose n}=\sum _{k=0}^{n}{s \choose k}{t \choose n-k},$

con $s$ e $t$ numeri complessi arbitrari e $n$ un intero non negativo. Si può ricavare l'identità basandosi sulla precedente dimostrazione algebrica, moltiplicando fra loro le serie binomiali di $(1+x)^{s}$ e $(1+x)^{t}$, e successivamente comparando i termini della serie di $(1+x)^{s+t}$.

L'identità si può riscrivere in termini del simbolo di Pochhammer decrescente come

    $(s+t)_{n}=\sum _{k=0}^{n}{n \choose k}(s)_{k}(t)_{n-k},$

in cui si riconosce chiaramente una variante umbrale del teorema binomiale. L'identità di Chu–Vandermonde può anche essere vista come un caso speciale del teorema ipergeometrico di Gauss, il quale afferma che

    $\;_{2}F_{1}(a,b;c;1)={\frac {\Gamma (c)\Gamma (c-a-b)}{\Gamma (c-a)\Gamma (c-b)}},$

dove $\;_{2}F_{1}$ è la funzione ipergeometrica e $\Gamma (n+1)=n!$ è la funzione Gamma. In particolare, si ottiene l'identità di Chu–Vandermonde ponendo $a=-n$ e applicando liberamente la relazione

    ${n \choose k}=(-1)^{k}{k-n-1 \choose k}.$

Un'ulteriore generalizzazione è data dalla seguente identità di Rothe–Hagen:

    $\sum _{k=0}^{n}{\frac {x}{x+kz}}{x+kz \choose k}{\frac {y}{y+(n-k)z}}{y+(n-k)z \choose n-k}={\frac {x+y}{x+y+nz}}{x+y+nz \choose n},$

per ogni $x$, $y$ e $z$ complessi.

## La distribuzione ipergeometrica di probabilità

Quando si dividono entrambi i membri per l'espressione a destra, cosicché la somma è 1, allora i termini della sommatoria possono essere interpretati come probabilità. La distribuzione di probabilità risultante è quella distribuzione ipergeometrica, cioè quella che descrive l'estrazione senza reinserimento di alcune palline, perdenti o vincenti, da un'urna.

