Задача

№ 9261

Найти номера $n\geqslant 1$ членов арифметической прогрессии $a_n=\frac{5n+2}{3}$, являющихся решениями уравнения $\sqrt{10}\cos(\pi a_n)=\sqrt{4\cos(\pi a_n)-\cos(2\pi a_n)}$.
Ответ:
Решение: