0
$\begingroup$

I'm having a bit of trouble with this proof and was wondering if I could get some assistance. I need to show that: $$ΦS(x) = \frac{1}{\sqrt{1-4x}}$$ All I have is: $$\sum\limits_{k=0}^n {2n\choose k}{2(n-k)\choose n-k} = 4^n$$

I know by definition that $$ΦS(x) = \sum\limits_{n\ge0}s_n\cdot x^n$$ the exponent is the weight and the coefficient is the number of elements with that weight. If I could get some help that would be great!

1 Answers 1

2

Your question isn’t very clear, but I take it that you’re trying to show that

$$\frac1{\sqrt{1-4x}}=\sum_{n\ge 0}\binom{2n}nx^n\;,\tag{1}$$

and you know the identity

$$\sum\limits_{k=0}^n {2n\choose k}{2(n-k)\choose n-k} = 4^n\;.\tag{2}$$

Let $$f(x)=\sum_{n\ge 0}\binom{2n}nx^n\;;$$ then

$$\begin{align*} \left(f(x)\right)^2&=\left(\sum_{n\ge 0}\binom{2n}nx^n\right)^2\\ &=\sum_{n\ge 0}\left(\sum_{k=0}^n\binom{2k}k\binom{2(n-k)}{k-k}\right)x^n\;, \end{align*}$$

where in the last step I’ve simply taken the Cauchy product. By $(2)$, therefore,

$$\left(f(x)\right)^2=\sum_{n\ge 0}4^nx^n=\sum_{n\ge 0}(4x)^n\;.$$

From here you should be able to derive $(1)$ without too much trouble.