Найти все корни уравнения cosx=-3^2\2 принадлежащие множеству решений неравенста log2(x-1)<3
Решение смотри во вложении.