I'm looking for a proof of the identity:
$$\sum\limits_{k=0}^n \binom{n}{k}\binom{2k}{k}\frac{(-1)^k}{2^{2k}}=2^{-2n}\binom{2n}{n}$$
which I first saw in Mathematica while trying to evaluate an integral.
I've attempted using the decomposition of $\binom{n+1}{r} = \binom{n}{r} + \binom{n}{r-1} $ with induction, since the first term on the RHS simplifies nicely in the sum. However, I have trouble proceeding from there.
My question may also be related to the summation $\sum\limits_{k=0}^n \binom{2k}{k}\binom{2(n-k)}{n-k}=2^{2n}$ discussed here. That question-asker used $(1-z^2)^{-1/2}=\sum_{n=0}^\infty \binom{2n}{n}2^{-2n}z^{2n} $ and the Cauchy product to show $\sum\limits_{k=0}^n \binom{2k}{k}\binom{2(n-k)}{n-k}=2^{2n}$.
$$\frac1{\sqrt{1+x}}=\sum_{k=0}^\infty\frac{(-1)^k}{4^k}\binom{2k}kx^k$$ and $$(1+x)^n=\sum_{k=0}^n\binom{n}{k}x^{n-k}.$$ Your sum is the coefficient of $x^n$ in the product of these series, that is the coefficient of $x^n$ in $(1+x)^{n-1/2}$. This is $$\frac1{n!}\left(\frac{2n-1}2\frac{2n-3}2\cdots\frac32\frac12\right) =\frac{(2n)!}{4^nn!^2}=\frac1{4^n}\binom{2n}n.$$