-1/2 cos4x+3/2的最小正周期