это формула, косинус суммы
то, что находится в правой части уравнения равно cos(5x+7x) = cos12x
далее
cos12x=-корень3/2
12x = +-(это плюсминус) 5*пи/6 +2*пи*k, k-целое число
x = +- 5*пи*/72 + пи*k/6, k-целое число
