证明4sinx*cos平方x/2=2sinx+sin2x