Lo $\sum_{k=0}^n\binom{n}{2k}$?

Question

¿Cómo se calcula el $\displaystyle \sum_{k=0}^n\binom{n}{2k}$? Y no la suma terminar cuando 2k excede de n, por lo que el límite superior debe ser menor que n?

EDIT: no entiendo la negging. He violado una regla de conducta o algo?

Answer 1

Primero de todo, $\dbinom{n}{m} = 0$ si $m > n$. Por lo tanto, $\displaystyle\sum_{k = 0}^{n}\dbinom{n}{2k} = \sum_{k = 0}^{\lfloor n/2 \rfloor}\dbinom{n}{2k} = \sum_{\substack{0 \le m \le n \\ m \ \text{is even}}}\dbinom{n}{m}$.

Para ayudarle a calcular la suma, tenga en cuenta que por el teorema del binomio:

$2^n = (1+1)^n = \displaystyle\sum_{m = 0}^{n}\dbinom{n}{m}1^m = \sum_{\substack{0 \le m \le n \\ m \ \text{is even}}}\dbinom{n}{m} + \sum_{\substack{0 \le m \le n \\ m \ \text{is odd}}}\dbinom{n}{m}$

$0 = (1-1)^n = \displaystyle\sum_{m = 0}^{n}\dbinom{n}{m}(-1)^m = \sum_{\substack{0 \le m \le n \\ m \ \text{is even}}}\dbinom{n}{m} - \sum_{\substack{0 \le m \le n \\ m \ \text{is odd}}}\dbinom{n}{m}$.

¿Ves cómo terminar?

Answer 2

Recuerde que cada coeficiente binomial es la suma de los dos por encima de él en el triángulo de Pascal.

Answer 3

$\newcommand{\ángulos}[1]{\left\langle\, nº 1 \,\right\rangle} \newcommand{\llaves}[1]{\left\lbrace\, nº 1 \,\right\rbrace} \newcommand{\bracks}[1]{\left\lbrack\, nº 1 \,\right\rbrack} \newcommand{\ceil}[1]{\,\left\lceil\, nº 1 \,\right\rceil\,} \newcommand{\dd}{{\rm d}} \newcommand{\ds}[1]{\displaystyle{#1}} \newcommand{\expo}[1]{\,{\rm e}^{#1}\,} \newcommand{\fermi}{\,{\rm f}} \newcommand{\piso}[1]{\,\left\lfloor #1 \right\rfloor\,} \newcommand{\mitad}{{1 \over 2}} \newcommand{\ic}{{\rm i}} \newcommand{\iff}{\Longleftrightarrow} \newcommand{\imp}{\Longrightarrow} \newcommand{\pars}[1]{\left (\, nº 1 \,\right)} \newcommand{\partiald}[3][]{\frac{\partial^{#1} #2}{\parcial #3^{#1}}} \newcommand{\pp}{{\cal P}} \newcommand{\raíz}[2][]{\,\sqrt[#1]{\vphantom{\large Un}\,#2\,}\,} \newcommand{\sech}{\,{\rm sech}} \newcommand{\sgn}{\,{\rm sgn}} \newcommand{\totald}[3][]{\frac{{\rm d}^{#1} #2}{{\rm d} #3^{#1}}} \newcommand{\verts}[1]{\left\vert\, nº 1 \,\right\vert}$ $\ds{\sum_{k = 0}^{n}{n \choose 2k}:\ {\large ?}}$

$$ \mbox{Nota que}\quad\sum_{k = 0}^{n}{n \elegir 2k} =\sum_{k = 0}^{\color{#c00000}{\large\infty}}{n \elegir 2k}. $$

$$ \mbox{vamos a utilizar la identidad}\quad {m \elegir s}=\oint_{0\ <\ \verts{z}\ =\ a} {\pars{1 + z}^{m} \over z^{s + 1}}\,{\dd z \más de 2\pi\ic}\,,\quad s \in {\mathbb N} $$

A continuación, \begin{align} &\color{#66f}{\large\sum_{k = 0}^{n}{n \choose 2k}} =\sum_{k = 0}^{\infty}\oint_{\verts{z}\ =\ a\ >\ 1} {\pars{1 + z}^{n} \over z^{2k + 1}}\,{\dd z \over 2\pi\ic} =\oint_{\verts{z}\ =\ a\ >\ 1}{\pars{1 + z}^{n} \over z} \sum_{k = 0}^{\infty}\pars{1 \over z^{2}}^{k}\,{\dd z \over 2\pi\ic} \\[3mm]&=\oint_{\verts{z}\ =\ a\ >\ 1}{\pars{1 + z}^{n} \over z} {1 \over 1 - 1/z^{2}}\,{\dd z \over 2\pi\ic} =\oint_{\verts{z}\ =\ a\ >\ 1}{\pars{1 + z}^{n}\,z \over \pars{z - 1}\pars{z + 1}} \,{\dd z \over 2\pi\ic} \\[3mm]&={\pars{1 + 1}^{n}\times 1 \over 1 + 1}=\color{#66f}{\large 2^{n - 1}} \end{align}