Fuente TeX:
\displaystyle \frac{\cos(t)\sin(t)}{2} = \sin(2t)