Poner a ${n \choose 0} + {n \choose 5} + {n \choose 10} + \cdots + {n \choose 5k} + \cdots$ en forma cerrada

Question

Como dice el título, estoy tratando de transformar $\displaystyle{n \choose 0} + {n \choose 5} + {n \choose 10} + \cdots + {n \choose 5k} + \cdots$ en forma cerrada. Mi trabajo:

$\displaystyle\left(1 + \exp\frac{2i\pi}{5} \right )^n = \displaystyle\sum_{p=0}^{n}\binom{n}{p}\exp\left(\frac{p\cdot2i\pi}{5} \right)$

$\displaystyle=\binom{n}{0} + \binom{n}{1}\exp\left(\frac{1\cdot2i\pi}{5} \right) + \binom{n}{2}\exp\left(\frac{2\cdot2i\pi}{5} \right) + \binom{n}{3}\exp\left(\frac{3\cdot2i\pi}{5} \right) + \binom{n}{4}\exp\left(\frac{4\cdot2i\pi}{5} \right) + \binom{n}{5} + \cdots = \left[\binom{n}{0} + \binom{n}{5} + \binom{n}{10} + \cdots\right ] + \exp\left(\frac{2i\pi}{5} \right)\left[\binom{n}{1} + \binom{n}{6} + \binom{n}{11} \right ] + \exp\left(\frac{4i\pi}{5} \right)\left[\binom{n}{2} + \binom{n}{7} + \binom{n}{12} \right ] + \exp\left(\frac{6i\pi}{5} \right)\left[\binom{n}{3} + \binom{n}{8} + \binom{n}{13} \right ] + \exp\left(\frac{8i\pi}{5} \right)\left[\binom{n}{4} + \binom{n}{9} + \binom{n}{14} \right ] + \cdots$

Voy a recordar $\left[\binom{n}{0} + \binom{n}{5} + \binom{n}{10} + \cdots\right ] = k$, $\left[\binom{n}{0} + \binom{n}{5} + \binom{n}{10} + \cdots\right ] = u$, $\left[\binom{n}{0} + \binom{n}{5} + \binom{n}{10} + \cdots\right ] = v$, $\left[\binom{n}{0} + \binom{n}{5} + \binom{n}{10} + \cdots\right ] = w$ y $\left[\binom{n}{0} + \binom{n}{5} + \binom{n}{10} + \cdots\right ] = z$. Así

$\displaystyle\left(1 + \exp\frac{2i\pi}{5} \right )^n = k + u\cdot\exp\frac{2i\pi}{5} + v\cdot\exp\frac{4i\pi}{5} + w\cdot \exp\frac{6i\pi}{5} + z\cdot\exp\frac{8i\pi}{5} = k + u\cdot\left (\cos\frac{2\pi}{5} + i\cdot\sin\frac{2\pi}{5} \right ) + v\cdot\left (\cos\frac{4\pi}{5} + i.\sin\frac{4\pi}{5} \right ) + w\cdot\left (\cos\frac{6\pi}{5} + i.\sin\frac{6\pi}{5} \right ) + z\cdot\left (\cos\frac{8\pi}{5} + i.\sin\frac{8\pi}{5} \right )$

Tomando nota de que $\cos\frac{2\pi}{5} = \cos\frac{8\pi}{5}$, $\cos\frac{4\pi}{5} = \cos\frac{6\pi}{5}$, $\sin\frac{2\pi}{5} = -\sin\frac{8\pi}{5}$ y $\sin\frac{4\pi}{5} = -\sin\frac{6\pi}{5}$:

$\displaystyle\left(1 + \exp\frac{2i\pi}{5} \right )^n = k + \left(u + z\right)\cos\frac{2\pi}{5} + i\cdot\left(u - z \right)\sin\frac{2\pi}{5} + \left(v + w\right)\cos\frac{4\pi}{5} + i\cdot\left(v - w \right)\sin\frac{4\pi}{5} = \left(k + \left(u + z\right)\cos\frac{2\pi}{5} + \left(v + w\right)\cos\frac{4\pi}{5}\right) + i\cdot\left(\left(u - z \right)\sin\frac{2\pi}{5} + \cdot\left(v - w \right)\sin\frac{4\pi}{5} \right)$

Pero $\displaystyle\left(1 + \exp\frac{2i\pi}{5} \right )^n = \left(2\cos\left(\frac{\pi}{5} \right)\cdot\exp\left(\frac{i\pi}{5}\right)\right)^n = \left(2^n\cos^n\left(\frac{\pi}{5} \right)\cdot\exp\left(\frac{ni\pi}{5}\right)\right) = \left(2^n\cos^n\frac{\pi}{5} \right)\left(\exp\left(\frac{ni\pi}{5}\right)\right) = \left(2^n\cos^n\frac{\pi}{5} \right)\left(\cos\frac{n\pi}{5} + i.\sin\frac{n\pi}{5} \right ) = \left(2^n\cos^n\frac{\pi}{5}\cos\frac{n\pi}{5} \right) + i\cdot \left(2^n\cos^n\frac{\pi}{5}\sin\frac{n\pi}{5} \right)$

Así,

$\displaystyle k + \left(u + z\right)\cos\frac{2\pi}{5} + \left(v + w\right)\cos\frac{4\pi}{5} = 2^n\cos^n\frac{\pi}{5}\cos\frac{n\pi}{5}$

y

$\displaystyle\left(u - z \right)\sin\frac{2\pi}{5} + \left(v - w \right)\sin\frac{4\pi}{5} = 2^n\cos^n\frac{\pi}{5}\sin\frac{n\pi}{5}$

y yo estoy atrapado aquí. He notado que $k + u + v + w + z = 2^n$ pero no pude aislar $k$. Por lo tanto, cualquier ayuda acabado, este resultado puede ser plenamente apreciada. Gracias.

Answer 1

$$\sum_{k\geqslant0}{n\elegir \color{red}{\mathbf 5}k}=\frac1{\color{red}{\mathbf 5}}\cdot\sum_{\ell=1}^{\color{red}{\mathbf 5}}\left(1+\mathrm e^{2\mathrm i\pi\ell/\color{red}{\mathbf 5}}\right)^n=\frac1{\color{red}{\mathbf 5}}\cdot\sum_{\zeta\in\mathbb C\,:\,\zeta^\color{red}{\mathbf 5}=1}\left(1+\zeta\right)^n$$

Answer 2

Sugerencia: con $\omega=\exp(2\pi i /5)$ una primitiva $5$th raíz de la unidad, tenemos

$$\sum_{r=0}^4 \omega^{rk}=\begin{cases}5 & k\equiv 0 \bmod 5 \\ 0 & k\not\equiv 0\bmod 5.\end{cases}$$

Entonces, ¿cuál es

$$(1+\omega^0)^n+(1+\omega^1)^n+(1+\omega^2)^n+(1+\omega^3)^n+(1+\omega^4)^n~?$$

(Combinar el binomio expansiones...)

Answer 3

Como ustedes saben, $\sum_{j=0}^n {n \choose j} = 2^n$, y si $\omega$ es una primitiva $5$'th raíz de la unidad $\sum_{j=0}^n {n \choose j} \omega^j = (1 + \omega)^n$. Ahora $\sum_{i=0}^4 \omega^{ij} = 5$ si $j$ es divisible por $5$ $0$ lo contrario. Así $$\sum_{k} {n \choose {5k}} = \frac{1}{5} \sum_{i=0}^4 \sum_{j=0}^n {n \choose j} \omega^{ij} = \frac{1}{5} \sum_{i=0}^4 (1+\omega^i)^n$$