Cómo mostrar que $\sum\limits_{k=0}^n (-1)^k\tfrac{{ {n}\choose{k}}}{{ {x+k}\choose{k}}} = \frac{x}{x+n}$

Question

Estoy tratando de mostrar que

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

He tratado de ampliar este uso de la definición de coeficiente binomial, entonces binomio de expansión, ahora estoy usando inducción para simplificar $\sum_{k=0}^m (-1)^k\frac{{ {n}\choose{k}}}{{ {x+k}\choose{k}}}$, pero se ve muy poco elegante, hay una manera mejor?

Answer 1

Recordamos la Melzak la identidad de $$f\left(x+y\right)=x\dbinom{x+n}{n}\sum_{k=0}^{n}\left(-1\right)^{k}\dbinom{n}{k}\frac{f\left(y-k\right)}{x+k},\, x,y\in\mathbb{R},\, x\neq-k $$ where $f $ is an algebraic polynomial up to degree $n $. So taking $f\left(z\right)\equiv1 $ we get $$\frac{1}{x\dbinom{x+n}{n}}=\sum_{k=0}^{n}\left(-1\right)^{k}\dbinom{n}{k}\frac{1}{x+k} $$ hence, by the binomial inversion, we have $$\sum_{k=0}^{n}\left(-1\right)^{k}\dbinom{n}{k}\frac{1}{\dbinom{x+k}{k}}=\color{red}{\frac{x}{x+n}}.$$

Answer 2

Aquí está una variación basa en telescópico.

Obtenemos \begin{align*} \sum_{k=0}^n&(-1)^k\frac{\binom{n}{k}}{\binom{x+k}{k}}\\ &=\frac{1}{\binom{x+n}{n}}\sum_{k=0}^n(-1)^k\binom{x+n}{n-k}\tag{1}\\ &=\frac{1}{\binom{x+n}{n}}\left[\sum_{k=0}^{n-1}(-1)^k\left(\binom{x+n-1}{n-k}+\binom{x+n-1}{n-k-1}\right) +(-1)^n\right]\tag{2}\\ &=\frac{1}{\binom{x+n}{n}}\left[\sum_{k=0}^{n-1}(-1)^k\binom{x+n-1}{n-k}-\sum_{k=1}^n(-1)^{k}\binom{x+n-1}{n-k}+(-1)^n\right]\tag{3}\\ &=\frac{\binom{x+n-1}{n}}{\binom{x+n}{n}}\tag{4}\\ &=\frac{x}{x+n} \end{align*} y el reclamo de la siguiente manera.

Comentario:

• En (1) se utiliza la $ \binom{n}{k}\binom{x+k}{k}^{-1}=\binom{x+n}{n}^{-1}\binom{x+n}{n-k} $

• En (2) utilizamos el binomio identidad $\binom{p}{q}=\binom{p-1}{q}+\binom{p-1}{q-1}$

• En (3) se cambio el índice de la mano derecha de la serie por uno

• En (4) se aplica el telescópica

Answer 3

Un conocido de identidad relacionados con la función Beta $$\int_0^1 t^{p-1} (1-t)^{q-1} \; dt = \frac{\Gamma(p) \Gamma(q)}{\Gamma(p+q)}$$ a partir de la cual podemos deducir con facilidad $$\frac{1}{\binom{n}{k}} = (n+1)\int_0^1 t^k (1-t)^{n-k} \;dt$$ así $$\sum_{k=0}^n (-1)^k \binom{n}{k} \frac{1}{\binom{x+k}{k}} = \sum_{k=0}^n (-1)^k \binom{n}{k} (x+k+1) \int_0^1 t^k (1-t)^x \;dt = I_1+I_2$$

donde definimos $$I_1 = \int_0^1 (1-t)^x x \sum_{k=0}^n (-1)^k \binom{n}{k} t^k \; dt$$ y $$I_2 = \int_0^1 (1-t)^x \sum_{k=0}^n (-1)^k \binom{n}{k} (k+1) t^k \; dt$$ En $I_1$, sustituto $\sum_{k=0}^n (-1)^k \binom{n}{k} t^k = (1-t)^n$, con el resultado $$I_1 = \int_0^1 x (1-t)^{n+x} \;dt = \frac{x}{(n+x)(1+n+x)}$$

La diferenciación $t (1-t)^n =\sum_{k=0}^n (-1)^k \binom{n}{k} t^{k+1}$ con respecto al $t$, nos encontramos con $(1-t)^{n-1} [1 - (n+1)t] = \sum_{k=0}^n (-1)^k \binom{n}{k} (k+1) t^k$. Sustituyendo en $I_2$, $$I_2 = \int_0^1 (1-t)^{x+n-1}[1-(n+1)t] \;dt =\frac{x}{1+n+x}$$ La combinación de estos resultados y simplificando, tenemos $$I_1+I_2 = \frac{x}{x+n}$$ cual es el resultado deseado.

Answer 4

Otra forma de demostrar esta identidad es a partir de la expresión del Delta $$ \Delta _{\,x} ^{\n} f(x) = \sum\limits_{0\, \leqslant \,k\, \leqslant \,n} {\left( { - 1} \right)^{\,n - k} \left( \begin{gathered} n \\ k \\ \end{reunieron} \right)f(x + k)} $$ La comprensión de la subida y caída factoriales como en realidad se expresa a través de la función Gamma, tenemos $$ \Delta _{\,x} ^m \;x^{\,\underline {\,i\,} } = r^{\,\underline {\m\,} } x^{\,\underline {\,r - m\,} } $$ Entonces $$ \begin{gathered} f(x,n) = \sum\limits_{0\, \leqslant \,k\, \leqslant \,n} {\left( { - 1} \right)^{\,k} \left( \begin{gathered} n \\ k \\ \end{reunieron} \right)/\left( \begin{gathered} x + k \\ k \\ \end{reunieron} \right)} = \left( { - 1} \right)^{\n} \sum\limits_{0\, \leqslant \,k\, \leqslant \,n} {\left( { - 1} \right)^{\,n - k} \left( \begin{gathered} n \\ k \\ \end{reunieron} \right)/\left( \begin{gathered} x + k \\ k \\ \end{reunieron} \right)} = \hfill \\ = \left( { - 1} \right)^{\n} \left. {\Delta _{\,y} ^{\n} \left( {1/\left( \begin{gathered} x + y \\ y \\ \end{reunieron} \right)} \right)\;} \right|_{\,y\, = \,0} = \left( { - 1} \right)^{\n} \left. {\Delta _{\,y} ^{\n} \left( {1/\left( \begin{gathered} x + y \\ x \\ \end{reunieron} \right)} \right)\;} \right|_{\,y\, = \,0} = \hfill \\ = \left( { - 1} \right)^{\n} \left. {\Delta _{\,y} ^{\n} \left( {\frac{{x!}} {{\left( {x + y} \right)^{\,\underline {\,x\,} } }}} \right)\;} \right|_{\,y\, = \,0} = \left( { - 1} \right)^{\n} x!\;\a la izquierda. {\Delta _{\,y} ^{\n} \left( {y^{\,\underline { \ , x\,} } } \right)\;} \right|_{\,y\, = \,0} = \hfill \\ = \left( { - 1} \right)^{\n} x!\;\a la izquierda( { - x} \right)^{\,\underline {\n\,} } \left. {y^{\,\underline {\, - x - n\,} } \;} \right|_{\,y\, = \,0} = x!\;x^{\,\overline {\n\,} } \left. {y^{\,\underline {\, - x - n\,} } \;} \right|_{\,y\, = \,0} = \hfill \\ = x!\;x^{\,\overline {\n\,} } \frac{1} {{\left( {x + n} \right)!}}\; = \frac{{x\left( {x + n - 1} \right)!}} {{\left( {x + n} \right)!}} = \frac{x} {{x + n}} \hfill \\ \end{se reunieron} $$