это формула, косинус суммы

то, что находится в правой части уравнения равно cos(5x+7x) = cos12x

далее

cos12x=-корень3/2

12x = +-(это плюсминус) 5*пи/6 +2*пи*k, k-целое число

x = +- 5*пи*/72 + пи*k/6, k-целое число