Also haben wir

#cos(x)sin(x)#

Wenn wir es mit zwei multiplizieren, haben wir

#2cos(x)sin(x)#

Was wir sagen können, es ist eine Summe

#cos(x)sin(x)+sin(x)cos(x)#

Welches ist die doppelte Winkelformel des Sinus

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

Da wir jedoch frühzeitig mit 2 multipliziert haben, müssen wir durch zwei dividieren, um die Gleichheit zu erreichen

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