$\newcommand{\bbx}[1]{\,\bbox[8px,border:1px groove navy]{\displaystyle{#1}}\,}
\newcommand{\braces}[1]{\left\lbrace\,{#1}\,\right\rbrace}
\newcommand{\bracks}[1]{\left\lbrack\,{#1}\,\right\rbrack}
\newcommand{\dd}{\mathrm{d}}
\newcommand{\ds}[1]{\displaystyle{#1}}
\newcommand{\expo}[1]{\,\mathrm{e}^{#1}\,}
\newcommand{\ic}{\mathrm{i}}
\newcommand{\mc}[1]{\mathcal{#1}}
\newcommand{\mrm}[1]{\mathrm{#1}}
\newcommand{\pars}[1]{\left(\,{#1}\,\right)}
\newcommand{\partiald}[3][]{\frac{\partial^{#1} #2}{\partial #3^{#1}}}
\newcommand{\root}[2][]{\,\sqrt[#1]{\,{#2}\,}\,}
\newcommand{\totald}[3][]{\frac{\mathrm{d}^{#1} #2}{\mathrm{d} #3^{#1}}}
\newcommand{\verts}[1]{\left\vert\,{#1}\,\right\vert}$
\begin{align}
&\sum_{r = 0}^{k}\pars{-1}^{r}\,\pars{2}^{k - r}{20 \choose r}
{20 - r \choose 20 - k} =
\bracks{z^{k}}\sum_{\ell = 0}^{\infty}z^{\ell}\bracks{2^{\ell}
\sum_{r = 0}^{\ell}\pars{-\,{1 \over 2}}^{r}{20 \choose r}
{20 - r \choose \ell - r}}
\\[5mm] = &\
\bracks{z^{k}}\sum_{r = 0}^{\infty}\pars{-\,{1 \over 2}}^{r}
{20 \choose r}\bracks{
\sum_{\ell = r}^{\infty}{20 - r \choose \ell - r}\pars{2z}^{\ell}}
\\[5mm] = &\
\bracks{z^{k}}\sum_{r = 0}^{\infty}\pars{-\,{1 \over 2}}^{r}
{20 \choose r}\bracks{
\sum_{\ell = 0}^{\infty}{20 - r \choose \ell}\pars{2z}^{\ell + r}}
\\[5mm] = &\
\bracks{z^{k}}\sum_{r = 0}^{\infty}\pars{-\,{1 \over 2}}^{r}
{20 \choose r}\pars{2z}^{r}\bracks{
\sum_{\ell = 0}^{\infty}{20 - r \choose \ell}\pars{2z}^{\ell}} =
\bracks{z^{k}}\sum_{r = 0}^{\infty}
{20 \choose r}\pars{-z}^{r}\pars{1 + 2z}^{20 - r}
\\[5mm] = &\
\bracks{z^{k}}\pars{1 + 2z}^{20}\sum_{r = 0}^{\infty}
{20 \choose r}\pars{-\,{z \over 1 + 2z}}^{r}
\\[5mm] = &\
\bracks{z^{k}}\pars{1 + 2z}^{20}\pars{1 - {z \over 1 + 2z}}^{20} =
\bracks{z^{k}}\pars{1 + z}^{20} = \bbx{\ds{20 \choose k}}
\end{align}