Identidad de combinatoria

Question

Que $a, b, c$ ser enteros positivos. Deducir una formular para %#% $ #%

Creo que debe ser %#% $ #%

De la prueba. Que $$\sum_{i, j, k \geq 0 \\ i + j + k =n} {a\choose i}{b \choose j}{c \choose k}. $ tales son mutuamente disjuntos. Let $${a+b+c}\choose n$ Then $A = \{a_i : 1 \leq i \leq a\}, B = \{b_i : 1 \leq i \leq b\}, C=\{c_i : 1 \leq i \leq c\}$$D = A \cup B \cup C.$i$$\#ways \ to \ choose \ n \ elements \ from \ D = {{a+b+c}\choose {n}}.$A$ Another way to do is to choose $j$ elements form $B$, $k$ elements form $C$ and $i + j + k = n$ elements from $$ such that $$

¿Es correcto?

Answer 1

Su cálculo es correcto.

Aquí está una prueba algebraica basada en el coeficiente de operador $[x^k]$ para denotar el coeficiente de $x^k$ en una serie. De esta manera podemos escribir por ejemplo \begin{align*} [x^k](1+x)^n=\binom{n}{k} \end{align*}

Obtenemos para $a,b,c\geq 0$ $0\leq n\leq a+b+c$

\begin{align*} \binom{a+b+c}{n}&=[x^n](1+x)^{a+b+c}\\ &=[x^n](1+x)^a(1+x)^b(1+x)^c\\ &=[x^n]\sum_{i=0}^a\binom{a}{i}x^i(1+x)^b(1+x)^c\tag{1}\\ &=\sum_{i=0}^n\binom{a}{i}[x^{n-i}]\sum_{j=0}^b\binom{b}{j}x^j(1+x)^c\tag{2}\\ &=\sum_{i=0}^n\sum_{j=0}^{n-i}\binom{a}{i}\binom{b}{j}[x^{n-i-j}]\sum_{k=0}^c\binom{c}{k}x^k\tag{3}\\ &=\sum_{i=0}^n\sum_{j=0}^{n-i}\binom{a}{i}\binom{b}{j}\binom{c}{n-i-j}\tag{4}\\ &=\sum_{{i+j+k=n}\atop{i,j,k\geq 0}}\binom{a}{i}\binom{b}{j}\binom{c}{k}\qquad\qquad\qquad\qquad\qquad n\geq 0\tag{5} \end{align*} y el reclamo de la siguiente manera.

Comentario:

• En (1) se aplica el teorema del binomio.

• En (2) utilizamos la linealidad del coeficiente de operador y aplicar la regla \begin{align*} [x^{p-q}]A(x)=[x^p]x^qA(x) \end{align*} También nos hemos fijado el límite superior de la suma a $n$, ya que el exponente $n-i$ $x$ tiene que ser no negativo.

• En (3) hacer lo mismo paso con $(1+x)^b$, como hicimos en (2).

• En (4) seleccionamos el coeficiente de $[x^{n-i-j}]$.

• En (5) se establece $k:= n-i-j$ y suma más de $i,j,k\geq 0$ señalando que $\binom{p}{q}=0$ si $q>p$.

Answer 2

$\newcommand{\llaves}[1]{\left\lbrace\,{#1}\,\right\rbrace} \newcommand{\bracks}[1]{\left\lbrack\,{#1}\,\right\rbrack} \newcommand{\dd}{\mathrm{d}} \newcommand{\ds}[1]{\displaystyle{#1}} \newcommand{\expo}[1]{\,\mathrm{e}^{#1}\,} \newcommand{\ic}{\mathrm{i}} \newcommand{\mc}[1]{\mathcal{#1}} \newcommand{\mrm}[1]{\mathrm{#1}} \newcommand{\pars}[1]{\left(\,{#1}\,\right)} \newcommand{\partiald}[3][]{\frac{\partial^{#1} #2}{\parcial #3^{#1}}} \newcommand{\raíz}[2][]{\,\sqrt[#1]{\,{#2}\,}\,} \newcommand{\totald}[3][]{\frac{\mathrm{d}^{#1} #2}{\mathrm{d} #3^{#1}}} \newcommand{\verts}[1]{\left\vert\,{#1}\,\right\vert}$ \begin{align} \sum_{{\large{j,\ k,\ \ell\ \geq\ 0\ \atop j\ +\ k\ +\ \ell\ =\ n}}} {a \choose j}{b \choose k}{c \choose \ell} & = \sum_{j,\ k,\ \ell\ \geq\ 0} {a \choose j}{b \choose k}{c \choose \ell}\ \overbrace{\oint_{\verts{z}\ =\ 1^{-}} {1 \over z^{n + 1 - j - k - \ell}}\,{\dd z \over 2\pi\ic}} ^{\ds{\bracks{j + k + \ell = n}}} \\[5mm] & = \oint_{\verts{z}\ =\ 1^{-}}{1 \over z^{n + 1}} \bracks{\sum_{j = 0}^{\infty}{a \choose j}z^{j}} \bracks{\sum_{k = 0}^{\infty}{b \choose k}z^{k}} \bracks{\sum_{\ell = 0}^{\infty}{c \choose \ell}z^{\ell}}\,{\dd z \over 2\pi\ic} \\[5mm] & = \oint_{\verts{z}\ =\ 1^{-}}{1 \over z^{n + 1}} \pars{1 + z}^{a}\,\pars{1 + z}^{b}\,\pars{1 + z}^{c}\,{\dd z \over 2\pi\ic} \\[5mm] & = \oint_{\verts{z}\ =\ 1^{-}}{\pars{1 + z}^{a + b + c} \over z^{n + 1}} \,{\dd z \over 2\pi\ic} = \bbox[8px,border:0.1em groove navy]{a + b + c \choose n} \end{align}

La última expresión se encuentra en expansión, en potencias de $\ds{z}$, $\ds{\pars{1 + z}^{a + b + c}}$. La única contribución a la

la integral proviene de la '$\ds{z^{n}\!}$plazo' de $\ds{\pars{1 + z}^{a + b + c}}$. Es decir,

$$ \bracks{z^{n}}\pars{1 + z}^{a + b + c} = {a + b + c \elegir n} $$