cosx/2*cos3x/2
=1/2*【cos(x/2+3x/2)+cos(x/2-3x/2)】 (积化和差)
=1/2*【cos2x+cos(-x)】
=1/2*(cos2x+cosx)
=1/2*cosx+1/2*cos2x.