方程2cos(4x-派/3)=根号2在区间[派/2,派]上的解集为