Serie del coeficiente binomial

Question

¿Alguna pista que lo demuestre? Lo he intentado con las propiedades del coeficiente binomial pero no consigo nada.

$$\sum_{n=k}^{\infty}{{n}\choose{k}}x^n=\dfrac{x^k}{(1-x)^{k+1}}$$

Answer 1

Para $|x|<1,$ tenemos $$\sum_{n=0}^\infty x^n=\frac{1}{1-x}.$$ Ahora toma $k$ derivados en ambos lados: $$\sum_{n=k}^\infty\frac{n!}{(n-k)!}x^{n-k}=\frac{k!}{(1-x)^{k+1}}.$$ Así, $$\sum_{n=k}^\infty\frac{n!}{(n-k)!k!}x^{n}=\frac{x^k}{(1-x)^{k+1}}.$$ Desde $\binom{n}{k}=\frac{n!}{k!(n-k)!},$ $$\sum_{n=k}^\infty\binom{n}{k}x^{n}=\frac{x^k}{(1-x)^{k+1}}.$$

Answer 2

$\sum_{n=k}^{\infty}{{n}\choose{k}}x^n=\dfrac{x^k}{(1-x)^{k+1}}$

Comienza con $\sum_{n=k}^{\infty}{{n}\choose{k}}x^n =\sum_{n=0}^{\infty}{{n}\choose{n+k}}x^{n+k} =x^k\sum_{n=0}^{\infty}{{n+k}\choose{k}}x^{n}$

y nota que $(1-x)^{-m} =\sum_{k=0}^{\infty} \binom{-m}{k} x^k$ y

$\begin{array}\\ \binom{-m}{k} &=\dfrac{\prod_{j=0}^{k-1}(-m-j)}{k!}\\ &=(-1)^k\dfrac{\prod_{j=0}^{k-1}(m+j)}{k!}\\ &=(-1)^k\dfrac{\prod_{j=0}^{k-1}(m+k-1-j)}{k!}\\ &=(-1)^k\dfrac{(m+k-1)!}{(m-1)!k!}\\ &=(-1)^k\binom{m+k-1}{k}\\ \end{array}$

Answer 3

$\newcommand{\braces}[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}{\partial #3^{#1}}} \newcommand{\root}[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{array}{rclr} \ds{\color{#f00}{\sum_{n = k}^{\infty}{n \choose k}x^{n}}} & \ds{\stackrel{n\ \mapsto\ n + k}{=}} &\!\!\!\!\! \ds{\sum_{n = 0}^{\infty}{n + k \choose k}x^{n + k}} \\[5mm] & \ds{=} &\!\!\!\!\! \ds{x^{k}\sum_{n = 0}^{\infty}{n + k \choose n}x^{n}} &\pars{~Binomial\ Symmetry~} \\[5mm] & \ds{=} &\!\!\!\!\! \ds{x^{k}\sum_{n = 0}^{\infty}{\bracks{-n - k} + n - 1 \choose n}\pars{-1}^{n}x^{n}} & \qquad\pars{~Negating\ Property~} \\[5mm] & \ds{=} &\!\!\!\!\! \ds{x^{k}\sum_{n = 0}^{\infty}{- k - 1 \choose n}\pars{-x}^{n} = x^{k}\bracks{1 + \pars{-x}}^{-k - 1}} & \pars{~Binomial\ Theorem~} \\[5mm] & \ds{=} &\!\!\!\!\! \ds{\color{#f00}{x^{k} \over \pars{1 - x}^{k + 1}}} & \end{array}$$

Answer 4

También se puede demostrar por inducción en la serie formal de potencias. El resultado es claro para $k=0$ en cuyo caso se tiene la serie geométrica $\sum_{n=0}^\infty x^n = \frac{1}{1-x}$ .

Para simplificar, escribiremos la suma sobre el entero $n\in \mathbb{Z}$ con la convención clásica (véase Generación de funciones de H. Wilf) que $\binom{n}{j}$ es $0$ si $j>n$ o $j < 0$ .

Si tomamos el resultado como verdadero para $k$ , para $k+1$ tenemos $$(1-x)\sum_n \binom{n}{k+1} x^n = \sum_n \binom{n}{k+1}x^n - \sum_n \binom{n}{k+1}x^{n+1}$$ y la segunda suma se puede reescribir en términos de $n\mapsto n+1$ para conseguir $$(1-x)\sum_n \binom{n}{k+1} x^n = \sum_n \binom{n}{k+1}x^n - \sum_n \binom{n-1}{k+1}x^n$$ lo que significa que los coeficientes de $(1-x)\sum_n \binom{n}{k+1} x^n$ son $$[x^j] \left\{(1-x)\sum_n \binom{n}{k+1} x^n\right\} = \binom{j}{k+1}-\binom{j-1}{k+1}$$ que es igual a $\binom{j-1}{k}$ por el clásico La regla de Pascal $\binom{j}{k+1}=\binom{j-1}{k+1}+\binom{j-1}{k}$ .

Así, $$(1-x)\sum_n \binom{n}{k+1} x^n = \sum_n \binom{n-1}{k}x^n = x\sum_n \binom{n}{k}x^n = x\frac{x^{k}}{(1-x)^{k+1}}\,,$$ donde hemos puesto $n\mapsto n-1$ en la segunda igualdad, y utilizó la hipótesis inductiva en la tercera. Ahora el resultado se obtiene al dividir por $1-x$ .

Moraleja Intuitivamente, la identidad $$\sum_n \binom{n}{k}x^n=\frac{x^{k}}{(1-x)^{k+1}}$$ es un subraya aplicación de la regla de Pascal, mientras que puedes intentar ver que $$\sum_k \binom{n}{k}x^k = (1+x)^n$$ sería el aditivo uno.