La pregunta original era si $\sum_{k=0}^{5} {}^5C_k\sin(kx)\cos(5-k)x=N\sin(5x)$ , entonces ¿cuál es el valor de N?
He conectado $\frac{\pi}{2}$ en lugar de x y N llegó a ser de 16. Pero, ¿hay alguna forma algebraica para probar esto. Traté de expansión de la $(\sin(x)+i\cos(x))^5$ , pero finalmente se quedó atascado.