解cos(3x-π/3)﹥根号2/2不等式