# About a sum involving factorials.

I would like to know if there is a closed form of $$\sum_{k=0}^{n}\frac{4^{k}}{\left(2k\right)!\left(n-k\right)!^{2}}.$$ Wolfram gives a strange closed form and, i.e., $$\frac{16^{n}\left(2n-\frac{1}{2}\right)!}{\sqrt{\pi}\left(2n!\right)^{2}}$$ and I'm not sure is right. If it's so, I have no idea how to prove it. Is it right? And how to prove this identity? Any help would be appreciate! Thank you.

• You ask whether there is a closed form, and then you write that Wolfram gives a closed form, thereby answering your own question. Next! – Gerry Myerson May 31 '15 at 10:10
• @GerryMyerson I would know hot to prove it! And what Wolfram wrote seems strange to me. – User May 31 '15 at 10:11
• Then why not share the big secret of what Wolfram gave you? – Gerry Myerson May 31 '15 at 10:12
• @GerryMyerson I really don't understand these ironic comments. However, I'll write what Wolfram gives. – User May 31 '15 at 10:14
• @FundThmCalculus no, Gerry was referring to the initial edit. Elajan asked if there was a closed form and said that Wolfram gave one, but didn't say what Wolfram claimed it was until Gerry direction asked it. – davidlowryduda May 31 '15 at 10:23

It seems like you, too, have come across Jack's question from yesterday. Assuming the validty of his identity, your sum, which is the convolution (Cauchy product) formed when multiplying $\cos(1)$ and $\sum_{k\geq 0}\frac{(-1)^k}{k!^2 4^k}$ is equal to $$\frac{(4n)!}{(2n)!^{3}}$$
• I hadn't seen that question. So is it true that $$\frac{16^{n}\left(2n-\frac{1}{2}\right)!}{\sqrt{\pi}\left(2n\right)!^{2}} = \frac {\left(4n\right)!}{\left(2n\right)!^{3}}?$$ – User May 31 '15 at 13:30
• Indeed, put $z=2n+\frac{1}{2}$ in the Gamma function duplication formula – nospoon May 31 '15 at 15:03