What does cosx sinx equal?
So we have
If we multiply it by two we have
Which we can say it's a sum
Which is the double angle formula of the sine
But since we multiplied by 2 early on to get to that, we need to divide by two to make the equality, so