Tuesday, 2 July 2013

sequences and series - A proof for the identity $sum_{n=r}^{infty} {n choose r}^{-1} = frac{r}{r-1}$




Do you have any idea to prove the following identity via a combinatorial (or algebraic) method?
$\sum_{n=r}^{n=\infty} {n \choose r}^{-1} = \frac{r}{r-1}$



This is Exercise 71 in Chapter 2 of the book Chen C.C., Koh K.M. Principles and techniques in combinatorics. The book does not give a solution, although it mentions: "see H. W. Gould, Combinatorial Identities, Morgantown, W.V. (1972), 18-19".



many thanks in advance,
Shahram


Answer



This is basically a generalization of the approach from this answer:

\begin{align*}
\sum_{n=r}^\infty \frac1{\binom nr}
&= r! \sum_{n=r}^\infty \frac1{n(n-1)\cdots(n-r+1)}\\
&= \frac{r!}{r-1} \sum_{n=r}^\infty \frac{n-(n-r+1)}{n(n-1)\cdots(n-r+1)}\\
&= \frac{r!}{r-1} \sum_{n=r}^\infty \left(\frac1{(n-1)\cdots(n-r+1)} - \frac1{n(n-1)\dots(n-r+2)}\right)\\
&\overset{(1)}= \frac{r!}{r-1} \cdot \frac1{(r-1)!} = \\
&= \frac{r}{r-1}
\end{align*}



The equation $(1)$ is based on the fact that we get a telescoping sum and with the exception of the first term, all remaining terms "cancel out".




The above works only for $r\ne1$. But it is clear that for $r=1$ we get the harmonic series $\sum\limits_{n=1}^\infty \frac1n$, which is divergent.






To explain this more clearly, we have a sum of the form $$\sum_{r=n}^\infty (a_n-a_{n+1})= (a_r-a_{r+1})+ (a_{r+1}-a_{r+2})+\dots.$$ Since $a_n\to 0$, we get that the sum is simply $a_r$, since the partial sum is $$\sum_{r=n}^N (a_n-a_{n+1}) = (a_r-a_{r+1})+(a_{r+1}-a_{r+2})+\dots+(a_N-a_{N+1}) = a_r-a_{N+1}.$$ In our case $a_n=1/[(n-1)\cdots(n-r)]$.






After some rewriting, we can see that this is a sum which has been calculated on this site a few times, namely $\sum_{k=1}^\infty \frac1{k(k+1)\cdots(k+s)}$. In our case, $s=r-1$. (Clearly, when I was trying to search for it before posting my answer, I did not choose the correct search queries.) A few posts about this sum found using the above search in Approach0:






We can also find some posts about the finite sum, for example General formula for this sum $\sum_{k=1}^n\frac{1}{k(k+1)...(k+m)}$.


No comments:

Post a Comment

real analysis - How to find $lim_{hrightarrow 0}frac{sin(ha)}{h}$

How to find $\lim_{h\rightarrow 0}\frac{\sin(ha)}{h}$ without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...