Siento que hay algo que me estoy perdiendo aquí. Al integrar ambos lados de la identidad trigonométrica $\sin{2x}=2\cos x\sin x$ I obtener resultados diferentes.
El lado izquierdo de los resultados de los cursos en $-\frac{1}{2}\cos{2x}+C$.
El lado derecho puedo resolver con u-sustitución:
$u=\cos x$
$du=-\sin x dx$
$-2\int udu=-u^2+C=-\cos^2 x+C$
Mientras escribía esta pregunta me di cuenta de otra identidad $\cos^2 x=\frac{1}{2}+\frac{1}{2}\cos 2x$. Así que al parecer el $\frac{1}{2}$ cae por la $+C$ resultante de la integración indefinida? Este es todavía un poco confuso para mí.