Задача

№ 12085

Решите уравнение \[ 36\cos(x+\cos x)\cos(x-\cos x)+9=\pi^2 \] и найдите сумму его корней, принадлежащих отрезку $\left[\dfrac{\pi}{3};\dfrac{7\pi}{4}\right]$.
Ответ:
Решение: