How do you verify the identity #sin(alpha/3)cos(alpha/3)=1/2sin((2alpha)/3)#?