Cos'è il cosx sinx?

$cos(x)sin(x) = sin(2x)/2$

Quindi abbiamo

$cos(x)sin(x)$

Se lo moltiplichiamo per due, abbiamo

$2cos(x)sin(x)$

Che possiamo dire che è una somma

$cos(x)sin(x)+sin(x)cos(x)$

Qual è la formula del doppio angolo del seno

$cos(x)sin(x)+sin(x)cos(x)=sin(2x)$

Ma dal momento che ci siamo moltiplicati per 2 all'inizio per arrivare a questo, dobbiamo dividere per due per creare l'uguaglianza, quindi

$cos(x)sin(x) = sin(2x)/2$