Помогите с примером: cos3x*cos=cos7x*cos5x

Ответ: x=pi*n, x=pi*n-pi/2, x=2pi*n+-2/arctg(1+-sqrt(2)). arctg(1+-sqrt(2))=3pi/8 и -pi/8