Problema:
Evaluar para $n=11$$$\begin{align} \sin^{4n}\left(\frac{\pi}{4n}\right) + \cos^{4n}\left( \frac{\pi}{4n}\right) = \frac{1}{4^{2n-1}} \left[ \sum_{r=0}^{n-1} \binom{4n}{2r} \cos\left(1 - \frac{r}{n} \right) \pi \, + \frac{1}{2} \binom{4n}{2n} \right]. \end{align} $$
Lo siento por esta extraña pregunta. Vi esta fórmula aquí en el MSE, que es muy útil para una pregunta que necesita para resolver ($\sin^{4n}\frac{\pi}{4n} + \cos^{4n} \frac{\pi}{4n})$ para valores dados de $n$. Lamentablemente no sé cómo evaluar esta fórmula manualmente. Yo estaba esperando así el uso de Wolfram Alpha para evaluar esta para diferentes valores de $n$, pero fue incapaz de entrar en él correctamente. Yo estaría muy agradecido si alguien amablemente me muestran cómo introducir esta fórmula en Wolfram Alpha o resolver por $n=11$. Muchas gracias de antemano.