How do you verify the identity sin(x/2)cos(x/2)=sinx/2?