12
$\begingroup$

How do you prove that $\sum\limits_{n=0}^{\infty}{2n \choose n}x^n=(1-4x)^{-1/2}$?
I tried to identify the sum as a binomial series, but the $4$ and the $-1/2$ puzzle me.
(This series arises in studying the first passage time of a simple random walk.)

  • 5
    See Mike Spivey's comment here: http://math.stackexchange.com/questions/37971/identity-involving-binomial-coefficients2011-10-02
  • 0
    @Byron: Thanks, this answer my question.2011-10-02
  • 0
    If it were the usual sort of binomial series then the $2n$ that sits in the top position in $\dbinom{2n}{n}$ would be something that does not change as the $n$ in the expression $\sum\limits_{n=0}^\infty$ goes from $0$ to $\infty$.2011-10-02
  • 1
    [This answer](http://math.stackexchange.com/questions/30343/help-with-summing-a-power-series/30407#30407) of mine is related to your question.2011-10-05

2 Answers 2

7

The key identities are the duplication formula for the factorial (which I'll recast in a more convenient format):

$$\binom{2n}{n}=\frac{4^n}{\sqrt \pi}\frac{\left(n-\frac12\right)!}{n!}$$

and the reflection formula

$$\left(-n-\frac12\right)!\left(n-\frac12\right)!=(-1)^n\pi$$

Making the appropriate replacements, we obtain

$$\binom{2n}{n}=(-4)^n\frac{\sqrt \pi}{n!\left(-n-\frac12\right)!}=(-4)^n\frac{\left(-\frac12\right)!}{n!\left(-n-\frac12\right)!}=(-4)^n\binom{-\frac12}{n}$$

You can proceed from that...

  • 0
    It seems that the trick doesn't work on $\sum_n\binom{3n}nz^n$.2012-08-08
  • 0
    I think they are unrelated. Maybe *Zeilberger-Gosper's algorithm* on *CMath* works. I have not verified.2012-08-08
  • 0
    Hmm, yes, I was hasty there. There's the hypergeometric route, of course.2012-08-08
13

Or, by definition. \begin{eqnarray*} {-1/2\choose n}&=&{(-1/2)(-1/2-1)(-1/2-2)\cdots(-1/2-[n-1])\over n!}\cr &=&{(-1)^n\over 2^n} {(1)(3)(5)\cdots(2n-1)\over n!}\cr &=&{(-1)^n\over 2^n} {(1)(3)(5)\cdots(2n-1)\over n!}\cdot{2^n n!\over 2^n n!}\cr &=&{(-1)^n\over 4^n} {2n\choose n}. \end{eqnarray*}