Дайте развернутый ответ:
a) Решите уравнение $-\cos (\frac{\pi }{2}+2\cdot x)+2\cdot \cos (30°)\cdot (1-2\cdot {\cos }^2(\frac{x}{2}\left)\right)=0$
б) Укажите корни этого уравнения, принадлежащие отрезку $[4\cdot \pi ;\frac{16\cdot \pi }{3}]$